MPI Thread-Level Checking for MPI+OpenMP Applications

Abstract : MPI is the most widely used parallel programming model. But the reducing amount of memory per compute core tends to push MPI to be mixed with shared-memory approaches like OpenMP. In such cases, the interoperability of those two models is challenging. The MPI 2.0 standard defines the so-called thread level to indicate how MPI will interact with threads. But even if hybrid programs are more common, there is still a lack in debugging tools and more precisely in thread level compliance. To fill this gap, we propose a static analysis to verify the thread-level required by an application. This work extends PARCOACH, a GCC plugin focused on the detection of MPI collective errors in MPI and MPI+OpenMP programs. We validated our analysis on computational benchmarks and applications and measured a low overhead.
Type de document :
Communication dans un congrès
Euro-Par 2015, Aug 2015, Vienne, Austria. 9233, pp.31-42, 2015, Lecture Notes in Computer Science. 〈http://link.springer.com/chapter/10.1007/978-3-662-48096-0_3〉. 〈10.1007/978-3-662-48096-0_3〉
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01199718
Contributeur : Emmanuelle Saillard <>
Soumis le : mardi 15 septembre 2015 - 23:04:09
Dernière modification le : jeudi 29 mars 2018 - 09:04:04
Document(s) archivé(s) le : mardi 29 décembre 2015 - 07:24:11

Fichier

parcoach_EuroPar_camera_ready....
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Emmanuelle Saillard, Patrick Carribault, Denis Barthou. MPI Thread-Level Checking for MPI+OpenMP Applications. Euro-Par 2015, Aug 2015, Vienne, Austria. 9233, pp.31-42, 2015, Lecture Notes in Computer Science. 〈http://link.springer.com/chapter/10.1007/978-3-662-48096-0_3〉. 〈10.1007/978-3-662-48096-0_3〉. 〈hal-01199718〉

Partager

Métriques

Consultations de la notice

159

Téléchargements de fichiers

150