SAILLARD, Emmanuelle; CARRIBAULT, Patrick; BARTHOU, Denis

doi:10.1177/1094342014552204

Metadatos

Mostrar el registro completo del ítem

Licencia de uso del documento

SAILLARD, Emmanuelle
DAM Île-de-France [DAM/DIF]

CARRIBAULT, Patrick
DAM Île-de-France [DAM/DIF]

BARTHOU, Denis
Efficient runtime systems for parallel architectures [RUNTIME]
Laboratoire Bordelais de Recherche en Informatique [LaBRI]

Idioma

Article de revue

Este ítem está publicado en

International Journal of High Performance Computing Applications. 2014p. 10.1177/1094342014552204

SAGE Publications

Resumen en inglés

Nowadays most scientific applications are parallelized based on MPI communications. Collective MPI communications have to be executed in the same order by all processes in their communicator and the same number of times, otherwise it is not conforming to the standard and a deadlock or other undefined behavior can occur. 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 focus on blocking MPI collective operations in SPMD applications, assuming MPI calls are not nested in multithreaded regions. We show on several benchmarks the small impact on performance and the ease of integration of our techniques in the development process.< Leer menos

Palabras clave en inglés

MPI

debugging

collective

static analysis

correctness

Metadatos

Compartir este ítem

Licencia de uso del documento

PARCOACH: Combining static and dynamic validation of MPI collective communications

Idioma

Este ítem está publicado en

Resumen en inglés

Palabras clave en inglés

URI

DOI

Orígen

Centros de investigación