[aarch64-port-dev ] Replace MemBarRelease for final field write with MemBarStoreStore

[Vitaly Davidovich]

>
> 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.


Right, it's not with you but you linked to both of those articles as a
reason for why this probably isn't a good idea. :)

At any rate, I don't want to derail this thread too much, but I'm now
interested in how these two viewpoints (Hans and Aleksey's articles)
reconcile.

On Wed, Sep 2, 2015 at 10:25 AM, Andrew Haley <aph at redhat.com> wrote:

> 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.
>
>
>