c++如何避免数据竞争_c++线程安全与同步原语

避免数据竞争需确保共享资源的线程安全：1. 使用std::mutex和std::lock_guard通过RAII机制自动加锁解锁；2. 对简单类型采用std::atomic实现高效无锁操作；3. 用thread_local减少共享，各线程拥有独立副本；4. 复杂同步可选std::shared_mutex、std::condition_variable和std::future等工具，合理选择方案是关键。

在C++多线程编程中，数据竞争（Data Race）是常见且危险的问题。当多个线程同时访问共享数据，且至少有一个线程在写入时，就会引发未定义行为。避免数据竞争的核心在于确保对共享资源的访问是线程安全的，这通常通过使用同步原语来实现。

使用互斥锁保护共享数据

最常用的同步手段是 std::mutex。通过在访问共享资源前加锁、使用后解锁，可以确保同一时间只有一个线程能操作该资源。

#include <thread>
#include <mutex>
#include <iostream>

int shared_data = 0;
std::mutex mtx;

void increment() {
    for (int i = 0; i < 100000; ++i) {
        mtx.lock();
        ++shared_data;  // 安全访问
        mtx.unlock();
    }
}

登录后复制

更推荐使用 std::lock_guard，它利用RAII机制自动加锁和释放锁，避免忘记解锁或异常导致死锁。

void increment() {
    for (int i = 0; i < 100000; ++i) {
        std::lock_guard<std::mutex> lock(mtx);
        ++shared_data;
    }
}

登录后复制

使用原子操作进行无锁编程

对于简单的类型如整数、指针等，可以使用 std::atomic 实现无锁的线程安全操作。原子操作由硬件支持，效率更高。

立即学习“C++免费学习笔记（深入）”；

#include <atomic>
#include <thread>

std::atomic<int> counter{0};

void increment() {
    for (int i = 0; i < 100000; ++i) {
        ++counter;  // 原子递增，无需锁
    }
}

登录后复制

原子操作适用于计数器、状态标志等场景，但不能替代复杂临界区的互斥锁。

标签： 工具 ai c++ ios stream 无锁 同步机制 red