MPG模型
Go的调度器外部有四个重要的构造：M，P，G，SchedM指的是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/...