Static Validation of Barriers and Worksharing Constructs in OpenMP Applications - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

Static Validation of Barriers and Worksharing Constructs in OpenMP Applications

Résumé

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

Dates et versions

hal-01078759 , version 1 (30-10-2014)

Identifiants

Citer

Emmanuelle Saillard, Patrick Carribault, Denis Barthou. Static Validation of Barriers and Worksharing Constructs in OpenMP Applications. IWOMP, Sep 2014, Salvador, Brazil. pp.73 - 86, ⟨10.1007/978-3-319-11454-5_6⟩. ⟨hal-01078759⟩
290 Consultations
375 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More