Changes between Version 76 and Version 77 of Next-GenOpenMPTransformation

Timestamp:

11/19/21 14:12:26 (4 years ago)

Author:

wuwenhao

Comment:

--

Next-GenOpenMPTransformation

@@ -7 +7 @@
 = 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).
+1. At a right mover (e.g. lock, enter_critical, enter_atomic), we do yield and push.
+2. At a left mover (e.g., unlock, exit_critical, exit_atomic), 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_data_race(); $track_clean(); barrier();
@@ -826 +826 @@
 {{{
 int $x_read$0;
+$yield(); // Yield on entering an atomic construct
 $track{ // Will not collect this read on x for checking data race
-  $x_read = x;
+  $x_read$0 = x;
 }
 v = $x_read$0;
+// Check data race and clean R/W sets of this thread.
+$check_data_race(&rs, &ws, nthreads, tid); 
+$track_clean();
+rs[tid] = $mem_empty(); 
+ws[tid] = $mem_empty(); 
 }}}