@inproceedings{5a1edcaaabd34008873fee38b95a9f6e,
title = "Combining static and dynamic validation of MPI collective communications",
abstract = "Collective MPI communications have to be executed in the same order by all processes in their communicator and the same number of times, otherwise a deadlock occurs. As soon as the control-flow 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 deadlocking. We show on several benchmarks the small impact on performance and the ease of integration of our techniques in the development process.",
keywords = "Collective, Correctness, Debugging, MPI, Static analysis",
author = "Emmanuelle Saillard and Patrick Carribault and Denis Barthou",
year = "2013",
month = jan,
day = "1",
doi = "10.1145/2488551.2488555",
language = "English",
isbn = "9788461651337",
series = "ACM International Conference Proceeding Series",
publisher = "Association for Computing Machinery",
pages = "117--122",
booktitle = "Proceedings of the 20th European MPI Users' Group Meeting, EuroMPI 2013",
note = "20th European MPI Users' Group Meeting, EuroMPI 2013 ; Conference date: 15-09-2013 Through 18-09-2013",
}