程式碼分析
變數:
- a 和 b 是 int 型別的全域變量,為所有 goroutine 共用。
功能:
- f():
- 順序寫入 a 和 b(a = 1 且 b = 2)。
- g():
- 讀取並印出 b,然後印出 a。
main() 中的並發:
- 函數 f() 使用 go f() 作為單獨的 goroutine 執行。
- 函數 g() 直接在主 goroutine 中執行。
潛在問題:
- 運行 f() 的 goroutine 和執行 g() 的主 goroutine 並發運行。
- 在 g() 讀取並印出 a 和 b 的值之前,f() 中對 a 和 b 的寫入可能無法完成。
- 這引入了資料競爭,其中並發存取(在 f() 中寫入並在 g() 中讀取)發生在共享記憶體(a 和 b)上,而無需同步。
可能的結果
由於缺乏同步,程式的輸出是不確定的。以下是可能的情況:
情況 1:g() 在 f() 修改 a 和 b 之前執行:
- a 和 b 的初始值為 0(Go 中未初始化 int 的預設值)。
或
情況 2:如果 b = 2 在 g() 之前完成,但 a = 1 未完成,則輸出可能為:
主要觀察結果
資料競爭:在不同步的情況下對 a 和 b 進行並發存取會引入資料競爭。這使得程式的行為變得不確定且不可預測
修正程式碼
- 使用sync.WaitGroup:
確保 f() 在 g() 執行前完成
- 使用頻道:
當 f() 完成時發出信號:
這裡,g() 等待,直到 f() 通過完成的通道發送訊號。
以上是GO:缺乏同步的詳細內容。更多資訊請關注PHP中文網其他相關文章!