[concurrency-interest] Semantics of compareAndSwapX

[Andrew Haley]

On 02/26/2014 06:11 PM, Hans Boehm wrote:
> 
> On ARMv8, I would expect a volatile store to be compiled to a store
> release, and a volatile load to be compiled to a load acquire.  Period.

...

> I'm hedging a bit here, because the original Java memory model doesn't say
> anything about CAS, and I don't fully understand the details of the ARMv8
> model, particularly the interaction between acquire/release loads and
> stores and traditional ARM fences.

Doug, is this right?  It sounds reasonable enough.

Andrew.