Занят ожиданием с атомным ⇐ C++

[Anonymous]

Может ли компилятор проверять атомарную переменную в тесном бесконечном цикле?

Код: Выделить всё

std::atomic ready = false;
void run() {
while(!ready){}
// ... do something
}

Может ли компилятор изменить приведенный выше код таким образом?

Код: Выделить всё

std::atomic ready = false;
void run() {
bool is_ready = ready;
while(!is_ready){}
// ... do something
}

в 17:24, Артур О'Двайер говорит, что компилятор может изменить структуру. Это кажется совершенно нелогичным. Что, если я изменю вызов на Ready.load(), помешает ли это компилятору перестроить код? Если нет, то почему операции CAS работают в цикле while? Разве компилятор не может переставить их аналогичным образом?

Подробнее здесь: https://stackoverflow.com/questions/780 ... atomicbool