Skip to Main content Skip to Navigation
Conference papers

Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH

Julien Jaeger 1 Emmanuelle Saillard 2, 3, 4, 1 Patrick Carribault 1 Denis Barthou 2, 3, 4
1 DAM/DIF - DAM Île-de-France
2 LaBRI - Laboratoire Bordelais de Recherche en Informatique
3 STORM - STatic Optimizations, Runtime Methods
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest
4 UB - Université de Bordeaux
Abstract : MPI-3 provide functions for non-blocking collectives. To help programmers introduce non-blocking collectives to existing MPI programs, we improve the PARCOACH tool for checking correctness of MPI call sequences. These enhancements focus on correct call sequences of all flavor of collective calls, and on the presence of completion calls for all non-blocking communications. The evaluation shows an overhead under 10% of original compilation time.
Keywords : MPI Non-blocking collectives checker static analysis
Complete list of metadatas

Cited literature [3 references]  Display  Hide  Download
https://hal.inria.fr/hal-01252321
Contributor : Denis Barthou <>
Submitted on : Thursday, January 7, 2016 - 2:27:14 PM
Last modification on : Tuesday, May 14, 2019 - 11:38:11 AM
Document(s) archivé(s) le : Friday, April 8, 2016 - 1:24:58 PM

File

Vignette du document
EuroMPI_JSCB.pdf
Files produced by the author(s)

Identifiers

Collections

CNRS | UNIV-BORDEAUX | LABRI | INRIA | CEA | DAM

Citation

Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, Denis Barthou. Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH. European MPI Users' Group Meeting , Sep 2015, Bordeaux, France. ⟨10.1145/1235⟩. ⟨hal-01252321⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

923

Files downloads

298

 

Contact                    Legal Notice                    Personal Data