C++11多线程 内存序(std::memory_order_acquire/release)

置顶 已于 2022-06-03 21:06:02 修改
阅读量2.9k 收藏 12
点赞数 5
分类专栏： C++多线程 文章标签： c++ 后端 并发编程
于 2021-09-23 11:26:05 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.youkuaiyun.com/qls315/article/details/120431567
版权
本文介绍了C++11多线程中的内存序，特别是acquire和release语义。文章从happens-before概念开始，详细阐述acquire和release如何确保线程间的内存可见性，并通过代码示例说明了它们如何防止操作重排序，从而保证多线程程序的正确性。

摘要生成于 C知道 ，由 DeepSeek-R1 满血版支持， 前往体验 >

目录

引言

happens-before定义

acquire/release定义

代码示例

总结

引言

本篇是讲解modern C++ 内存序系列的第三篇，前两篇可参考C++11多线程 内存序(std::memory_order_relaxed) 和C++11多线程 内存序(std::memory_order_relaxed)。本篇主要讲解如下三部分：

1. 标准所定义的happens-before

2. acquire/release定义

3. acquire/release语义相关代码示例

希望通过这篇文章，能加深对memory order acquire/release的理解和使用。

happens-before定义

一个通用的happens-before定义如下：

了解本专栏 订阅专栏 解锁全文 超级会员免费看
C++11多线程 内存序(std::memory_order_relaxed)
qls315的博客
08-26 1万+
1
C++11多线程 内存序(std::memory_order_consume)
qls315的博客
10-12 1188
引言 在C++多线程 内存序系列文章中，已经介绍了如下三种内存序 C++11多线程 内存序(std::memory_order_seq_cst ) C++11多线程 内存序(std::memory_order_acquire/release) C++11多线程 内存序(std::memory_order_relaxed) 为了保持该系列文章的完整性，因此增加std::memory_order_consume的介绍。 std::memory_order_consume仅仅只用来补充该系列的完整性，
【C/C++ std::memory_order 枚举】掌握 C++ 内存模型：深入理解 std::memory_order 的原理与应用
探索C++编程的奥秘，分享深入的技术见解和实践，旨在激发读者创造力与解决问题的思维。
07-07 1615
在并发编程中，理解和掌握内存模型（Memory Model）是至关重要的。C++ 提供了一套复杂但强大的工具来处理多线程环境下的内存操作，其中最核心的就是 std::memory_order。
【C++ 内存序快速入门】理解 C++ 内存序模型
最新发布
探索C++编程的奥秘，分享深入的技术见解和实践，旨在激发读者创造力与解决问题的思维。
04-20 904
在并发编程中，“**原子性**”保证对同一 `std::atomic` 对象的每次读写要么全部成功，要么全部不做（不会撕裂）；“**可见性**”则指一个线程的写入何时对别的线程可见。正如古人所言，“大道至简却难以践行”，原子操作的表面简单掩盖了重排与可见性背后的复杂性。
C++11的6种内存序总结
热门推荐
Andrew LD
01-05 2万+
对于C++11的6种并发查了不少相关资料，这里作一个总结和理解std::memory_order_relaxed,std::memory_order_consume,std::memory_order_acquire,std::memory_order_release,std::memory_order_acq_rel,std::memory_order_seq_cst粗浅理解（了解大概）编译器优化
std::memory_order
qq_41278986的博客
11-04 1259
Relaxed ordering 标记为 memory_order_relaxed 的 Atomic 操作并非同步操作；对并行的内存访问并不强加顺序。仅保证原子性和修改顺序的一致性。例如，x 和 y 初始化为 0。 原子操作非同步操作。这里的原子操作指的是读写内存的行为，非同步操作意味着，只是发出读写内存的指令，其具体操作将会在将来的某个时间点完成。 改内存模式不强加操作完成的顺序，只保证原子性，和修改顺序的一致性。这里的原子性指的是多线程不同同时进行读写操作；修改顺序的一致性，其修改即为写操作，仅保证写
c++11：std::memory_order（c++11 六种内存序）
李白
10-28 9118
这造成的原因是编译器和cpu实施了重排指令，导致读写顺序会发生变化，只要不存在依赖，代码中后面的指令可能会被放在前面，从而先执行它。memory fence保证的是可见性的顺序：“假如我看到了a的最新值，那么我一定也得看到b的最新值”。线程2在ready为true的时候会访问a，对线程1来说，如果按照正常的执行顺序，那么a先被初始化，然后在将ready赋为true。这样就保证了线程1和线程2的顺序性，比如线程2在看到flag==true时，能看到线程1 realse之前所有操作。我们先来看两个线程代码。
C++11多线程 内存序(std::memory_order_seq_cst )
qls315的博客
04-02 4810
C++11多线程内存序内存模型为什么要有内存模型C++11的内存模型种类各个内存模型介绍及代码测试memory_order_seq_cst 顺序一致性模型 内存模型 内存模型介绍 为什么要有内存模型 多线程环境下，如果保持顺序一致性会降低CPU性能，代价很大，不利于程序优化。 如果想要进行程序的优化，需要编译器和CPU之间遵守相同的约定，这个约定便是内存模型 C++11的内存模型种类 C++11提...
C++ 的内存顺序模型std::memory_order_relaxed
10-29 911
适用于对数据一致性要求较低、但需要原子性的场景，如计数器、标志检测以及无锁数据结构。使用这种内存顺序模型，可以在保证原子性的同时，避免不必要的同步开销，提升系统性能。不过需要注意的是，的设计目的是在保证性能的同时也保留了多线程间的顺序风险，因此在使用中要谨慎考虑实际需求。
std::memory_order_acquire/release
09-16
std::memory_order_acquire和std::memory_order_release是C++11中提供的内存模型中的两个关键字。它们用于指示对共享变量的读和写操作在多线程中的顺序和同步方式。 std::memory_order_acquire用于指示读取操作，并...
C++ 11 多线程初探-std::memory_order
weixin_33695450的博客
05-20 749
　　std::memory_order（可译为内存序，访存顺序） 　　动态内存模型可理解为存储一致性模型，主要是从行为(behavioral)方面来看多个线程对同一个对象同时(读写)操作时(concurrency)所做的约束，动态内存模型理解起来稍微复杂一些，涉及了内存，Cache，CPU 各个层次的交互，尤其是在共享存储系统中，为了保证程序执行的正确性，就需要对访存事件施加严格的限制。 　　...
C++：std::atomic_thread_fence(std::memory_order_acquire)（内存栅栏（Memory Fence））
yao_tao11的博客
08-16 1109
std::atomic_thread_fence(std::memory_order_acquire) 是一种用于控制内存操作顺序的工具，确保在多线程程序中，特定的读取操作在内存模型中的顺序是正确的。它通常与 memory_order_release 搭配使用，以确保在读写共享资源时，线程能够正确地观察到其他线程的写入操作，从而避免竞态条件和数据不一致问题。
【一分钟学C++】std::memory_order
记录点滴，终成江河！
09-14 1396
使用`std::memory_order`是用来限制编译器以及CPU对单线程当中的指令执行顺序进行重排的程度。这种限制，决定了以atom操作为基准点，对其之前的内存访问命令，以及之后的内存访问命令，能够在多大的范围内自由重排，从而形成了6种模式。
C++ 多线程12：内存模型(stdmemory_order)
这是一个c++热爱者的博客哟
01-24 4623
cpp11中这些内存顺序相关的设计，主要还是为了从各种繁杂不同的平台上抽象出独立于硬件平台的并行操作。对于我们日常的开发工作，默认的顺序一致内存顺序memory_order_seq_cst足可以应付了，但是开发者想让多线程程序获得更好的性能的话，尤其是在一些弱内存顺序的平台上，建立原子操作间的内存顺序还是很有必要的，因为着能带来极大的性能提升，这也是一些弱一致性内存模型平台的优势。
std::memory_order研究
春夜喜雨的专栏
07-03 571
关于memory_order，作用和名字挺匹配的，描述了编译器对内存读写指令次序的约束项
std::memory_order 概述
weixin_30664539的博客
05-17 305
这是一种原子对象的枚举类型. memory order Used as an argument to functions that conductatomic operationsto specify how other operations on different threads are synchronized. 用做执行原子操作的函数的参数, 以指定如何同步不同线程上的其他操作....
C++之Memory order
ji2581072的博客
06-12 1357
多线程之间为了避免数据竞争（比如由于编译器优化或者CPU指令执行导致的乱序可能会让程序的运行存在不确定），需要使用一些同步机制，比如互斥量、读写锁、自旋锁、原子变量等。在实际开发中使用的最多的可能是互斥量(mutex)和原子变量(atomic)两种，而两者中以atomic性能更好。所以本文主要介绍一下在使用atomic时，需要注意的一个重要的点就是: Memory order.【注意】1. atomic性能相对更好，并不代表一定要使用atomic,更主要的是根据实际场景来使用。
评论 2
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

qls315

感觉好可打赏几毛钱增强更新动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付：¥1
获取中
扫码支付

您的余额不足，请更换扫码支付或充值

打赏作者

实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值