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.
Type de document :
Chapitre d'ouvrage
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〉
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00752626
Contributeur : Steven Derrien <>
Soumis le : vendredi 5 janvier 2018 - 12:26:55
Dernière modification le : mercredi 16 mai 2018 - 11:23:27

Fichier

iwomp2011.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Citation

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〉

Partager

Métriques

Consultations de la notice

781

Téléchargements de fichiers

62