Для начала простой пример:
static async Task Main(string[] args)
{
Console.WriteLine(Thread.CurrentThread.ManagedThreadId);
await Task.Yield();
Console.WriteLine(Thread.CurrentThread.ManagedThreadId);
}
Выполнив его, вы увидите 2 разных значения. Это значит, что код после оператора await
может выполнятся в другом потоке, нежели код до оператора.
Теперь попробуем сделать то, про что пишет Рихтер:
static async Task Main(string[] args)
{
var syncObject = new object();
Monitor.Enter(syncObject);
await Task.Yield();
Monitor.Exit(syncObject);
}
Получим SynchronizationLockException
. Что бы понять почему так происходит, нужно знать как работает Monitor.Enter
(ну и оператор lock
соответственно).
Когда выполняется метод Monitor.Enter
, CLR запоминает текущий поток в заголовке объекта (managed object header). Мы можем несколько раз вызывать Monitor.Enter
на одном и том же объекте в одном и том же потоке, и мы не будем получать блокировок. Код ниже отработает моментально:
static async Task Main(string[] args)
{
var syncObject = new object();
Monitor.Enter(syncObject);
Monitor.Enter(syncObject);
Monitor.Enter(syncObject);
}
Когда вызывается метод Monitor.Exit
, CLR проверяет, совпадает ли поток, который заблокировал объект, с потоком, который пытается разблокировать объект. Эта проверка как раз и гарантирует то, что только один поток может выполнять код в блоке lock (obj) { ... }
.
Что бы исключить внезапный SynchronizationLockException
и ввели ошибку компиляции связанную с операторами await
и lock
. Это не связано с дедлоками.