MPIRace-Check: Detection of message races in MPI programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4459 LNCS, Issue , 2007, Pages 322-333

  Park, Mi Young ^a   Shim, Su Jeong ^a   Jun, Yong Kee ^b,c   Park, Hyuk Ro ^a  

^a Chonnam National University   (South Korea)

^b Gyeongsang National University   (South Korea)

^c Research Institute of Computer and Information Communication

Author keywords

Debugging; Message races; Message passing programs; MPIRace Check

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; INFORMATION ANALYSIS; MESSAGE PASSING; PARALLEL PROGRAMMING;

CHANNEL INFORMATION; MESSAGE RACES; MPIRACE-CHECK;

PROGRAM DEBUGGING;

EID: 38049001520     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72360-8_28     Document Type: Conference Paper

References (15)

1. Cypher, R., and E. Leu, "The Semantics of Blocking and Nonblocking Send and Receive Primitives," 8th Intl. Parallel Processing Symp., pp. 729-735, IEEE, April 1994.
2. Cláudio, A.P., J.D. Cunha, and M.B. Carmo, "MPVisualizer: A General Tool to Debug Message Passing Parallel Applications," 7th High Performace Computing and Networking Europe, Lecture Notes in Computer Science, 1593:1199-1202, Springer-Verlag, April 1999.
3. Cláudio, A.P., J.D. Cunha, and M.B. Carmo, "Monitoring and Debugging Message Passing Applications with MPVisualizer," 8th Euromicro Workshop on Parallel and Distributed Processing, pp.376-382, IEEE, Jan. 2000.
4. Fidge, C. J., "Partial Orders for Parallel Debugging," SIGPLAN/SIGOPS Workshop on Parallel and Distributed Debugging, pp. 183-194, ACM, May 1988.
5. Krammer, B., K. Bidmon, M.S. Müller, and M.M. Resch, "MARMOT: An MPI Analysis and Checking Tool," In proceedings of PARCO'03, 13:493-500, Elsevier, Sept. 2003.
6. Krammer, B., M.S. Müller, and M.M. Resch, "MPI Application Development Using the Analysis Tool MARMOT," 4th International Conference on Computational Science, Lecture Notes in Computer Science, 3038:464-471, Springer-Verlag, june 2004.
7. Kranzlmüller, D., and M. Schulz, "Notes on Nondeterminism in Message Passing Programs," 9th European PVM/MPI Users' Group Conf., Lecture Notes in Computer Science, 2474:357-367, Springer-Verlag, Sept. 2002.
8. Kranzlmüller D., C. Schaubschläger, and J. Volkert, "A Brief Overview of the MAD Debugging Activities," 4th International Workshop on Automated Debugging (AADEBUG 2000), Aug. 2000.
9. Lamport, L., "Time, Clocks, and the Ordering of Events in a Distributed System," Communications of the ACM, 21(7):558-565, ACM, July 1978.
10. Lei, Y., and K. Tai, "Efficient Reachability Testing of Asynchronous MessagePassing Programs," 8th Int'l Conf. on Engineering of Complex Computer Systems pp. 35-44, IEEE, Dec. 2002.
11. Mittal, N., and V. K. Garg, "Debugging Distributed Programs using Controlled Re-execution," 19th Annual Symp. on Principles of Distributed Computing, pp. 239-248, ACM, Portland, Oregon, 2000.
12. Netzer, R. H. B., T. W. Brennan, and S. K. Damodaran-Kamal, "Debugging Race Conditions in Message-Passing Programs," SIGMETRICS Symp. on Parallel and Distributed Tools, pp. 31-40, ACM, May 1996.
13. Park, M., and Y. Jun, "Detecting Unaffected Race Conditions in Message-Passing Programs," 11th European PVM/MPI User's Group Meeting, Lecture Notes in Computer Science, 3241:268-276, Springer-Verlag, Sept. 2004.
14. Snir, M., S. Otto, S. Huss-Lederman, D. Walker, and J. Dongarra, MPI: The Complete Reference, MIT Press, 1996.
15. HPC Group, MPI Run Time Error Detection Test Suites: http://rted.public. iastate.edu/MPI/, Iowa State University, USA, 2006