Может Monitor.Enter сгенерировать исключение?

Question

Может Monitor.Enter выбросить любое исключение.Я делаю обзор кода и нахожу, что Monitor.Enter перед попыткой блокировки.Видите ли вы какие-либо проблемы с в?

Monitor.Enter(...)
try
{
    ...
}
finally
{
    Monitor.Exit(..)
}

Answer 1

Это правильный шаблон, независимо от того, Enter() бросает (может бросить) или нет.

Только после успешного вызова Enter() ваш код отвечает за вызов Exit().

Предположим, что звонок на Enter() не удался. Тогда вызывать соответствующий Exit() просто неправильно, это усугубит ситуацию. Так что Enter() должен быть вне (перед) блока try.

Answer 2

Комментарий Ганса Пассанта, конечно, правильный.Если Monitor.Enter бросает до блокировки, то вы не хотите, чтобы наконец-то запустился.Если он выдает после блокировки, и после , попытка вводится, тогда блокировка снимается.(Подробнее об этом позже.) Но если бросок произойдет после того, как будет снята блокировка, но за до попытка введена, блокировка никогда не будет очищена.

Эторедкая, но возможная ситуация.

В C # 4 мы изменили кодовый код оператора блокировки, чтобы ввод монитора был внутри попытки.Это гарантирует, что блокировка всегда снимается, если что-то срабатывает после того, как блокировка снята.Тем не менее, обратите внимание, что это все равно может быть неправильно .Если что-то выбрасывается после взятия блокировки, то , независимо от неатомарной мутации, которую защищает блокировка, может быть наполовину завершено , и тогда блок finally разблокирует блокировку и разрешит доступ к несогласованному состоянию!Фундаментальная проблема здесь заключается в том, что вы не должны бросать блокировку в первую очередь.

См. мою статью о проблеме для дальнейшего обсуждения.

Answer 3

Monitor.Enter может выдать как минимум следующие исключения

• ArgumentNullException для параметра: null
• ThreadInterruptedException, если поток, выполняющий Enter, вызвал метод Interrupt.

Answer 4

Если он получает блокировку, то нет.

Но между блоком Monitor.Enter и try может возникнуть исключение.

Рекомендуемый метод - новый Введите метод, новый в .NET 4:

public static void Enter( obj, ref bool lockTaken )