【九月打卡】第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的全局队列。