草庐IT

c++ - 比较并交换C++ 0x

coder 2023-06-02 原文

从关于C++原子类型和操作的C++0x proposal中:

29.1 Order and Consistency [atomics.order]

Add a new sub-clause with the following paragraphs.

The enumeration memory_order specifies the detailed regular (non-atomic) memory synchronization order as defined in [the new section added by N2334 or its adopted successor] and may provide for operation ordering. Its enumerated values and their meanings are as follows.

  • memory_order_relaxed

The operation does not order memory.

  • memory_order_release

Performs a release operation on the affected memory locations, thus making regular memory writes visible to other threads through the atomic variable to which it is applied.

  • memory_order_acquire

Performs an acquire operation on the affected memory locations, thus making regular memory writes in other threads released through the atomic variable to which it is applied, visible to the current thread.

  • memory_order_acq_rel

The operation has both acquire and release semantics.

  • memory_order_seq_cst

The operation has both acquire and release semantics, and in addition, has sequentially-consistent operation ordering.



在提案中降低:

bool A::compare_swap( C& expected, C desired,
        memory_order success, memory_order failure ) volatile

where one can specify memory order for the CAS.



我的理解是，“memory_order_acq_rel”仅会同步操作所需的那些内存位置，而其他内存位置可能保持不同步(它不会充当内存围栏)。

现在，我的问题是-如果我选择“memory_order_acq_rel”并将compare_swap应用于整数等整数类型，那么在现代消费类处理器(例如多核Intel i7)上，这通常如何转换为机器代码？其他常用架构(x64，SPARC，ppc，arm)又如何呢？

