Что такое атомарные операции?

Что такое атомарные операции в iOS и многопоточном программировании?

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

Основные свойства атомарных операций

• Неделимость: Операция не может быть "прервана" другим потоком в середине её выполнения.
• Видимость результата: Результат атомарной операции становится сразу виден всем другим потокам после её завершения.
• Отсутствие состояния гонки данных (Data Race): При правильном использовании атомарные операции предотвращают ситуации, когда два потока одновременно пытаются изменить одну переменную, приводя к неопределённому результату.

Почему атомарность критически важна?

Рассмотрим классический пример без атомарности на Swift:

// НЕАТОМАРНАЯ операция - ПРОБЛЕМНЫЙ КОД
var counter = 0

DispatchQueue.concurrentPerform(iterations: 1000) { _ in
    counter += 1 // Эта операция ЧИТАЕТ и ЗАПИСЫВАЕТ (read-modify-write)
}
print(counter) // Результат будет ЛЕГКО меньше 1000, например 987

Проблема: Инкремент counter += 1 — это не одна атомарная инструкция для процессора. Он состоит из:

1. Чтения текущего значения counter в регистр процессора.
2. Увеличения значения в регистре на 1.
3. Записи нового значения обратно в память.

Два потока могут выполнить чтение одновременно, получив одинаковое значение (например, 5), увеличить его до 6, и записать 6. В итоге два инкремента дадут результат 6 вместо ожидаемого 7.

Реализация атомарных операций в iOS / Swift

1. Использование специализированных атомарных типов и API

Swift Atomics (пакет swift-atomics) предоставляет низкоуровневые, но корректные атомарные типы:

import Atomics

// Атомарный Int с гарантиями памяти
let atomicCounter = ManagedAtomic<Int>(0)

DispatchQueue.concurrentPerform(iterations: 1000) { _ in
    atomicCounter.wrappingIncrement(by: 1, ordering: .relaxed)
}
print(atomicCounter.load(ordering: .relaxed)) // Гарантированно 1000

2. Использование механизмов синхронизации

Они делают блок кода или доступ к ресурсу атомарным:

• Мьютексы (Mutex) и Семафоры (Semaphore) (из pthread или через NSLock):

let lock = NSLock()
var counter = 0

DispatchQueue.concurrentPerform(iterations: 1000) { _ in
    lock.lock()    // Начало атомарной секции
    counter += 1   // Теперь эта операция выполняется атомарно
    lock.unlock()  // Конец атомарной секции
}

• GCD (Grand Central Dispatch) с sync:

var counter = 0
let serialQueue = DispatchQueue(label: "serial.queue")

DispatchQueue.concurrentPerform(iterations: 1000) { _ in
    serialQueue.sync { // Этот блок выполняется атомарно относительно этой queue
        counter += 1
    }
}

3. Атомарные свойства в Objective-C

В Objective-C можно объявить свойство с атрибутом atomic (по умолчанию для @property):

@property (atomic) NSInteger counter;

Компилятор автоматически добавляет синхронизацию (через семафор) в getter и setter. Однако это не делает операции типа counter++ атомарными! Атомарность гарантируется только для отдельных вызовов чтения и записи.

Уровни гарантий памяти (Memory Ordering)

При работе с низкоуровневыми атомарными операциями (например, из C++ std::atomic или Swift Atomics) важно учитывать порядок памяти (memory ordering):

• .relaxed: Гарантирует только атомарность самой операции, но не порядок относительно других операций в других потоках. Самый быстрый, но требует глубокого понимания.
• .acquiring, .releasing, .acquiringAndReleasing: Управляют видимостью изменений между потоками и созданием синхронизационных точек.
• .sequentiallyConsistent: Самый строгий порядок, гарантирует, что все потоки видят операции в одном и том же порядке. Медленнее, но проще для понимания.

Ключевые выводы

• Атомарные операции — это основа безопасного многопоточного программирования. Без них программы подвержены трудноуловимым и случайным ошибкам (data races).
• Не все операции атомарны по своей природе. Большинство операций с переменными (++, *=, /=, составные присваивания) не атомарны.
• В Swift для высокоуровневых задач используйте DispatchQueue, Actors (в Swift 5.5+), или NSLock. Для низкоуровневых оптимизаций или реализации собственных структур данных — Swift Atomics.
• Помните, что атомарность свойства в Objective-C (atomic) — это лишь атомарность сеттера и геттера, а не любых манипуляций с значением.

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