sync.Once中的原子記憶體排序

在探索sync.Once的原始程式碼時，我們偶然發現了使用atomic背後的原因。 StoreUint32 而不是像 o.done = 1 這樣的標準賦值。

Go 中的記憶體排序

並發程式設計中的一個基本概念是記憶體排序，它確保共享內存在所有處理器上一致地觀察到存取。然而，不同的架構以不同的方式實現記憶體排序，這給程式設計師帶來了挑戰。

Go 透過提供統一的記憶體模型來解決這個問題，強制執行寬鬆但一致的記憶體排序。假定所有記憶體存取都是異步的，不保證原子性或順序。

同步原子操作。 Once

儘管寬鬆的記憶體模型，Go 仍強制要求使用共享記憶體存取的原子操作來保證所有支援的體系結構的正確性。在sync.Once中，使用atomic.StoreUint32來安全地更新done標誌，確保其他goroutine在標誌設定為1之前可以觀察到f()的效果。

快速路徑優化

atomic.StoreUint32用於sync.Once的快速路徑中，以保持安全性的同時優化性能。首先使用atomic.LoadUint32檢查done標誌，然後使用atomic.StoreUint32寫入，因為在寫入的同時讀取該標誌是一種資料競爭。

互斥保護

The doSlow 中使用的互斥體用於保護完成標誌免受並發寫入的影響。在沒有互斥體的情況下仍然可以讀取該標誌，因為它是讀取操作，但並發寫入必須同步以防止資料損壞。

總而言之，在sync.Once中使用atomic.StoreUint32是以下結果Go 的寬鬆記憶體模型以及在所有支援的架構上保證線程安全的必要性。透過採用原子操作，sync.Once 可以安全地協調對共享記憶體的並發訪問，同時優化快速路徑中的效能。