Browse > Article
http://dx.doi.org/10.3745/KIPSTA.2002.9A.4.525

A Labeling Scheme for Efficient On-the-fly Detection of Race Conditions in Parallel Programs  

Park, So-Hee (경상대학교 대학원 컴퓨터과학과)
Woo, Jong-Jung (성신여자대학교 컴퓨터정보학부)
Bae, Jong-Min (경상대학교 컴퓨터과학과)
Jun, Yong-Kee (경상대학교 컴퓨터과학과)
Abstract
Race conditions, races in short, need to be detected for debugging parallel programs, because the races result in unintended non-deterministic executions. To detect the races in an execution of program, previous techniques use a centralized data structure which may incur serious bottleneck in generating concurrency information, or show inefficient time complexity which depends on the degree of nested parallelism in comparing any two of them. We propose a new labeling scheme in this paper, which is scalable in generating the concurrency information without bottleneck by using private data structure, and improves time complexity into constant in checking concurrency. The scalability and time efficiency therfore makes on-the-fly race detection efficient not only for programs with either shared-memory or message-passing, but also for programs with mixed model of the two.
Keywords
Race Condition; On-the-fly Detection; Labeling; Scalability; Efficiency;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Dagum, L. and R. Menon, 'OpenMP : an Industry-Standard API for Shared-Memory Programming,' Computational Scince and Engineering, 5(1), IEEE, 46-55, Jan.-March, 1998   DOI   ScienceOn
2 Neyman, M., M. Bukowski and P. Kuzora, 'Efficient Replay of PVM Programs,' 6-th European PVM/MPI User's Group Meeting, Barcelona, Spain, pp.83-90, Sept., 1999
3 Netzer, R. H. B. and Miller, B. P., 'Optimal Tracing and Replay for Debugging Message-Passing Parallel Program,' The J. of Supercomputing, 8(4), pp.371-388, Oct., 1994   DOI
4 OpenMP Architecture Review Board, OpenMP Fortran Application Program Interface, Version 2.0, Nov., 2000
5 Audenaert, K., 'Maintaining Concurrency Information for On-the-fly Data Race Detection,' Int'l Conf. on Parallel Computing: Fundamentals, Applications and New Directions, Bonn, Germany, pp.319-326, Sept., 1997
6 Audenaert, K., Advances in Parallel Computing, Elsevier, North-Holland, Amsterdam, Vol.12. 1998
7 Mark, B. and L. Smith, 'Programming Next Generation HPC Systems: the Mixed-mode Model,' Next Generation HPC Systems and the Grid, The Univ. of Edinburgh Conf. and Training Centre, Edinburgh, U.K., Sept., 2001
8 Cappello, F. and D. Etiemble, 'MPI versus MPI+ OpenMP on the IBM SP for the NAS Benchmarks,' Supercomputing, Dallas, TX, 2000
9 Caubet, J. J. Gimenez, J. Labarta, L. DeRose and J. Vetter, 'A Dynamic Tracing Mechanism for Performance Analysis of OpenMP Applications,' Ini'l Workshop on OpenMP Applications and Tools, LNCS, 2104, West Lafayette, Indiana, pp.53-67, July, 2001
10 Dinning, A. and E. Schonberg, 'An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection,' 2nd Symp. on Principles and Practice of Parallel Programming, ACM, pp.1-10, March, 1990   DOI
11 Fidge, C. J., 'Partial Orders for Parallel Debugging,' 1st Workshop on Parallel and Distributed Debugging, ACM, pp.183-194, May, 1988   DOI
12 Gropp, W., E. Lusk and A. Skjellum, Using MPI : Portable Parallel Programming with the Message-Passing Interface, The MIT Press, 2nd Edition, 1999
13 Gropp, W. and E. Lusk, User's Guide for mpich, a Potable Implementation of MPI Version 1.2.2, Univ. of Chicago Press, 1996
14 Hoeflinger, J., B. Kuhn, W. Nagel, P. Petersen, H. Rajic, S. Shah, J. Vetter, M. Voss and R. Woo, 'An Integrated Performance Visualizer for MPI/OpenMP Programs,' Workshop on OpenMP Applications and Tools, LNCS, 2104, West Lafayette, Indiana, pp.40-52, July, 2001
15 Park, S, M. Park and Y. Jun, 'A Comparison of Scalable Labeling Schemes for Detecting Races in OpenMP Programs,' Ini'l Workshop on OpenMP Applications and Tools, LNCS, 2104, West Lafayette, Indiana, pp.68-80. July, 2001
16 Sato, M., S. Satoh, M. Kusano and Y. Tanaka, 'Design of OpenMP Compiler for an SMP Cluster,' Sweden, Sept., 1999
17 Smith, L. and J. M. Bull, 'Development of Mixed Mode MPI/ OpenMP Applications,' Int'l Workshop on OpenMP Applications and Tools, San Diego, July, 2000