Asserting and Checking Determinism for Multithreaded Programs.

The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing parallel software is to use explicit threads. Writing correct multithreaded programs, however, has proven to be quite chal...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 53; no. 6; pp. 97 - 106
Autores principales:	Burnim, Jacob, Sen, Koushik
Formato:	Artículo
Publicado:	Association for Computing Machinery Jun2010
Materias:	Parallel programs (Computer programs) Simultaneous multithreading processors Parallel processing Debugging Computer software testing Java programming language
Acceso en línea:	Ver este registro en EBSCOhost