Ответсообщение недоступно
Ссылка
нажмите — покажем
нажмите — покажем
Cтатьи Russ Cox хорошо эту тему раскрывают.
Увидите связь между x86 TSO и acq/rel в языке C++ и то как сравнивают модели памяти.
https://research.swtch.com/hwmm
https://research.swtch.com/plmm.