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

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

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

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).

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

csharp