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

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

Четыре условия, необходимые для возникновения дедлока (условия Коффмана):

1. Взаимное исключение (Mutual Exclusion): Ресурс не может использоваться одновременно несколькими процессами.
2. Удержание и ожидание (Hold and Wait): Поток, уже владеющий хотя бы одним ресурсом, ожидает получения дополнительных ресурсов, которые в данный момент заняты другими потоками.
3. Отсутствие принудительного освобождения (No Preemption): Ресурсы не могут быть принудительно отняты у потока. Они могут быть освобождены только добровольно потоком, который ими владеет.
4. Циклическое ожидание (Circular Wait): Существует цикл ожиданий между двумя или более потоками. Например, Поток A ожидает ресурс, удерживаемый Потоком B, который ожидает ресурс, удерживаемый Потоком C, который ожидает ресурс, удерживаемый Потоком A.

В iOS разработке дедлоки часто возникают при работе сConcurrency (многопоточностью), например, при неправильном использовании GCD (Grand Central Dispatch) или Operation Queues:

• Попытка синхронного выполнения блока кода на очереди, на которой уже находится текущий поток (например, вызов sync на main очереди из главного потока).
• Два потока пытаются захватить два разных замка или семафора в разном порядке.

Пример простого дедлока с использованием GCD:

func deadlockExample() {
    // Главная очередь
    let mainQueue = DispatchQueue.main

    // Выполняем синхронно блок на главной очереди из главного потока
    // Главный поток ожидает завершения блока,
    // а блок не может запуститься, потому что главный поток занят ожиданием.
    mainQueue.sync {
        print("This line will never be reached.")
    }
}