go：GMP模型

1、GMP模型与GM模型

（1）go中GMP模型或者是GM模型都是关于协程调度的。G：协程、M：线程、P：调度器。GM模型没有P，只有一个存储全部G的全局队列，这导致GM模型有这几个缺点：首先到全局队列拿G去执行需要加锁解锁，频繁的加锁解锁无疑是一种浪费，其次当一个G拿到某一个M中去执行的时候，它有可能产生新的G，而这个新的G根据GM模型会拿到其它M执行，这违背了局部性原理，最后频繁的操作系统级的线程M加重了CPU负担。

（2）GMP模型的调度原理是这样的。P的数量是固定的由宏指定，M的数量跟CPU的处理能力有关，G的数量不指定上限。G会存在以下地方：runnext、P的本地队列、全局队列、网络I/O阻塞队列，G生成后会优先放在P的本地队列，若P全满则放到全局队列。M执行完一个P后会尝试从以上地方获取G，顺序也是上述书写顺序，为什么先找runnext，这就对应GM的第二个缺点，runnext存储当前执行G新产生的G，因此先找runnext符合局部性原理。

（3）work stealing机制：当一个M把绑定到自己的P中的本地队列中的G全部执行完毕后，并且其它三个队列也找不到新的G执行了，就会拿其它M绑定P中的G执行，选P时会随机选然后拿它一半数量的G过来。

（4）hand off机制：当M因为当前P中的一个G阻塞时（可能是系统调用或者网络I/O），hand off机制会释放当前P队列中的所有G到其它M执行

（5）抢占式调度，防止一个G占着M不放，信号式抢占调度到点会发信号让这个M换个G执行