Presentation: Understanding OrderAccess

[Andrew Haley]

On 29/11/16 13:08, Doerr, Martin wrote:
> Also storeStore barriers are expected to be transitive or "cumulative" as the property is called in PPC64 documentation.
> If one thread releases something which is based on something else which was written by another thread, a third thread
> which acquires it, is expected to see that in a consistent way. Do you agree?

It depends.  What exactly do you mean by "is based on"?

Andrew.