RADISH: Always-on sound and complete race detection in software and hardware
Joseph Devietti, Benjamin P. Wood, Karin Strauß, Luís Ceze, Dan Grossman, Shaz Qadeer · 2012
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforcing both atomicity and determinism. Unfortunately, existing software-only dynamic race detectors are precise but slow; proposals with hardware support offer higher performance but are imprecise. Both precision and performance are necessary to achieve the many advantages always-on dynamic race detection could provide.