Static validation of barriers and worksharing constructs in OpenMP applications

E. Saillard; P. Carribault; D. Barthou

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

Static validation of barriers and worksharing constructs in OpenMP applications

E. Saillard, P. Carribault, D. Barthou

Research output: Contribution to journal › Article › peer-review

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 worksharing constructs, and the execution paths that are responsible for these issues. We implemented our method in a GCC compiler plugin and show the small impact of our analysis on performance for NAS-OMP benchmarks and a test case for a production industrial code.

Original language	English
Pages (from-to)	73-86
Number of pages	14
Journal	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	8766
DOIs	https://doi.org/10.1007/978-3-319-11454-5_6
Publication status	Published - 1 Jan 2014
Externally published	Yes

Access to Document

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

Cite this

@article{bc437391cc364db0b12e4d08dce8a3f2,

title = "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 worksharing constructs, and the execution paths that are responsible for these issues. We implemented our method in a GCC compiler plugin and show the small impact of our analysis on performance for NAS-OMP benchmarks and a test case for a production industrial code.",

author = "E. Saillard and P. Carribault and D. Barthou",

note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2014.",

year = "2014",

month = jan,

day = "1",

doi = "10.1007/978-3-319-11454-5\_6",

language = "English",

volume = "8766",

pages = "73--86",

journal = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

issn = "0302-9743",

}

TY - JOUR

T1 - Static validation of barriers and worksharing constructs in OpenMP applications

AU - Saillard, E.

AU - Carribault, P.

AU - Barthou, D.

N1 - Publisher Copyright: © Springer International Publishing Switzerland 2014.

PY - 2014/1/1

Y1 - 2014/1/1

N2 - 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 worksharing constructs, and the execution paths that are responsible for these issues. We implemented our method in a GCC compiler plugin and show the small impact of our analysis on performance for NAS-OMP benchmarks and a test case for a production industrial code.

AB - 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 worksharing constructs, and the execution paths that are responsible for these issues. We implemented our method in a GCC compiler plugin and show the small impact of our analysis on performance for NAS-OMP benchmarks and a test case for a production industrial code.

U2 - 10.1007/978-3-319-11454-5_6

DO - 10.1007/978-3-319-11454-5_6

M3 - Article

AN - SCOPUS:84921776624

SN - 0302-9743

VL - 8766

SP - 73

EP - 86

JO - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

JF - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

ER -

Static validation of barriers and worksharing constructs in OpenMP applications

Abstract

Access to Document

Fingerprint

Cite this