An Operational Semantic Basis for OpenMP Race Analysis

Simone Atzeni, Ganesh Gopalakrishnan

OpenMP is the de facto standard to exploit the on-node parallelism in new generation supercomputers.Despite its overall ease of use, even expert users are known to create OpenMP pr…