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
Type de document :
Communication dans un congrès
European MPI Users' Group Meeting , Sep 2015, Bordeaux, France. EuroMPI '15 The 22nd European MPI Users' Group Meeting 〈10.1145/1235〉
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01252321
Contributeur : Denis Barthou <>
Soumis le : jeudi 7 janvier 2016 - 14:27:14
Dernière modification le : jeudi 29 mars 2018 - 09:04:04
Document(s) archivé(s) le : vendredi 8 avril 2016 - 13:24:58

Fichier

EuroMPI_JSCB.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

UNIV-BORDEAUX | LABRI | INRIA | CEA

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. EuroMPI '15 The 22nd European MPI Users' Group Meeting 〈10.1145/1235〉. 〈hal-01252321〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

487

Téléchargements de fichiers

93

Contact


archive-ouverte@inria.fr