A practical tool for detecting races in OpenMP programs

Authors:
Young-Joo Kim;Mi-Young Park;So-Hee Park;Yong-Kee Jun
Affiliations:
Gyeongsang National University, Jinju;Gyeongsang National University, Jinju;Kyungsung University, Busan, South Korea;Gyeongsang National University, Jinju
Venue:
PaCT'05 Proceedings of the 8th international conference on Parallel Computing Technologies
Year:
2005

Citing 11
Cited 2

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
On-the-fly detection of data races for programs with nested fork-join parallelism

Proceedings of the 1991 ACM/IEEE conference on Supercomputing
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
Scalable on-the-fly detection of the first races in parallel programs

ICS '98 Proceedings of the 12th international conference on Supercomputing
OpenMP: An Industry-Standard API for Shared-Memory Programming

IEEE Computational Science & Engineering
Scalable Monitoring Technique for Detecting Races in Parallel Programs

IPDPS '00 Proceedings of the 15 IPDPS 2000 Workshops on Parallel and Distributed Processing
Restructuring Parallel Programs for On-the-Fly Race Detection

PaCT '999 Proceedings of the 5th International Conference on Parallel Computing Technologies
A Comparison of Scalable Labeling Schemes for Detecting Races in OpenMP Programs

WOMPAT '01 Proceedings of the International Workshop on OpenMP Applications and Tools: OpenMP Shared Memory Parallel Programming
Detecting the First Races in Parallel Programs with Ordered Synchronization

ICPADS '98 Proceedings of the 1998 International Conference on Parallel and Distributed Systems

Scalable thread visualization for debugging data races in OpenMP programs

GPC'07 Proceedings of the 2nd international conference on Advances in grid and pervasive computing
Efficient race verification for debugging programs with openMP directives

PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies

Quantified Score

Hi-index	0.00

Visualization

Abstract

Detecting data races or just races is important for debugging OpenMP programs, because races result in unintended nondeterministic executions of the program. The previous tool to detect the races in OpenMP programs monitors a serial execution of the program, but unfortunately cannot guarantee to verify the existence of races even in the programs only with the directives. This paper presents a practical tool which monitors a parallel execution of standard OpenMP program, and not only verifies the existence of races but also detects first races for each shared variable in the programs.