Algorithms for Data-Race Detection in Multithreaded Programs

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

Bibliografiska uppgifter
Huvudupphovsman: Cheng, Guang-Ien
Övriga upphovsmän: Leiserson, Charles E.
Publicerad: 2023
Länkar:https://hdl.handle.net/1721.1/149879