Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs

@inproceedings{Savage1997EraserAD,
  title={Eraser: A Dynamic Data Race Detector for Multi-Threaded Programs},
  author={Stefan Savage and Michael Burrows and Greg Nelson and Patrick Sobalvarro and Thomas E. Anderson},
  booktitle={SOSP},
  year={1997}
}
Multithreaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mistake during debugging. This article describes a new tool, called Eraser, for dynamically detecting data races in lock-based multithreaded programs. Eraser uses binary rewriting techniques to monitor every shared-monory reference and verify that consistent locking behavior is observed. We present several case studies… CONTINUE READING
Highly Influential
This paper has highly influenced 51 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 407 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 249 extracted citations

Hybrid dynamic data race detection

View 13 Excerpts
Highly Influenced

Data race detection on compressed traces

ESEC/SIGSOFT FSE • 2018
View 9 Excerpts
Highly Influenced

408 Citations

02040'97'02'08'14
Citations per Year
Semantic Scholar estimates that this publication has 408 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.

Petal: Distributed Virtual Disks

View 1 Excerpt
Highly Influenced

Similar Papers

Loading similar papers…