ompVerify: Polyhedral Analysis for the OpenMP Programmer - Archive ouverte HAL Access content directly
Book Sections Year : 2011

ompVerify: Polyhedral Analysis for the OpenMP Programmer

(1) , (1) , (1) , (2) , (2) , (2) , (3)


We describe a static analysis tool for OpenMP programs integrated into the standard open source Eclipse IDE. It can detect an important class of common data-race errors in OpenMP parallel loop programs by flagging incorrectly specified omp parallel for directives and data races. The analysis is based on the polyhedral model, and covers a class of program fragments called Affine Control Loops (ACLs, or alternatively, Static Control Parts, SCoPs). ompVerify automatically extracts such ACLs from an input C program, and then flags the errors as specific and precise error messages reported to the user. We illustrate the power of our techniques through a number of simple but non-trivial examples with subtle parallelization errors that are difficult to detect, even for expert OpenMP programmers.
Fichier principal
Vignette du fichier
iwomp2011.pdf (302.62 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00752626 , version 1 (05-01-2018)



Vamshi Basupalli, Tomofumi Yuki, Sanjay Rajopadhye, Antoine Morvan, Steven Derrien, et al.. ompVerify: Polyhedral Analysis for the OpenMP Programmer. Chapman, Barbara M.; Gropp, William D.; Kumaran, Kalyan; Müller, Matthias S. OpenMP in the Petascale Era, 6665, Springer, pp.37-53, 2011, 978-3-642-21486-8. ⟨10.1007/978-3-642-21487-5_4⟩. ⟨hal-00752626⟩
312 View
310 Download



Gmail Facebook Twitter LinkedIn More