Home → Magazine Archive → June 2010 (Vol. 53, No. 6) → Asserting and Checking Determinism For Multithreaded... → Abstract

Asserting and Checking Determinism For Multithreaded Programs

By Jacob Burnim, Koushik Sen

Communications of the ACM, Vol. 53 No. 6, Pages 97-105

[article image]

The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. Writing correct multithreaded programs, however, has proven to be quite challenging in practice.

The full text of this article is premium content


No entries found