OpenMP as a High-Level Specification Language for Parallelism And its use in Evaluating Parallel Programming Systems