Umpire is prototype tool developed at LLNL by Bronis R. de Supinski, J. M. May, Martin Schulz and Jeffery Vetter as part of the ASDE TRTS project 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 applications MPI behavior for specific errors. Umpire detects errors that are local to individual MPI tasks, including resource errors (e.g., leaks of MPI datatypes and other opaque objects) and overwrites of non-blocking send buffers. It also detects distributed errors, including deadlocks involving any MPI-1 constructs and datatype mismatches between matching communication operations.
To order this software or receive further information, please fill out the following request: Request Software
de Supinski, B. R., May, J. M., Schultz, M., and Vetter, J. S. A Dynamic MPI Software Correctness Checking Tool.
Computer software. Vers. 00. USDOE. 31 Oct. 2005.
Web.
de Supinski, B. R., May, J. M., Schultz, M., & Vetter, J. S. (2005, October 31). A Dynamic MPI Software Correctness Checking Tool (Version 00) [Computer software].
de Supinski, B. R., May, J. M., Schultz, M., and Vetter, J. S. A Dynamic MPI Software Correctness Checking Tool.
Computer software. Version 00. October 31, 2005.
@misc{osti_1230839,
title = {A Dynamic MPI Software Correctness Checking Tool, Version 00},
author = {de Supinski, B. R. and May, J. M. and Schultz, M. and Vetter, J. S.},
abstractNote = {Umpire is prototype tool developed at LLNL by Bronis R. de Supinski, J. M. May, Martin Schulz and Jeffery Vetter as part of the ASDE TRTS project 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 applications MPI behavior for specific errors. Umpire detects errors that are local to individual MPI tasks, including resource errors (e.g., leaks of MPI datatypes and other opaque objects) and overwrites of non-blocking send buffers. It also detects distributed errors, including deadlocks involving any MPI-1 constructs and datatype mismatches between matching communication operations.},
doi = {},
url = {https://www.osti.gov/biblio/1230839},
year = {Mon Oct 31 00:00:00 EST 2005},
month = {Mon Oct 31 00:00:00 EST 2005},
note =
}
