Что такое deadlock и как он возникает?

Question

Deadlock — это ситуация, когда потоки навсегда ждут друг друга. Каждый поток удерживает ресурс и ожидает освобождения другого. В результате выполнение останавливается. Deadlock чаще всего возникает из-за неправильной синхронизации. Это одна из самых опасных ошибок многопоточности.

YeaHub · Accepted Answer

Deadlock — это логическая ошибка, при которой несколько потоков или очередей оказываются в состоянии взаимной блокировки.ОпределениеDeadlock — это состояние системы, в котором дальнейшее выполнение невозможно из-за циклического ожидания ресурсов.Классический сценарийПеред перечислением важно понимать, что deadlock не лечится автоматически.Поток A захватывает ресурс XПоток B захватывает ресурс YПоток A ждёт ресурс YПоток B ждёт ресурс XНи один поток не может продолжить выполнениеПример с GCDОдин из самых распространённых случаев в iOS — блокировка главной очереди.DispatchQueue.main.sync {
    // deadlock, если вызывается с main thread
}
Почему это происходит:sync блокирует текущий потокГлавная очередь ждёт завершения блокаБлок не может начаться, потому что поток уже заблокированЧастые причины deadlockВложенные sync вызовыНеправильный порядок захвата locksИспользование semaphore без signal()Блокировка главной очередиКак избегатьНе вызывать sync на текущей очередиСоблюдать единый порядок захвата ресурсовМинимизировать использование locksИспользовать async вместо syncВыводDeadlock — критическая ошибка, полностью останавливающая выполнение. Грамотная архитектура и аккуратная синхронизация — ключ к её предотвращению.