Changes between Version 62 and Version 63 of Next-GenOpenMPTransformation

Timestamp:

11/21/19 16:00:59 (6 years ago)

Author:

wuwenhao

Comment:

--

Next-GenOpenMPTransformation

@@ -98 +98 @@
 
 == OpenMP Types ==
-* `omp_lock_t` ([https://vsl.cis.udel.edu/trac/civl/browser/CIVL/trunk/src/include/civl/omp.cvl omp.cvl])
+* `omp_lock_t` 
 
 == OpenMP Runtime Library Routines ==
@@ -905 +905 @@
 
 ([https://vsl.cis.udel.edu/trac/civl/wiki/Next-GenOpenMPTransformation#OpenMPConstructs back to top])
+
+== Translations of specific routines ==
+
+=== Lock Routines ===
+==== OpenMP Simple Lock ====
+
+* `omp_lock_t`, `omp_init_lock` and `omp_destroy_lock` stay unchanged ([https://vsl.cis.udel.edu/trac/civl/browser/CIVL/trunk/src/include/civl/omp.cvl omp.cvl])
+* `omp_set_lock` and `omp_unset_lock` are translated as:
+
+{{{
+  ..
+  omp_set_lock(&lck);
+  BLOCK;
+  omp_unset_lock(&lck);
+  ..
+}}}
+
+=>
+
+{{{
+  ..
+  $read_and_write_set_update(team);
+  $yield();
+  $omp_set_lock(&lck, tid);
+  $check_data_race(team);
+
+  translated(BLOCK);
+
+  $read_and_write_set_update(team);
+  $yield();
+  $omp_unset_lock(&lck, tid);
+  $check_data_race(team);
+  ..
+}}}
+
+* `omp_test_lock` is translated as:
+
+{{{
+  while(! omp_test_lock(&lck)) {
+    .. // Other non-critical task
+  }
+  .. // Critical task
+  omp_unset_lock(&lck);
+}}}
+
+=>
+
+{{{
+  while(! omp_test_lock(&lck, tid)) { // no Sync, not wrapped
+    .. // Other non-critical task
+  }
+  .. // Critical task
+  $read_and_write_set_update(team);
+  $yield();
+  $omp_unset_lock(&lck, tid); // Sync required, so wrapped.
+  $check_data_race(team);
+}}}
+
+([https://vsl.cis.udel.edu/trac/civl/wiki/Next-GenOpenMPTransformation#OpenMPConstructs back to top])