Как синхронизировать чтение и запись переменной?

Синхронизация доступа к переменной

• Мьютексы (Mutexes) — не позволяют другим потокам обращаться к данным, пока блокировка не будет снята
• RW-локи (Read-Write Locks) — допускают одновременное чтение несколькими потоками, но запись разрешают только одному потоку
• Атомарные операции — изменяют значение без блокировок и подходят для простых типов, например int и bool
• Семафоры — ограничивают количество потоков, которые могут одновременно получить доступ
• Барьерные синхронизации — задают порядок прохождения стадий доступа
• Volatile-переменные (в некоторых языках) — гарантируют видимость внесённых изменений
• Иммутабельность и копирование — позволяют передавать новые копии вместо применения блокировок и уменьшают вероятность гонок
• Конкретный способ выбирают с учётом требований к производительности и частоте операций записи

Итог: защита требуется для предотвращения гонок, а выбор сводится к блокировке либо к безблокировочным атомарным операциям.

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

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

Для согласования доступа к переменной между потоками или процессами применяют разные механизмы синхронизации. Они поддерживают целостность данных при одновременном чтении и записи. К основным вариантам относятся mutex (взаимное исключение), read-write lock (чтение-запись), атомарные операции и барьеры памяти. Подход выбирают в соответствии с задачей и требованиями к производительности.

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

• Mutex (мьютекс) — традиционный примитив синхронизации, который блокирует переменную во время чтения или записи, оставляя доступ только одному потоку. Он прост в применении, однако при большом количестве читателей и редких операциях записи способен ухудшить производительность.
• Read-Write Lock (RWLock) — разрешает нескольким потокам читать данные одновременно, пока ни один поток не выполняет запись; операция записи блокирует остальные обращения. Такой вариант эффективен при преобладании чтений, например при использовании std::shared_mutex в C++17.
• Атомарные операции — задействуют специальные инструкции процессора, включая compare-and-swap, чтобы выполнять чтение и запись без полной блокировки. Они подходят для простых типов данных, а также для работы с переменными-флагами и счётчиками.
• Memory Barriers и volatile — задают корректный порядок операций и обеспечивают видимость изменений между потоками, однако сами по себе не гарантируют атомарность и взаимное исключение.

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

В современных многопоточных системах, например в C++20, для оптимизации доступа к данным с преобладанием чтений применяют std::shared_mutex. В Java аналогичную задачу решает класс ReentrantReadWriteLock. Для простых счётчиков и флагов AtomicInteger или std::atomic обеспечивают высокую производительность без блокировок. В системах с жёсткими требованиями к латентности эти подходы часто сочетают с lock-free структурами данных.