Formal Specification of the OpenMP Memory Model
Description:
OpenMP [1] is an important API for shared memory programming, combining shared memory's potential for performance with a simple programming interface. Unfortunately, OpenMP lacks a critical tool for demonstrating whether programs are correct: a formal memory model. Instead, the current official definition of the OpenMP memory model (the OpenMP 2.5 specification [1]) is in terms of informal prose. As a result, it is impossible to verify OpenMP applications formally since the prose does not provi…
more
Date:
May 17, 2006
Creator:
Bronevetsky, G & de Supinski, B R
Item Type:
Refine your search to only
Article
Partner:
UNT Libraries Government Documents Department