Static Validation of Barriers and Worksharing Constructs in OpenMP Applications - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014

Static Validation of Barriers and Worksharing Constructs in OpenMP Applications

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.
Fichier principal
Vignette du fichier
Parcoach.pdf (574.01 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
281 View
361 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More