“以前强烈发生”是什么意思？

Question

一个评估A强烈地发生在一个评估D之前，如果

(12.1)A在D之前测序，或

(12.2)A与D同步，并且A和D都是顺序一致的原子操作([atomics.order])，或者

（注：这个问题的动机是Peter Cordes在这个答案下的评论。）

附加标准报价草案（感谢Peter Cordes）

顺序与一致性[Atomics.Order]/4

（4.4）如果内存_order::seq_cst栅栏X发生在a之前，B发生在内存_order::seq_cst栅栏Y之前，那么在S中X在Y之前。

Answer 1

为什么会引入“以前发生过强烈事件”？直观上，它与“以前发生过”有什么区别和联系？

为“简单的发生--之前”做好准备！看一下cppref https://en.cppreference.com/w/cpp/atomic/memory_order的当前快照

似乎在C++20中添加了“simply chapple-before”。

2)A与B同步

3)A只是发生在X之前，X只是发生在B之前

注意：没有消费操作，简单地说，发生-之前和发生-之前的关系是相同的。

通过在必要时引入额外的同步（只有在涉及消费操作时才有必要，请参见Batty et al），实现需要确保发生-发生之前关系是非循环的

他们在消费方面有什么不同？参见线程间-HB

线程间发生-之前

...

依赖排序的操作（即使用、释放/消费）是HB，但不一定是简单的-HB。

消费比获取更轻松，所以如果我理解正确的话，HB比简单的-HB更轻松。

无论线程如何，如果以下任一项为真，则计算A将在计算B之前发生：

1)A在B之前被测序

2)A与B同步，A和B都是顺序一致的原子操作

因此释放/消耗操作不能是强HB。

release/acquire可以是HB和simple-hb（因为release/acquire与-synchroned-with同步），但不一定是强-HB。因为强-HB特别指出A必须与B同步，并且是一个顺序一致的操作。

                            Is happens-before guaranteed?

                        HB             Simply-HB          Strongly-HB

relaxed                 no                 no                 no
release/consume        yes                 no                 no      
release/acquire        yes                yes                 no
S.C.                   yes                yes                yes

注释中的“A似乎在所有上下文中都比B先评估”是什么意思？

我不知道为什么强-HB和简单-HB被引入。也许是为了帮助澄清如何围绕消费进行操作？strong-hb有一个很好的属性--如果一个线程在B之前强烈地观察到a，它知道所有线程都将观察到相同的事情。

消费史：

Paul E.McKenney负责消费在C和C++标准中。消费保证指针分配和它所指向的内存之间的顺序。它是因为十二月阿尔法而发明的。DEC Alpha可以推测地取消指针引用，因此它也有一个内存栅栏来防止这种情况。DEC Alpha不再被制造，今天没有处理器有这种行为。消费意在非常放松。