Что такое атомарный класс?

Что такое атомарный класс?

Атомарный класс (Atomic Class) — это специальный тип классов в программировании, предоставляющий операции, которые выполняются атомарно, то есть как единое, неделимое действие с точки зрения других потоков выполнения. В контексте многопоточности это означает, что такие операции либо завершаются полностью, либо не выполняются вовсе, и другие потоки не могут наблюдать промежуточное состояние данных во время их выполнения. Это ключевой механизм для обеспечения потокобезопасности без использования блокировок (lock-based synchronization), что часто приводит к более высокой производительности в конкурентных сценариях.

Основные характеристики атомарных классов

• Отсутствие состояний гонки (Race Condition Free): Операции чтения, записи и модификации выполняются так, что два потока не могут одновременно и некорректно изменить одно и то же значение.
• Атомарность операций: Сложные операции, такие как "проверить и установить" (Compare-and-Swap, CAS), "увеличить на единицу" (Increment), "добавить" (Add), выполняются за один шаг с точки зрения процессора и системы.
• Основа на аппаратной поддержке: В большинстве случаев атомарные операции реализуются с помощью атомарных инструкций процессора, таких как CAS (Compare-And-Swap) или LL/SC (Load-Link/Store-Conditional), что делает их очень эффективными.
• Использование в lock-free и wait-free алгоритмах: Атомарные классы являются строительными блоками для неблокирующих структур данных и алгоритмов, которые обеспечивают прогресс даже при задержках отдельных потоков.

Примеры атомарных классов в C# (.NET и Unity)

В экосистеме .NET, которую использует Unity (с C#), атомарные классы расположены в пространстве имен System.Threading. Наиболее часто используемые:

• Interlocked — статический класс, предоставляющий атомарные методы для базовых операций с числами (сложение, инкремент, обмен значениями).
• AtomicInt / AtomicLong и другие — в более новых версиях .NET Core/.NET 5+ появились явные типы, такие как System.Threading.AtomicInt32. В Unity (особенно в версиях, использующих более старый runtime) часто используются самописные или сторонние реализации.

Практический пример в Unity (C#)

Представим сценарий, где несколько потоков (например, из Task или ThreadPool) пытаются одновременно обновить общий счетчик. Без синхронизации это приведет к потере данных.

НЕПРАВИЛЬНО (без атомарности):

public class UnsafeCounter : MonoBehaviour
{
    private int _count = 0;

    public void Increment()
    {
        // Эта операция НЕ атомарна: чтение -> изменение -> запись.
        // Между шагами поток может быть прерван.
        _count = _count + 1;
    }

    public int GetCount() => _count;
}

ПРАВИЛЬНО (с использованием Interlocked):

using System.Threading;

public class SafeCounter : MonoBehaviour
{
    private int _count = 0;

    public void Increment()
    {
        // Атомарная операция. Гарантирует, что значение будет увеличено
        // корректно, даже если метод вызывается из сотен потоков одновременно.
        Interlocked.Increment(ref _count);
    }

    public void Add(int value)
    {
        // Атомарное сложение.
        Interlocked.Add(ref _count, value);
    }

    public int GetCount()
    {
        // Для безопасного чтения 32-битного значения в .NET обычно достаточно
        // обычного чтения, но для гарантии на всех архитектурах можно также
        // использовать Interlocked.CompareExchange или Volatile.Read.
        return _count;
    }
}

Ключевое отличие от lock (мьютекса)

• lock (Monitor): Это блокирующий механизм. Если один поток захватил блокировку, другие потоки, пытающиеся получить её, будут приостановлены (переведены в состояние ожидания) до её освобождения. Это может привести к накладным расходам на переключение контекста и риску взаимоблокировок (deadlock).
• Атомарный класс: Это неблокирующий (или с минимальными блокировками на аппаратном уровне) механизм. Потоки не "засыпают", а обычно выполняют операцию в цикле (с помощью CAS) до тех пор, пока она не завершится успешно. Это обеспечивает лучшую масштабируемость при высокой конкуренции.

Применение в Unity

В Unity атомарные операции особенно полезны в следующих случаях:

1. Счетчики и статистика: Подсчет FPS, количества обработанных объектов, очков в многопоточных сценариях.
2. Флаги и состояния: Атомарная установка флагов (например, isInitialized) из разных потоков.
3. Lock-free структуры данных: Реализация простых очередей задач (producer-consumer), пулов объектов, где несколько воркеров обращаются к общей памяти.
4. Координация задач (Task): При использовании async/await и Task для фоновых вычислений, где требуется общий изменяемый state.

Важное замечание: Хотя атомарные операции безопасны для данных, они не заменяют собой более высокоуровневые механизмы синхронизации, когда нужно скоординировать сложную последовательность действий или защитить большие участки кода. Для таких целей по-прежнему используются lock, SemaphoreSlim, Mutex или ReaderWriterLockSlim. Однако для простых операций над одним значением атомарные классы — это наиболее эффективный и безопасный выбор.