Skip to Main content Skip to Navigation
Book sections

ompVerify: Polyhedral Analysis for the OpenMP Programmer

Abstract : 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.
Document type :
Book sections
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download
Contributor : Steven Derrien Connect in order to contact the contributor
Submitted on : Friday, January 5, 2018 - 12:26:55 PM
Last modification on : Tuesday, October 19, 2021 - 11:58:53 PM


Files produced by the author(s)



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⟩



Les métriques sont temporairement indisponibles