[concurrency-interest] Semantics of compareAndSwapX
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.
More information about the Concurrency-interest