Sciweavers

Share
PPOPP
2003
ACM

Hybrid dynamic data race detection

9 years 6 months ago
Hybrid dynamic data race detection
We present a new method for dynamically detecting potential data races in multithreaded programs. Our method improves on the state of the art in accuracy, in usability, and in overhead. We improve accuracy by combining two previously known race detection techniques — lockset-based detection and happens-before-based detection — to obtain fewer false positives than lockset-based detection alone. We enhance usability by reporting more information about detected races than any previous dynamic detector. We reduce overhead compared to previous detectors — particularly for large applications such as Web application servers — by not relying on happens-before detection alone, by introducing a new optimization to discard redundant information, and by using a “two phase” approach to identify error-prone program points and then focus instrumentation on those points. We justify our claims by presenting the results of applying our tool to a range of Java programs, including the widely-...
Robert O'Callahan, Jong-Deok Choi
Added 05 Jul 2010
Updated 05 Jul 2010
Type Conference
Year 2003
Where PPOPP
Authors Robert O'Callahan, Jong-Deok Choi
Comments (0)
books