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

Deadlock — это логическая ошибка, при которой несколько потоков или очередей оказываются в состоянии взаимной блокировки.

Определение

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

Классический сценарий

Перед перечислением важно понимать, что deadlock не лечится автоматически.

1. Поток A захватывает ресурс X

2. Поток B захватывает ресурс Y

3. Поток A ждёт ресурс Y

4. Поток B ждёт ресурс X

5. Ни один поток не может продолжить выполнение

Пример с GCD

Один из самых распространённых случаев в iOS — блокировка главной очереди.

DispatchQueue.main.sync {
    // deadlock, если вызывается с main thread
}

Почему это происходит:

• sync блокирует текущий поток

• Главная очередь ждёт завершения блока

• Блок не может начаться, потому что поток уже заблокирован

Частые причины deadlock

• Вложенные sync вызовы

• Неправильный порядок захвата locks

• Использование semaphore без signal()

• Блокировка главной очереди

Как избегать

• Не вызывать sync на текущей очереди

• Соблюдать единый порядок захвата ресурсов

• Минимизировать использование locks

• Использовать async вместо sync

Вывод

Deadlock — критическая ошибка, полностью останавливающая выполнение. Грамотная архитектура и аккуратная синхронизация — ключ к её предотвращению.