Changes between Version 61 and Version 62 of Next-GenOpenMPTransformation

Timestamp:

11/21/19 12:45:28 (6 years ago)

Author:

wuwenhao

Comment:

--

Next-GenOpenMPTransformation

@@ -98 +98 @@
 
 == OpenMP Types ==
-* `omp_lock_t` . . . . . . . . . . . . . . . [Unsupported]
+* `omp_lock_t` ([https://vsl.cis.udel.edu/trac/civl/browser/CIVL/trunk/src/include/civl/omp.cvl omp.cvl])
 
 == OpenMP Runtime Library Routines ==
 === Execution Environment Routines ===
-* `omp_get_max_threads()`
-* `omp_get_num_threads()`
-* `omp_set_num_threads()`
-* `omp_get_thread_num()`
+* `omp_get_max_threads()` (translated as `_omp_thread_max`)
+* `omp_get_num_threads()` (translated as `_omp_nthreads`)
+* `omp_set_num_threads(int x)` (translated as `_omp_num_threads =`/x/)
+* `omp_get_thread_num()`(translated as `_omp_tid`)
 === Lock Routines ===
+see ([https://vsl.cis.udel.edu/trac/civl/browser/CIVL/trunk/src/include/civl/omp.cvl omp.cvl])
 ==== OpenMP Simple Lock ====
-* `omp_init_lock`
-* `omp_destroy_lock`
-* `omp_set_lock` . . . . . . . . . . . . . [Unsupported]
-* `omp_unset_lock` . . . . . . . . . . . .[Unsupported]
-* `omp_test_lock` . . . . . . . . . . . . [Unsupported]
+* `omp_init_lock(omp_lock_t *)`
+* `omp_destroy_lock(omp_lock_t *)`
+* `omp_set_lock(omp_lock_t *)`
+* `omp_unset_lock(omp_lock_t *)`
+* `omp_test_lock(omp_lock_t *)`
 === Timing Routines ===
-* `omp_get_wtime()` . . . . . . . . . . .[Unsupported]
+* `omp_get_wtime()` ([https://vsl.cis.udel.edu/trac/civl/browser/CIVL/trunk/src/include/civl/omp.cvl omp.cvl])
 
 == Plan ==