Changes between Version 4 and Version 5 of OpenMP-Transformation-Introduction

Timestamp:

07/10/22 02:59:12 (4 years ago)

Author:

wuwenhao

Comment:

--

OpenMP-Transformation-Introduction

@@ -64 +64 @@
 $domain(1) dom = ($domain){thread_range};
 $omp_gteam gteam = $omp_gteam_create($here, nthreads);
-$mem rs[nthreads], ws[nthreads]; // read sets and write sets.
+$mem RS[nthreads], WS[nthreads]; // global read/write sets for threads.
 for(int i=0; i<nthreads; i++) {
-  ws[i] = $mem_empty();
-  rs[i] = $mem_empty();
+  WS[i] = $mem_empty();
+  RS[i] = $mem_empty();
 }
 
@@ -74 +74 @@
   $depends_on(/*nothing*/)$atomic{
     $omp_team team = $omp_team_create($here, gteam, tid);
-    $track{ // RS stack: rs0:={}; WS stack: ws0:={};
+    $track{ 
       // Enter parallel region
+// local memset stacks: rs:={{}}; ws:={{}};
       A; 
+// local memset stacks: rs:={{A}}; ws:={{A}};
+// update global memsets RS[tid] and WS[tid] in $yield
+// global memses: RS[tid]:={A}; WS[tid]:={A};
       $yield();
+// local memset stacks: rs:={{A}, {}}; ws:={{A}, {}};
+
       $when(critical_c->value == 0);
       $track{ // Ignore race on lock
@@ -83 +89 @@
       }
       B;
+// local memset stacks: rs:={{A}, {B}}; ws:={{A}, {B}};
       $track{ // Ignore race on lock
          critical_c->value = 0; // Exit critical block
       }
-      // RS stack: rs0:={A, B}; WS stack: ws0:={A, B};
-      $check_data_race(&rs, &ws, nthreads, tid); // 1st check
+// update global memsets RS[tid] and WS[tid] in $check_data_race
+// global memses: RS[tid]:={A}U{B}; WS[tid]:={A}U{B};
+      $check_data_race(&RS, &WS, nthreads, tid); // 1st check
       $track_clean();
-      rs[tid] = $mem_empty(); 
-      ws[tid] = $mem_empty(); 
-      // RS stack: rs0:={}; WS stack: ws0:={};
+// local memset stacks: rs:={}; ws:={};
+// update global memsets RS[tid] and WS[tid] in $yield
+// global memses: RS[tid]:={}; WS[tid]:={};
+      $yield();
+// local memset stacks: rs:={{}}; ws:={{}};
+
       C;
+// local memset stacks: rs:={{C}}; ws:={{C}};
+// update global memsets RS[tid] and WS[tid] in $check_data_race
+// global memses: RS[tid]:={C}; WS[tid]:={C};
       $check_data_race(&rs, &ws, nthreads, tid); // 2nd check
     } // RS stack: <empty>; WS stack: <empty>; empty sets rs0, ws0;