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

6 篇文章 0 订阅

本篇文章我将以场景驱动的方式以不同的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。
在这里插入图片描述

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值