Заключительный тупик не возникает

Question

Я нашел этот пример в книге. И написано, что этот код приводит к тупиковой ситуации. Но я не понимаю и не понимаю, почему это должно быть? Я всегда получаю

«Locked B и A»

«Locked А и В»

static void Main() 
{ 
    object lockA = new object(); 
    object lockB = new object(); 
    var up = Task.Run(() => 
    { 
     lock (lockA) 
     { 
      Thread.Sleep(1000); 
      lock (lockB) 
      { 
       Console.WriteLine(“Locked A and B”); 
      } 
     } 
    }); 

    lock (lockB) 
    { 
     lock (lockA) 
     { 
      Console.WriteLine(“Locked B and A”); 
     } 
    } 

    up.Wait(); 
    Console.ReadLine(); 
} 

Answer 1

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