Потокобезопасный доступ к общим данным — чтение/запись фактически происходит, и переупорядочение не происходит. ⇐ C++

[Anonymous]

Отсюда: https://stackoverflow.com/a/2485177/462608


Для поточно-безопасного доступа к общим данным нам нужна гарантия, что

чтение/запись действительно происходит (что компилятор вместо этого просто сохранит значение в регистре и отложит обновление основной памяти на гораздо более позднее время)

что переупорядочение не происходит. Предположим, что мы используем изменчивую переменную в качестве флага, указывающего, готовы ли некоторые данные
к чтению. В нашем коде мы просто устанавливаем флаг после подготовки данных
, поэтому все выглядит нормально. Но что, если инструкции будут переупорядочены
так, что первым будет установлен флаг?

• При этом В каких случаях компилятор сохраняет значение в регистре и откладывает обновление основной памяти? [относительно приведенной выше цитаты]
• Что такое «переупорядочение», о котором говорит приведенная выше цитата? В каких случаях это происходит?

Подробнее здесь: https://stackoverflow.com/questions/107 ... -reorderin