We are experiencing some difficulties with our submission forms, which we are working to resolve. If you have any issues, please contact us at dspace-lib@mit.edu.

Algorithms for Data-Race Detection in Multithreaded Programs

Thumbnail Image
Download
Name

MIT-LCS-TR-758.pdf

Size

7.5 MB

Format

Adobe PDF

Checksum (MD5)

bfd72fba93a1980d1a3cf8e511c3fc55

Author(s)
Cheng, Guang-Ien
Advisor(s)
Leiserson, Charles E.
Date Issued
July 1998
Series/Report no.
MIT-LCS-TR-758
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
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.