MPI Thread-Level Checking for MPI+OpenMP Applications - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

MPI Thread-Level Checking for MPI+OpenMP Applications

Résumé

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.
Fichier principal
Vignette du fichier
parcoach_EuroPar_camera_ready.pdf (222.42 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01199718 , version 1 (15-09-2015)

Identifiants

Citer

Emmanuelle Saillard, Patrick Carribault, Denis Barthou. MPI Thread-Level Checking for MPI+OpenMP Applications. Euro-Par 2015, Aug 2015, Vienne, Austria. pp.31-42, ⟨10.1007/978-3-662-48096-0_3⟩. ⟨hal-01199718⟩

Collections

CEA CNRS DAM
217 Consultations
384 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More