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

Конструкции пользовательского режима
CLR гарантирует атомарность чтения и записи следующих типов данных: 
Boolean
, 
Char
, (
S
)
Byte
, (
U
)
Int16
, (
U
)
Int32
, (
U
)
IntPtr
, 
Single
и ссылочных типов. Это озна-
чает, что все байты переменной читаются или записываются одновременно. Пред-
положим, имеется следующий класс:
internal static class SomeType {
public static Int32 x = 0;
}
Если какой-то поток выполняет следующую строку кода, то переменная 
x
сразу 
(атомарно) изменяется с 
0x00000000
до 
0x01234567
:
SomeType.x = 0x01234567;
1
Я считаю, что выделенная потоку память расходуется впустую, если поток не выполняет 
никакой полезной работы.
2
В моей книге «Windows via C/C++» (Microsoft Press, 2007) этой теме посвящено не-
сколько глав.

---

826
Глава.29 .Примитивные.конструкции.синхронизации.потоков
При этом посторонние потоки не увидят переменную в промежуточном состо-
янии. К примеру, другой поток не может запросить свойство 
SomeType.x
и полу-
чить значение 
0x01230000
. Предположим, что поле 
x
класса 
SomeType
относится 
к типу 
Int64
. Если поток выполнит следующую строку кода, то другой поток смо-
жет сделать запрос переменной 
x
и получить значение 
0x0123456700000000
или 
0x0000000089abcdef
, так как операции чтения и записи не являются атомарными:
SomeType.x = 0x0123456789abcdef;
Это пример так называемого 
прерванного чтения
(torn read).
Хотя атомарный доступ к переменной гарантирует, что чтение и запись осу-
ществляются одновременно, из-за работы компилятора и оптимизации процессора 
вы не можете знать, 
когда именно
произойдет чтение или запись. Примитивные 
конструкции пользовательского режима, рассмотренные в этом разделе, управляют 
временем выполнения этих атомарных операций. Кроме того, они обеспечивают 
атомарность и управление временем выполнения для переменных типов данных 
U(
Int64
) и 
Double
.
Примитивные конструкций синхронизации потоков пользовательского режима 
делятся на два типа:
‰
Volatile-конструкции
выполняют для переменной, содержащей данные простого 
типа, атомарную операцию чтения 
или
записи.
‰
Interlocked-конструкции
выполняют для переменной, содержащей данные про-
стого типа, атомарную операцию чтения 
и
записи.
Конструкции обоих типов требуют передачи ссылки (адреса в памяти) на пере-
менную, принадлежащую к простому типу данных.