Все ли коллекции потокобезопасны?

Все ли коллекции потокобезопасны?

Нет, большинство стандартных коллекций в iOS/Swift не являются потокобезопасными (thread-safe) по умолчанию. Это фундаментальный принцип, который важно понимать для разработки многопоточных приложений.

Почему коллекции не потокобезопасны?

Swift и Objective-C фреймворки (включая Foundation) предоставляют высокопроизводительные коллекции, такие как Array, Dictionary, Set, которые оптимизированы для скорости в однопоточных сценариях. Их внутренняя реализация не включает механизмы синхронизации (например, мьютексы, семафоры), потому что это добавляет накладные расходы на блокировки и может снизить производительность. Потокобезопасность — это ответственность разработчика.

Пример проблемы

Рассмотрим классический пример гонки данных (race condition) при одновременном чтении и записи:

var sharedArray = [Int]()

// Поток 1: добавляет элементы
DispatchQueue.global().async {
    for i in 0..<1000 {
        sharedArray.append(i)
    }
}

// Поток 2: одновременно читает
DispatchQueue.global().async {
    print(sharedArray.count) // Может привести к crash или неожиданному значению
}

В этом примере:

1. Несинхронизированный доступ к sharedArray из нескольких потоков может вызвать несогласованность данных.
2. Операция append может завершиться частично в момент чтения count.
3. В худшем случае это приводит к экзотическому падению (exotic crash) из-за повреждения внутренних структур памяти коллекции.

Решения для обеспечения потокобезопасности

Существуют несколько подходов для безопасной работы с коллекциями в многопоточной среде:

1. Использование очередей (DispatchQueue) с барьерами или синхронизацией

let serialQueue = DispatchQueue(label: "com.example.serialQueue")
var protectedArray = [Int]()

// Запись (барьер для эксклюзивного доступа)
serialQueue.async(flags: .barrier) {
    protectedArray.append(42)
}

// Чтение (обычная задача, но выполняется в порядке очереди)
serialQueue.async {
    print(protectedArray.last)
}

2. Использование NSLock или других механизмов блокировки

let lock = NSLock()
var lockedDictionary = [String: String]()

func safeWrite(key: String, value: String) {
    lock.lock()
    lockedDictionary[key] = value
    lock.unlock()
}

3. Атомарные свойства (только для простых значений)

Для отдельных свойств можно использовать @Atomic декораторы или DispatchSemaphore, но для коллекций это нецелесообразно.

4. Специализированные потокобезопасные коллекции

В некоторых фреймворках существуют готовые реализации:

• NSCache — потокобезопасный, но предназначен для временного хранения.
• В других языках/экосистемах есть аналоги, но в Swift стандартной библиотеке их нет.

Важные исключения и нюансы

• Объекты Objective-C в immutable режиме: Если коллекция (например, NSArray) создана как неизменяемая (immutable), её можно безопасно читать из нескольких потоков, но изменять нельзя.
• Swift Actors (с Swift 5.5): Акторы предоставляют новую модель изоляции данных. Коллекция внутри актора безопасна для этого актора:

actor DataStore {
    private var storage = [String]()
    
    func add(item: String) {
        storage.append(item)
    }
    
    func getAll() -> [String] {
        return storage
    }
}

Заключение и рекомендации

1. Всегда предполагайте, что стандартные коллекции не потокобезопасны, если это явно не указано в документации.
2. Выбирайте стратегию синхронизации в зависимости от сценария:
   • Serial DispatchQueue — для последовательного доступа.
   • Actors — современный подход в Swift для изоляции состояния.
   • Lock-механизмы — для сложных критических секций.
3. Избегайте излишней синхронизации: Не делайте коллекцию потокобезопасной, если она используется только в одном потоке — это бесполезный оверхед.
4. Тестируйте многопоточные сценарии: Используйте стресс-тесты с большим количеством параллельных операций для выявления race conditions.

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