Какво е deadlock?

Дедлокът е ситуация на задънена улица в многопоточната програмиране, когато две или повече нишки блокират една друга, очаквайки ресурси, заети от други нишки в същата група.

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

1. Взаимно изключване (Mutual Exclusion): Ресурсите не могат да бъдат използвани едновременно от няколко нишки.
2. Задържане и очакване (Hold and Wait): Нишките, които вече имат един ресурс, очакват да получат допълнителен ресурс, зает от друга нишка.
3. Без предварително отнемане (No Preemption): Ресурсът не може да бъде принудително отнет от нишка, която го притежава; може да бъде освободен само от самата нишка.
4. Кръгово очакване (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 заема A
    {
        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 се опитва да заеме A
        {
            Console.WriteLine("Нишка 2 зае ресурс A");
        }
    }
}

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

// Изпълнението на този код може, но не е задължително, да демонстрира дедлок,
// тъй като редът на изпълнение зависи от планировчика.
// Ако нишка 1 заеме A, а нишка 2 заеме B преди първата
// да успее да заеме B, ще възникне дедлок.

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

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

Deadlock-ите са трудни за отстраняване, тъй като зависят от реда на изпълнение на нишките и често се проявяват само под натоварване. Visual Studio предоставя инструменти за тяхното откриване и анализ.