LCS Publication Details
Publication Title: Debugging Multithreaded Programs that Incorporate User-Level Locking
Publication Author: Stark, A.F.
Additional Authors:
LCS Document Number: MIT-LCS-TR-750
Publication Date: 5-1-1998
LCS Group: Scientific Computing
Additional URL: No URL Given
A multithreaded program with a bug may behave nondeterministically, and this nondeterminism typically makes the bug hard to localize. This thesis presents a debugging tool, the Nondeterminator-2, which automatically finds certain nondeterminacy bugs in pr
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.