Static Validation of Barriers and Worksharing Constructs in OpenMP Applications

Emmanuelle Saillard 1 Patrick Carribault 1 Denis Barthou 2, 3
3 RUNTIME - Efficient runtime systems for parallel architectures
Inria Bordeaux - Sud-Ouest, UB - Université de Bordeaux, CNRS - Centre National de la Recherche Scientifique : UMR5800
Abstract : The OpenMP specification requires that all threads in a team execute the same sequence of worksharing and barrier regions. An improper use of such directive may lead to deadlocks. In this paper we propose a static analysis to ensure this property is verified. The well-defined semantic of OpenMP programs makes compiler analysis more effective. We propose a new compile-time method to identify in OpenMP codes the potential improper uses of barriers and work-sharing constructs, and the execution paths that are responsible for these issues. We implemented our method in a GCC compiler plugin and show the small im-pact of our analysis on performance for NAS-OMP benchmarks and a test case for a production industrial code.
Type de document :
Communication dans un congrès
IWOMP, Sep 2014, Salvador, Brazil. pp.73 - 86, 2014, 〈10.1007/978-3-319-11454-5_6〉
Liste complète des métadonnées

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

https://hal.archives-ouvertes.fr/hal-01078759
Contributeur : Emmanuelle Saillard <>
Soumis le : jeudi 30 octobre 2014 - 10:54:01
Dernière modification le : jeudi 29 mars 2018 - 09:04:04
Document(s) archivé(s) le : lundi 2 février 2015 - 15:53:02

Fichier

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

Identifiants

Collections

Citation

Emmanuelle Saillard, Patrick Carribault, Denis Barthou. Static Validation of Barriers and Worksharing Constructs in OpenMP Applications. IWOMP, Sep 2014, Salvador, Brazil. pp.73 - 86, 2014, 〈10.1007/978-3-319-11454-5_6〉. 〈hal-01078759〉

Partager

Métriques

Consultations de la notice

238

Téléchargements de fichiers

146