Changes between Version 27 and Version 28 of Next-GenOpenMPTransformation

Timestamp:

06/25/19 12:36:32 (7 years ago)

Author:

siegel

Comment:

--

Next-GenOpenMPTransformation

@@ -292 +292 @@
 }}}
 * Functions for managing `$mem` objects can be found in `mem.cvh`
+
+
+= Transformation Details =
+
+== Support Types ==
+
+* `$omp_gteam`: global team object, represents a team of threads executing in a parallel region.  A handle type.  This is where all the state needed to correctly execute a parallel region will be stored.   This includes a global barrier and a worksharing queue (incomplete array-of-$omp_work_record) for every thread. Definition:
+{{{
+typedef struct OMP_gteam {
+  $scope scope;
+  int nthreads;
+  _Bool init[];
+  $omp_work_record work[][];
+  $gbarrier gbarrier;
+} * $omp_gteam;
+}}}
+
+* `$omp_team`: local object belonging to a single thread and referencing the global team object.  A handle type. It also includes a local barrier. Definition: 
+{{{
+typedef struct OMP_team {
+  $omp_gteam gteam;
+  $scope scope;
+  int tid;
+  $barrier barrier;
+} * $omp_team;
+}}}
+
+* `$omp_work_record`: the worksharing information that a thread needs for executing a worksharing region. It contains the kind of the worksharing region, the location of the region, the status of the region and the subdomain (iterations/sections/task assigned to the thread).
+{{{
+typedef struct OMP_work_record {
+  int kind; // loop, barrier, sections, or single
+  int location; // location in model of construct
+  _Bool arrived; // has this thread arrived yet?
+  $domain loop_dom;// full loop domain; null if not loop
+  $domain subdomain; // tasks this thread must do
+} $omp_work_record;
+}}}
+
+== Support Functions ==
+
+=== Team creation and destruction ===
+
+* `$omp_gteam $omp_gteam_create($scope scope, int nthreads)`
+ * creates new global team object, allocating object in heap in the specified scope.  Number of threads that will be in the team is `nthreads`.
+
+* `void $omp_gteam_destroy($omp_gteam gteam)`
+ * destroys the global team object.  All shared objects associated to the team must have been destroyed before calling this function.
+
+* `$omp_team $omp_team_create($scope scope, $omp_gteam gteam, int tid)`
+ * creates new local team object for a specific thread.
+
+* `void $omp_team_destroy($omp_team team)`
+ * destroys the local team object
+
+=== Other ===
+
+* `void $omp_apply_assoc(void * x, $operation op, void * y)`
+ * translation of `x = x op y`
+
+* `void $omp_flush_all($omp_team)`
+ * performs an OpenMP flush operation on all shared objects.  This is the default in OpenMP if no argument is specified for a flush construct.