A Tool for Detecting First Races in OpenMP Programs

Authors:
Mun-Hye Kang;Ok-Kyoon Ha;Sang-Woo Jun;Yong-Kee Jun
Affiliations:
Gyeongsang National University, Jinju, South Korea 660-701;Gyeongsang National University, Jinju, South Korea 660-701;Seoul National University, Seoul, South Korea 151-742;Gyeongsang National University, Jinju, South Korea 660-701
Venue:
PaCT '09 Proceedings of the 10th International Conference on Parallel Computing Technologies
Year:
2009

Citing 4
Cited 2

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
What are race conditions?: Some issues and formalizations

ACM Letters on Programming Languages and Systems (LOPLAS)
On-the-fly detection of access anomalies in nested parallel loops

PADD '93 Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging
A theory of data race detection

Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging

GRace: a low-overhead mechanism for detecting data races in GPU programs

Proceedings of the 16th ACM symposium on Principles and practice of parallel programming
Symbolic consistency checking of OpenMp parallel programs

Proceedings of the 13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

First race detection is especially important for effective debugging, because the removal of such races may make other affected races disappear. The previous tools can not guarantee that detected races are the first races to occur. We present a new tool to detect first races in a program with nested parallelism using a two-pass on-the-fly technique. To show accuracy, we empirically compare our tool with previous tools using a set of synthetic programs with OpenMP directives.