pull/10/head
king6cong 8 years ago
parent 616b98444f
commit 6dd445b8e7

@ -196,7 +196,7 @@ reordered to occur before it.
When thread A releases a location in memory and then thread B subsequently
acquires *the same* location in memory, causality is established. Every write
that happened before A's release will be observed by B after its release.
that happened before A's release will be observed by B after its acquisition.
However no causality is established with any other threads. Similarly, no
causality is established if A and B access *different* locations in memory.

Loading…
Cancel
Save