Changes between Version 66 and Version 67 of OpenMPTransformation

Timestamp:

04/28/17 02:48:29 (9 years ago)

Author:

siegel

Comment:

--

OpenMPTransformation

@@ -235 +235 @@
   barrier_and_flush(): // collective operation on all shared objects
     barrier();
-    for each shared memory unit, check both:
-       (1) there is at most one thread for which this memory unit
-        has status MODIFIED, and (2) if there is one thread for which
-        the memory unit is MODIFIED then all other threads have status
-        EMPTY
-      flush(memory unit);
+    for each shared memory unit {
+         check: if there is a thread for which that memory unit is MODIFIED,
+            then all other threads have status EMPTY for that memory unit.
+         flush(memory unit);
+    }
     barrier();
   }}}