c++的std::atomic如何实现原子操作线程安全计数器示例【无锁编程】

admin 百科 2025-12-24 19

std::atomic通过封装CPU原子指令、编译器内存序约束和缓存一致性协议实现无锁原子操作；其核心是硬件支持而非互斥锁，memory_order需按场景选择，且原子类型不保证复合操作的原子性。

c++的std::atomic如何实现原子操作线程安全计数器示例【无锁编程】-第1张图片-佛山资讯网

std::atomic 本身不“实现”原子操作，而是封装并暴露底层硬件提供的原子指令（如 x86 的 LOCK XADD、ARM 的 LDXR/STXR），由编译器生成对应汇编，并配合内存序约束，确保读-改-写等操作不可分割、对其他线程可见。

原子变量的核心机制

它不是靠互斥锁，而是依赖三点：

CPU 提供的原子指令（如 inc 带 LOCK 前缀、cmpxchg）
编译器禁止对该变量进行重排序（通过 memory_order 控制）
缓存一致性协议（如 MESI）保证多核间修改及时同步

线程安全计数器：无锁递增示例

以下是一个典型的无锁计数器，多个线程并发调用 increment() 不会丢失更新：

#include <atomic>
#include <thread>
#include <vector>
#include <iostream>

struct Counter {
    std::atomic<long> value{0};

    void increment() {
        value.fetch_add(1, std::memory_order_relaxed);
    }

    long get() const {
        return value.load(std::memory_order_acquire);
    }
};

int main() {
    Counter c;
    std::vector<std::thread> threads;
    const int N = 100000;

    for (int i = 0; i < 4; ++i) {
        threads.emplace_back([&c, N]{
            for (int j = 0; j < N; ++j) {
                c.increment();
            }
        });
    }

    for (auto& t : threads) t.join();
    std::cout << "Final count: " << c.get() << "\n"; // 输出 400000
}

登录后复制