[jamessinghal]

I'd assume the synchronization primitives in OSes are written with the memory ordering in mind at the least.

[IshKebab]

Yeah I think this is true - they can be nops on x86. But it's still going to be better to have explicit sync instructions only where needed than implicit sync everywhere.