當並發 goroutine 遞增共享變數時，為什麼我的 Go 程式的輸出始終為 1？

這是因為 go 編譯器最佳化了程式碼嗎？

在提供的 Go 程式碼中，變數 i 在 main goroutine 和 goroutine 之間共用使用 go func() { ... }() 建立的並發 goroutine。並發 Goroutine 的目的是無限增加 i。然而，在運行程式時，您注意到輸出始終為 1，儘管預期的數字要大得多，因為並發 goroutine 有足夠的時間將 i 遞增多次。

要理解這種行為，我們需要考慮 Go 記憶體模型和編譯器的最佳化。

Go 記憶體模型

Go 記憶體模型指定了可以保證在一個 goroutine 中讀取變數的條件觀察不同 Goroutine 中寫入同一變數所產生的值。

根據 Go 記憶體模型，為了使共享變數的變更在 Goroutine 之間可見，它們後面必須跟有同步事件，例如通道操作或鎖定互斥鎖。

編譯器最佳化

在您的範例中，並發 goroutine 中對 i 的分配後面沒有任何同步事件。因此，不能保證主 Goroutine 會觀察到賦值，並且編譯器可以根據需要自由地最佳化程式碼。

激進的編譯器可能會透過完全消除增量操作來優化程式碼，有效地將並發 goroutine 減少為不執行任何操作的無限循環。這種最佳化可以解釋為什麼輸出總是 1，因為主 Goroutine 從不觀察並發 Goroutine 執行的增量。

為了確保共享變數的更新能夠在 Goroutine 之間正確傳播，同步存取非常重要使用 Go 的同步和同步/原子包提供的通道、互斥體或其他同步原語來存取這些變數。

以上是當並發 goroutine 遞增共享變數時，為什麼我的 Go 程式的輸出始終為 1？的詳細內容。更多資訊請關注PHP中文網其他相關文章！