Является ли .Net Lock (контекст) атомом?

Question

Я понимаю, что блокировка .net гарантирует, что только один поток выполняет строки кода, найденные в пределах области блокировки.

Я не понимаю, является ли замок атомарным. Можно ли прервать поток при выполнении заблокированного кода?

Например - Мне кажется, что если замок не атомный, то следующий код не поточно:

Class example 
{ 
    private int myNumber; 
    private object context = new object(); 

void Write() 
{ 
    myNumber--; 
} 

void WriteLock() 
{ 
    lock (context) 
    { 
     myNumber++; 
     print(myNumber); 
    } 
} 

}

Если поток А peforms метода блокировки записи() и прерывается, потому что поток B выполняет Write(), тогда myNumber может быть изменен небезопасно. Я прав?

Answer 1

Нет, это шутки громко, как ошибка. Эти операторы не являются атомарными, хотя они выглядят так. Под капотом они работают как чтение-изменение-запись, три операции вместо одного. Таким образом, они сами не являются атомарными. Отсутствующая блокировка в Write() позволяет выполнять ее одновременно с WriteLock(). Результат произволен, в том числе без изменений, когда наступает расписание впереди WriteLock, и значение фактически уменьшается, когда WriteLock расы опережает Write.

Имея нить, прерванную, когда она владеет замком, не имеет значения, замок будет удерживаться дольше.

Использовать блокировку. Инкремент() и Decrement() для более дешевой версии, которая не нужна lock.

Answer 2

Проверьте документацию msdn. Я бы предположил, что он либо атомный, либо реализует какой-то другой шаблон, чтобы этого не произошло.

Проблема с вашим примером заключается в том, что метод Write также должен получить блокировку перед уменьшением myNumber, чтобы ни один другой поток не мог изменять общий ресурс.

void Write() 
{ 
    lock(context) { 
    myNumber--; 
    } 
}