FastTrack: efficient and precise dynamic race detection
C Flanagan, SN Freund - ACM Sigplan Notices, 2009 - dl.acm.org
ACM Sigplan Notices, 2009•dl.acm.org
\begin {abstract} Multithreaded programs are notoriously prone to race conditions. Prior work
on dynamic race detectors includes fast but imprecise race detectors that report false alarms,
as well as slow but precise race detectors that never report false alarms. The latter typically
use expensive vector clock operations that require time linear in the number of program
threads. This paper exploits the insight that the full generality of vector clocks is unnecessary
in most cases. That is, we can replace heavyweight vector clocks with an adaptive …
on dynamic race detectors includes fast but imprecise race detectors that report false alarms,
as well as slow but precise race detectors that never report false alarms. The latter typically
use expensive vector clock operations that require time linear in the number of program
threads. This paper exploits the insight that the full generality of vector clocks is unnecessary
in most cases. That is, we can replace heavyweight vector clocks with an adaptive …
\begin{abstract}
Multithreaded programs are notoriously prone to race conditions. Prior work on dynamic race detectors includes fast but imprecise race detectors that report false alarms, as well as slow but precise race detectors that never report false alarms. The latter typically use expensive vector clock operations that require time linear in the number of program threads.
This paper exploits the insight that the full generality of vector clocks is unnecessary in most cases. That is, we can replace heavyweight vector clocks with an adaptive lightweight representation that, for almost all operations of the target program, requires only constant space and supports constant-time operations. This representation change significantly improves time and space performance, with no loss in precision.
Experimental results on Java benchmarks including the Eclipse development environment show that our FastTrack race detector is an order of magnitude faster than a traditional vector-clock race detector, and roughly twice as fast as the high-performance DJIT+ algorithm. FastTrack is even comparable in speed to Eraser on our Java benchmarks, while never reporting false alarms.