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"(或“否”)的答案,而是寻找可以证明这一点的指针。
最佳答案
如果违背明智advice一路跟着海龟下去……
wg.Add()导致第 63 行导致 atomic.AddUint64()这导致了这个汇编代码:
LOCK
XADDQ AX, 0(BP)
另一方面wg.Wait()导致第 121 行导致 atomic.CompareAndSwapUint64()这导致:
LOCK
CMPXCHGQ CX, 0(BP)
这显然是您构建 WaitGroup
的方式:)。使用锁定原子交换和添加和锁定原子比较和交换。对我来说很有说服力。你无法对抗汇编器。好吧也许你可以我不能。
关于 x86 locks
关于multithreading - sync.WaitGroup 是 "synchronization primitive"吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/47761700/