Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2015

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.
Fichier principal
Vignette du fichier
EuroMPI_JSCB.pdf (176.53 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01252321 , version 1 (07-01-2016)

Identifiers

Cite

Julien Jaeger, Emmanuelle Saillard, Patrick Carribault, Denis Barthou. Correctness Analysis of MPI-3 Non-Blocking Communications in PARCOACH. European MPI Users' Group Meeting , Sep 2015, Bordeaux, France. ⟨10.1145/1235⟩. ⟨hal-01252321⟩
514 View
210 Download

Altmetric

Share

Gmail Facebook X LinkedIn More