Changes between Version 72 and Version 73 of Next-GenOpenMPTransformation

Timestamp:

03/31/21 09:56:27 (5 years ago)

Author:

wuwenhao

Comment:

--

Next-GenOpenMPTransformation

@@ -48 +48 @@
       $mem_disjoint(...)
   );
+  rs[tid] = $mem_empty(); 
+  ws[tid] = $mem_empty(); 
 }
 }}}
 {{{
 // Init parallel region env.
-$range _omp_thread_range = 0 .. _omp_nthreads - 1;
-$domain(1) _omp_dom = ($domain){_omp_thread_range};
-$omp_gteam _omp_gteam = $omp_gteam_create($here, _omp_nthreads);
-$mem rs[_omp_nthreads], ws[_omp_nthreads];
-for(..) {
-  ws[i] = empty;
-  rs[i] = empty;
-}
-$for (int _omp_tid: _omp_dom) {
+$range thread_range = 0 .. nthreads - 1;
+$domain(1) dom = ($domain){thread_range};
+$omp_gteam gteam = $omp_gteam_create($here, nthreads);
+$mem rs[nthreads], ws[nthreads]; // read sets and write sets.
+for(int i=0; i<nthreads; i++) {
+  ws[i] = $mem_empty();
+  rs[i] = $mem_empty();
+}
+
+// Transformed parallel region
+$for (int tid: dom) {
   $depends_on(/*nothing*/)$atomic{
-    $omp_team _omp_team = $omp_team_create($here, _omp_gteam, _omp_tid);
+    $omp_team team = $omp_team_create($here, gteam, tid);
     $track{ // RS stack: rs0:={}; WS stack: ws0:={};
       // Enter parallel region
       A; 
       $yield();
-      $when(_omp_critical_c->value == 0);
+      $when(critical_c->value == 0);
       $track{ // Ignore race on lock
-         _omp_critical_c->value = 1; // Enter critical block
+         critical_c->value = 1; // Enter critical block
       }
       B;
       $track{ // Ignore race on lock
-         _omp_critical_c->value = 0; // Exit critical block
+         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
       $track_clean();
-      rs[tid] = $mem_empty(); 
-      ws[tid] = $mem_empty(); 
       // RS stack: rs0:={}; WS stack: ws0:={};
       C;