关于std::memory_order_consume

原文:https://preshing.com/20140709/the-purpose-of-memory_order_consume-in-cpp11/

翻译:C++11中memory_order_consume的目的
https://blog.csdn.net/netyeaxi/article/details/80718781

文章中有这样一个例子:

g = Guard.load(memory_order_consume);
if (g != nullptr)p = *g;

既然g已经表明了代码级别的依赖,为什么还需要memory_order_consume,而不可以直接memory_order_relaxed呢?

搜了一下这里有个解释,但是它似乎没有说清楚:https://stackoverflow.com/questions/38280633/c11-the-difference-between-memory-order-relaxed-and-memory-order-consume

其实也比较简单,先看一下memory_order_release的规则(中英文对照方便理解):https://en.cppreference.com/w/cpp/atomic/memory_order

有此内存定序的存储操作进行释放操作:当前线程中的读或写不能被重排到此存储之后。

  1. 当前线程的所有写入,可见于获得该同一原子变量的其他线程(见下方释放-获得定序)
  2. 并且对该原子变量的带依赖写入变得对于其他消费同一原子对象的线程可见(见下方释放-消费定序)。

A store operation with this memory order performs the release operation: no reads or writes in the current thread can be reordered after this store.

  1. All writes in the current thread are visible in other threads that acquire the same atomic variable (see Release-Acquire ordering below)
  2. writes that carry a dependency into the atomic variable become visible in other threads that consume the same atomic (see Release-Consume ordering below).

注意第二条:在其他线程,使用consume能保证该原子变量的带依赖写入(文中的g)可见。换言之relaxed不能保证这一点。

也就是:

Payload = 42;
Guard.store(&Payload, memory_order_release);

在另一个线程看起来可能是:

Guard.store(&Payload, memory_order_release);
Payload = 42;

另外我们也能得到这样的结论:只使用memory_order_release,而不配合使用acquire或consume或其他更严格约束的话,对其他线程来说是没有意义的。
再推而广之,所有的memory_order都要在多个线程配合使用,才能影响变量在线程之间的可见性。根据这一点,也能理解为什么relaxed是不正确的。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/865338.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

terminals database is inaccessible

在复制虚拟环境后,执行clean操作经常报以上错误 解决方案如下: vim ~/.bashrc alias clear"TERMxterm /usr/bin/clear" source ~/.bashrc

2024-07-03_外语学习

文章目录 1. SSCC(Serial Shipping Container Code)2. Serial读音词源ser-01ser-02 3. routing instruction在计算领域在物流领域Routing Instruction 的词源分析RoutingInstruction 1. SSCC(Serial Shipping Container Code) 在…

2024年07月03日 Redis部署方式和持久化

Redis持久化方式:RDB和AOF,和混合式 RDB:周期备份模式,每隔一段时间备份一份快照文件,从主线程Fork一个备份线程出来备份,缺点是会造成数据的丢失。 AOF:日志模式,每条命令都以操作…

Java8环境安装(jdk1.8安装)详细教程

Java 8环境安装(jdk1.8安装)详细教程 Java 8(也称为JDK 1.8),是Oracle公司于2014年3月发布的一个重要的Java语言版本。这个版本自发布以来,因其众多的新特性和改进,被认为是Java语言发展历程中…

itk::ShapedNeighborhoodIterator类C2516问题

错误问题&#xff1a; 1>C:\itk\src-5.3.0\Modules\Core\Common\include\itkShapedNeighborhoodIterator.h(183,1): error C2516: itk::ShapedNeighborhoodIterator<TImage,TBoundaryCondition>::ConstIterator: is not a legal base class 1>C:\itk\src-5.3.0\Mo…

0基础学C++ | 第11天 | 基础知识 | 引用

目录 引用的基本使用 引用的注意事项 引用做函数参数 引用做函数的返回值 引用的本质 引用的基本使用 作用&#xff1a;引用就是给变量起别名&#xff0c;它不是新定义一个变量&#xff0c;而是给已存在变量取了一个别名&#xff0c;编译器不会为引用变量开辟内存空间&#…

MySql中每行多值属性的计数值

MySql中每行多值属性的计数值 在MySQL中&#xff0c;每行多值属性的计数值指的是在一个表中的某个字段中存储了多个值&#xff0c;而不是单个值。这种情况下&#xff0c;我们需要计算每行中多值属性的数量。 在MySQL中&#xff0c;可以使用内置的函数来计算每行多值属性的计数…

【FFmpeg】avcodec_send_frame函数

目录 1.avcodec_send_frame1.1 将输入的frame存入内部buffer&#xff08;encode_send_frame_internal&#xff09;1.1.1 frame的引用函数&#xff08;av_frame_ref &#xff09;1.1.1.1 帧属性的拷贝&#xff08;frame_copy_props&#xff09;1.1.1.2 buffer的引用函数&#xf…

