Сможет ли пробудившийся поток прочитать последние данные, если над данными выполняются операции записи без блокировки пе ⇐ C++

[Anonymous]

Я видел много статей, в которых говорилось, что без блокировки может произойти переупорядочение компилятора, переупорядочение инструкций ЦП и т. д. Однако я проверил скомпилированный код и не обнаружил такого переупорядочения. Я считаю, что компиляторы вряд ли будут менять порядок notify_one перед простыми операциями записи. Итак, на процессоре x86-64 потребитель всегда будет читать данные как 42? Я запускал это много раз и всегда получал это значение. Я использую GCC версии 11.4.0 (Ubuntu 11.4.0-1ubuntu1~22.04.2).
Проще говоря, я хочу знать: на процессоре x86-64, если производитель не использует блокировку и выполняет data=xxx, то read=true, затем notify_one, а потребитель использует cv.wait(lock, [] { return Ready; }), будет ли потребитель всегда читать самые последние значения данных? Почему?
#include
#include
#include
#include
#include

std::mutex mtx;
std::condition_variable cv;
bool ready = false;
int data = 0;

void producer() {
std::this_thread::sleep_for(std::chrono::milliseconds(100));
data = 42;
ready = true;
cv.notify_one();
}

void consumer() {
std::unique_lock lock(mtx);
cv.wait(lock, [] { return ready; });

if (data != 42) {
std::cout

Подробнее здесь: https://stackoverflow.com/questions/798 ... ations-are