Changes between Version 49 and Version 50 of OpenMPTransformation

Timestamp:

08/12/14 17:09:51 (12 years ago)

Author:

zmanchun

Comment:

--

OpenMPTransformation

@@ -41 +41 @@
 == 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 all the shared object data, and a worksharking queue for every thread.
-* `$omp_team`: local object belonging to a single thread and referencing the global team object.  A handle type.
-* `$omp_gshared`: global shared object, used to represent the state of a shared variable.  A handle type.
-* `$omp_shared`: local view of the shared object, belonging to a single thread, with reference to the global object.  A handle type
-* `$omp_ref`: a reference to a shared object or some part of a shared object 
+* `$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[][];
+  $omp_gshared shared[];
+  $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 the local views of all shared data and a local barrier. Definition: 
+{{{
+typedef struct OMP_team {
+  $omp_gteam gteam;
+  $scope scope;
+  int tid;
+  $omp_shared shared[];
+  $barrier barrier;
+} * $omp_team;
+}}}
+
+* `$omp_gshared`: global shared object, containing a reference to a shared variable. A handle type. Definition:
+{{{
+typedef struct OMP_gshared {
+  _Bool init[];
+  void * original;
+} * $omp_gshared;
+}}}
+
+* `$omp_shared`: local view of a shared object, belonging to a single thread, with reference to the global object, and a local copy and a status of the shared object. The type of the  status variable is obtained from the type of the original variable by replacing all leaf nodes in the type tree with "int". A handle type. 
+{{{
+typedef struct OMP_shared {
+  $omp_gshared gshared;
+  int tid;
+  void * local;
+  void * status;
+} * $omp_shared;
+}}}
+
+* `$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 subdomain; // tasks this thread must do
+} $omp_work_record;
+}}}
+
+* `$omp_var_status`: an enumeration type for the status of a shared component. Available enumerators are: `EMPTY`, `FULL`, `MODIFIED`.
 
 == Support Functions ==
@@ -52 +99 @@
 
 * `$omp_gteam $omp_gteam_create($scope scope, int nthreads)`
- * creates new global team object, allocating object in heap in specified scope.  Number of threads that will be in the team is `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
@@ -63 +113 @@
 
 * `$omp_gshared $omp_gshared_create($omp_gteam, void *original)`
- * creates new global shared object, associated to the given global team.  A pointer to the shared variable that this object corresponds to is given.  The new object is initialized by copying the values from the original variable.
+ * creates new global shared object, associated to the given global team. A pointer to the shared variable that this object corresponds to is given.
+
 * `void $omp_gshared_destroy($omp_gshared gshared)`
  * destroys the global shared object, copying the context to the original variable
+
 * `$omp_shared $omp_shared_create($omp_team team, $omp_gshared gshared)`
- * creates a local shared object, returning handle to it
+ * creates a local shared object, returning handle to it.  creates a local shared object, returning handle to it. The local copy of the shared object is initialized by copying the values from the original variable referenced to by the gshared object. The created shared object is appended to the shared queue of the $omp_team object.
+
 * `void $omp_shared_destroy($omp_shared shared)`
  * destroys the local shared object
-* `$omp_ref $omp_identity_ref($omp_shared shared)`
- * creates a reference to the specified shared object
-* `$omp_ref $omp_array_element_ref($omp_ref ref, int index)`
- * creates a reference to an element of a shared array object.  Argument `ref` is a reference to shared object of array type.
-* `$omp_ref $omp_member_ref($omp_ref ref, int fieldIndex)`
- * creates a reference to a member of a structure or union shared object.  Argument `ref` is a reference to the shared object of structure or union type.
-* `void $omp_read(void *result, $omp_ref ref)`
- * called by a thread to read a shared object pointed to by `ref`.  The result of the read is stored in the memory unit pointed to by `result`.
-* `void $omp_write($omp_ref ref, void *value)`
- * called by a thread to write to the shared object pointed to by `ref`.  The value to be written is taken from the memory unit pointed to by `value`.
-* `void $omp_apply_assoc($omp_ref ref, $operator op, void *value)`
- * Reads the reference, applies the associative operator specified by `op` to the read value and the value pointed to by `value`, and writes the result back to `ref`.  This happens in one atomic step.  Example: you can use this to add some value to a shared variable, using `CIVL_SUM` for `op`.
-* `void $omp_flush($omp_shared shared)`
+
+* `void $omp_read($omp_shared shared, void *result, void *ref)`
+ * called by a thread to read a shared object. ref is a pointer into the local copy of the shared variable. The result of the read is stored in the memory unit pointed to by result. assumes ref is a pointer to a scalar.
+
+* `void $omp_write($omp_shared shared, void *ref, void *value)`
+ * called by a thread to write to the shared object. ref is a pointer into the local copy of the shared variable. The value to be written is taken from the memory unit pointed to by value. assumes ref is a pointer to a scalar.
+
+* `void $omp_apply_assoc($omp_shared shared, void *local, $operation op, void *value)`
+ * applies the associative operator specified by op to the local value and the corresponding shared value,  and writes the result back to the shared object. This happens in one atomic step. Example: you can use this to add some value to a shared variable, using CIVL_SUM for op. assumes local is a pointer to a scalar.
+
+* `void $omp_flush($omp_shared shared, void *ref)`
  * performs an OpenMP flush operation on the shared object
+
 * `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.
@@ -444 +496 @@
 * `omp_get_num_threads()` => `_nthreads`
 * `omp_get_thread_num()` => `_tid`
-