переназначения атомарных операций в C++

Question

Предположим, что у меня есть 2 темы:

int value = 0; 
std::atomic<bool> ready = false; 

thread 1: 
value = 1 
ready = true; 

thread 2: 
while (!ready); 
std::cout << value; 

эта программа может выводить 0?

Я прочитал о модели памяти C++ - в частности, последовательная согласованность, которая, по моему мнению, является дефолтом, и это было не особенно ясно. Требуется ли компилятору просто выполнять атомарные операции в правильном порядке относительно друг друга или требуется, чтобы атомарные операции были в правильном порядке относительно всех других операций?

Answer 1

По умолчанию операции над атомными переменными выполняются с использованием семантики memory_order_seq_cst, которая гарантирует, что переупорядочение не будет выполнено.

Таким образом, линия: value = 1 не может быть заказана ниже атомном назначение: value = 1, поэтому линии std::cout << value; всегда будет печатать 1.

по тем же правилам, линия: std::cout << value; не может быть заказана
выше линии: while (!ready);.

Answer 2

Он действует как барьер памяти, как и ответ ShadowRanger. Однако, для более подробной информации о том, почему это так, я предлагаю посмотреть на Herb Sutter's talk on atomic weapons. Он подробно разбирается в том, как и почему атомистика работает.