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.