multithreading - sync.WaitGroup 是 "synchronization primitive"吗？

Question

go memory model文件说

To serialize access, protect the data with channel operations or other synchronization primitives such as those in the sync and sync/atomic packages.

还有 sync package说

Package sync provides basic synchronization primitives such as mutual exclusion locks

所以由此我们可以得出结论，sync.Mutex是一个同步原语。还有一个非常强烈的暗示，即该包中的其他类型是同步原语。但是，它没有明确说明例如sync.WaitGroup 是。

阅读source of WaitGroup ，我无法完全说服自己内存操作不会围绕 WaitGroup 函数重新排列(例如，我可以使用 java 的 synchronized 关键字进行重新排列)。我相信它是在序列化之前/之后，但我怎么能确定。

sync.WaitGroup 是“同步原语”吗？我不是简单地寻找"is"(或“否”)的答案，而是寻找可以证明这一点的指针。

Answer 1

如果违背明智advice一路跟着海龟下去……

wg.Add()导致第 63 行导致 atomic.AddUint64()这导致了这个汇编代码:

LOCK
XADDQ   AX, 0(BP)

另一方面wg.Wait()导致第 121 行导致 atomic.CompareAndSwapUint64()这导致:

LOCK
CMPXCHGQ    CX, 0(BP)

这显然是您构建 WaitGroup 的方式:)。使用锁定原子交换和添加和锁定原子比较和交换。对我来说很有说服力。你无法对抗汇编器。好吧也许你可以我不能。

关于 x86 locks