RaceTrack: efficient detection of data race conditions via adaptive tracking

By Yuan Yu, T. Rodeheffer, Wei Chen. Symposium on Operating Systems Principles, 2005

424 citations recorded by the source corpus.

Subfields: Hardware and Architecture, Information Systems, Software

View Paper: https://www.semanticscholar.org/paper/44808fd8f2ffd19bb266708b8de835c28f5b8596

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Hardware and Architecture

In Information Systems

In Software

Citations in the corpus

AsyncShock: Exploiting Synchronisation Bugs in Intel SGX Enclaves (2016, background): “A large number of tools were proposed to help developers find different kinds of synchronisation bugs, such as atomicity violations [6, 8, 16], order violations [9, 17, 32] and data races [20, 31].”
RELAY: static race detection on millions of lines of code (2007, neutral): “These algorithms determine either statically [7, 8, 27] or dynamically [25, 5 , 30] the set of locks held by the program at every program point.”
Race directed random testing of concurrent programs (2008, background): “Hybrid techniques [14, 37, 38, 54] combine lockset with happens-before to make dynamic race detection both precise and predictive.”
AVIO: detecting atomicity violations via access interleaving invariants (2006, neutral): “For example, in the Microsoft CLR library, performance counter is regarded as inconsequential, so accesses to it are not protected [43].”
Finding and Reproducing Heisenbugs in Concurrent Programs (2008, neutral): “Unfortunately, our experience suggests that most concurrent programs contain data-races, many of which are intentional [46].”
FastTrack: efficient and precise dynamic race detection (2009, background): “FASTTRACK is even comparable in speed to ERASER on our Java benchmarks, while never reporting false alarms.”
Effective static race detection for Java (2006, background): “Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Veri.cation Reliability; D.2.5 [Software Engineering]: Testing and Debugging Debugging aids General Terms Experimentation, Reliability Keywords static race detection, Java, synchronization, concurrency,…”
CTrigger: exposing atomicity violation bugs from their hiding places (2009, background): “Concurrency bug detection Much research has been conducted on detecting different types of concurrency bugs [19, 20, 29, 5, 13, 27, 7].”
Learning from mistakes: a comprehensive study on real world concurrency bug characteristics (2008, neutral): “For example, data race bug detection [37, 42] checks the synchronization among accesses to one variable; some atomicity violation bug detection tools also focus on atomic regions related to one variable [23, 41].”