Rajagopalan, Arun K.

What'’s the Optimal Performance of Precise Dynamic Race Detection? –A Redundancy Perspective

2017 · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

In a precise data race detector, a race is detected only if the execution exhibits a real race. In such tools, every memory access from each thread is typically checked by a happens-before algorithm. What’s …