Changes between Version 45 and Version 46 of Next-GenOpenMPTransformation

Timestamp:

10/31/19 14:29:37 (7 years ago)

Author:

wuwenhao

Comment:

--

Next-GenOpenMPTransformation

@@ -440 +440 @@
       transfromed(BLOCK)
 
-      $omp_barrier_and_flush(team); //check data race
+      $omp_barrier(team); //check data race included
 
       $read_set_pop(); $write_set_pop();
@@ -491 +491 @@
     ...
   }
-  $omp_barrier_and_flush();
+  $omp_barrier(team);
 }
 }}}
@@ -512 +512 @@
 
   if (_omp_tid == _omp_single_dist) {
-    translate(S);
-  }
-
-  $omp_barrier_and_flush(team);
+    translate(BLOCK);
+  }
+
+  $omp_barrier(team);
 } // single construct (end)
 }}}
@@ -545 +545 @@
     transfromed(BLOCK)
   }
-  $barrier_and_flush(team);
+  $omp_barrier(team);
 } // worksharing-loop construct (end)
 }}}
@@ -571 +571 @@
     transfromed(BLOCK)
   }
-  $omp_barrier_and_flush(team);
+  $omp_barrier(team);
 } // worksharing-loop construct (end)
 }}}
@@ -603 +603 @@
 
 {{{
-$omp_barrier_and_flush(team);
+$omp_barrier(team);
 }}}
 
@@ -616 +616 @@
 // critical block with unspecified name
 #pragma omp critical
-  BLOCKA
+  BLOCK_A
 
 // critical block with specified name
 #pragma omp critical(x)
-  BLOCKX
+  BLOCK_X
 }}}
 
@@ -627 +627 @@
 {{{
 ...
-_Bool _critical_ = $false;
-_Bool _critical_x = $false;
+_Bool critical_ = $false;
+_Bool critical_x = $false;
 
 ...
 
 // critical block with unspecified name
-$when (!_critical_) _critical_=$true;
-  translate(BLOCKA)
-  _critical_=$false;
+$yield();
+$when (!critical_) critical_ = $true;
+$check_no_data_race(team);
+  translate(BLOCK_A)
+  critical_ = $false;
 
 // critical block with specified name
-$when (!_critical_x) _critical_x=$true;
-  translate(BLOCKX);
-  _critical_x=$false;
+$yield();
+$when (!critical_x) critical_x = $true;
+$check_no_data_race(team);
+  translate(BLOCK_X);
+  critical_x = $false;
 }}}
 
@@ -746 +750 @@
     $omp_reduction_combine(MULT, _omp_rdc_1_prod, prod);
 
-    $omp_barrier_and_flush(team); //check data race
+    $omp_barrier(team); //check data race
     ..
   }
@@ -786 +790 @@
   $omp_reduction_combine(ADD, _omp_rdc_1_isum, isum);
 
-  $omp_barrier_and_flush(team);
+  $omp_barrier(team);
 } // worksharing-loop construct (end)
 }}}