Как знаешь типы очередей в GCD?

Типы очередей в Grand Central Dispatch (GCD)

В GCD, который является ключевым компонентом многозадачности на iOS/macOS, существует несколько типов очередей. Их можно разделить на две основные категории: serial (последовательные) и concurrent (параллельные), а также особые системные очереди.

1. Serial Queues (Последовательные очереди)

Последовательная очередь выполняет задачи строго по порядку — одна за другой. Это гарантирует, что следующая задача не запустится до завершения предыдущей.

• Создание: Обычно создаются разработчиком.
• Преимущества: Идеальны для обеспечения thread safety (безопасности потоков). Например, при работе с общим ресурсом (данными, файлом), чтобы избежать race conditions (состояний гонки).
• Пример создания:

let serialQueue = DispatchQueue(label: "com.example.serialQueue")
serialQueue.async {
    // Task 1
}
serialQueue.async {
    // Task 2 - будет ждать завершения Task 1
}

2. Concurrent Queues (Параллельные очереди)

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

• Создание: Также создаются разработчиком.
• Преимущества: Максимально используют многопроцессорные системы для повышения производительности при выполнении независимых задач.
• Пример создания:

let concurrentQueue = DispatchQueue(label: "com.example.concurrentQueue", attributes: .concurrent)
concurrentQueue.async {
    // Task 1
}
concurrentQueue.async {
    // Task 2 - может запуститься параллельно с Task 1
}

3. Системные (глобальные) очереди

GCD предоставляет набор предопределенных глобальных параллельных очередей (Global Concurrent Queues) с разными Quality of Service (QoS) классами, которые определяют приоритет выполнения задач для системы.

Основные классы QoS (в порядке приоритета):

• .userInteractive: Для задач, напрямую связанных с UI, требующих мгновенного результата (например, анимации). Используется main queue.
• .userInitiated: Для задач, начатых пользователем, которые требуют быстрого, но не мгновенного результата (например, открытие файла).
• .default: Средний приоритет. Если QoS не указан, используется этот класс.
• .utility: Для длительных задач, где прогресс может быть показан пользователю (например, загрузка данных сети).
• .background: Для задач, невидимых пользователю и не требующих быстрого завершения (например, индексация данных, очистка).

Пример использования:

// Получение глобальной очереди с определенным QoS
let backgroundQueue = DispatchQueue.global(qos: .background)
backgroundQueue.async {
    // Выполнение задачи в фоновом режиме
}

// Главная очередь (Main Queue) - особый случай
// Это serial очередь, связанная с главным потоком UI.
DispatchQueue.main.async {
    // Все операции с UI должны выполняться здесь
    self.label.text = "Updated"
}

Ключевые особенности и практическое использование

• Main Queue: Самая важная системная serial очередь. Все операции, изменяющие UI, должны выполняться на главной очереди (DispatchQueue.main), так UIKit и SwiftUI не являются потокобезопасными.
• Выбор очереди: Разработчик выбирает тип очереди исходя из задачи:

    *   `Serial` — для безопасности и порядка.
    *   `Concurrent` — для параллельной обработки независимых операций.
    *   `Global с QoS` — чтобы указать системе приоритет задачи относительно других и энергоэффективности.

• Синхронное (sync) и Асинхронное (async) выполнение: Это методы отправки задач в очередь. async не блокирует текущий поток, sync блокирует его до завершения задачи. Использование sync на текущей очереди может привести к deadlock (взаимной блокировке), особенно на serial очереди.

Пример потенциального deadlock:

let serialQueue = DispatchQueue(label: "test")
serialQueue.sync { // Внешняя задача блокирует поток
    serialQueue.sync { // Внутренняя задача пытается запуститься на той же queue
        // Это никогда не выполнится!
        // Внутренняя задача ждет завершения внешней,
        // но внешняя ждет завершения внутренней.
    }
}

Понимание различий между типами очередей GCD и правильный их выбор — основа написания эффективного, безопасного и responsive многопоточного кода в iOS приложениях.