В чем разница между Sync и Serial?

Синхронность (Sync) и Серийность (Serial): фундаментальные различия

Хотя термины синхронность (synchronous) и серийность (serial) в контексте iOS-разработки часто обсуждаются вместе (особенно при работе с очередями GCD), они описывают разные аспекты выполнения задач. Главное различие: синхронность — это характеристика взаимодействия с очередью (как мы отправляем задачу), а серийность — характеристика самой очереди (как она обрабатывает задачи).

1. Синхронное (sync) и Асинхронное (async) выполнение

Синхронное выполнение (sync) означает, что поток, который инициирует задачу, блокируется до полного завершения этой задачи. После вызова sync текущий поток ждет, не продолжая выполнение следующего кода, пока переданный блок не выполнится.

let serialQueue = DispatchQueue(label: "com.example.serial")

print("Начало задачи")
serialQueue.sync {
    // Имитация долгой задачи
    Thread.sleep(forTimeInterval: 2)
    print("Синхронная задача выполнена")
}
print("Продолжение после sync") // Этот код выполнится только через 2 секунды

Асинхронное выполнение (async) означает, что задача отправляется в очередь, но текущий поток не блокируется. Код после вызова async продолжает выполняться немедленно, параллельно с переданной задачей.

print("Начало задачи")
serialQueue.async {
    Thread.sleep(forTimeInterval: 2)
    print("Асинхронная задача выполнена")
}
print("Продолжение после async") // Этот код выполнится немедленно, не дожидаясь 2 секунд

2. Серийная (Serial) и Параллельная (Concurrent) очередь

Серийная очередь гарантирует, что только одна задача выполняется в любой момент времени. Она обрабатывает задачи строго в порядке их добавления (FIFO), создавая предсказуемую последовательность.

let serialQueue = DispatchQueue(label: "com.example.serial")

for i in 1...5 {
    serialQueue.async {
        print("Задача \(i)")
        Thread.sleep(forTimeInterval: 0.5)
    }
}
// Результат всегда будет: Задача 1, Задача 2, Задача 3, Задача 4, Задача 5
// Каждая следующая задача начнется только после полного завершения предыдущей.

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

let concurrentQueue = DispatchQueue(label: "com.example.concurrent", attributes: .concurrent)

for i in 1...5 {
    concurrentQueue.async {
        print("Задача \(i)")
        Thread.sleep(forTimeInterval: 0.5)
    }
}
// Результат может быть, например: Задача 1, Задача 2, Задача 3, Задача 5, Задача 4

Ключевые различия в таблице

Важное практическое сочетание: Serial Queue + Sync

Один из самых мощных паттернов в iOS-разработке — использование серийной очереди с синхронным выполнением для обеспечения потокобезопасности. Это позволяет создавать атомарные операции без риска гонки данных.

class ThreadSafeArray<T> {
    private var array: [T] = []
    private let serialQueue = DispatchQueue(label: "com.example.threadSafeArray")
    
    func append(_ element: T) {
        serialQueue.sync {
            array.append(element)
        }
    }
    
    var count: Int {
        return serialQueue.sync {
            return array.count
        }
    }
    
    func getElement(at index: Int) -> T? {
        return serialQueue.sync {
            guard index < array.count else { return nil }
            return array[index]
        }
    }
}

Распространенная ошибка: Deadlock на главной очереди

Наиболее частая проблема возникает при вызове sync на серийной очереди из той же самой очереди, особенно с главной очередью (Main Queue), которая также является серийной.

// ВЕДУЩАЯ К СМЕРТИ (DEADLOCK) СИТУАЦИЯ!
DispatchQueue.main.sync {
    // Этот код никогда не выполнится, если мы уже находимся на главном потоке
    print("Этот код заблокирован навсегда")
}

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

Итог

• Синхронность (sync) — это способ отправки задачи, определяющий, будет ли вызывающий поток ждать её завершения.
• Серийность (serial) — это свойство очереди, определяющее, может ли она выполнять несколько задач одновременно.

Понимание этих концепций критически важно для:

1. Оптимизации производительности (использование async для неблокирующих операций)
2. Предотвращения deadlock (аккуратное использование sync)
3. Обеспечения потокобезопасности (серийные очереди как мьютексы)
4. Управления зависимостями задач (последовательное vs параллельное выполнение)

В реальных iOS-приложениях эти механизмы часто комбинируются: например, асинхронная отправка задач в серийную очередь для обработки сетевых ответов или синхронный доступ к общим ресурсам через приватные серийные очереди.