Visual Debugging of MPI Applications

Authors:
Basile Schaeli;Ali Al-Shabibi;Roger D. Hersch
Affiliations:
Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland CH-1015;University of Heidelberg, Heidelberg, Germany;Ecole Polytechnique Fédérale de Lausanne (EPFL), School of Computer and Communication Sciences, Lausanne, Switzerland CH-1015
Venue:
Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Year:
2008

Citing 4
Cited 2

Replay for Debugging MPI Parallel Programs

MPIDC '96 Proceedings of the Second MPI Developers Conference
A debugger for flow graph based parallel applications

Proceedings of the 2007 ACM workshop on Parallel and distributed systems: testing and debugging
ISP: a tool for model checking MPI programs

Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming
Retrospect: deterministic replay of MPI applications for interactive distributed debugging

PVM/MPI'07 Proceedings of the 14th European conference on Recent Advances in Parallel Virtual Machine and Message Passing Interface

How Formal Dynamic Verification Tools Facilitate Novel Concurrency Visualizations

Proceedings of the 16th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Debugging component-based embedded applications

Proceedings of the 15th International Workshop on Software and Compilers for Embedded Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present the design and implementation of a debugging tool that displays a message-passing graph of the execution of an MPI application. Parts of the graph can be hidden or highlighted based on the stack trace, calling process or communicator of MPI calls. The tool incorporates several features enabling developers to explicitly control the ordering of message-passing events during the execution, and test that reordering these events does not compromise the correctness of the computations. In particular, we describe an automated running mode that detects competing sends matching the same wildcard receive and enables the developer to choose which execution path should be followed by the application.