Changes between Version 29 and Version 30 of Next-GenOpenMPTransformation

Timestamp:

06/25/19 16:56:33 (7 years ago)

Author:

siegel

Comment:

--

Next-GenOpenMPTransformation

@@ -391 +391 @@
 === Translating `parallel` ===
 
-`parallel`: this spawns some nondeterministic number of threads.  We will assume there is a constant `THREAD_MAX` defined somewhere.  The number of threads created will be between 1 and `THREAD_MAX` (inclusive).  Each thread is assigned an ID.  The original ("master") thread has ID 0.  All threads execute the parallel region.
+`parallel`: this spawns some nondeterministic number of threads, unless a `num_threads` clause is present, in which case the number of threads is specified exactly..  We will assume there is a constant `THREAD_MAX` defined somewhere.  The number of threads created will be between 1 and `THREAD_MAX` (inclusive).  Each thread is assigned an ID.  The original ("master") thread has ID 0.  All threads execute the parallel region.
 
 {{{
@@ -413 +413 @@
     int _nthreads = 1+$choose_int(THREAD_MAX);
     $omp_gteam gteam = $omp_gteam_create($here, nthreads);
-    $omp_gshared x_gshared = $omp_gshared_create(gteam, &x);
 
     $parfor (int _tid : {0..nthreads-1}) {
       $omp_team team = $omp_team_create($here, gteam, _tid);
-      $omp_shared x_shared = $omp_shared_create(team, x_gshared);
       int _y; // private variable
 
       ...
-      { // "x=5.2":
-        float tmp = 5.2;
-  
-        $omp_write(x_shared, x_shared->local, &tmp);
-      }
+      x = 5.2;
       _y = 3;
       ...
      $omp_barrier_and_flush(team); // implicit at end of parallel region
-     $omp_shared_destroy(x_shared);
      $omp_team_destroy(team);
     } // end $parfor
-    $omp_gshared_destroy(x_gshared);
     $omp_gteam_destroy(gteam);
   } // end parallel construct
@@ -502 +494 @@
 =>
 
-The following translation assumes that $omp_shared has already been created somewhere.
 
 {{{