Correctness checking of MPI one-sided communication using MARMOT

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

Volumn 4192 LNCS, Issue , 2006, Pages 105-114

  Krammer, Bettina ^a   Resch, Michael M ^a  

^a UNIVERSITY OF STUTTGART   (Germany)

Author keywords

Analysis; MPI; One sided communication; Parallel Programming Tools; RMA

Indexed keywords

COMPUTER PROGRAMMING; ERROR ANALYSIS; PARALLEL PROCESSING SYSTEMS; PARAMETER ESTIMATION;

ONE-SIDED COMMUNICATION; PARALLEL PROGRAMMING TOOLS; REMOTE MEMORY ACCESS (RMA);

COMMUNICATION SYSTEMS;

EID: 33750230547     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11846802_21     Document Type: Conference Paper

References (21)

1. DDD. The Data Display Debugger. http://www.gnu.org/software/ddd.
2. DDT. The Distributed Debugging Tool.http://www.streamline-computing.com/.
3. gdb. The GNU Project Debugger, http://www.gnu.org/manual/gdb.
4. Totalview. http://www.etnus.com/Products/TotalView.
5. B. Carson and I. A. Mason. Clustergrind: Valgrinding LAM/MPI applications. In 12th European PVM/MPI, volume LNCS 3666, pages 325-332. Springer, 2005.
6. E. Lusk, C. Falzone, A. Chan and W. Gropp. Collective Error Detection for MPI Collective Operations. In 12th European PVM/MPI, volume LNCS 3666, pages 138-147. Springer, 2005.
7. E. Gabriel, G. E. Fagg, G. Bosilca, T. Angskun, J. J. Dongarra, J. M. Squyres, V. Sahay, P. Kambadur, B. Barrett, A. Lumsdaine, R. H. Castain, D. J. Daniel, R. L. Graham, and T. S. Woodall. Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation. In 11th European PVM/MPI, volume LNCS 3241, pages 97-104, Springer, 2004.
8. E. Gabriel, G. E. Fagg, and J.J. Dongarra. Evaluating dynamic communicators and one-sided operations for current MPI libraries. Inte'l Journal of High-Performance Computing Application, 19(1):67-80, 2005.
9. W. Gropp and R. Thakur. An Evaluation of Implementation Options for MPI One-Sided Communication. In 12th European PVM/MPI, volume LNCS 3666, pages 415-424, September 2005.
10. B. Kuhn, J. DeSouza and B. R. de Supinski. Automated, scalable debugging of MPI programs with Intel Message Checker. In SE-HPCS '05. St. Louis, Missouri, USA. 2005. http://csdl.ics.hawaii.edu/se-hpcs/papers/11.pdf.
11. B. Krammer, K. Bidmon, M. S. Müller, and M. M. Resch. MARMOT: An MPI Analysis and Checking Tool. In ParCO 2003, Dresden, Germany, September 2003.
12. B. Krammer, M. S. Mneller, and M. M. Resch. MPI I/O analysis and error detection with MARMOT. In 11th European PVM/MPI, volume LNCS 3241, pages 242-250. Springer, 2004.
13. B. Krammer, M. S. Mueller, and M. M. Resell. Runtime checking of MPI applications with MARMOT. In ParCo 2005, Malaga, Spain, September 2005.
14. B. Krammer, M. S. Müller, and M. M. Resch. MPI Application Development Using the Analysis Tool MARMOT. In IOCS 2004, volume LNCS 3038, pages 464-471. Springer, 2004.
15. D. Kranzlmüller. Event Graph Analysis For Debugging Massively Parallel Programs. PhD thesis, Joh. Kepler University Linz, Austria, 2000.
16. J. Liu, W. Jiang, P. Wyckoff, D. K. Panda, D. Ashton, D. Buntinas, W. D. Gropp, and B. R. Toonen. Design and Implementation of MPICH2 over InfiniBand with R.DMA Support. In IPDPS. IEEE Computer Society, 2004.
17. G. Luecke, Y. Zou, J. Coyle, J. Hockstra, and M. Kraeva. Deadlock Detection in MPI Programs. Concurrency and Computation: Practice and, Experience, 14:911-932, 2002.
18. Message Passing Interface Forum. MPI: A Message Passing Interface Standard, June 1995. http://www.mpi-forum.org.
19. Message Passing Interface Fonun. MPI-2: Extensions to the Message Passing Interface, July 1997. http://www.mpi-forum.org.
20. J.L. Träff and J. Worringen. Verifying Collective MPI Calls. In 11th European PVM/MPI, volume LNCS 3241, pages 18-27. Springer, 2004.
21. J.S. Vetter and B.R. do Supiuski. Dynamic Software Testing of MPI Applications with Umpire. In SC 2000, Dallas, Texas, 2000. ACM/IEEE. CD-ROM.