MPG 模型
Go 的调度器外部有四个重要的构造：M，P，G，Sched M指的是 Machine，一个M 间接关联了一个内核线程。由操作系统治理。P指的是”processor”，代表了 M 所需的上下文环境，也是解决用户级代码逻辑的处理器。它负责连接 M 和 G 的调度上下文，将期待执行的 G 与 M 对接。G指的是Goroutine，其实实质上也是一种轻量级的线程。包含了调用栈，重要的调度信息，例如 channel 等。
P 的数量由环境变量中的 GOMAXPROCS 决定，通常来说它是和外围数对应，例如在 4Core 的服务器上回启动 4 个线程。G 会有很多个，每个 P 会将 Goroutine 从一个就绪的队列中做 Pop 操作，为了减小锁的竞争，通常状况下每个 P 会负责一个队列
以上这个图讲的是两个线程 (内核线程) 的状况。一个 M 会对应一个内核线程，一个 M 也会连贯一个上下文 P，一个上下文P 相当于一个“处理器”，一个上下文连贯一个或者多个 Goroutine。为了运行 goroutine，线程必须保留上下文
上下文 P(Processor)的数量在启动时设置为 GOMAXPROCS 环境变量的值或通过运行时函数 GOMAXPROCS()。通常状况下，在程序执行期间不会更改。 上下文数量固定意味着只有固定数量的线程在任何时候运行 Go 代码。咱们能够应用它来调整 Go 过程到集体计算机的调用，例如 4 核 PC 在 4 个线程上运行 Go 代码。
运行中的 P 始终会和一个内核线程对应。这样 P 的数量设置为外围数雷同时，能保障最大运行的 P 数都能对应到不同的外围上，充分利用多核 cpu。若 M 执行的 G 阻塞了，那么 P 会摈弃这个 G，M 会放开这个 P，M 持有这个 G，此时 cpu 发现这个 M 阻塞了，会收回中断信号，此时这个 cpu 就会空进去执行别的 M。
须要上下文的目标，是让咱们能够间接放开其余线程，当遇到内核线程阻塞的时候。
一个很简略的例子就是零碎调用 sysall，一个线程必定不能同时执行代码和零碎调用被阻塞，这个时候，此线程 M 须要放弃以后的上下文环境 P，以便能够让其余的Goroutine 被调度执行
M0 中的 G0 执行了 syscall，而后就创立了一个 M1(也有可能来自线程缓存)，（转向右图）而后 M0 抛弃了 P，期待 syscall 的返回值，M1 承受了 P，将·继续执行Goroutine 队列中的其余Goroutine
当零碎调用 syscall 完结后，M0 会“偷”一个上下文，如果不胜利，M0 就把它的 Gouroutine G0 放到一个全局的 runqueue 中，将本人置于线程缓存中并进入休眠状态。全局 runqueue 是各个 P 在运行完本人的本地的 Goroutine runqueue 后用来拉取新 goroutine 的中央。P 也会周期性的查看这个全局 runqueue 上的 goroutine，否则，全局 runqueue 上的 goroutines 可能得不到执行而饿死
依照以上的说法，上下文 P 会定期的查看全局的 goroutine 队列中的 goroutine，以便本人在生产掉本身 Goroutine 队列的时候有事可做。如果全局 goroutine 队列中的 goroutine 也没了呢？就从其余运行的中的 P 的 runqueue 里偷
每个 P 中的 Goroutine 不同导致他们运行的效率和工夫也不同，在一个有很多 P 和 M 的环境中，不能让一个 P 跑完本身的 Goroutine 就没事可做了，因为或者其余的 P 有很长的 goroutine 队列要跑，得须要平衡。
该如何解决呢？
Go 的做法倒也间接，从其余 P 中偷一半！
参考文章
https://www.zhihu.com/people/…