Static Validation of Barriers and Worksharing Constructs in OpenMP Applications
Langue
en
Communication dans un congrès
Ce document a été publié dans
IWOMP, 2014-09-28, Salvador. 2014p. 73 - 86
Résumé en anglais
The OpenMP specification requires that all threads in a team execute the same sequence of worksharing and barrier regions. An improper use of such directive may lead to deadlocks. In this paper we propose a static analysis ...Lire la suite >