[concurrency-interest] Semantics of compareAndSwapX

[Andrew Haley]

On 02/20/2014 10:25 AM, David Holmes wrote:
> The volatile-read followed by volatile-write implicit in the CAS precludes
> any accesses before the cas appearing after, or vice-versa. I would appeal
> intuitively to "roach motel" semantics but Aleksey would jump on me. ;-)

True enough, but that does not preclude, say, a write access to am
unrelated location appearing after the volatile read but before the
volatile write.  Does that matter?  I guess it must not, but it does
mean that the CAS may not be strictly atomic.

Andrew.