Changes between Version 32 and Version 33 of Next-GenOpenMPTransformation

Timestamp:

10/08/19 17:37:56 (7 years ago)

Author:

wuwenhao

Comment:

--

Next-GenOpenMPTransformation

@@ -1 +1 @@
 = 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]
+[https://vsl.cis.udel.edu/trac/civl/wiki/Next-GenOpenMPTransformation#a1.TheSequentiallyConsistentSubsetofOpenMP 1. The Sequentially Consistent Subset of OpenMP]\\
+[https://vsl.cis.udel.edu/trac/civl/wiki/Next-GenOpenMPTransformation#a2.SupportedOpenMPFeatures 2. Supported OpenMP Features]\\
+[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]
 
 = 1. The Sequentially Consistent Subset of OpenMP =
@@ -396 +396 @@
 
 == Translations of specific directives ==
+[1. parallel construct]
+[2. worksharing-loop construct]
 
 === Translating `parallel` ===
@@ -402 +404 @@
 
 {{{
-  float x; // shared
-  int y; // private
-  #pragma omp parallel shared(x) private(y)
+  float a; // shared
+  int i; // private
+  int j; // firstprivate
+  #pragma omp parallel shared(a) private(i) firstprivate(j)
   {
-    ...
-    x=5.2;
-    y=3;
-   ...
+    BLOCK
   }
 }}}
@@ -416 +416 @@
 
 {{{
-  float x;
-  int y;
-  { // begin parallel construct
-    int _nthreads = 1+$choose_int(THREAD_MAX);
+  float a; // shared
+  int i; // private
+  int j; // firstprivate
+  { // parallel construct (begin)
+    int nthreads = 1+$choose_int(num_threads);
+    int fstpvt_j = j;
     $omp_gteam gteam = $omp_gteam_create($here, nthreads);
 
-    $parfor (int _tid : {0..nthreads-1}) {
-      $omp_team team = $omp_team_create($here, gteam, _tid);
-      int _y; // private variable
-
-      $write_set_push();
-      $read_set_push();
-      ...
-      x = 5.2;
-      _y = 3;
-      ...
-      // check for dataraces (collective operation) 
-      $omp_barrier_and_flush(team, $read_set_pop(), $write_set_pop());
+    $parfor (int tid : ($domain){0..nthreads-1}) {
+      $local_start();
+      $omp_team team = $omp_team_create($here, gteam, tid);
+      $read_set_push(); $write_set_push();
+
+      int i; // private
+      int j = fstpvt_j; // first private init.
+
+      transfromed(BLOCK)
+
+      $omp_barrier_and_flush(team); //check data race
+
+      $read_set_pop(); $write_set_pop();
       $omp_team_destroy(team);
-    } // end $parfor
+      $local_end();
+    }
+
     $omp_gteam_destroy(gteam);
-  } // end parallel construct
+  } // parallel construct (end)
 }}}
 
 All variables that occur in the parallel construct, i.e., the lexical extent of the parallel construct, must be determined to be either private or shared.   This is determined by the clauses and the default rules as specified in the OpenMP Standard.  Obviously any variable declared within the construct itself must be private.
 
-For all private variables `y` not declared within the parallel construct, create a new variable of the same type, `_y`.    The new variable is declared within the thread scope.  If `y` is also firstprivate,  then `_y` is initialized with the value of `y`, e.g. `int _y=y;`.  Otherwise, `_y` is uninitialized, so has an undefined value.
+For all '''private''' variables `i` and `j` (out of `$parfor`) not declared within 
+the parallel construct, create new variables of the same type, `i` and `j` (in the `$parfer`).
+The new variable is declared within the thread scope.  
+`j` (out of `$parfor`) is also '''firstprivate''',  then `j` (in the `$parfor`) is 
+initialized with the value of `fstpvt_j`.  
+Otherwise, `i` (in the `$parfor`) is uninitialized, so has an undefined value.
 
 === Translating `for` ===
@@ -451 +461 @@
 {{{
 #pragma omp for
-for (i=0; i<n; i++)  
-  S
-}}}
-
-=>
-
-{{{
-{
-  $domain loop_domain = {0..n-1};
-  $domain(1) my_iters = ($domain(1))$omp_arrive_loop(team, FOR_LOC++, loop_domain, STRATEGY);
-
-  $for (int i : my_iters) {
-    translate(S);
+for (i=1; i<n; i=i+1) {
+  BLOCK
+}
+}}}
+
+=>
+
+{{{
+{ // worksharing-loop construct (begin)
+  // [lb .. ub # step] (lb <= ub)
+  $domain loop_domain = {1 .. n-1 # 1}; 
+  $domain(1) loop_dist = ($domain(1))$omp_arrive_loop(
+               team, loop_id++, loop_domain, STRATEGY);
+
+  $for (int i : loop_dist) {
+    transfromed(BLOCK)
   }
-  $barrier_and_flush(team, $read_set_pop(), $write_set_pop());
-  $read_set_push(); $write_set_push();
-}
+  $barrier_and_flush(team);
+} // worksharing-loop construct (end)
 }}}
 
@@ -477 +489 @@
   for (j=0; j<m; j++)
     for (k=0; k<l; k++) {
-      S
-    }
-}}}
-
-=>
-
-{{{
-{
-  $domain loop_domain = {0..n-1, 0..m-1, 0..l-1};
-  $domain(3) my_iters = ($domain(3))$omp_arrive_loop(team, FOR_LOC++, loop_domain, STRATEGY);
+      BLOCK
+    }
+}}}
+
+=>
+
+{{{
+{ // worksharing-loop construct (begin)
+  $domain loop_domain = {0..n-1 #1, 0..m-1 #1, 0..l-1 #1};
+  $domain(3) loop_dist = ($domain(3))$omp_arrive_loop(
+               team, loop_id++, loop_domain, STRATEGY);
 
   $for (int i, j, k : my_iters) {
-    translate(S);
+    transfromed(BLOCK)
   }
-  $omp_barrier_and_flush(team, $read_set_pop(), $write_set_pop());
-  $read_set_push(); $write_set_push();
-}
+  $omp_barrier_and_flush(team);
+} // worksharing-loop construct (end)
 }}}