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 |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=94803491&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 94803491 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00010782 ACM jtl: Communications of the ACM issn: 00010782 maglogo: N pubinfo: dt: Mar2014 vid: 57 iid: 3 pid: 68 pub: Association for Computing Machinery artinfo: ui: 94803491 10.1145/2500875 ppf: 58 ppct: 12 formats: tig: atl: Making Parallel Programs Reliable with Stable Multithreading. aug: au: JUNFENG YANG HEMING CUI JINGYUE WU GANG HU YANG TANG affil: Associate professor and co-director of the Software Systems Lab, Department of Computer Science, Columbia University, New York. su: Simultaneous multithreading processors Parallel processing Microsoft Corp. Multicore processors Trends -- Social aspects Computer operating systems Online social networks Compilers (Computer programs) sug: subj: Simultaneous multithreading processors Parallel processing Microsoft Corp. Multicore processors Trends -- Social aspects Computer operating systems Online social networks Compilers (Computer programs) ab: 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. pubtype: Periodical doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2014 holdings: @attributes: islocal: N |
|---|