Учебное пособие Казань 018 удк

Increment 
ни 
Assign
метод не являются 
потокобезопасными: 
class ThreadUnsafe { static int _x ; static void Increment () { _x ++; } static void 
Assign () { _x = 123 ; } }
Вот потокобезопасные версии 
Increment
и 
Assign
: 
class ThreadSafe { static readonly object _locker = new object (); static int _x ;
static void Increment () { lock ( _locker ) _x ++; }
static void Assign () { lock ( _locker ) _x = 123 ; }
} 
Если группа переменных всегда читается и записывается в пределах 
одной блокировки, вы можете сказать, что переменные читаются и 
записываются атомарно. Предположим, что поля 
x 
и 
y 
всегда читаются и 
назначаются внутри 
lock 
объекта 
locker
: 
lock ( locker ) { if ( x ! = 0 ) y / = x ; } 
Можно сказать что к переменным 
x 
и 
y 
мы
 
получаем доступ атомарно, 
потому что кодовый блок не может быть разделен или вытеснен действиями 
другого потока таким образом, чтобы он изменил 
x 
или 
y
до вычисления 
результата.

---

65 
Атомность, 
предоставляемая 
блокировкой, 
нарушается, 
если 
выбрасывается исключение внутри 
lock 
блока. Например, рассмотрим 
следующий пример: 
decimal _savingsBalance, _checkBalance; 
void Transfer (decimal amount) 
{ 
lock (_locker) 
{ 
_savingsBalance += amount; 
_checkBalance -= amount + GetBankFee(); 
} 
}
Если бы исключение было брошено методом 
GetBankFee()
, банк потерял 
бы деньги. В этом случае мы могли бы избежать проблемы, вызвав