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.
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
