В каких случаях вызов sync приводит к deadlock?

Question

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

YeaHub · Accepted Answer

Deadlock — это ситуация, когда выполнение кода полностью останавливается из-за взаимного ожидания.Классический сценарий deadlockПеред тем как приводить причины, рассмотрим базовый пример:DispatchQueue.main.sync {
    // код
}
Если этот код вызывается уже на main queue, происходит deadlock.Почему это происходитSerial queue выполняет одну задачу за разMain queue — последовательная очередь.sync блокирует текущий потокТекущий поток ждет завершения блока.Очередь занята текущей задачейНовая задача не может начаться, пока не завершится текущая.Взаимное ожиданиеПоток ждет очередь, очередь ждет поток.Другие сценарии deadlockВзаимные sync-вызовы между очередямиОдна очередь синхронно ждет другую, а та — первую.Использование sync внутри lock-подобной логикиНеправильная комбинация семафоров и sync.Вызов sync в callback, который уже удерживает ресурсКак избежать deadlockне вызывать sync на текущей очередииспользовать async, если нет жесткой необходимостичетко понимать, на какой очереди выполняется кодВыводDeadlock при dispatch sync возникает из-за блокировки потока и невозможности очереди выполнить ожидаемую задачу.