On 12/08/15 09:33, Aleksey Shipilev wrote: > Or is it the other way around: weakCAS is relaxed by default, and > acq/rel weakCAS version are actually *stronger* than default weakCAS? That's how I read it. weakCompareAndSet is ldxr; cmp; stxr weakCompareAndSetAcquire is ldaxr; cmp; stxr weakCompareAndSetRelease is ldxr; cmp; stlxr Andrew.