No memory model

[Moritz Maxeiner]

On Tuesday, 22 October 2013 at 10:45:29 UTC, qznc wrote:
> On Tuesday, 22 October 2013 at 10:44:41 UTC, qznc wrote:
>> You are a little bit off. Sequential consistency (SC) does 
>> require the compiler to insert locking.
>
> Arg. Does NOT require the compiler to insert locking. ;)

Alright, I more or less paraphrased the definition of SC 
(allegedly) made by Lamport, which is given on the Wikipedia page 
(http://en.wikipedia.org/wiki/Sequential_consistency), but in 
this case you answered your own question, I think. If SC does 
only guarantee this, then you'd need the atomic operations for 
correct synchronisation, as SC doesn't guarantee it?