[aarch64-port-dev ] Replace MemBarRelease for final field write with MemBarStoreStore
Andrew Haley
aph at redhat.com
Wed Sep 2 14:25:01 UTC 2015
On 09/02/2015 03:20 PM, Vitaly Davidovich wrote:
> AArch64 respects the dependence, as does AFAIK everything except the
> now-dead DEC Alpha, but it's clear that on the writer side a
> StoreStore alone isn't going to do it: "JSR 133 Cookbook only requires
> StoreStore, but might also require LoadStore barriers"
>
>
> But Aleksey's explanation of why StoreStore isn't sufficient is
> basically leaning on Hans' example, which in turns talks about not
> relying on dependence. But then we rely on dependence on the read
> side? It doesn't make sense to me.
Perhaps not, but your argument is not with me. I've been around this
with Hans and roomfulls of other concurrency people enough times
already.
Andrew.
More information about the aarch64-port-dev
mailing list