Модель памяти C++

Без модели памяти многопоточный код непредсказуем: компилятор переставляет инструкции, процессор переупорядочивает записи через буферы, и другой поток может увидеть записи не в том порядке. Модель памяти C++ определяет, какие значения поток вправе увидеть, через отношение happens-before. Его создают синхронизирующие операции: захват и освобождение мьютекса, а также атомарные операции с нужным порядком. seq_cst, порядок по умолчанию, выстраивает все такие операции в единую глобальную последовательность, рассуждать проще всего. Пара release-запись и acquire-чтение того же атомика: если чтение увидело записанное значение, всё, что поток сделал до release, видно после acquire. Так публикуют данные через флаг или указатель. relaxed даёт только атомарность самой операции, годится для счётчиков. Если обращение к обычной памяти не упорядочено happens-before с конкурирующей записью, это гонка данных и UB. На x86 acquire и release почти бесплатны, а на ARM требуют барьеров, поэтому выбор порядка важен для производительности, но начинать стоит с seq_cst.