Debugging Multithreaded Programs that Incorporate User-Level Locking
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
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149875 |
| _version_ | 1811082393145049088 |
|---|---|
| author | Stark, Andrew F. |
| author2 | Leiserson, Charles E. |
| author_facet | Leiserson, Charles E. Stark, Andrew F. |
| author_sort | Stark, Andrew F. |
| collection | MIT |
| description | 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 |
| first_indexed | 2024-09-23T12:02:22Z |
| id | mit-1721.1/149875 |
| institution | Massachusetts Institute of Technology |
| last_indexed | 2024-09-23T12:02:22Z |
| publishDate | 2023 |
| record_format | dspace |
| spelling | mit-1721.1/1498752023-03-30T03:47:15Z Debugging Multithreaded Programs that Incorporate User-Level Locking Stark, Andrew F. Leiserson, Charles E. 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 2023-03-29T15:30:54Z 2023-03-29T15:30:54Z 1998-05 https://hdl.handle.net/1721.1/149875 MIT-LCS-TR-750 application/pdf |
| spellingShingle | Stark, Andrew F. Debugging Multithreaded Programs that Incorporate User-Level Locking |
| title | Debugging Multithreaded Programs that Incorporate User-Level Locking |
| title_full | Debugging Multithreaded Programs that Incorporate User-Level Locking |
| title_fullStr | Debugging Multithreaded Programs that Incorporate User-Level Locking |
| title_full_unstemmed | Debugging Multithreaded Programs that Incorporate User-Level Locking |
| title_short | Debugging Multithreaded Programs that Incorporate User-Level Locking |
| title_sort | debugging multithreaded programs that incorporate user level locking |
| url | https://hdl.handle.net/1721.1/149875 |
| work_keys_str_mv | AT starkandrewf debuggingmultithreadedprogramsthatincorporateuserlevellocking |