GO语言GMP模型

目录

程序入口

协程主动让出:

被动让出:

schedule

监控线程


程序入口

在执行一系列检查和初始化(创建多少个P,与M0关联)后,进入runtime.main,创建main goroutine,执行mian.mian。

一开始GO语言的调度只有M和G。每个M获取G都要加锁。所以加入了P。一个P关联一个M,这样就可以从P的本地队列获取任务。


创建一个协程主要是调用newproc函数,而newproc函数是在G0创建的,为什么是G0?因为他的栈空间大!

创建完新G(协程栈)后,会赋状态Grunnable,.表示可以运行的G..于是看情况调度到别的P


协程主动让出:

万一所有M都在忙,无法执行时间到的协程,怎么办?

被动让出:

1.监控线程会监控运行时间过长的协程.

2.协程执行过程中栈增大到一定量后,1.14

3,信号量,.当检测到信号后,注入一个异步抢占函数调用,处理完信号后返回立刻执行被注入的异步抢占函数,而这个函数就有schedul逻辑 1.14

4,系统调用.监控线程还会抢占处在系统调用的P.因为执行系统调用就要切换到G0栈.在系统调用没执行完之前,这个M和G就抱团了.此时P可能关联到其他M.

schedule

1看是否绑定了当前G,有就执行

2,看看GC是否等待

3,有没有要执行的runtimer

4,全局G调度部分到本地G

5,最后再次 本地G, 全局G,netpoll,steal from other p ..若是别人的G则要看看这个G是否有绑定的M.

5.G改为Grunning 状态,执行


监控线程

1,保障计时器正常执行

2,网络轮询

3,强制长时间运行的G 或处于系统调用的P

4,强制GC

相关推荐
dialect_5 小时前
KMP算法
开发语言·c++·算法
总要学点什么6 小时前
第89篇:三维特效-螺旋圆效果——让螺旋臂卷起一圈圈外扩的涟漪
开发语言·javascript·ecmascript·webgl·cesium·空间分析·1024程序员节
深蓝AI7 小时前
Python 3.13 的 Queue.shutdown:异步消费者终于能正常收工了
后端
武子康7 小时前
MultiNet6 空闲崩溃:`EXCVADDR=0x8` 后又出现 `CORRUPT HEAP`
人工智能·后端·agent
开开心心_Every8 小时前
快速隐藏程序工具自定义快捷键一键切换
java·开发语言·前端·spring·智能手机·word·intellij-idea
chenbingjie_c8 小时前
C++ 多态完全指南:从虚函数重写到虚函数表原理
开发语言·c++
吴卫斌8 小时前
定投ETF实战指南(四):行业/主题ETF——定投的“进攻端“
开发语言·python·股票·量化
武子康9 小时前
MultiNet7 每轮都 clean,ESP32-P4 内存为什么还在掉?
人工智能·后端·agent
超级架构师9 小时前
PRAXO-CORE 2.5.0:用 conformance 和显式边界构建 Go Agent 框架
开发语言·人工智能·后端·golang·ai编程·智能体框架·praxo-core
陈随易9 小时前
AI 运维服务器,安全又可靠的方法
前端·后端·程序员