Skip to Main content Skip to Navigation
Conference papers

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.
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Emmanuelle Saillard Connect in order to contact the contributor
Submitted on : Thursday, October 30, 2014 - 10:54:01 AM
Last modification on : Monday, December 20, 2021 - 4:50:11 PM
Long-term archiving on: : Monday, February 2, 2015 - 3:53:02 PM


Files produced by the author(s)




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⟩



Les métriques sont temporairement indisponibles