Changes between Version 64 and Version 65 of Next-GenOpenMPTransformation

Timestamp:

03/12/21 17:00:32 (5 years ago)

Author:

wuwenhao

Comment:

--

Next-GenOpenMPTransformation

@@ -4 +4 @@
 [https://vsl.cis.udel.edu/trac/civl/wiki/Next-GenOpenMPTransformation#a3.OpenMPSimplification 3. OpenMP Simplification]\\
 [https://vsl.cis.udel.edu/trac/civl/wiki/Next-GenOpenMPTransformation#a4.OpenMPTransformations 4. OpenMP Transofrmation]
+
+= General Ideas of Omp Transformation =
+
+1. At a right mover (e.g. lock, enter_critical), we do yield and push.
+2. At a left mover (e.g., unlock, exit_critical), we do check and then clean (pop).
+    (Note that it only clean whats in between a pair of right mover and left mover.)
+3. A barrier is transformed as: barrier() ; check(); clean_all(); barrier();
+
+E.g.,
+{{{
+#pragma omp parallel shared(s)
+{
+  A;
+  #pragma omp critical(c)
+  {
+  B;
+  }
+  C;
+}
+}}}
+ ==>
+{{{
+$depends_on(/*nothing*/)$atomic{
+  $track{  // SetStack: S0
+  A;
+  $yield;
+  $track{  // SetStack: S0, S1
+  E;
+  {
+    B;
+  }
+  X;
+  $check; // All var. in sets in SetStack
+  }       // clean S1 -- var. in B
+  C;
+  $check; 
+  }
+}
+}}}
+
+
 
 = 1. The Sequentially Consistent Subset of OpenMP =