A TAXONOMY OF RACE DETECTION ALGORITHMS

Authors:
D. P. Helmbold;C. E. McDowell
Affiliations:
-;-
Venue:
A TAXONOMY OF RACE DETECTION ALGORITHMS
Year:
1994

Citing 0
Cited 6

Object race detection

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
RacerX: effective, static detection of race conditions and deadlocks

SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Exploiting cache traffic monitoring for run-time race detection

Euro-Par'11 Proceedings of the 17th international conference on Parallel processing - Volume Part I
OpenMPspy: Leveraging quality assurance for parallel software

Euro-Par'11 Proceedings of the 17th international conference on Parallel processing - Volume Part II
Bauhaus: a tool suite for program analysis and reverse engineering

Ada-Europe'06 Proceedings of the 11th Ada-Europe international conference on Reliable Software Technologies
A review of race detection mechanisms

CSR'06 Proceedings of the First international computer science conference on Theory and Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents a taxonomy that categorizes methods for determining event orders in executions of parallel programs. These event orderings can then be used to detect race conditions in parallel programs. The paper also shows how recent race results fit into the event ordering taxonomy, and presents some new results for previously unexamined points in the taxonomy.