搜索
首页后端开发C++为什么编译器不合并相同值的冗余原子写入?

Why Don't Compilers Merge Redundant Atomic Writes of the Same Value?

为什么编译器避免合并冗余原子写入

简介

编译器通常坚持“ as-if”规则,允许他们在可观察到的情况下重新排序操作行为保持一致。然而,在连续存储具有相同值的原子变量的情况下,例如:

std::atomic<int> y(0);
void f() {
  auto order = std::memory_order_relaxed;
  y.store(1, order);
  y.store(1, order);
  y.store(1, order);
}</int>

编译器倾向于单独发出写入。

C 的限制标准

虽然 C 11 和 C 14 标准在技术上允许合并三个商店,它们不保证观察者会看到 2 的中间值。因此,通过将存储折叠到单个操作中进行优化将违反标准允许任何有效排序的意图。

编译器注意事项

编译器优先考虑优化性能而不是可预测性,这导致了保守的方法。尽管标准允许,但编译器选择不合并原子写入以避免潜在问题,例如当多个存储错误合并时进度条会卡住。

最小惊喜原则

程序员通常期望原子存储按顺序发生,每个存储都按写入的方式执行。如果编译器要合并这些操作,则可能会引入意外行为并违反最小意外原则。

即将推出的 API 增强

C 工作组正在进行讨论使用额外的优化控制来扩展 std::atomic API。这将允许编译器在不违反排序要求的情况下优化原子写入。

替代解决方案

同时,程序员可以使用易失性原子变量防止商店优化。虽然此方法主要解决进度条问题,但它不是理想的长期解决方案。

结论

编译器通常不会将连续的原子写入与相同的原子写入合并值以确保与 C 标准的一致性,避免潜在的性能问题,并坚持最少意外原则。然而,未来的 API 增强可能使编译器能够在未来安全地实现此优化。

以上是为什么编译器不合并相同值的冗余原子写入?的详细内容。更多信息请关注PHP中文网其他相关文章!

声明
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
c语言函数返回值的类型有哪些?返回值是由什么决定的?c语言函数返回值的类型有哪些?返回值是由什么决定的?Mar 03, 2025 pm 05:52 PM

本文详细介绍了C函数返回类型,包括基本(int,float,char等),派生(数组,指针,结构)和void类型。 编译器通过函数声明和返回语句确定返回类型,执行

Gulc:从头开始建造的C库Gulc:从头开始建造的C库Mar 03, 2025 pm 05:46 PM

Gulc是一个高性能的C库,优先考虑最小开销,积极的内衬和编译器优化。 其设计非常适合高频交易和嵌入式系统等关键应用程序,其设计强调简单性,模型

c语言函数的定义和调用规则是什么c语言函数的定义和调用规则是什么Mar 03, 2025 pm 05:53 PM

本文解释了C函数声明与定义,参数传递(按值和指针),返回值以及常见的陷阱,例如内存泄漏和类型不匹配。 它强调了声明对模块化和省份的重要性

c语言函数格式字母大小写转换步骤c语言函数格式字母大小写转换步骤Mar 03, 2025 pm 05:53 PM

本文详细介绍了字符串案例转换的C功能。 它可以通过ctype.h的toupper()和tolower()解释,并通过字符串迭代并处理零终端。 常见的陷阱,例如忘记ctype.h和修改字符串文字是

c语言函数返回值在内存保存在哪里?c语言函数返回值在内存保存在哪里?Mar 03, 2025 pm 05:51 PM

本文研究C函数返回值存储。 较小的返回值通常存储在寄存器中以备速度;较大的值可能会使用指针来记忆(堆栈或堆),影响寿命并需要手动内存管理。直接ACC

distinct用法和短语分享distinct用法和短语分享Mar 03, 2025 pm 05:51 PM

本文分析了形容词“独特”的多方面用途,探索其语法功能,常见的短语(例如,“不同于”,“完全不同”),以及在正式与非正式中的细微应用

C标准模板库(STL)如何工作?C标准模板库(STL)如何工作?Mar 12, 2025 pm 04:50 PM

本文解释了C标准模板库(STL),重点关注其核心组件:容器,迭代器,算法和函子。 它详细介绍了这些如何交互以启用通用编程,提高代码效率和可读性t

如何有效地使用STL(排序,查找,转换等)的算法?如何有效地使用STL(排序,查找,转换等)的算法?Mar 12, 2025 pm 04:52 PM

本文详细介绍了c中有效的STL算法用法。 它强调了数据结构选择(向量与列表),算法复杂性分析(例如,std :: sort vs. std vs. std :: partial_sort),迭代器用法和并行执行。 常见的陷阱

See all articles

热AI工具

Undresser.AI Undress

Undresser.AI Undress

人工智能驱动的应用程序,用于创建逼真的裸体照片

AI Clothes Remover

AI Clothes Remover

用于从照片中去除衣服的在线人工智能工具。

Undress AI Tool

Undress AI Tool

免费脱衣服图片

Clothoff.io

Clothoff.io

AI脱衣机

AI Hentai Generator

AI Hentai Generator

免费生成ai无尽的。

热门文章

R.E.P.O.能量晶体解释及其做什么(黄色晶体)
2 周前By尊渡假赌尊渡假赌尊渡假赌
仓库:如何复兴队友
4 周前By尊渡假赌尊渡假赌尊渡假赌
Hello Kitty Island冒险:如何获得巨型种子
4 周前By尊渡假赌尊渡假赌尊渡假赌

热工具

Dreamweaver CS6

Dreamweaver CS6

视觉化网页开发工具

SecLists

SecLists

SecLists是最终安全测试人员的伙伴。它是一个包含各种类型列表的集合,这些列表在安全评估过程中经常使用,都在一个地方。SecLists通过方便地提供安全测试人员可能需要的所有列表,帮助提高安全测试的效率和生产力。列表类型包括用户名、密码、URL、模糊测试有效载荷、敏感数据模式、Web shell等等。测试人员只需将此存储库拉到新的测试机上,他就可以访问到所需的每种类型的列表。

螳螂BT

螳螂BT

Mantis是一个易于部署的基于Web的缺陷跟踪工具,用于帮助产品缺陷跟踪。它需要PHP、MySQL和一个Web服务器。请查看我们的演示和托管服务。

mPDF

mPDF

mPDF是一个PHP库,可以从UTF-8编码的HTML生成PDF文件。原作者Ian Back编写mPDF以从他的网站上“即时”输出PDF文件,并处理不同的语言。与原始脚本如HTML2FPDF相比,它的速度较慢,并且在使用Unicode字体时生成的文件较大,但支持CSS样式等,并进行了大量增强。支持几乎所有语言,包括RTL(阿拉伯语和希伯来语)和CJK(中日韩)。支持嵌套的块级元素(如P、DIV),

ZendStudio 13.5.1 Mac

ZendStudio 13.5.1 Mac

功能强大的PHP集成开发环境