為什麼我的 Go 程式碼在並發 Goroutine 中出現意外的變數排序？

Go 語言中不正確的同步

在 Go 程式設計領域，同步在確保並發程式碼的完整性方面發揮著關鍵作用。然而，理解同步的細微差別可能具有挑戰性，Go 記憶體模型中的一個特殊觀察證明了這一點。

問題源自於一個程式碼片段，該程式碼片段將兩個整數變數 a 和 b 設定為不同的值f() 函數，然後在 g() 函數中列印它們的值。當 g() 函數可能列印 2（指派給 b 的值）後面接著 0（a 的預設零值）時，會出現意外行為。

這種令人費解的行為可歸因於以下錯綜複雜的情況：

變數初始化和重新排序：
變數a 和b 用零值初始化在任何函數執行開始之前。但是，在 f() 函數中為它們分配新值的順序可能會有所不同。只要不改變該範圍內的預期行為，Go 編譯器和處理器就可以在單一 goroutine 內重新排序讀取和寫入。因此，在 f() 函數中，出於效率原因，編譯器可能會對 a 和 b 的賦值重新排序。

Goroutine 同步：
這個程式碼範例缺乏任何同步機制兩個 goroutine。因此，編譯器不保證 g() 函數列印變數時的一致性。編譯器沒有義務確保 f() 函數中的兩個賦值在 g() 函數執行其 print() 語句之前完成。

同步點：
至強制一致性，必須使用同步原語。當呼叫這些原語時，編譯器確保此時不存在不一致。如果在 print() 呼叫之前建立了同步點，則會列印 a 和 b 的指定值（分別為 2 和 1），從而保持預期的操作順序。

本質上，理解同步Go 需要了解變數初始化、重新排序以及同步原語在跨 goroutine 建立一致性方面的作用。透過利用這些概念，程式設計師可以確保並發 Go 程式碼的可靠執行。

以上是為什麼我的 Go 程式碼在並發 Goroutine 中出現意外的變數排序？的詳細內容。更多資訊請關注PHP中文網其他相關文章！