PARCOACH Extension for Hybrid Applications with Interprocedural Analysis

Emmanuelle Saillard 1 Hugo Brunie 1 Patrick Carribault 1 Denis Barthou 2
2 STORM - STatic Optimizations, Runtime Methods
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest
Abstract : Supercomputers are rapidly evolving with now millions of processing units, posing the questions of their programmability. Despite the emergence of more widespread and functional programming models, developing correct and effective parallel applications still remains a complex task. Although debugging solutions have emerged to address this issue, they often come with restrictions. Furthermore , programming model evolutions stress the requirement for a validation tool able to handle hybrid applications. Indeed, as current scientific applications mainly rely on MPI (Message-Passing Interface), new hardwares designed with a larger node-level parallelism advocate for an MPI+X solution with X a shared-memory model like OpenMP. But integrating two different approaches inside the same application can be error-prone leading to complex bugs. In an MPI+X program, not only the correctness of MPI should be ensured but also its interactions with the multi-threaded model. For example, identical MPI collective operations cannot be performed by multiple non-synchronized threads. In this paper, we present an extension of the PARallel COntrol flow Anomaly CHecker (PARCOACH) to enable verification of hybrid HPC applications. Relying on a GCC plugin that combines static and dynamic analysis, the first pass statically verifies the thread level required by an MPI+OpenMP application and outlines execution paths leading to potential deadlocks. Based on this analysis, the code is selectively instrumented, displaying an error and interrupting all processes if the actual scheduling leads to a deadlock situation. Emmanuelle Saillard CEA, DAM,
Type de document :
Communication dans un congrès
9th International Workshop on Parallel Tools for High Performance Computing, Sep 2015, Dresden, Germany. pp.135 - 146, 2016, 〈https://tools.zih.tu-dresden.de/2015/〉. 〈10.1007/978-3-319-39589-0_11〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01420655
Contributeur : Emmanuelle Saillard <>
Soumis le : mardi 20 décembre 2016 - 19:07:29
Dernière modification le : jeudi 26 juillet 2018 - 12:07:46

Fichier

parcoach_9thPTW (1).pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Emmanuelle Saillard, Hugo Brunie, Patrick Carribault, Denis Barthou. PARCOACH Extension for Hybrid Applications with Interprocedural Analysis. 9th International Workshop on Parallel Tools for High Performance Computing, Sep 2015, Dresden, Germany. pp.135 - 146, 2016, 〈https://tools.zih.tu-dresden.de/2015/〉. 〈10.1007/978-3-319-39589-0_11〉. 〈hal-01420655〉

Partager

Métriques

Consultations de la notice

455

Téléchargements de fichiers

120