|
|
@ -196,7 +196,7 @@ reordered to occur before it.
|
|
|
|
|
|
|
|
|
|
|
|
When thread A releases a location in memory and then thread B subsequently
|
|
|
|
When thread A releases a location in memory and then thread B subsequently
|
|
|
|
acquires *the same* location in memory, causality is established. Every write
|
|
|
|
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
|
|
|
|
However no causality is established with any other threads. Similarly, no
|
|
|
|
causality is established if A and B access *different* locations in memory.
|
|
|
|
causality is established if A and B access *different* locations in memory.
|
|
|
|
|
|
|
|
|
|
|
|