Debugging Multithreaded Programs that Incorporate User-Level Locking
| dc.contributor.advisor | Leiserson, Charles E. | en_US |
| dc.contributor.author | Stark, Andrew F. | en_US |
| dc.date.accessioned | 2023-03-29T15:30:54Z | |
| dc.date.available | 2023-03-29T15:30:54Z | |
| dc.date.issued | 1998-05 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149875 | |
| dc.description.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 | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-750 | |
| dc.title | Debugging Multithreaded Programs that Incorporate User-Level Locking | en_US |
