Какие знаешь виды синхронизации?

Виды синхронизации в iOS-разработке

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

1. Механизмы многопоточности и блокировок

@synchronized (Objective-C)

Старый, но до сих пор поддерживаемый способ, использующий объект в качестве мьютекса.

@synchronized(self) {
    // Критическая секция
    sharedResource = newValue;
}

NSLock и его варианты

Более гибкие явные блокировки:

• NSLock – базовая блокировка с методами lock() и unlock()
• NSRecursiveLock – позволяет многократный захват одним потоком
• NSConditionLock – блокировка с условиями для координации

let lock = NSLock()
lock.lock()
defer { lock.unlock() }
// Операции с общим ресурсом

POSIX мьютексы (pthread_mutex_t)

Низкоуровневые блокировки из C-библиотеки pthread, часто используемые внутри Foundation.

pthread_mutex_t mutex;
pthread_mutex_init(&mutex, NULL);
pthread_mutex_lock(&mutex);
// Критическая секция
pthread_mutex_unlock(&mutex);

2. GCD (Grand Central Dispatch) механизмы

Serial DispatchQueue

Самая простая синхронизация – выполнение задач последовательно в одной очереди.

let serialQueue = DispatchQueue(label: "com.example.serial")
serialQueue.async {
    // Все операции в этой очереди синхронизированы
}

DispatchSemaphore

Семафоры для ограничения одновременного доступа к ресурсам.

let semaphore = DispatchSemaphore(value: 1) // Бинарный семафор как мьютекс
semaphore.wait()
defer { semaphore.signal() }
// Работа с общим ресурсом

DispatchGroup

Координация завершения нескольких асинхронных задач.

let group = DispatchGroup()
for task in tasks {
    group.enter()
    performAsyncTask { group.leave() }
}
group.notify(queue: .main) { /* Все задачи завершены */ }

3. Современные Swift-механизмы

Actor (с Swift 5.5)

Наиболее современный способ изоляции состояния.

actor Counter {
    private var value = 0
    
    func increment() {
        value += 1
    }
    
    func getValue() -> Int {
        return value
    }
}

// Использование
Task {
    let counter = Counter()
    await counter.increment()
    let value = await counter.getValue()
}

Протокол Sendable и @Sendable замыкания

Гарантии безопасности передачи данных между потоками.

Checked Continuations

Безопасное преобразование callback-based API в async/await.

func legacyAsyncMethod(completion: @escaping (Result) -> Void)
func modernAsyncMethod() async throws -> Result {
    return try await withCheckedThrowingContinuation { continuation in
        legacyAsyncMethod { result in
            continuation.resume(with: result)
        }
    }
}

4. Специализированные механизмы

Атомарные операции (atomic свойства)

В Objective-C – @property (atomic), в Swift – ручная реализация через GCD или специализированные библиотеки.

Reader-Writer блокировки

Оптимизация для частого чтения и редкой записи.

class ReadWriteLock {
    private var queue = DispatchQueue(label: "rw", attributes: .concurrent)
    private var resource: SomeType
    
    func read() -> SomeType {
        queue.sync { resource }
    }
    
    func write(_ newValue: SomeType) {
        queue.sync(flags: .barrier) { resource = newValue }
    }
}

Memory Barriers и атомарные операции низкого уровня

Для крайних случаев оптимизации, используя OSAtomic или std::atomic в C++.

5. Синхронизация на уровне UI

Main DispatchQueue (DispatchQueue.main)

Все операции с UI должны выполняться на главном потоке.

DispatchQueue.main.async {
    // Обновление UI
}

@MainActor

Современная замена DispatchQueue.main для изоляции UI-кода.

@MainActor
func updateUI() {
    // Автоматически выполняется на главном потоке
}

Критические соображения при выборе

1. Производительность vs безопасность – низкоуровневые блокировки быстрее, но сложнее
2. Риск взаимных блокировок (deadlock) – особенно с использованием нескольких блокировок
3. Голодание (starvation) – при неправильных приоритетах
4. Инверсия приоритетов – в реальных iOS-приложениях
5. Соответствие Apple guidelines – предпочтение GCD и Actors над ручными блокировками

Рекомендация для современных проектов: использовать Actors для изоляции состояния, DispatchQueue для очередей задач, и @MainActor для UI работы. Это обеспечивает баланс между безопасностью, производительностью и читаемостью кода.