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

Атомарность — одно из базовых понятий при работе с многопоточностью.

Что означает атомарность

Определение:
Атомарная операция — это операция, которая выглядит как единое действие для всех потоков.

Это означает:

• отсутствие промежуточных состояний

• невозможность частичного выполнения

• предсказуемый результат

Почему это важно

Без атомарности возможны ситуации:

• два потока одновременно изменяют данные

• состояние становится неконсистентным

• появляются трудноуловимые баги

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

• чтение → изменение → запись

• между шагами вмешивается другой поток

Как достигается атомарность

Атомарность обеспечивается через:

• инструкции процессора

• memory barriers

• низкоуровневые примитивы синхронизации

В iOS это может быть:

• os_unfair_lock

• атомарные операции стандартной библиотеки

• внутренние механизмы GCD

Ограничения атомарных операций

Важно понимать:

• атомарность не равна потокобезопасности

• сложные операции редко бывают атомарными

• атомарность имеет стоимость по производительности

Вывод

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