Skip to Main content Skip to Navigation
Conference papers

PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation

Van-Man Nguyen 1, 2, 3, * Emmanuelle Saillard 2 Julien Jaeger 1, 3 Denis Barthou 2, 4 Patrick Carribault 1, 3
* Corresponding author
2 STORM - STatic Optimizations, Runtime Methods
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest
Abstract : The Message Passing Interface (MPI) is a parallel programming model used to exchange data between working units in different nodes of a supercomputer. While MPI blocking operations return when the communication is complete, non-blocking and persistent operations return before the communication is complete, enabling a developer to hide communication latency. However the usage of these latter comes with additional rules the user has to abide to. This is error prone, which makes verification tools valuable for MPI program writers. PARCOACH is a framework that detects MPI collective errors using a static/dynamic analysis. The static phase studies the control-and data-flow of a program to detect potential errors while the dynamic phase uses compile-time information to verify the potential errors. In this paper we present an extension of PARCOACH static analysis to detect misuse of MPI nonblocking and persistent communications. Our new analysis adds the detection of four new error classes related to these types of communications.
Complete list of metadatas

Cited literature [20 references]  Display  Hide  Download

https://hal-cea.archives-ouvertes.fr/cea-03014171
Contributor : van Man Nguyen <>
Submitted on : Thursday, November 19, 2020 - 12:12:09 PM
Last modification on : Monday, November 23, 2020 - 9:41:47 AM

File

correctness_2020.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : cea-03014171, version 1

Collections

Citation

Van-Man Nguyen, Emmanuelle Saillard, Julien Jaeger, Denis Barthou, Patrick Carribault. PARCOACH Extension for Static MPI Nonblocking and Persistent Communication Validation. Correctness 2020: Fourth International Workshop on Software Correctness for HPC Applications, Nov 2020, Atlanta / Virtual, United States. ⟨cea-03014171⟩

Share

Metrics

Record views

9

Files downloads

4