本篇文章我将以场景驱动的方式以不同的case来看一下gmp到底是怎么工作的。
场景1 新建G此时p的本地队列未满,由于局部性原理,G1新建G2后G2进入p的本地队列,因为G2很有可能与G1共享同一块内存。
如果p的本地队列已经满了(有G3-G6),此时G2再去创建G7,由于本地队列已满,会将本地队列的一半G移到全局队列中,进行负载均衡。
在创建G时还会去尝试唤醒空闲P,然后看是否有空闲M,如果有则唤醒M,如果没有则新建M来绑定这个P,之后M进入自旋寻找可执行的G。
M在调度时会执行findrunnable
来寻找可执行的G,如果本地队列有则从本地队列拿,否则会从全局队列窃取一半到本地,来进行负载均衡。
场景4说道本地队列为空会尝试从全局队列窃取G,如果全局队列也为空的话则会从其他P窃取。同样,也是窃取一半到自己的本地队列中。
如果p的本地队列、全局队列、其他p本地队列都为空,那么窃取不到可执行的G,此时m会进入自旋,也就是阻塞在findrunnable
,直到找到可运行的G,自旋线程最大个数为p的个数。
假定此时有自旋线程M3、M4,M5、M6为空闲线程。G8创建G9后发生系统调用,那么P2会立即与M2解绑去寻找空闲M,如果没有空闲M那么P2就进入空闲P队列,该场景下P2找到空闲M即M5,接下来会由M5来调度P2。
G8结束系统调用后首先会去空闲P队列找P2,如果P2不空闲就尝试获取其空闲P,如果还没有其他空闲P那么G8会进入全局队列等待其他M来调度,M2就会进入休眠。
G1执行完毕后会调用goexit
来进行资源的回收,G1会进入p的空闲队列。然后M1切换到G0栈,由G0来调度其他G,此时p的本地队列还有G2,那么M1又会从G0切换到G2,并执行execute
来运行G2。
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)