本篇文章我将以场景驱动的方式以不同的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,如果本地队列有则从本地队列拿,否则会从全局队列窃取一半到本地,来进行负载均衡。