Combining Static and Dynamic Validation of MPI Collective Communication

Emmanuelle Saillard 1 Patrick Carribault 1 Denis Barthou 2, 3
3 RUNTIME - Efficient runtime systems for parallel architectures
Inria Bordeaux - Sud-Ouest, UB - Université de Bordeaux, CNRS - Centre National de la Recherche Scientifique : UMR5800
Abstract : Collective MPI communications have to be executed in the same order by all processes in their ommunicator and the same number of times, otherwise a deadlock occurs. As soon as the controlflow involving these collective operations becomes more complex, in particular including conditionals on process ranks, ensuring the correction of such code is error-prone. We propose in this paper a static analysis to detect when such situation occurs, combined with a code transformation that prevents from eadlocking. We show on several benchmarks the small impact on performance and the ease of integration of our techniques in the development process.
Type de document :
Communication dans un congrès
EuroMPI 2013, Sep 2013, Madrid, Spain. pp.117-122, 2013, 〈10.1145/2488551.2488555〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-00920901
Contributeur : Emmanuelle Saillard <>
Soumis le : vendredi 20 décembre 2013 - 17:53:44
Dernière modification le : lundi 15 octobre 2018 - 15:54:02
Document(s) archivé(s) le : jeudi 20 mars 2014 - 22:15:24

Fichier

sigproc-sp.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Emmanuelle Saillard, Patrick Carribault, Denis Barthou. Combining Static and Dynamic Validation of MPI Collective Communication. EuroMPI 2013, Sep 2013, Madrid, Spain. pp.117-122, 2013, 〈10.1145/2488551.2488555〉. 〈hal-00920901〉

Partager

Métriques

Consultations de la notice

460

Téléchargements de fichiers

275