為什麼 Infinite Go 例程會阻止其他 Goroutine 發送到通道？

Go 例程阻塞其他：更深入的解釋

在Go 中，以下程式碼表現出一種不尋常的行為，其中一個具有無限循環的goroutine 似乎阻止另一個Goroutine的訊息到達預期的通道：

func main() {
   timeout := make(chan int)
   go func() {
      time.Sleep(time.Second)
      timeout <- 1
    }()

    res := make(chan int)
    go func() {
        for {
        }
        res <- 1
    }()
    select {
        case <-timeout:
            fmt.Println("timeout")
        case <-res:
            fmt.Println("res")
    }
}

相反一秒後終止，程式進入無限循環。為什麼會發生這種情況？

理解 Go 中的協作調度

答案在於 Go 對 goroutine 的協作調度的使用。 Goroutine 在某些條件下將控制權交給調度程序，包括：

• 無緩衝通道發送/接收操作
• 系統呼叫（例如檔案/網路I/O）
• 記憶體分配
• time.Sleep()呼叫
• runtime.Gosched() 呼叫

由於第一個Goroutine 中的無限循環永遠不會產生，它會阻止其他Goroutine 運行並向通道發送訊息。這包括超時通道，它正在等待永遠不會到達的訊息。

潛在的解決方案

雖然協作調度可能會導致這種情況，但還是有潛在的解決方案:

• 增加GOMAXPROCS:此環境變數允許多個
• 使用搶佔式調度器（未來目標）：Go語言開發者的目標是實現一個搶佔式調度器，它會強制切換goroutine 之間，消除阻塞問題。
• 手動屈服：runtime.Gosched() 函數允許 goroutine 手動將控制權交給調度程序，從而擺脫可能阻塞其他程序的無限循環。

以上是為什麼 Infinite Go 例程會阻止其他 Goroutine 發送到通道？的詳細內容。更多資訊請關注PHP中文網其他相關文章！