[concurrency-interest] Semantics of compareAndSwapX

Andrew Haley aph at redhat.com
Thu Feb 27 04:22:30 EST 2014


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.



More information about the Concurrency-interest mailing list