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.
This research was supported by the MKE (The Ministry of Knowledge Economy), Korea,under the ITRC (Information Technology Research Center) support program supervised by the IITA (Institute for Information Technology Advancement) (IITA-2009-C1090-0904-0001).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Banerjee, U., Bliss, B., Ma, Z., Petersen, P.: A Theory of Data Race Detection. In: Workshop on Parallel and Distributed Systems: Testing and Debugging (PADTAD), Portland, USA, pp. 69–78. ACM, New York (2006)
Banerjee, U., Bliss, B., Ma, Z., Petersen, P.: Unraveling Data Race Detection in the Intel Thread Checker. In: Workshop on Software Tools for Multi-core Systems (STMCS), Portland, USA, pp. 69–78. ACM, New York (2006)
Dinning, A., Schonberg, E.: An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection. In: 2nd Symposium on Principles and Practice of Parallel Programming (PPoPP), pp. 1–10. ACM, New York (1990)
Ha, K., Jun, Y., Yoo, K.: Efficient On-the-fly Detection of First Races in Nested Parallel Programs. In: Workshop on State-of-the-Art in Scientific Computing (PARA), Copenhagen, Denmark, June 2004, pp. 75–84 (2004)
Jun, Y., Koh, K.: On-the-fly Detection of Access Anomalies in Nested Parallel Loops. In: 3rd ACM/ONR Workshop on Parallel and Distributed Debugging (WPDD), San Diego, California, pp. 107–117. ACM, New York (1993); also in SIGPLAN Notices 28(12), 107–117 (1993)
Netzer, R.H.B., Miller, B.P.: What Are Race Conditions? Some Issues and Formalizations. Letters on Prog. Lang. and Syst. 1(1), 74–88 (1992)
OpenMP Architecture Review Board, OpenMP Application Programs Interface, Version 3.0 (May 2007)
Sun Microsystems, Inc.: Sun Studio 12: Thread Analyzer User’s Guide (2007)
Terboven, C.: Comparing Intel Thread Checker and Sun Thread Analyzer. In: Minisymp. on Scalability and Usability of HPC Prog. Tools, In PARCO (September 2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Kang, MH., Ha, OK., Jun, SW., Jun, YK. (2009). A Tool for Detecting First Races in OpenMP Programs. In: Malyshkin, V. (eds) Parallel Computing Technologies. PaCT 2009. Lecture Notes in Computer Science, vol 5698. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03275-2_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-03275-2_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03274-5
Online ISBN: 978-3-642-03275-2
eBook Packages: Computer ScienceComputer Science (R0)