Здравствуйте, ·, Вы писали:

·> mfence

Запрет переупорядочивания, т.е. пример мимо.
Это всего-лишь артефакт дополнительного требования для сериализации доступа.
Для слабых требований mfence не нужен.
А сильные модели содержат куда как больше вариантов, чем один mfence из x86/x86_x64.


·> xchg dword ptr [rip + v], eax

Это про когерентную синхронизацию данных из разных потоков, тоже не имеет отношения к факту атомарной записи значения.


·>Никакой синхронизации, говоришь?

При чём тут синхронизация? ))
Курить, что есть атомарность.