IFRit: interference-free regions for dynamic data-race detection

@inproceedings{EffingerDean2012IFRitIR,
  title={IFRit: interference-free regions for dynamic data-race detection},
  author={Laura Effinger-Dean and Brandon Lucia and Luis Ceze and Dan Grossman and Helene B{\"o}hm},
  booktitle={OOPSLA},
  year={2012}
}
We propose a new algorithm for dynamic data-race detection. Our algorithm reports no false positives and runs on arbitrary C and C++ code. Unlike previous algorithms, we do not have to instrument every memory access or track a full happens-before relation. Our data-race detector, which we call IFRit, is based on a run-time abstraction called an interference-free region (IFR). An IFR is an interval of one thread's execution during which any write to a specific variable by a different thread is a… CONTINUE READING
Highly Cited
This paper has 102 citations. REVIEW CITATIONS

Citations

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

103 Citations

02040'13'15'17
Citations per Year
Semantic Scholar estimates that this publication has 103 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…