ompVerify: Polyhedral Analysis for the OpenMP Programmer - Inria - Institut national de recherche en sciences et technologies du numérique
Chapitre D'ouvrage Année : 2011

ompVerify: Polyhedral Analysis for the OpenMP Programmer

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

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

Identifiants

Citer

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⟩
341 Consultations
365 Téléchargements

Altmetric

Partager

More