MPI runtime error detection with MUST: Advances in deadlock detection

International Conference for High Performance Computing, Networking, Storage and Analysis, SC

Volumn , Issue , 2012, Pages

  Hilbrich, Tobias ^a   Protze, Joachim ^a   Schulz, Martin ^b   De Supinski, Bronis R ^b   Müller, Matthias S ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b LAWRENCE LIVERMORE NATIONAL LABORATORY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS TIME; APPLICATION DEVELOPERS; AUTOMATED TOOLS; DEADLOCK DETECTION; GRAPH-BASED; GRAPH-BASED DETECTION; MESSAGE PASSING INTERFACE; PROGRAMMING ERRORS;

ERRORS;

MESSAGE PASSING;

EID: 84877697102     PISSN: 21674329     EISSN: 21674337     Source Type: Conference Proceeding    
DOI: 10.1109/SC.2012.79     Document Type: Conference Paper

References (15)

1. Message Passing Interface Forum, "MPI: A Message-Passing Interface Standard, Version 2.2," http://www.mpi-forum.org/docs/mpi22-report.pdf, April 2009.
2. T. Hilbrich, B. R. de Supinski, M. Schulz, and M. S. Müller, "A Graph Based Approach for MPI Deadlock Detection," in ICS '09: Proceedings of the 23rd International Conference on Supercomputing. New York, NY, USA: ACM, 2009, pp. 296-305.
3. S. S. Vakkalanka, S. Sharma, G. Gopalakrishnan, and R. M. Kirby, "ISP: A Tool for Model Checking MPI Programs," in 13th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2008, pp. 285-286.
4. G. R. Luecke, H. Chen, J. Coyle, J. Hoekstra, M. Kraeva, and Y. Zou, "MPI-CHECK: A Tool for Checking Fortran 90 MPI Programs," Concurrency and Computation: Practice and Experience, vol. 15, no. 2, pp. 93-100, 2003.
5. C. Falzone, A. Chan, and E. Lusk, "Collective Error Detection for MPI Collective Operations," in Recent Advances in Parallel Virtual Machine and Message Passing Interface, 12th European PVM/MPI Users' Group Meeting. Springer, 2005, pp. 138-147.
6. B. Krammer and M. S. Müller, "MPI Application Development with MARMOT," in PARCO, vol. 33. Central Institute for Applied Mathematics, Jülich, Germany, 2005, pp. 893-900.
7. J. S. Vetter and B. R. de Supinski, "Dynamic Software Testing of MPI Applications with Umpire," Supercomputing, ACM/IEEE 2000 Conference, pp. 51-51, 04-10 Nov. 2000.
8. A. Vo, "Scalable Formal Dynamic Verification of MPI Programs Through Distributed Causality Tracking," Ph.D. dissertation, University of Utah, School of Computing, March 2011.
9. V. C. Barbosa and M. R. F. Benevides, "A Graph-Theoretic Characterization of AND-OR Deadlocks," 1998.
10. S. Lee, "Fast, Centralized Detection and Resolution of Distributed Deadlocks in the Generalized Model," IEEE Trans. Softw. Eng., vol. 30, no. 9, pp. 561-573, 2004.
11. H. J. Yoon and D. Y. Lee, "Deadlock-Free Scheduling of Photolithography Equipment in Semiconductor Fabrication," Semiconductor Manufacturing, IEEE Transactions on, vol. 17, no. 1, pp. 42-54, Feb. 2004.
12. T. Hoefler, A. Lumsdaine, and W. Rehm, "Implementation and Performance Analysis of Non-Blocking Collective Operations for MPI," in Proceedings of the 2007 International Conference on High Performance Computing, Networking, Storage and Analysis, SC07. IEEE Computer Society/ACM, Nov. 2007.
13. T. Hilbrich, M. S. Müller, B. R. de Supinski, M. Schulz, and W. E. Nagel, "GTI: A Generic Tools Infrastructure for Event Based Tools in Parallel Systems," in IPDPS 2012: Proceedings of the 26th IEEE International Parallel & Distributed Processing Symposium, 2012.
14. D. H. Bailey, L. Dagum, E. Barszcz, and H. D. Simon, "NAS Parallel Benchmark Results," IEEE Parallel and Distributed Technology, Tech. Rep., 1992.
15. M. S. Müller, M. van Waveren, R. Lieberman, B. Whitney, H. Saito, K. Kumaran, J. Baron, W. C. Brantley, C. Parrott, T. Elken, H. Feng, and C. Ponder, "SPEC MPI2007 - an application benchmark suite for parallel systems using MPI," Concurrency and Computation: Practice and Experience, vol. 22, no. 2, pp. 191-205, 2010.