On 04/05/17 14:44, Jonathan Wakely wrote: > Although there are also relaxed atomic operations (on atomic types) > which are not synchronization operations. Not all atomic operations > provide sequential consistency. If you had multiple cores issuing CAS with consume on a single variable, you'd get total order, I think? and you wouldn't with relaxed because with relaxed you wouldn't get a compiler barrier.