Making Parallel Programs Reliable with Stable Multithreading.

The article discusses the use of stable multithreading programs in relation to various efforts to make parallel programs more reliable as of March 2014, focusing on several research and development (R&D) breakthroughs regarding improvements to the reliability of sequential computer software programs...

Descripción completa

Detalles Bibliográficos
Publicado en:Communications of the ACM Vol. 57; no. 3; pp. 58 - 70
Autores principales: JUNFENG YANG, HEMING CUI, JINGYUE WU, GANG HU, YANG TANG
Formato: Artículo
Publicado: Association for Computing Machinery Mar2014
Materias:
Acceso en línea:Ver este registro en EBSCOhost
Descripción
Sumario:The article discusses the use of stable multithreading programs in relation to various efforts to make parallel programs more reliable as of March 2014, focusing on several research and development (R&D) breakthroughs regarding improvements to the reliability of sequential computer software programs. Computer company Microsoft Corp.'s Static Driver Verifier program is mentioned, along with technology trends and information on certified operating systems and compilers. Multicore computer processors, big-data analytics, and online social networking are examined.