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

Глава.29 .Примитивные.конструкции.синхронизации.потоков
‰
Метод 
Volatile.Write
заставляет записать значение в параметр 
location
не-
посредственно в момент обращения. 
Более ранние
загрузки и сохранения про-
граммы должны происходить 
до вызова
этого метода.
‰
Метод 
Volatile.Read
заставляет считать значение параметра 
address
непосред-
ственно в момент обращения. 
Более поздние
загрузки и сохранения программы 
должны происходить 
после вызова
этого метода.
ВниМание
Чтобы.не.запутаться,.приведу.простое.правило:.при.взаимодействии.потоков.друг.
с.другом.через.общую.память.записывайте.последнее.значение.методом.Volatile 
Write,.а.первое.значение.читайте.методом.Volatile Read 
Теперь при помощи указанных методов можно исправить класс 
ThreadsSharing-
Data
:
internal sealed class ThreadsSharingData {
private Int32 m_flag = 0;
private Int32 m_value = 0;
// Этот метод выполняется одним потоком
public void Thread1() {
// ПРИМЕЧАНИЕ. 5 нужно записать в m_value до записи 1 в m_flag
m_value = 5;
Volatile.Write(ref m_flag, 1);
}
// Этот метод выполняется вторым потоком
public void Thread2() {
// ПРИМЕЧАНИЕ. Поле m_value должно быть прочитано после m_flag
if (Volatile.Read(ref m_flag) == 1)
Console.WriteLine(m_value);
}
}
Обращаю ваше внимание на четкое соблюдение правил. Метод 
Thread1
записы-
вает два значения в поля, к которым имеют доступ несколько потоков. Последнее 
значение, которое мы хотим записать (присвоение переменной 
m_flag
значения 1), 
записывается методом 
Volatile.Write
. Метод 
Thread2
читает оба значения из по-
лей общего доступа, причем чтение первого из них (
m_flag
) выполняется методом 
Volatile.Read
.
Но что здесь происходит на самом деле? Для метода 
Thread1
вызов метода 
Volatile.Write
гарантирует, что все записи в переменные будут завершены до за-
писи значения 1 в переменную 
m_flag
. Так как операция 
m_value
=
5
расположена 
до вызова метода 
Volatile.Write
, она сначала должна завершиться. Более того, 
значения скольких бы переменных ни редактировались до вызова метода 
Volatile.
Write
, все эти операции следует завершить до записи значения 1 в переменную 

---

831
Конструкции.пользовательского.режима
m_flag
. При этом все эти операции можно оптимизировать, выполняя их в любом 
порядке; главное, чтобы все они закончились до вызова метода 
Volatile.Write
.
Вызов метода 
Volatile.Read
для метода 
Thread2
гарантирует, что значения 
всех переменных будут прочитаны после значения переменной 
m_flag
. Так как 
чтение переменной 
m_value
происходит после вызова метода 
Volatile.Read
, оно 
должно осуществляться только после чтения значения переменной 
m_flag
. То же 
самое касается чтения всех остальных переменных, расположенных после вызова 
метода 
Volatile.Read
. При этом операции чтения после метода 
Volatile.Read
можно оптимизировать, выполняя их в любом порядке; просто чтение станет не-
возможным до вызова метода 
Volatile.Read
.