Обеспечивает ли энергозависимая запись/чтение видимость «ближайших» полей? ⇐ C#

[Anonymous]

Просто простой пример. Нет необходимости объяснять lock, Interlocked и т. д.
Bool сигнализирует, доступно ли значение для состояния. состояние и логическое значение впоследствии не изменяется.

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

int state;
volatile bool stateAvailable;

Thread A:
while(!stateAvailable) { sleep }
read state

Thread B:
state = 5;
stateAvailable = true;

Гарантирует ли это, что поток A всегда будет правильно считывать состояние? Меня смущают гарантии здесь (только для этого простого примера):

• Будет ли энергозависимая запись гарантировать, что предыдущие операции будут выполнены, а энергозависимое чтение обеспечит что последующие операции не будут выполняться, тем самым также синхронизируя состояние процессора?
• Или изменчивая запись/чтение только будет гарантировать, что компилятор не оптимизирует проверку bool из Thread A, и это не оказывает никакого влияния на возможно устаревшее значение штат?

Если вы сможете указать мне на дубликат этого вопроса, я тоже буду признателен.

Подробнее здесь: https://stackoverflow.com/questions/756 ... rby-fields