我有下一个代码：

par.go

package main

import (
    "runtime";
    "time"
)

func main() {
    runtime.GOMAXPROCS(4)
    ch := make(chan int)
    n := 1
    for i := 0; i < n; i++ {
        go func() {
            time.Sleep(60 * time.Second)
            ch <- 1
        }();
    }
    for i := 0; i < n; i++ {
        <-ch
    }
}

我用next运行它：

$ go build par.go
$ time ./par

然后，确认此过程中有多少个线程：

$ ps -ef | grep par
shubunt+  3670 32131  0 12:35 pts/0    00:00:00 ./par
$ cat /proc/3670/status | grep -i threads
Threads:        5

您可以看到有5个线程。

如果我更改nin代码的值，那么接下来的情况是：

n := 100, Threads is 8
n := 10000, Threads is 9
n := 100000, Threads is 9
n := 1000000, Threads is 9
n := 2000000, Threads is 10

我知道，去调度的后续MPG机型，在这里P = 4，所以M = 4，M是1:1有KSE（内核线程）。如果任何goroutine处于任何阻塞状态，则它们P将从current脱离M，并找到一个空闲的M或新的Mif（如果找不到）。

所以，我的问题是：time.Sleep真的在阻止goroutine吗？如果不是，当我增加nfrom1到to的值时，为什么会有新线程出现2000000？如果是的话，那儿60seconds有，为什么只是调度程序又新又新M，我希望在那里有很多新线程？

test.go：

package main

import (
    "io/ioutil"
    "os"
    "runtime"
    "strconv"
)

func main() {
    runtime.GOMAXPROCS(2)
    data := make([]byte, 128*1024*1024)
    for i := 0; i < 200; i++ {
        go func(n int) {
            for {
                err := ioutil.WriteFile("testxxx"+strconv.Itoa(n), []byte(data), os.ModePerm)
                if err != nil {
                    println(err)
                    break
                }
            }
        }(i)
    }
    select {}
}

如果不使用Sleep，请使用真实的IO，线程号将202在我的计算机上。

因此，我的问题还与上述两个示例的区别有关，何时我应该担心调度程序会为我生成太多内核线程？