Changes between Version 15 and Version 16 of OpenMPTransformation

Timestamp:

04/20/14 18:36:28 (12 years ago)

Author:

siegel

Comment:

--

OpenMPTransformation

@@ -238 +238 @@
 
 Basically, use a lock for each critical name, plus one for the "no name".  All threads must obtain lock to enter the critical section, then release it.
+I.e., if there are critical sections name a, b, and c, there should be global root-scope variables of boolean type named `_critical_noname`, `_critical_a`, etc.
+
+{{{
+#pragma omp critical a
+S
+}}}
+
+=>
+
+{{{
+...
+_Bool _critical_a = $false;
+.
+.
+.
+$when (!_critical_a) _critical_a=$true;
+translate(S);
+_critical_a=$false;
+}}}
 
 === Translating `atomic` ===
 
-This is just `$atomic`.
+This is just `$atomic`.  Or nothing, since assignment expressions are already atomic in CIVL-C.  The question is, what to do with non-atomic updates. They should register as race conditions.
 
 ===  Translating`ordered` ===