课程名称:深入Go底层原理,重写Redis中间件实战
课程章节:5-3 协程是如何执行的
课程讲师:Moody
课程内容:
GMP调度模型
GMP模型简单的来说,就是线程去G全局的协程队列里取协程的时候,由于计算机是多核的,所以线程也是多个,线程多个进行抢占g协程的时候,会发生一些并发问题,为此,G全局队列就得加锁,但是加锁就影响效率。
为此,采取了一个折中方案,M去G里获取g协程的时候,不再是一个个取,而是一次取多个协程
※ P结构体:
P是 Processor ,指的是逻辑处理器,P关联了的本地可运行G的队列(也称为LRQ),最多可存放256个G。
P是M和G的中介,更像一个送料器,把协程g源源不断的送到M中处理,大大减少了并发冲突的情况
// 这是一个P结构体中的队列,队列里都是线程本地的g协程队列
runqhead uint32
runqtail uint32
runq [256]guintptr
//下一个可用的协程的指针
runnext guintptr
※ 代码体现
以下是schedule方法的一些实现
// _g_ 是当前的协程g,m是当前g所在的线程m,p是m所属的p,p的ptr方法返回一个指针
if gp == nil {
gp, inheritTime = runqget(_g_.m.p.ptr())
}
*******
执行runqget方法,runqget方法会优先去取p里面的runnext。但是如果runnext没有的话,那就去runq队列里取,规则是 _p_.runq[(h+i)%uint32(len(_p_.runq))].ptr(),从runq的队头取一个
*******
如果runqget方法也拿不到,说明线程本地已经没有g了,且调了61次都没有g,【_g_.m.p.ptr().schedtick%61 == 0】,接着schedule就会执行findrunnable方法,这个方法会执行globrunqget,这个是全局,也就是G里的协程队列,去这里取。在执行的过程中,不仅仅会立刻返回一个g,而且会获取一批g来塞入p的runq队列
*******
如果还是没有找到g,就去执行findrunnable方法,里面执行 stealWork,去其他线程的p上偷一个过来执行
※ 新建协程
新建协程会随机找到一个P,直接塞入到P里面,并塞入这个P的nextrun里面,go的设计是觉得新的协程是重要的协程,应该优先执行。如果p的协程都已经满了,那么就加入G的全局队列。