Pacer is a sampling-based data race detector with accuracy and overhead that scale with the sampling rate. "Pacer: Proportional Detection of Data Races" (Bond, Coons, McKinley, PLDI 2010) describes Pacer in detail.
The uploaded file includes a patch against Jikes RVM 3.1.0 and a README. Questions and feedback are welcome.
Log in to post a comment.