Spinlock

Spinlock (спинлок, от англ. spin — «вращаться», «крутиться» и lock — «блокировка», «замок») — это примитив синхронизации в параллельном программировании, реализующий взаимное исключение (mutual exclusion) доступа к общему ресурсу. В отличие от других блокировок (например, мьютексов), поток, ожидающий освобождения спинлока, не переходит в состояние ожидания (sleep) и не уступает процессорное время другим потокам, а непрерывно выполняет цикл активного ожидания (busy-waiting), периодически проверяя состояние блокировки до тех пор, пока она не станет доступной.

Принцип работы

Основная идея спинлока заключается в том, что поток, пытающийся захватить блокировку, входит в цикл, в котором атомарно проверяет и пытается установить флаг занятости. Если флаг уже установлен другим потоком, поток продолжает крутиться в цикле, повторяя попытку. Как только владелец блокировки освобождает её (сбрасывает флаг), один из ожидающих потоков успешно захватывает блокировку и выходит из цикла.

Ключевые операции, реализуемые спинлоком:

• Захват (lock, acquire): атомарная операция «проверить и установить» (test-and-set, TAS) или «сравнить и обменять» (compare-and-swap, CAS). Поток пытается изменить значение флага с «свободно» на «занято». Если операция успешна, поток получает блокировку.
• Освобождение (unlock, release): поток, владеющий блокировкой, атомарно сбрасывает флаг в состояние «свободно», делая её доступной для других потоков.

Отличия от мьютекса

Главное отличие спинлока от мьютекса (mutex) — поведение ожидающего потока. При попытке захватить занятый мьютекс поток обычно блокируется операционной системой: он переводится в состояние ожидания, а процессорное время выделяется другому потоку. При ожидании спинлока поток остаётся активным и потребляет процессорные циклы на проверку флага.

Классификация спинлоков

Спинлоки можно классифицировать по нескольким признакам.

По справедливости (fairness)

• Несправедливые (ticket spinlock): не гарантируют, что поток, ожидающий дольше всех, получит блокировку первой. При высокой конкуренции возможна ситуация «голодания» (starvation), когда один поток может многократно захватывать блокировку, не давая другим её получить. Простейшие реализации (на основе test-and-set) являются несправедливыми.
• Справедливые (ticket spinlock): гарантируют порядок доступа в порядке очереди (FIFO). Каждый поток получает «номер» при попытке захвата, и блокировка переходит к потоку с наименьшим номером. Пример — спинлок на основе «билетной кассы» (ticket lock), используемый в ядре Linux.

По поддержке прерываний

• Обычные (plain spinlock): не отключают прерывания. Если поток захватил спинлок, а затем возникло прерывание, обработчик прерывания может попытаться захватить тот же спинлок, что приведёт к взаимоблокировке (deadlock).
• С отключением прерываний (irq-safe spinlock): при захвате блокировки отключают прерывания на текущем процессоре (ядре), а при освобождении — включают их обратно. Это предотвращает deadlock в контексте обработчиков прерываний. Широко применяются в операционных системах, например, spin_lock_irqsave() в ядре Linux.

По типу реализации

• Аппаратные (hardware spinlock): реализуются с помощью специальных инструкций процессора (например, xchg, lock cmpxchg на x86, ldrex/strex на ARM). Обеспечивают атомарность операций на уровне процессора.
• Программные (software spinlock): эмулируют поведение спинлока с помощью атомарных операций, предоставляемых языком программирования или библиотекой (например, std::atomic_flag в C++, InterlockedExchange в Windows API).

Применение

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

Основные области применения:

• Ядра операционных систем: защита структур данных, к которым обращаются как обычные потоки, так и обработчики прерываний. Например, в ядре Linux спинлоки используются для защиты списков процессов, планировщика, сетевых буферов.
• Драйверы устройств: синхронизация доступа к регистрам и памяти устройств.
• Многопоточные приложения с высокой производительностью: защита очень коротких критических секций в высоконагруженных системах (веб-серверы, базы данных, игровые движки).
• Реализация других примитивов синхронизации: спинлоки могут служить основой для построения более сложных механизмов, таких как мьютексы, семафоры или блокировки чтения-записи.

Недостатки и критика

Основным недостатком спинлоков является неэффективное использование процессорного времени при длительном ожидании. Если поток удерживает блокировку долго (например, выполняет ввод-вывод или сложные вычисления), ожидающие потоки будут бесполезно тратить процессорные циклы, что может привести к существенному снижению производительности системы и перегреву процессора.

Другие проблемы:

• Инверсия приоритета (priority inversion): может возникнуть, если низкоприоритетный поток удерживает спинлок, а высокоприоритетный поток пытается его захватить. Высокоприоритетный поток будет тратить время на ожидание, пока низкоприоритетный не освободит блокировку.
• Deadlock: возникает, если поток, уже удерживающий спинлок, пытается захватить его снова (рекурсивный захват) или если два потока пытаются захватить два спинлока в разном порядке.
• Проблема когерентности кэша: на многоядерных системах активное ожидание приводит к интенсивному обмену данными между кэшами ядер (cache line bouncing), что может замедлить работу всех ядер.

Альтернативы

Для смягчения недостатков спинлоков разработаны различные гибридные подходы:

• Гибридные блокировки (adaptive locks): начинают с активного ожидания в течение короткого времени (например, нескольких сотен циклов), а затем, если блокировка не освободилась, переходят к блокировке потока (как мьютекс). Пример — pthread_mutex в некоторых реализациях Linux (NPTL) при определённых настройках.
• Блокировки с очередью (queued locks): организуют ожидающие потоки в очередь, и каждый поток проверяет не общий флаг, а свой собственный флаг в очереди. Это уменьшает трафик когерентности кэша. Пример — MCS lock (Mellor-Crummey and Scott lock) и CLH lock (Craig, Landin, Hagersten lock).
• Блокировки чтения-записи (read-write locks): позволяют нескольким потокам одновременно читать данные, но только одному — писать. Это может быть эффективнее спинлока, если операции чтения преобладают над записью.

В языках программирования

• C++: начиная со стандарта C++11, предоставляет std::atomic_flag — простейший спинлок. Для более сложных сценариев существуют реализации в библиотеках, например, boost::spinlock.
• C# (.NET): класс SpinLock в пространстве имён System.Threading предоставляет встроенную реализацию спинлока.
• Java: класс java.util.concurrent.atomic.AtomicBoolean может быть использован для реализации простого спинлока. Существуют также специализированные классы, такие как ReentrantLock, которые могут использовать спинлоки внутри себя.
• Python: из-за глобальной блокировки интерпретатора (GIL) спинлоки в CPython имеют ограниченную полезность. Однако они могут быть реализованы с помощью модуля threading и атомарных операций.

Источники

• Таненбаум Э., Бос Х. «Современные операционные системы». 4-е издание.
• Лав Р. «Ядро Linux. Описание процесса разработки». 3-е издание.
• Гербут Р. «Параллельное программирование на C++».
• Документация Microsoft по классу SpinLock (.NET Framework).
• Стандарт ISO/IEC 14882:2020 (C++20), раздел 33.5.