Changes between Version 17 and Version 18 of Next-GenOpenMPTransformation

Timestamp:

05/16/19 10:54:18 (7 years ago)

Author:

ziqing

Comment:

--

Next-GenOpenMPTransformation

@@ +1 @@
+== The Sequentially Consistent Subset of OpenMP ==
+OpenMP programs that:
+* Do not use non-sequentially consistent atomic directives;
+* Do not rely on the accuracy of a false result from omp_test_lock and omp_test_nest_lock; and
+* Correctly avoid data races as required in Section 1.4.1 on page 23 (OpenMP spec 5.0)
+
+The relaxed consistency model is invisible for such programs, and any explicit flush operations in such programs are redundant.
+
 == OpenMP Constructs ==