為什麼 Go 的 `sync.Once` 使用 `atomic.StoreUint32` 而不是普通的賦值來設定 `done` 標誌？

Go 的sync.Once 中原子操作的正確使用

在Go 的sync.Once 實現的上下文中，了解以下內容至關重要：設定done標誌時普通賦值與atomic.StoreUint32操作之間的差異。

不正確的實作

最初，once.go中的Do函數使用了以下方法:

if atomic.CompareAndSwapUint32(&o.done, 0, 1) {
    f()
}

此實作無法保證在Do 回傳時f 的執行完成。對 Do 的兩個並發呼叫可能會導致第一個呼叫成功呼叫 f，而第二個呼叫過早返回，認為 f 已完成，即使它尚未完成。

原子儲存操作

為了解決這個問題，Go 使用了atomic.StoreUint32 操作。與普通賦值不同，atomic.StoreUint32 確保更新後的完成標誌對其他 goroutine 的可見度。

記憶體模型注意事項

sync.Once 中原子操作的使用是主要不受底層機器的記憶體模型的影響。 Go 的記憶體模型充當統一的抽象，確保不同硬體平台之間的行為一致，無論其特定的記憶體模型為何。

最佳化的快速路徑

要最佳化效能，請同步.Once 對於已設定完成標誌的常見場景採用快速路徑。此快速路徑利用atomic.LoadUint32 來檢查完成標誌而不取得互斥體。如果設定了該標誌，則函數立即傳回。

具有互斥鎖和原子儲存的慢速路徑

當快速路徑失敗時（即最初未設定完成），進入慢速路徑。取得互斥體以確保只有一個呼叫者可以繼續執行 f。 f完成後，使用atomic.StoreUint32設定done標誌，使其對其他goroutines可見。

並發讀取

即使設定了done標誌從原子角度來說，它並不保證並發讀取的安全。讀取受保護臨界區域以外的標誌需要使用atomic.LoadUint32。然而，由於互斥體提供了互斥，直接讀取臨界區是安全的。

綜上所述，Go 的sync.Once 利用atomic.StoreUint32 來確保done 標誌的修改一致且可見，無論底層記憶體 モデル 並避免資料競爭。原子操作和互斥體的結合提供了性能最佳化和正確性保證。

以上是為什麼 Go 的 `sync.Once` 使用 `atomic.StoreUint32` 而不是普通的賦值來設定 `done` 標誌？的詳細內容。更多資訊請關注PHP中文網其他相關文章！