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...
| Publicado en: | Communications of the ACM Vol. 57; no. 3; pp. 58 - 70 |
|---|---|
| Autores principales: | , , , , |
| Formato: | Artículo |
| Publicado: |
Association for Computing Machinery
Mar2014
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| 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. |
|---|