[cpp-threads] Failed compare-and-swap

[Peter Dimov]

Boehm, Hans wrote:

> FWIW, java.lang.concurrent.atomic.compareAndSet returns only a
> Boolean. But (unlike weakCompareAndSet) it may not fail spuriously,
> and hence I think still needs acquire semantics in the failure case
> to provide sequential consistency for race-free programs.

Why do you people keep claiming that acquire semantics provide sequential 
consistency? I must be missing something.