Java框架常见面试题

在Java框架面试中&#xff0c;面试官通常会考察候选人对常见Java框架的理解、使用经验以及解决问题的能力。以下是一些常见的Java框架面试题及其详细回答&#xff1a; 1. Spring框架相关问题 问题&#xff1a;Spring框架的核心组件有哪些&#xff1f;它们各自的作用是什么&am…

Appium 使用隐式等待,无法执行代码怎么办?

简介 添加等待是为了确保自动化脚本在执行过程中与应用程序之间的同步和稳定性。 应用程序的响应时间是不确定的&#xff0c;可能存在网络延迟、加载时间、动画效果等因素。如果在执行自动化脚本时没有适当的等待机制&#xff0c;脚本可能会在应用程序还未完成相应操作或加载完…

转让5000万无区域能源公司要求和流程

国家局的公司&#xff0c;也就是无地域无区域性的公司名称。这样的公司是还可以继续注册的&#xff0c;但是想要拥有国家局无区域的名称就不是那么容易的了。总局的企业要求高&#xff0c;也是实力的体现。对字号有保护。所以有很多人都对无地域的名称一直情有独钟。现有一家名…

【logback-spring配置不生效,开发环境和生产环境配置不同输出级别】

<?xml version"1.0" encoding"UTF-8"?> <configuration debug"false"><!-- ****************************************************************************************** --><!-- ****************************** 本地…

Linux文件夹下所有文件打包

在Linux系统中&#xff0c;可以使用tar命令来打包一个文件夹下的所有文件。以下是一些基本的tar命令用法&#xff1a; 打包文件夹&#xff1a;将指定文件夹及其内容打包成一个.tar文件。 tar -cvf archive_name.tar /path/to/directory-c 表示创建一个新的归档文件。-v 表示在处…

git命令--版本恢复

概述 有两类情形需要做版本恢复。一是整个仓库回退到某一个版本&#xff0c;二是单个文件回退到某一个版本。两者的操作方式是不同的。 操作 整个仓库回退到某一个版本 查看并选取需要回退的commit id git log | less 回退到其中一个版本 git reset --hard [commit_id] 推到…

智能视频监控平台LntonCVS视频监控汇聚平台系统详细介绍

视频监控综合管理平台是专为大中型用户设计的安防管理软件&#xff0c;旨在实现跨区域网络化视频监控的集中管理。该平台集成了信息资源管理、设备管理、用户管理、网络管理和安全管理等多项功能&#xff0c;能够集中管理监控中心的所有视频图像&#xff0c;支持多品牌设备联网…

AI基准测评(下):视频生成、代码能力、逻辑推理,AI是否已经超越人类?

本文作者&#xff1a;王加龙&#xff0c;阿里云高级算法专家 文章推荐 AI实测&#xff5c;基于图像、语言与声音&#xff0c;人工智能是否已经超越了人类&#xff1f; 知乎AI产品“直答”正式上线&#xff01;文心一言4.0 Turbo来袭&#xff0c;可为农民提供专业指导&#x…

MySQL——索引介绍及索引的分类

官方介绍索引是帮助MySQL高效获取数据的数据结构。 提取句子主干&#xff0c;就可以得到索引的本质&#xff1a;索引是数据结构。 索引的分类 在一个表中&#xff0c;主键索引只能有一个&#xff0c;唯一索引可以有多个 主键索引&#xff08;PRIMARY KEY&#xff09;&#xf…

Fork/Join框架

什么是 Fork/Join Fork/Join 框架是 Java7 提供了的一个用于并行执行任务的框架&#xff0c; 是一个把大任务分割成若干个小任务&#xff0c;最终汇总每个小任务结果后得到大任务结果的框架。 分治 我们再通过 Fork 和 Join 这两个单词来理解下 Fork/Join 框架&#xff0c;F…

数据库设计规范(DOC文件)

1 编写目的 2 数据库策略 2.1 数据库对象长度策略 2.2 数据完整性策略 2.3 规范化设计与性能之间的权衡策略 2.4 字段类型的定义与使用策略 3 命名规范 3.1 数据库命名规则 3.2 数据库对象命名的一般原则 3.3 表空间(Tablespace)命名规则 3.4 表(Table)命名规则 3.5…

人大金仓 PostgreSQL 触发器同步记录数据到另一张表

创建触发器 CREATE TRIGGER sync_tz_ly_event_trigger AFTER INSERT OR UPDATE OR DELETE ON tz_ly_event FOR EACH ROWEXECUTE FUNCTION sync_tz_ly_event_records ( );创建触发函数 CREATE OR REPLACE FUNCTION "sync_tz_ly_event_records"()RETURNS "pg_c…