Dynamic software testing of MPI applications with Umpire

Jeffrey S. Vetter; Bronis R. de Supinski

doi:10.1109/SC.2000.10055

Dynamic software testing of MPI applications with Umpire

Jeffrey S. Vetter, Bronis R. de Supinski

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

114 Scopus citations

Abstract

As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed computers. Unfortunately, debugging message-passing applications can be difficult. Software complexity, data races, and scheduling dependencies can make programming errors challenging to locate with manual, interactive debugging techniques. This article describes Umpire, a new tool for detecting programming errors at runtime in message passing applications. Umpire monitors the MPI operations of an application by interposing itself between the application and the MPI runtime system using the MPI profiling layer. Umpire then checks the application's MPI behavior for specific errors. Our initial collection of programming errors includes deadlock detection, mismatched collective operations, and resource exhaustion. We present an evaluation on a variety of applications that demonstrates the effectiveness of this approach.

Original language	English
Title of host publication	SC 2000 - Proceedings of the 2000 ACM/IEEE Conference on Supercomputing
Publisher	Association for Computing Machinery
ISBN (Electronic)	0780398025
DOIs	https://doi.org/10.1109/SC.2000.10055
State	Published - 2000
Externally published	Yes
Event	2000 ACM/IEEE Conference on Supercomputing, SC 2000 - Dallas, United States Duration: Nov 4 2000 → Nov 10 2000

Publication series

Name	Proceedings of the International Conference on Supercomputing
Volume	2000-November

Conference

Conference	2000 ACM/IEEE Conference on Supercomputing, SC 2000
Country/Territory	United States
City	Dallas
Period	11/4/00 → 11/10/00

Funding

This work was performed under the auspices of the U.S. Dept. of Energy by University of California LLNL under contract W-7405-Eng-48. LLNL Document Number UCRL-JC-138650.

Access to Document

10.1109/SC.2000.10055

Cite this

@inproceedings{6fee98de87ad41c5987750a2b3375662,

title = "Dynamic software testing of MPI applications with Umpire",

abstract = "As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed computers. Unfortunately, debugging message-passing applications can be difficult. Software complexity, data races, and scheduling dependencies can make programming errors challenging to locate with manual, interactive debugging techniques. This article describes Umpire, a new tool for detecting programming errors at runtime in message passing applications. Umpire monitors the MPI operations of an application by interposing itself between the application and the MPI runtime system using the MPI profiling layer. Umpire then checks the application's MPI behavior for specific errors. Our initial collection of programming errors includes deadlock detection, mismatched collective operations, and resource exhaustion. We present an evaluation on a variety of applications that demonstrates the effectiveness of this approach.",

author = "Vetter, {Jeffrey S.} and {de Supinski}, {Bronis R.}",

note = "Publisher Copyright: {\textcopyright} 2000 IEEE.; 2000 ACM/IEEE Conference on Supercomputing, SC 2000 ; Conference date: 04-11-2000 Through 10-11-2000",

year = "2000",

doi = "10.1109/SC.2000.10055",

language = "English",

series = "Proceedings of the International Conference on Supercomputing",

publisher = "Association for Computing Machinery",

booktitle = "SC 2000 - Proceedings of the 2000 ACM/IEEE Conference on Supercomputing",

}

Vetter, JS & de Supinski, BR 2000, Dynamic software testing of MPI applications with Umpire. in SC 2000 - Proceedings of the 2000 ACM/IEEE Conference on Supercomputing. Proceedings of the International Conference on Supercomputing, vol. 2000-November, Association for Computing Machinery, 2000 ACM/IEEE Conference on Supercomputing, SC 2000, Dallas, United States, 11/4/00. https://doi.org/10.1109/SC.2000.10055

Dynamic software testing of MPI applications with Umpire. / Vetter, Jeffrey S.; de Supinski, Bronis R.
SC 2000 - Proceedings of the 2000 ACM/IEEE Conference on Supercomputing. Association for Computing Machinery, 2000. (Proceedings of the International Conference on Supercomputing; Vol. 2000-November).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Dynamic software testing of MPI applications with Umpire

AU - Vetter, Jeffrey S.

AU - de Supinski, Bronis R.

PY - 2000

Y1 - 2000

N2 - As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed computers. Unfortunately, debugging message-passing applications can be difficult. Software complexity, data races, and scheduling dependencies can make programming errors challenging to locate with manual, interactive debugging techniques. This article describes Umpire, a new tool for detecting programming errors at runtime in message passing applications. Umpire monitors the MPI operations of an application by interposing itself between the application and the MPI runtime system using the MPI profiling layer. Umpire then checks the application's MPI behavior for specific errors. Our initial collection of programming errors includes deadlock detection, mismatched collective operations, and resource exhaustion. We present an evaluation on a variety of applications that demonstrates the effectiveness of this approach.

AB - As evidenced by the popularity of MPI (Message Passing Interface), message passing is an effective programming technique for managing coarse-grained concurrency on distributed computers. Unfortunately, debugging message-passing applications can be difficult. Software complexity, data races, and scheduling dependencies can make programming errors challenging to locate with manual, interactive debugging techniques. This article describes Umpire, a new tool for detecting programming errors at runtime in message passing applications. Umpire monitors the MPI operations of an application by interposing itself between the application and the MPI runtime system using the MPI profiling layer. Umpire then checks the application's MPI behavior for specific errors. Our initial collection of programming errors includes deadlock detection, mismatched collective operations, and resource exhaustion. We present an evaluation on a variety of applications that demonstrates the effectiveness of this approach.

UR - http://www.scopus.com/inward/record.url?scp=84975683193&partnerID=8YFLogxK

U2 - 10.1109/SC.2000.10055

DO - 10.1109/SC.2000.10055

M3 - Conference contribution

AN - SCOPUS:84975683193

T3 - Proceedings of the International Conference on Supercomputing

BT - SC 2000 - Proceedings of the 2000 ACM/IEEE Conference on Supercomputing

PB - Association for Computing Machinery

T2 - 2000 ACM/IEEE Conference on Supercomputing, SC 2000

Y2 - 4 November 2000 through 10 November 2000

ER -

Dynamic software testing of MPI applications with Umpire

Abstract

Publication series

Conference

Funding

Access to Document

Other files and links

Fingerprint

Cite this