| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH
Abstract : MPI-3 provide functions for non-blocking collectives. To help programmers introduce non-blocking collectives to existing MPI programs, we improve the PARCOACH tool for checking correctness of MPI call sequences. These enhancements focus on correct call sequences of all flavor of collective calls, and on the presence of completion calls for all non-blocking communications. The evaluation shows an overhead under 10% of original compilation time.
Cited literature [3 references]
https://hal.inria.fr/hal-01252321
Contributor : Denis Barthou Connect in order to contact the contributor
Submitted on : Thursday, January 7, 2016 - 2:27:14 PM
Last modification on : Monday, December 20, 2021 - 4:50:15 PM
Long-term archiving on: : Friday, April 8, 2016 - 1:24:58 PM
Contributor : Denis Barthou Connect in order to contact the contributor
Submitted on : Thursday, January 7, 2016 - 2:27:14 PM
Last modification on : Monday, December 20, 2021 - 4:50:15 PM
Long-term archiving on: : Friday, April 8, 2016 - 1:24:58 PM
File
EuroMPI_JSCB.pdf
Files produced by the author(s)