ompVerify: Polyhedral Analysis for the OpenMP Programmer - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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⟩
326 Consultations
352 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More