Дедлок — это тупиковая ситуация в многопоточном программировании, когда два или более потоков блокируют друг друга, ожидая ресурсы, занятые другими потоками из этой же группы.

Условия возникновения дедлока (условия Коффмана):

Взаимное исключение (Mutual Exclusion): Ресурсы не могут быть использованы одновременно несколькими потоками.
Удержание и ожидание (Hold and Wait): Потоки, уже имея один ресурс, ожидают получения дополнительного ресурса, занятого другим потоком.
Без отмены (No Preemption): Ресурс не может быть принудительно отобран у потока, который им владеет; он может быть отпущен только самим потоком.
Циклическое ожидание (Circular Wait): Существует цепочка из двух или более потоков, где каждый поток ожидает ресурс, занятый следующим потоком в цепочке (по сути, ожидание "по кругу").

Простой пример дедлока:

Два потока, два ресурса (A и B).

Поток 1 захватывает ресурс A.
Поток 2 захватывает ресурс B.
Поток 1 пытается захватить ресурс B (который занят Потоком 2).
Поток 2 пытается захватить ресурс A (который занят Потоком 1).

Оба потока заблокированы навсегда.

// Простой пример симуляции дедлока с использованием lock
object resourceA = new object();
object resourceB = new object();

void Thread1Method()
{
    lock (resourceA) // Поток 1 захватил А
    {
        Console.WriteLine("Поток 1 захватил ресурс A");
        Thread.Sleep(100); // Небольшая задержка для демонстрации возможности переключения потоков
        lock (resourceB) // Поток 1 пытается захватить B
        {
            Console.WriteLine("Поток 1 захватил ресурс B");
        }
    }
}

void Thread2Method()
{
    lock (resourceB) // Поток 2 захватил B
    {
        Console.WriteLine("Поток 2 захватил ресурс B");
        Thread.Sleep(100); // Небольшая задержка
        lock (resourceA) // Поток 2 пытается захватить А
        {
            Console.WriteLine("Поток 2 захватил ресурс A");
        }
    }
}

// Создание и запуск потоков может привести к дедлоку.
// new Thread(Thread1Method).Start();
// new Thread(Thread2Method).Start();

// Запуск этого кода может, но не обязательно, продемонстрировать дедлок,
// так как порядок выполнения зависит от планировщика.
// Если Поток 1 захватит А, а Поток 2 захватит B до того, как первый
// поток успеет захватить B, возникнет дедлок.

Предотвращение дедлоков часто достигается путем:

Упорядочивания захвата ресурсов (всегда захватывать ресурсы в одном и том же порядке).
Использования методов захвата с тайм-аутом (пытаться захватить ресурс в течение определенного времени).
Проектирования без необходимости удерживать несколько блокировок одновременно.
Использования атомарных операций или более высокоуровневых примитивов синхронизации (например, Monitor.TryEnter, ReaderWriterLockSlim).

Дедлоки трудно отлаживать, так как зависят от порядка выполнения потоков и часто проявляются только под нагрузкой. Visual Studio предоставляет инструменты для их обнаружения и анализа.

Что такое дедлок?