原子操作是不可中断的操作,C++中通过std::atomic实现,确保多线程下对共享变量的读-改-写具有完整性,避免数据竞争;例如count.fetch_add(1)替代非原子的count++,保证操作的原子性。相比互斥锁,原子操作性能更高,适用于高并发场景。std::atomic支持load、store、exchange和compare_exchange_weak等操作,其中CAS(比较并交换)是无锁编程的核心机制,常用于实现线程安全的数据结构如无锁栈。配合内存顺序(memory_order)可精细控制内存可见性和指令重排,不同memory_order选项在性能与同步强度间权衡,需根据场景合理选择以确保正确性与效率。

原子操作(atomic)在C++中是一种确保对共享变量的操作不会被线程干扰的机制。它常用于多线程环境中,避免数据竞争,实现线程安全。C++11引入了std::atomic模板类,让开发者可以方便地使用无锁(lock-free)方式操作基本类型,比如整数、指针等。
什么是原子操作?
原子操作是指一个操作在执行过程中不会被其他线程中断。也就是说,读-改-写这类复合操作在多线程环境下也能保持完整性。例如:
count++ 看似简单,实际包含“读值、加1、写回”三步,非原子操作可能引发数据竞争。使用std::atomic count;后,count.fetch_add(1)就能保证整个过程是原子的。
原子操作的核心优势是性能——相比互斥锁(mutex),它避免了线程阻塞和上下文切换开销,特别适合高并发场景。
std::atomic 的基本用法
你可以将常用类型包装成原子变量:
立即学习“C++免费学习笔记(深入)”;
#include #includestd::atomic counter{0};
void increment() {for (int i = 0; i < 1000; ++i) {counter.fetch_add(1, std::memory_order_relaxed);}}
上面代码中,多个线程调用increment()也不会导致计数错误。fetch_add是原子加法,返回旧值;你也可以用++counter,它会被重载为原子操作。
支持的常见操作包括:
load():原子读store(value):原子写exchange(value):交换值compare_exchange_weak(expected, desired):CAS(Compare-And-Swap),无锁编程的核心
无锁编程与CAS
无锁编程(lock-free programming)依赖原子操作和CAS来实现线程同步,而不使用互斥量。典型例子是实现一个线程安全的栈:
templatestruct lock_free_stack { void push(T new_value) { node* const new_node = new node{new_value}; new_node->next = head.load(); while (!head.compare_exchange_weak(new_node->next, new_node)); }std::shared_ptr pop() { node* old_head = head.load(); while (old_head && !head.compare_exchange_weak(old_head, old_head->next)); return old_head ? std::make_shared(old_head->data) : nullptr;}
private:struct node {T data;node next;};std::atomic> head{nullptr};};
这里的关键是compare_exchange_weak:它检查当前head是否等于预期值,如果是,就替换成新值。如果不是(说明其他线程修改了),就更新预期值并重试。这种“乐观重试”机制避免了锁的开销。
内存顺序(memory_order)的重要性
原子操作可以指定内存顺序,控制指令重排和可见性。常见的选项有:
std::memory_order_relaxed:只保证原子性,不约束内存顺序,性能最高。std::memory_order_acquire:用于读操作,确保之后的读写不会被重排到该操作之前。std::memory_order_release:用于写操作,确保之前的读写不会被重排到该操作之后。std::memory_order_acq_rel:同时具备 acquire 和 release 语义。std::memory_order_seq_cst:最严格的顺序一致性,默认选项,但性能开销最大。
例如,在生产者-消费者模型中,生产者用release,消费者用acquire,可确保数据正确传递。
基本上就这些。原子操作是C++11支持并发的重要基石,掌握它能写出更高效、更安全的多线程程序。关键在于理解CAS机制和内存顺序的选择,避免误用导致隐蔽bug。
以上就是C++中的原子操作(atomic)是什么_C++11无锁编程与线程安全的详细内容,更多请关注创想鸟其它相关文章!
版权声明:本文内容由互联网用户自发贡献,该文观点仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容, 请发送邮件至 chuangxiangniao@163.com 举报,一经查实,本站将立刻删除。
发布者:程序猿,转转请注明出处:https://www.chuangxiangniao.com/p/1488086.html
微信扫一扫
支付宝扫一扫