В какую конструкцию трансформируется оператор lock в C#?

Оператор lock в C# трансформируется в вызов методов Monitor.Enter и Monitor.Exit (или Monitor.TryEnter с последующим Monitor.Exit) в блоке try...finally.

// Оригинальный код с lock
object lockObject = new object();
lock (lockObject)
{
    // Защищенный код
}

// Трансформация выполнит примерно следующее:
object lockObject = new object();
bool lockTaken = false; // Флаг для отслеживания успешного захвата монитора
try
{
    Monitor.Enter(lockObject, ref lockTaken); // Попытка захватить монитор
    // Monitor.TryEnter можно использовать вместо Monitor.Enter
    if (lockTaken) // Проверяем, был ли монитор захвачен
    {
        // Защищенный код
    }
}
finally
{
    if (lockTaken) // Освобождаем монитор только если он был захвачен
    {
        Monitor.Exit(lockObject);
    }
}

Использование Monitor.Enter с параметром ref bool lockTaken и блока try...finally гарантирует, что монитор будет освобожден даже в случае возникновения исключения в защищенном коде.