Changes between Version 65 and Version 66 of OpenMPTransformation

Timestamp:

04/28/17 02:38:24 (9 years ago)

Author:

siegel

Comment:

--

OpenMPTransformation

@@ -187 +187 @@
   `2=MODIFIED`: local is occupied, writes have been made to it
 
-Initially: `local=shared`, `status=FULL`
+'''Initially: `local=default value`, `status=EMPTY`'''
 
 Protocols for reads, writes, and flushes:
@@ -235 +235 @@
   barrier_and_flush(): // collective operation on all shared objects
     barrier();
-    for each shared memory unit:
-      assert there is at most one thread for which this memory unit
-        has status MODIFIED;
+    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);
     barrier();