我試圖更好地理解 goroutines 在 Go 程序中是如何調度的，特別是在什么時候它們可以讓步給其他 goroutines。我們知道 goroutine 會在 syscals 上產生會阻塞它，但顯然這不是全部。這個問題引起了一些類似的擔憂，最受好評的答案說 goroutine 也可以打開函數調用，因為這樣做會調用調度程序來檢查堆棧是否需要增長，但它明確表示如果您沒有任何函數調用，只是一些數學運算，那么是的，goroutine 將鎖定線程，直到它退出或遇到可以讓其他人執行的東西。我寫了一個簡單的程序來檢查和證明：package mainimport "fmt"var output [30]string      // 3 times, 10 iterations each.var oi = 0func main() {    runtime.GOMAXPROCS(1)   // Or set it through env var GOMAXPROCS.    chanFinished1 := make(chan bool)    chanFinished2 := make(chan bool)    go loop("Goroutine 1", chanFinished1)    go loop("Goroutine 2", chanFinished2)    loop("Main", nil)    <- chanFinished1    <- chanFinished2    for _, l := range output {        fmt.Println(l)    }}func loop(name string, finished chan bool) {    for i := 0; i < 1000000000; i++ {        if i % 100000000 == 0 {            output[oi] = name            oi++        }    }    if finished != nil {        finished <- true    }}注意：我知道在數組中放置一個值并在oi不同步的情況下遞增并不完全正確，但我希望保持代碼簡單且沒有可能導致切換的東西。畢竟，可能發生的最糟糕的事情是在不推進索引（覆蓋）的情況下設置一個值，這沒什么大不了的。與這個答案不同，我避免使用作為 goroutine 啟動的函數中的任何函數調用（包括內置append()）loop()，而且我GOMAXPROCS=1根據文檔明確設置：限制可以同時執行用戶級 Go 代碼的操作系統線程數。盡管如此，在輸出中我仍然看到消息Main//交錯Goroutine 1，Goroutine 2這意味著以下之一：goroutine 的執行中斷并且 goroutine 在某些時刻放棄了控制；GOMAXPROCS不像文檔中所說的那樣工作，啟動更多的操作系統線程來調度 goroutine。要么答案不完整，要么自 2016 年以來有些事情發生了變化（我在 Go 1.13.5 和 1.15.2 上進行了測試）。如果這個問題得到了回答，我很抱歉，但我既沒有找到解釋為什么這個特定的例子會產生控制，也沒有找到 goroutines 一般產生控制的點（阻塞系統調用除外）。注意：這個問題純粹是理論上的，我現在不打算解決任何實際任務，但總的來說，我假設知道 goroutine 可以產生和不能產生的點可以讓我們避免同步原語的冗余使用。