A review of race detection mechanisms

Authors:
Aoun Raza
Affiliations:
Institute of Software Technology, University of Stuttgart, Stuttgart, Germany
Venue:
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Year:
2006

Citing 20
Cited 2

Automatic detection of nondeterminacy in parallel programs

PADD '88 Proceedings of the 1988 ACM SIGPLAN and SIGOPS workshop on Parallel and distributed debugging
An empirical comparison of monitoring algorithms for access anomaly detection

PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Race Frontier: reproducing data races in parallel-program debugging

PPOPP '91 Proceedings of the third ACM SIGPLAN symposium on Principles and practice of parallel programming
Detecting access anomalies in programs with critical sections

PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
Debugging race conditions in message-passing programs

SPDT '96 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
Eraser: a dynamic data race detector for multithreaded programs

ACM Transactions on Computer Systems (TOCS)
Deterministic replay of Java multithreaded applications

SPDT '98 Proceedings of the SIGMETRICS symposium on Parallel and distributed tools
RecPlay: a fully integrated practical record/replay system

ACM Transactions on Computer Systems (TOCS)
Type-based race detection for Java

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM
Annotation inference for modular checkers

Information Processing Letters - Special issue in honor of Edsger W. Dijkstra
Detecting race conditions in large programs

PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Bugs as deviant behavior: a general approach to inferring errors in systems code

SOSP '01 Proceedings of the eighteenth ACM symposium on Operating systems principles
A parameterized type system for race-free Java programs

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Object race detection

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Efficient and precise datarace detection for multithreaded object-oriented programs

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Types for atomicity

Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Static conflict analysis for multi-threaded object-oriented programs

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
A TAXONOMY OF RACE DETECTION ALGORITHMS

A TAXONOMY OF RACE DETECTION ALGORITHMS
RacerX: effective, static detection of race conditions and deadlocks

SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles

RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs

Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Complexity-effective multicore coherence

Proceedings of the 21st international conference on Parallel architectures and compilation techniques

Quantified Score

Hi-index	0.00

Visualization

Abstract

This survey examines research in the area of race detection tech-niques. Diverse flavors of on-the-fly, ahead-of-time and post-mortem techniques are covered. This survey tries to present advantages and limitations exhibited by different race detection techniques.