04、GMP的调度器策略

 

一、复用线程：避免频繁的创建、销毁线程，而是对线程的复用。

work stealing机制(偷取机制)和hand off机制(握手机制)

M1和P已经绑定且此时G1的协程正在被执行，G2和G3正在被等待中……

M2此时是空闲的且它的P不分配，显然M2是空闲的，没有被使用。

 

我们要将M2也利用上，即M2要想执行一个协程的话，它本身P的本地队列中是没有协程的，他就要从M1(其他队列)中偷取一个协程过来，这既是work steaking机制。

hand off是分离机制。

M1和P已经绑定且此时G1的协程正在被执行，M2里面有个G3将要被执行。

G1本身是个协程，然后它本身会做一个阻塞操作。

如果G1阻塞了，M1线程释放绑定的 P，把 P 转移给其他空闲的线程执行。因为一个协程阻塞后让CPU等待是没有任何意义的。

M1和G1可以阻塞，物理CPU就会切换到M2和M3中，M3就和之前的P的本地队列所执行(不包括G1)

 

如果G1阻塞了，为了耽误G2的时间，就会把P和M1进行一个分离，然后会用其他线程去尝试握手

 

二、利用并行

GOMAYPROCS限定P的个数

 

三、抢占策略

以前：coroutine跟一个CPU所绑定，逻辑上是绑定关系的，CPU在计算这葛协程，如果此时还有其他的协程，那么他就会等待使用CPU的资源，那么只有C(协程)主动去释放CPU，如果C不主动关闭或不主动释放，那么其他协程就会永远等待。直到C主动释放，CPU才会解绑，然后CPU给其他CPU提供资源。

 

现在：goroutine跟一个CPU所绑定一起，他不会主动释放而是最高允许，如果有其他的G等待运行的话，那么每个G最高允许10ms，如果10ms到了，不管G是否主动释放，新的G一定会抢占CPU，这样保证多个g是并发特点的，G没有优先级。

四、全局队列

goroutine调度器提供了一个新的方式，它是基于之前work stealing做的一种补充。

 

M2的本地队列没有任何的G,而此时M1正在执行G1，M2是空闲的，M2想执行G就会从其他本地队列中偷取G，如果其他队列中也没有G了，会尝试从全局队列中获取，在获取的过程中首先要加锁和解锁，这是一个比较慢的过程。