Что такое примитивы синхронизации и какие они бывают?

Примитивы синхронизации

• механизмы управления доступом к ресурсам при работе нескольких потоков
• мьютексы — обеспечивают взаимное исключение и закрывают критическую секцию от одновременного доступа
• семафоры — используют счетчик ресурсов, ограничивая количество работающих с ними потоков
• условные переменные — позволяют ожидать наступления заданного состояния, сохраняя блокировку
• барьеры — синхронизируют группу потоков в общей точке остановки
• спинлоки — используют активное ожидание блокировки и эффективны при коротком времени удержания
• защищают от гонок (race conditions) и неконсистентности данных
• необходимы для обеспечения безопасности данных и управления конкурентностью

Подробный ответ

Основной ответ

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

Ключевые моменты

• Мьютексы (Mutex) реализуют взаимное исключение: одновременно владеть ресурсом может только один поток. Поэтому их применяют для защиты критических секций. Примеры таких механизмов — pthread_mutex в POSIX и std::mutex в C++11.
• Семафоры (Semaphore) работают как счетчики и задают максимальное число потоков, которые могут одновременно использовать ресурс. Они бывают бинарными, подобно мьютексу, и подсчетными. Семафоры подходят для управления пулом ресурсов и ограничения параллелизма.
• Условия (Condition Variables) дают потоку возможность ждать заданного состояния или сигнала от другого потока, при этом на время ожидания мьютекс освобождается. Пример такого механизма — pthread_cond_wait.
• Spinlock — облегченный вариант мьютекса: поток постоянно проверяет флаг блокировки и не переходит в спящее состояние. Такой подход эффективен для коротких критических секций на многоядерных процессорах, однако потребляет больше энергии.
• Барriers (барьеры) координируют группу потоков: каждый из них ожидает остальных в заранее определенной точке выполнения.
• Read-Write Locks (rw-locks) разрешают нескольким читателям одновременно обращаться к ресурсу, но при записи доступ к нему блокируется.

Практический контекст

В современных приложениях часто применяют std::mutex и std::condition_variable из C++11, а в Java — соответствующие средства ReentrantLock, synchronized и Condition. В высоконагруженных системах используют lock-free структуры и атомарные операции из std::atomic, снижая количество блокировок. В распределенных системах синхронизацию можно выстроить через внешние сервисы, например используя Zookeeper или etcd в роли распределенных lock-сервисов.