SAILLARD, Emmanuelle; CARRIBAULT, Patrick; BARTHOU, Denis

doi:10.1007/978-3-319-11454-5_6

Metadatos

Mostrar el registro completo del ítem

Licencia de uso del documento

SAILLARD, Emmanuelle
DAM Île-de-France [DAM/DIF]

CARRIBAULT, Patrick
DAM Île-de-France [DAM/DIF]

BARTHOU, Denis
Laboratoire Bordelais de Recherche en Informatique [LaBRI]
Efficient runtime systems for parallel architectures [RUNTIME]

Idioma

Communication dans un congrès

Este ítem está publicado en

IWOMP, 2014-09-28, Salvador. 2014p. 73 - 86

Resumen en inglés

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.< Leer menos

Metadatos

Compartir este ítem

Licencia de uso del documento

Static Validation of Barriers and Worksharing Constructs in OpenMP Applications

Idioma

Este ítem está publicado en

Resumen en inglés

URI

DOI

Orígen

Centros de investigación