Почему deadlock не возникает в concurrent queue?

Чтобы понять, почему deadlock не возникает, важно различать поведение очередей.

Как работает concurrent queue

Concurrent queue может:

• выполнять несколько задач одновременно

• запускать задачи на разных потоках

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

Пример с sync

let queue = DispatchQueue(label: "com.app.concurrent", attributes: .concurrent)

queue.sync {
    queue.sync {
        // выполнится
    }
}

Почему это работает

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

1. Внешняя задача занимает один поток

2. Внутренняя sync-задача может быть выполнена на другом потоке

3. Очередь не ждёт освобождения одного единственного ресурса

Важное уточнение

Хотя deadlock здесь не возникает, это не означает, что такой код безопасен или хорош.

• возможны гонки данных

• возможны проблемы с производительностью

Краткий вывод

Concurrent queue снижает риск deadlock за счёт параллельного выполнения, но не отменяет необходимость аккуратной синхронизации.