Changes between Version 31 and Version 32 of Next-GenOpenMPTransformation

Timestamp:

10/08/19 16:08:14 (7 years ago)

Author:

wuwenhao

Comment:

--

Next-GenOpenMPTransformation

@@ -1 @@
-== The Sequentially Consistent Subset of OpenMP ==
+= INDEX =
+[https://vsl.cis.udel.edu/trac/civl/wiki/Next-GenOpenMPTransformation#TheSequentiallyConsistentSubsetofOpenMP 1. The Sequentially Consistent Subset of OpenMP]\\
+[https://vsl.cis.udel.edu/trac/civl/wiki/Next-GenOpenMPTransformation#OpenMPConstructs 2. Supported OpenMP Features]\\
+[https://vsl.cis.udel.edu/trac/civl/wiki/Next-GenOpenMPTransformation#OpenMPSimplifier 3. OpenMP Simplification]\\
+[https://vsl.cis.udel.edu/trac/civl/wiki/Next-GenOpenMPTransformation#TransformationDetails 4. OpenMP Transofrmation]
+
+= 1. The Sequentially Consistent Subset of OpenMP =
 OpenMP programs that:
 * Do not use non-sequentially consistent atomic directives;
@@ -7 +13 @@
 The relaxed consistency model is invisible for such programs, and any explicit flush operations in such programs are redundant.
 
+= 2. Supported OpenMP Features =
 == OpenMP Constructs ==
 
@@ -118 +125 @@
 * [[wiki: StaticAnalysis| Static Analysis]]
 
+
+= 3. OpenMP Simplification =
 == OpenMP Simplifier ==
 * We improve the existing OpenMP simplifier with the informations provided by the [[wiki: StaticAnalysis| Static Analysis]].
@@ -294 +303 @@
 
 
-= Transformation Details =
-
+= 4. OpenMP Transformations =
 == Support Types ==