Для обеспечения согласованности данных и синхронного доступа в многопоточных системах на C/C++ применяются следующие средства и подходы:

Мьютексы (mutex) — для взаимного исключения доступа к общим ресурсам. Например, std::mutex в C++11.
Семафоры — для ограничения количества потоков, одновременно работающих с ресурсом.
Атомарные операции (std::atomic) — для безопасного изменения переменных без блокировок.
Условные переменные (condition_variable) — для организации ожидания событий между потоками.
RAII-обертки — для автоматического управления блокировками и ресурсами.
Использование lock-free структур данных — для повышения производительности при правильной реализации.

Пример использования мьютекса в C++:

#include <mutex>
#include <vector>

std::mutex mtx;
std::vector<int> data;

void addData(int value) {
    std::lock_guard<std::mutex> lock(mtx);
    data.push_back(value);
}

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

Какие средства и подходы ты используешь для обеспечения согласованности данных и синхронного доступа в многопоточных системах?