Для поточно-безопасного доступа к общим данным нам нужна гарантия, что
чтение/запись действительно происходит (что компилятор вместо этого просто сохранит значение в регистре и отложит обновление основной памяти на гораздо более позднее время)
что переупорядочение не происходит. Предположим, что мы используем изменчивую переменную в качестве флага, указывающего, готовы ли некоторые данные
к чтению. В нашем коде мы просто устанавливаем флаг после подготовки данных
, поэтому все выглядит нормально. Но что, если инструкции будут переупорядочены
так, что первым будет установлен флаг?
- При этом В каких случаях компилятор сохраняет значение в регистре и откладывает обновление основной памяти? [относительно приведенной выше цитаты]
- Что такое «переупорядочение», о котором говорит приведенная выше цитата? В каких случаях это происходит?
Подробнее здесь: https://stackoverflow.com/questions/107 ... -reorderin
