手记

【九月打卡】第12天 go的协程-GMP模型

课程名称:深入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的全局队列。

0人推荐
随时随地看视频
慕课网APP