- Java 双重比较
- java - 比较器与 Apache BeanComparator
- Objective-C 完成 block 导致额外的方法调用?
- database - RESTful URI 是否应该公开数据库主键?
例如,在 intel i3、i5、i7 x86 64 位 cpu 上,CAS 是否只保证最大原子性。 8 字节对象大小?
在 x86 cpu 上,锁定指令被添加到 CAS 操作中,例如。 CMPXCHG
,这意味着整个缓存行都被锁定用于读取 cpu,因此 std::atomic::compare_exchange_weak()
不会因虚假故障原因返回故障?
如果 x86 cpu 在 CAS 操作中使用 lock
,如果使用无锁编程而不是在共享资源上使用 std::mutex ,性能增益是多少?
例如,如果我想写一个无锁链表。我对 header 节点的指针进行原子加载,并将其与 std::atomic::compare_exchange_weak()
进行比较,以查看是否进行了任何更改。在这种情况下,ABA 问题是否适用于 x86 cpu?
最佳答案
你在这里有几个问题:-)
根据定义,CAS 操作始终是原子操作。话虽如此,这取决于您的硬件支持什么(如果有的话)CAS 操作,包括可以为此类操作交换的最大字节数。一些 CPU(例如 ARM)根本不直接支持 CAS。 x86-64 CPU 支持 8 字节 CAS,所有现代 CPU 还通过 CMPXCHG16b
指令支持 16 字节 CAS(通常称为双宽度 CAS)。
我不确定 CAS 是否会在您提到的 CPU 上出现虚假故障(尽管我知道在某些平台上它不会)。我对那些特定 CPU 上的缓存架构了解不够。但是,在 compare_exchange_weak
和 compare_exchange_strong
之间进行选择时,底层硬件实现是无关紧要的:您应该使用对您正在做的事情有意义的一个 - 如果您'只是编写一个典型的小型 CAS 循环(其中对虚假故障的额外工作可以忽略不计),否则就是一个强大的交换。这也使您的代码更具可移植性和健壮性。
您需要测量。这几乎完全取决于您的应用程序在做什么(如果您的应用程序确实因围绕共享资源的极度争用而成为瓶颈,它可能会受益于首先需要较少共享的重新设计)。一般来说 std::mutex
是“足够好”(实际上大多数时候性能都很好),但是如果在高争用情况下锁内的工作量非常小,那么锁定开销确实会大大降低实际工作量和无锁算法可以显着提高吞吐量。
ABA 绝对适用于 x86。这是由于 CAS 本身的基本性质而出现的问题,与硬件实现无关。我 wrote a little about it here .
我的建议是在编写无锁代码时要非常小心。它极难测试,并且可能会工作(甚至在生产中)多年,直到在某些极端情况下(例如,在略有不同的硬件上,或在不同的工作负载下使用时等)出现错误。不要一开始就写像链表这样的通用数据结构,因为在一般情况下正确处理插入和删除是一场噩梦(至少,如果你的目标是在争用下保持高性能,它通常是因为这就是为什么您首先要编写无锁数据结构的原因)。相反,找出您的特定应用程序逻辑所需的确切最少操作,并仅实现这些操作。一个只加无锁链表写起来相当简单;结合去除头部或尾部的能力要复杂得多,这要归功于 ABA。
关于c++ - 在x86 cpu上进行比较和交流,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/34842152/
我喜欢 smartcase,也喜欢 * 和 # 搜索命令。但我更希望 * 和 # 搜索命令区分大小写,而/和 ?搜索命令遵循 smartcase 启发式。 是否有隐藏在某个地方我还没有找到的设置?我宁
关闭。这个问题是off-topic .它目前不接受答案。 想改进这个问题? Update the question所以它是on-topic对于堆栈溢出。 10年前关闭。 Improve this qu
从以下网站,我找到了执行java AD身份验证的代码。 http://java2db.com/jndi-ldap-programming/solution-to-sslhandshakeexcepti
似乎 melt 会使用 id 列和堆叠的测量变量 reshape 您的数据框,然后通过转换让您执行聚合。 ddply,从 plyr 包看起来非常相似..你给它一个数据框,几个用于分组的列变量和一个聚合
我的问题是关于 memcached。 Facebook 使用 memcached 作为其结构化数据的缓存,以减少用户的延迟。他们在 Linux 上使用 UDP 优化了 memcached 的性能。 h
在 Camel route ,我正在使用 exec 组件通过 grep 进行 curl ,但使用 ${HOSTNAME} 的 grep 无法正常工作,下面是我的 Camel 路线。请在这方面寻求帮助。
我正在尝试执行相当复杂的查询,在其中我可以排除与特定条件集匹配的项目。这是一个 super 简化的模型来解释我的困境: class Thing(models.Model) user = mod
我正在尝试执行相当复杂的查询,我可以在其中排除符合特定条件集的项目。这里有一个 super 简化的模型来解释我的困境: class Thing(models.Model) user = mod
我发现了很多嵌入/内容项目的旧方法,并且我遵循了在这里找到的最新方法(我假设):https://blog.angular-university.io/angular-ng-content/ 我正在尝试
我正在寻找如何使用 fastify-nextjs 启动 fastify-cli 的建议 我曾尝试将代码简单地添加到建议的位置,但它不起作用。 'use strict' const path = req
我正在尝试将振幅 js 与 React 和 Gatsby 集成。做 gatsby developer 时一切看起来都不错,因为它发生在浏览器中,但是当我尝试 gatsby build 时,我收到以下错
我试图避免过度执行空值检查,但同时我想在需要使代码健壮的时候进行空值检查。但有时我觉得它开始变得如此防御,因为我没有实现 API。然后我避免了一些空检查,但是当我开始单元测试时,它开始总是等待运行时异
尝试进行包含一些 NOT 的 Kibana 搜索,但获得包含 NOT 的结果,因此猜测我的语法不正确: "chocolate" AND "milk" AND NOT "cow" AND NOT "tr
我正在使用开源代码共享包在 iOS 中进行 facebook 集成,但收到错误“FT_Load_Glyph failed: glyph 65535: error 6”。我在另一台 mac 机器上尝试了
我正在尝试估计一个标准的 tobit 模型,该模型被审查为零。 变量是 因变量 : 幸福 自变量 : 城市(芝加哥,纽约), 性别(男,女), 就业(0=失业,1=就业), 工作类型(失业,蓝色,白色
我有一个像这样的项目布局 样本/ 一种/ 源/ 主要的/ java / java 资源/ .jpg 乙/ 源/ 主要的/ java / B.java 资源/ B.jpg 构建.gradle 设置.gr
如何循环遍历数组中的多个属性以及如何使用map函数将数组中的多个属性显示到网页 import React, { Component } from 'react'; import './App.css'
我有一个 JavaScript 函数,它进行 AJAX 调用以返回一些数据,该调用是在选择列表更改事件上触发的。 我尝试了多种方法来在等待时显示加载程序,因为它当前暂停了选择列表,从客户的 Angul
可能以前问过,但找不到。 我正在用以下形式写很多语句: if (bar.getFoo() != null) { this.foo = bar.getFoo(); } 我想到了三元运算符,但我认
我有一个表单,在将其发送到 PHP 之前我正在执行一些验证 JavaScript,验证后的 JavaScript 函数会发布用户在 中输入的文本。页面底部的标签;然而,此消息显示短暂,然后消失...
我是一名优秀的程序员,十分优秀!