LCS Publication Details
Publication Title: Algorithms for Data-Race Detection in Multithreaded Programs
Publication Author: Cheng, G.
Additional Authors:
LCS Document Number: MIT-LCS-TR-758
Publication Date: 7-1-1998
LCS Group: Scientific Computing
Additional URL: No URL Given
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
To obtain this publication:

To purchase a printed copy of this publication please contact MIT Document Services.