Algorithms for Data-Race Detection in Multithreaded Programs
dc.contributor.advisor | Leiserson, Charles E. | en_US |
dc.contributor.author | Cheng, Guang-Ien | en_US |
dc.date.accessioned | 2023-03-29T15:31:12Z | |
dc.date.available | 2023-03-29T15:31:12Z | |
dc.date.issued | 1998-07 | |
dc.identifier.uri | https://hdl.handle.net/1721.1/149879 | |
dc.description.abstract | Two parallel accesses to the same location, at least one of which is a write, form a race. Debugging such races is complicated by atomic critical sections. In programs without critical sections, a race is usually a bug causing nondeterminism. In programs | en_US |
dc.relation.ispartofseries | MIT-LCS-TR-758 | |
dc.title | Algorithms for Data-Race Detection in Multithreaded Programs | en_US |