Cover Image
QR Code

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...

Full description

Published in:Communications of the ACM Vol. 53; no. 6; pp. 97 - 106
Main Authors: Burnim, Jacob, Sen, Koushik
Format: Article
Published: Association for Computing Machinery Jun2010
Subjects:
Parallel programs (Computer programs)
Simultaneous multithreading processors
Parallel processing
Debugging
Computer software testing
Java programming language
Online Access:View this record in EBSCOhost