Debugging Multithreaded Programs that Incorporate User-Level Locking
Author(s)
Stark, Andrew F.Abstract
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
Date issued
1998-05Series/Report no.
MIT-LCS-TR-750