| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Combining Static and Dynamic Validation of MPI Collective Communication
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.
Cited literature [13 references]
https://hal.archives-ouvertes.fr/hal-00920901
Contributor : Emmanuelle Saillard <>
Submitted on : Friday, December 20, 2013 - 5:53:44 PM
Last modification on : Tuesday, May 14, 2019 - 11:38:11 AM
Document(s) archivé(s) le : Thursday, March 20, 2014 - 10:15:24 PM
Contributor : Emmanuelle Saillard <>
Submitted on : Friday, December 20, 2013 - 5:53:44 PM
Last modification on : Tuesday, May 14, 2019 - 11:38:11 AM
Document(s) archivé(s) le : Thursday, March 20, 2014 - 10:15:24 PM
File
sigproc-sp.pdf
Files produced by the author(s)