注意这里的一个点！

无论在哪个 M 中创建了一个 G，只要 P 有空闲的，就会引起新 M 的创建

不需考虑当前所在 M 中所绑的 P 的 G 队列是否已满

新创建的 M 所绑的 P 的初始化队列会从其他 G 队列中取任务过来

这里留下第一个问题：

如果一个G任务执行时间太长，它就会一直占用 M 线程，由于队列的G任务是顺序执行的，其它G任务就会阻塞，如何避免该情况发生？ --①

M 会启动一个底层线程，循环执行能找到的 G 任务。这里的寻找的 G 从下面几方面找：

当前 M 所绑的 P 队列中找

去别的 P 的队列中找

去全局 G 队列中找

G任务的执行顺序是，先从本地队列找，本地没有则从全局队列找

程序启动的时候，首先跑的是主线程，然后这个主线程会绑定第一个 P

入口 main 函数，其实是作为一个 goroutine 来执行

解答问题-①

协程的切换时间片是10ms，也就是说 goroutine 最多执行10ms就会被 M 切换到下一个 G。这个过程，又被称为中断，挂起

原理：

go程序启动时会首先创建一个特殊的内核线程sysmon，用来监控和管理，其内部是一个循环：

记录所有 P 的 G 任务的计数 schedtick，schedtick会在每执行一个G任务后递增

如果检查到schedtick一直没有递增，说明这个 P 一直在执行同一个 G 任务，如果超过10ms，就在这个G任务的栈信息里面加一个 tag 标记

然后这个 G 任务在执行的时候，如果遇到非内联函数调用，就会检查一次这个标记，然后中断自己，把自己加到队列末尾，执行下一个G

如果没有遇到非内联函数调用（有时候正常的小函数会被优化成内联函数）的话，那就会一直执行这个G任务，直到它自己结束；如果是个死循环，并且 GOMAXPROCS=1 的话。那么一直只会只有一个 P 与一个 M，且队列中的其他 G 不会被执行！

例子，下面的这段代码，hello world不会被输出

funcmain(){    runtime.GOMAXPROCS(1)gofunc(){    fmt.Println("hello world")// panic("hello world")  // 强制观察输出}()gofunc(){for{// fmt.Println("aaa")  // 非内联函数，这行注释打开，将导致 hello world 的输出}    }()select{}}复制代码

中断后的恢复

中断的时候将寄存器里的栈信息，保存到自己的 G 对象里面

当再次轮到自己执行时，将自己保存的栈信息复制到寄存器里面，这样就接着上次之后运

GOMAXPROCS--性能调优

看完上面的内容，相信你已经知道，GOMAXPROCS就是 go 中 runtime 包的一个函数。它设置了 P 的最多的个数。这也就直接导致了 M 最多的个数是多少，而 M 的个数就决定了各个 G 队列能同时被多少个 M 线程来进行调取执行！

故，我们一般将 GOMAXPROCS 的个数设置为 CPU 的核数，且需要注意的是：

go 1.5 版本之前的 GOMAXPROCS 默认是 1

go 1.5 版本之后的 GOMAXPROCS 默认是 Num of cpu

作者：林冠宏

链接：https://juejin.im/post/5b7678f451882533110e8948

来源：掘金

著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。