go gmp --- 场景驱动方式来入门gmp

本篇文章我将以场景驱动的方式以不同的case来看一下gmp到底是怎么工作的。

场景1 新建G

此时p的本地队列未满，由于局部性原理，G1新建G2后G2进入p的本地队列，因为G2很有可能与G1共享同一块内存。

场景2 新建过多的G

如果p的本地队列已经满了（有G3-G6），此时G2再去创建G7，由于本地队列已满，会将本地队列的一半G移到全局队列中，进行负载均衡。

场景3 创建G唤醒空闲P和M

在创建G时还会去尝试唤醒空闲P，然后看是否有空闲M，如果有则唤醒M，如果没有则新建M来绑定这个P，之后M进入自旋寻找可执行的G。

场景4 全局队列窃取G

M在调度时会执行findrunnable来寻找可执行的G，如果本地队列有则从本地队列拿，否则会从全局队列窃取一半到本地，来进行负载均衡。

场景5 从其他P窃取G

场景4说道本地队列为空会尝试从全局队列窃取G，如果全局队列也为空的话则会从其他P窃取。同样，也是窃取一半到自己的本地队列中。

场景6 窃取失败进入自旋

如果p的本地队列、全局队列、其他p本地队列都为空，那么窃取不到可执行的G，此时m会进入自旋，也就是阻塞在findrunnable，直到找到可运行的G，自旋线程最大个数为p的个数。

场景7 G发生系统调用/阻塞

假定此时有自旋线程M3、M4，M5、M6为空闲线程。G8创建G9后发生系统调用，那么P2会立即与M2解绑去寻找空闲M，如果没有空闲M那么P2就进入空闲P队列，该场景下P2找到空闲M即M5，接下来会由M5来调度P2。

场景8 G结束系统调用/阻塞

G8结束系统调用后首先会去空闲P队列找P2，如果P2不空闲就尝试获取其空闲P，如果还没有其他空闲P那么G8会进入全局队列等待其他M来调度，M2就会进入休眠。

场景9 G执行完毕

G1执行完毕后会调用goexit来进行资源的回收，G1会进入p的空闲队列。然后M1切换到G0栈，由G0来调度其他G，此时p的本地队列还有G2，那么M1又会从G0切换到G2，并执行execute来运行G2。