Deterministic dynamic race detection across program versions

SV Poluri, MK Ramanathan - 2015 IEEE International …, 2015 - ieeexplore.ieee.org
SV Poluri, MK Ramanathan
2015 IEEE International Conference on Software Maintenance and …, 2015ieeexplore.ieee.org
Dynamic race detectors operate by analyzing execution traces of programs to detect races in
multithreaded programs. As the thread interleavings influence these traces, the sets of races
detected across multiple runs of the detector can vary. This non-determinism without any
change in program source and input can reduce programmer confidence in using the
detector. From an organizational perspective, a defect needs to be reported consistently until
it is fixed. Non-determinism complicates the work flow and the problem is further …
Dynamic race detectors operate by analyzing execution traces of programs to detect races in multithreaded programs. As the thread interleavings influence these traces, the sets of races detected across multiple runs of the detector can vary. This non-determinism without any change in program source and input can reduce programmer confidence in using the detector. From an organizational perspective, a defect needs to be reported consistently until it is fixed. Non-determinism complicates the work flow and the problem is further exacerbated with modifications to the program.
ieeexplore.ieee.org