Combining Static and Dynamic Validation of MPI Collective Communication
BARTHOU, Denis
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Efficient runtime systems for parallel architectures [RUNTIME]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Efficient runtime systems for parallel architectures [RUNTIME]
BARTHOU, Denis
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Efficient runtime systems for parallel architectures [RUNTIME]
< Réduire
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Efficient runtime systems for parallel architectures [RUNTIME]
Langue
en
Communication dans un congrès
Ce document a été publié dans
EuroMPI 2013 - 20th European MPI Users' Group Meeting, 2013-09-15, Madrid. 2013-09-15p. 117-122
Résumé en anglais
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 ...Lire la suite >
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.< Réduire
Origine
Importé de halUnités de recherche