Net framework 5, а также среды Visual Studio 2012 и C#

Поддержка полей Volatile в C#
Как гарантировать, что программисты будут корректно вызывать методы 
Volatile.
Read
и 
Volatile.Write
? Сложно продумать все, в частности представить, что 
именно могут делать с общими данными другие потоки в фоновом режиме. Для 
упрощения ситуации в C# было введено ключевое слово 
volatile
, применяемое к 
статическим или экземплярным полям типов 
Boolean
, (
S
)
Byte
, (
U
)
Int16
, (
U
)
Int32
, 
(
U
)
IntPtr
, 
Single
и 
Char
. Также оно применяется к ссылочным типам и любым 
перечислимым полям, если в основе последних лежит тип (
S
)
Byte
, (
U
)
Int16
или 
(
U
)
Int32
. JIT-компилятор гарантирует, что доступ к полям, помеченным данным 
ключевым словом, будет происходить в режиме волатильного чтения или записи, 
поэтому в явном виде вызывать статические методы 
Read
и 
Write
класса 
Volatile 
больше не требуется. Более того, ключевое слово 
volatile
запрещает компилято-
ру C# и JIT-компилятору кэшировать содержимое поля в регистры процессора. 
Это гарантирует, что при всех операциях чтения и записи манипуляции будут 
производиться непосредственно с памятью.
Ключевое слово 
volatile
позволяет переписать класс 
ThreadsSharingData
следующим образом:
internal sealed class ThreadsSharingData {
private volatile Int32 m_flag = 0;
private Int32 m_value = 0;
// Этот метод исполняется одним потоком
public void Thread1() {
// ПРИМЕЧАНИЕ. Значение 5 должно быть записано в m_value 
// перед записью 1 в m_flag
m_value = 5;
m_flag = 1;
}
// Этот метод исполняется другим потоком
public void Thread2() {
// ПРИМЕЧАНИЕ. Поле m_value должно быть прочитано после m_flag
if (m_flag == 1)
Console.WriteLine(m_value);
}
}

---

832