WaitGroup.Wait() 保證記憶體屏障嗎?
考慮以下程式碼片段:
var condition bool var wg sync.WaitGroup for _, item := range items { wg.Add(1) go func(item) { if meetsCondition(item) { condition = true } wg.Done() }(item) } wg.Wait() // is it safe to check condition here?
出現了在 wg.Wait() 返回後檢查條件變數是否安全的問題。 Go 官方文件沒有明確提及任何記憶體屏障影響,但 WaitGroup 文件指出,Wait 會阻塞,直到等待組計數器達到零。
解決方案
是的,在 wg.Wait() 返回後檢查條件變數是安全的。 wg.Wait() 和 wg.Done() 之間存在隱式的happens-before關係。當一個 goroutine 呼叫 wg.Done() 時,它確保其所有已完成的操作對於已呼叫 wg.Wait() 的其他 goroutine 可見。因此,wg.Wait() 有效地充當記憶體屏障,確保在 wg.Wait() 返回後檢查之前更新條件變數。
這種發生之前關係沒有明確記錄,但已被記錄得到了 Go 開發者的確認。請參閱此處的 Go 論壇主題以了解更多詳細資訊。
以上是WaitGroup.Wait() 在 Go 中充當記憶體屏障嗎?的詳細內容。更多資訊請關注PHP中文網其他相關文章!