Combining Static and Dynamic Validation of MPI Collective Communication - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2013

Combining Static and Dynamic Validation of MPI Collective Communication

Résumé

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.
Fichier principal
Vignette du fichier
sigproc-sp.pdf (127.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00920901 , version 1 (20-12-2013)

Identifiants

Citer

Emmanuelle Saillard, Patrick Carribault, Denis Barthou. Combining Static and Dynamic Validation of MPI Collective Communication. EuroMPI 2013 - 20th European MPI Users' Group Meeting, Sep 2013, Madrid, Spain. pp.117-122, ⟨10.1145/2488551.2488555⟩. ⟨hal-00920901⟩
297 Consultations
397 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More