特别是(假设一个具体的编译器，例如gcc):
  • 如何通过上述操作比较并交换整数位置？
  • 这样的代码会产生什么指令序列？
  • 该操作在i7上是无锁的吗？
  • 这样的操作是否可以运行完整的缓存一致性协议(protocol)，从而像i7上的内存栅栏一样同步不同处理器核心的缓存？还是只是同步此操作所需的内存位置？
  • 与上一个问题有关-在i7上使用acq_rel语义是否有性能优势？那么其他架构呢？

    • 感谢所有的答案。

    最佳答案

    答案并不简单。到底发生了什么，意味着什么取决于许多事情。为了基本了解缓存的一致性/内存，也许我最近的博客文章可能会有所帮助:

  • CPU Reordering – What is actually being reordered?
  • CPU Memory – Why do I need a mutex?

    • 除此之外，让我尝试回答几个问题。首先，下面的功能对支持的功能很有希望:对内存顺序保证的强度进行非常细粒度的控制。这对于编译时重新排序是合理的，但对于运行时障碍通常不是。
    compare_swap( C& expected, C desired,
        memory_order success, memory_order failure )

    架构将无法完全按照您的要求来实现。许多人将不得不将其增强到足以实现的强大功能。当您指定memory_order时，您将指定重新排序的工作方式。要使用英特尔的术语，您将指定所需的围栏类型，其中有三种，全围栏，装载围栏和商店围栏。 (但是在x86上，加载围栏和存储围栏仅对诸如NT存储之类的顺序较弱的指令有用；原子不会使用它们。常规加载/存储会为您提供一切，除了存储可以在以后的加载之后出现。)在该操作上使用特定的栅栏并不意味着会予以支持，我希望它始终会退回到完整的栅栏上。 (有关内存障碍，请参见Preshing's article)

    x86(包括x64)编译器可能会使用 LOCK CMPXCHG 指令来实现CAS，而与内存顺序无关。这意味着完全的障碍； x86没有没有lock前缀的方法无法到达make a read-modify-write operation atomic，这也是一个障碍。 pure-store和pure-load可以是原子上的“独立”，许多ISA对于mo_relaxed以外的任何事物都需要障碍，但x86 does acq_rel "for free" in asm除外。

    该指令是无锁的，尽管试图将CAS置于同一位置的所有内核都将争夺对它的访问权，所以您可以说它并不是真正的无锁。 (使用它的算法可能不是无锁的，但操作本身是无等待的see wikipedia's non-blocking algorithm article)。在使用LL/SC而不是lock ed指令的非x86上，C++11 compare_exchange_weak 通常无需等待，但compare_exchange_strong在假性失败的情况下需要重试循环。

    既然C++ 11已经存在多年了，您可以查看各种体系结构on the Godbolt compiler explorer的asm输出。

    在内存同步方面，您需要了解缓存一致性的工作原理(我的博客可能会有所帮助)。新的CPU使用ccNUMA架构(以前为SMP)。本质上，内存上的“ View ”永远不会变得不同步。代码中使用的隔离实际上并没有强制缓存本身发生任何刷新，只有在飞行商店中提交的存储缓冲区在以后加载之前才进行缓存。

    如果两个内核在缓存行中缓存的内存位置相同，则由一个内核进行的存储将获得缓存行的独占所有权(使所有其他拷贝无效)并将其自身标记为脏。对于非常复杂的过程的非常简单的解释

    要回答您的最后一个问题，您应该始终使用逻辑上必须正确的内存语义。大多数体系结构不支持您在程序中使用的所有组合。但是，在许多情况下，您会获得很好的优化，尤其是在保证所要求的订单没有栅栏的情况下(这是很常见的)。

    -对一些评论的回答:

    您必须区分执行写指令和写入存储位置的含义。这就是我试图在博客文章中解释的内容。到“0”提交到0x100时，所有内核都看到该零。写入整数也是原子的，即使没有锁也是如此，当您写入一个位置时，如果所有内核都希望使用它，它将立即具有该值。

    麻烦的是，要使用您可能已先将其加载到寄存器中的值，此后对位置的任何更改显然都不会触及寄存器。这就是为什么尽管有高速缓存一致性内存也需要互斥或atomic<T>的原因:允许编译器将纯变量值保留在专用寄存器中。 (在C++ 11中，这是因为对非atomic变量的数据争用是未定义的行为。)

    关于矛盾的主张，通常您会看到各种各样的主张。它们是否矛盾归结为上下文中“看到”，“加载”，“执行”的确切含义。如果将“1”写入0x100，是否意味着您执行了写指令或CPU实际提交了该值。由存储缓冲区创建的差异是重新排序的主要原因之一(只有一个x86允许)。 CPU可以延迟写入“1”，但是您可以确定，当它最终提交“1”时，所有内核都可以看到它。围墙通过使线程等到存储区提交后再执行后续操作来控制此顺序。

    关于c++ - 比较并交换C++ 0x，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/4213523/

    amp4339codememoryc++multithreadinggcccompare-and-swapstdatomic

    有关c++ - 比较并交换C++ 0x的更多相关文章

    1. ruby - Ruby 的 Hash 在比较键时使用哪种相等性测试？ - 2

      我有一个围绕一些对象的包装类，我想将这些对象用作散列中的键。包装对象和解包装对象应映射到相同的键。一个简单的例子是这样的:classAattr_reader:xdefinitialize(inner)@inner=innerenddefx;@inner.x;enddef==(other)@inner.x==other.xendenda=A.new(o)#oisjustanyobjectthatallowso.xb=A.new(o)h={a=>5}ph[a]#5ph[b]#nil,shouldbe5ph[o]#nil,shouldbe5我试过==、===、eq?并散列所有无济于事。

    2. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

      我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

    3. 电脑0x0000001A蓝屏错误怎么U盘重装系统教学 - 2

      　　电脑0x0000001A蓝屏错误怎么U盘重装系统教学分享。有用户电脑开机之后遇到了系统蓝屏的情况。系统蓝屏问题很多时候都是系统bug，只有通过重装系统来进行解决。那么蓝屏问题如何通过U盘重装新系统来解决呢？来看看以下的详细操作方法教学吧。　　准备工作：　　1、U盘一个（尽量使用8G以上的U盘）。　　2、一台正常联网可使用的电脑。　　3、ghost或ISO系统镜像文件（Win10系统下载_Win10专业版_windows10正式版下载-系统之家）。　　4、在本页面下载U盘启动盘制作工具：系统之家U盘启动工具。　　U盘启动盘制作步骤：　　注意：制作期间，U盘会被格式化，因此U盘中的重要文件请注

    4. ruby - 使用 `+=` 和 `send` 方法 - 2

      如何将send与+=一起使用？a=20;a.send"+=",10undefinedmethod`+='for20:Fixnuma=20;a+=10=>30 最佳答案 恐怕你不能。+=不是方法，而是语法糖。参见http://www.ruby-doc.org/docs/ProgrammingRuby/html/tut_expressions.html它说Incommonwithmanyotherlanguages,Rubyhasasyntacticshortcut:a=a+2maybewrittenasa+=2.你能做的最好的事情是:

    5. ruby - 如何计算 Liquid 中的变量 +1 - 2

      我对如何计算通过{%assignvar=0%}赋值的变量加一完全感到困惑。这应该是最简单的任务。到目前为止，这是我尝试过的:{%assignamount=0%}{%forvariantinproduct.variants%}{%assignamount=amount+1%}{%endfor%}Amount:{{amount}}结果总是0。也许我忽略了一些明显的东西。也许有更好的方法。我想要存档的只是获取运行的迭代次数。 最佳答案 因为{{incrementamount}}将输出您的变量值并且不会影响{%assign%}定义的变量，我

    6. ruby - 是否有用于复杂比较的漂亮语法？ - 2

      方法应返回-1,0或1分别表示“小于”、“等于”和“大于”。对于某些类型的可排序对象，通常将排序顺序基于多个属性。以下是可行的，但我认为它看起来很笨拙:classLeagueStatsattr_accessor:points,:goal_diffdefinitializepts,gd@points=pts@goal_diff=gdenddefothercompare_pts=pointsother.pointsreturncompare_ptsunlesscompare_pts==0goal_diffother.goal_diffendend尝试一下:[LeagueStats.new(

    7. arrays - Ruby 数组 += vs 推送 - 2

      我有一个数组数组，想将元素附加到子数组。+=做我想做的，但我想了解为什么push不做。我期望的行为(并与+=一起工作):b=Array.new(3,[])b[0]+=["apple"]b[1]+=["orange"]b[2]+=["frog"]b=>[["苹果"],["橙子"],["Frog"]]通过推送，我将推送的元素附加到每个子数组(为什么？):a=Array.new(3,[])a[0].push("apple")a[1].push("orange")a[2].push("frog")a=>[[“苹果”、“橙子”、“Frog”]、[“苹果”、“橙子”、“Frog”]、[“苹果”、“

    8. += 的 Ruby 方法 - 2

      有没有办法让Ruby能够做这样的事情？classPlane@moved=0@x=0defx+=(v)#thisiserror@x+=v@moved+=1enddefto_s"moved#{@moved}times,currentxis#{@x}"endendplane=Plane.newplane.x+=5plane.x+=10putsplane.to_s#moved2times,currentxis15 最佳答案 您不能在Ruby中覆盖复合赋值运算符。任务在内部处理。您应该覆盖+，而不是+=。plane.a+=b与plane.a=

    9. ruby - 尝试比较两个文本文件，并根据信息创建第三个 - 2

      我有两个文本文件，master.txt和926.txt。如果926.txt中有一行不在master.txt中，我想写入一个新文件notinbook.txt。我写了我能想到的最好的东西，但考虑到我是一个糟糕的/新手程序员，它失败了。这是我的东西g=File.new("notinbook.txt","w")File.open("926.txt","r")do|f|while(line=f.gets)x=line.chompifFile.open("master.txt","w")do|h|endwhile(line=h.gets)ifline.chomp!=xputslineendende

    10. ruby - Sinatra + Heroku + Datamapper 使用 dm-sqlite-adapter 部署问题 - 2

      出于某种原因，heroku尝试要求dm-sqlite-adapter，即使它应该在这里使用Postgres。请注意，这发生在我打开任何URL时-而不是在gitpush本身期间。我构建了一个默认的Facebook应用程序。gem文件:source:gemcuttergem"foreman"gem"sinatra"gem"mogli"gem"json"gem"httparty"gem"thin"gem"data_mapper"gem"heroku"group:productiondogem"pg"gem"dm-postgres-adapter"endgroup:development,:t

    随机推荐