Goroutine 超越系統調用的收益點
在 Go 程式中,goroutine 是並發的主要機制。雖然會阻塞 Goroutine 的系統呼叫是已知的讓出點,但如果不考慮其他可能的讓出點,對 Goroutine 調度的理解就不完整。
一個可疑的讓出點是函數調用,因為它們需要調度程序檢查堆疊生長。然而,有人指出,如果它只執行數學運算,「一個 goroutine 將鎖定線程,直到它退出或遇到可能讓其他線程執行的東西」。
為了測試這一點,創建了一個運行的程式三個循環(一個在主函數中,兩個在單獨的 goroutine 中),沒有任何函數呼叫。程式將 GOMAXPROCS 設定為 1,限制可以並發執行 Go 程式碼的作業系統執行緒數量。然而,輸出仍然顯示來自主函數和 goroutine 的交錯訊息,這表明即使沒有函數調用,goroutine 也會進行屈服控制。
這種明顯差異的答案在於 Go 1.14 中引入的非同步搶佔,這增加了潛力搶佔點幾乎無處不在。因此,除了阻塞系統呼叫之外,goroutines 還可以在各個點上讓出控制權。
雖然搶佔點的具體實作可能在 Go 版本之間發生變化,但非同步搶佔可確保沒有函數呼叫的循環不再使調度程序死鎖或顯著延遲垃圾收藏。儘管如此,值得注意的是,不同步的陣列寫入和非原子索引更新可能會引入可能影響程式行為的協作調度點。
以上是除了系統呼叫和函數呼叫之外,Goroutine 是否還能產生控制?的詳細內容。更多資訊請關注PHP中文網其他相關文章!