[Go] golang的MPG调度模型

GMP是三个缩写

G : groutine

M : Machine 系统线程

P : Processor 处理器

 

GMP调度就是循环在与P(处理器)绑定的M(系统线程)上寻找可执行的G(协程)

 

 

 在当前P(处理器)上创建G(groutine)后 , 会把G放入P的本地队列或者全局队列 , 本地队列限制256个 , 满了就放全局队列

 在当前P(处理器)创建或者唤醒M(系统线程) , 去事件循环执行G(groutine)

 在当前P(处理器)上如果全局/本地队列为空 , 会去从别的处理器上窃取一半的G拿来执行

 

 

 P 的数量受环境变量 GOMAXPROCS 的直接影响 , 一般设置为当前机器的内核数

M 的数量默认限制是10000 , 超出会报错

G 的数量一般没有限制 ,理论上受内存影响

 

MPG模式运行状态1
1）当前程序有三个M,如果三个M都在一个cpu运行，就是并发，如果在不同的cpu运行就是并行
2）M1,M2,M3正在执行一个G,M1的协程队列有三个，M2的协程队列有三个，M3的协程队列有两个
3）从上图可以看到：Go的协程是轻量级的线程，是逻辑态的，Go可以容易的起上万个协程
4）其他程序c/java的多线程，往往是内核态的，比较重量级，几千个线程就有可能耗光cpu资源

MPG模式运行状态2
1）分成两个部分来看
2）原来的情况是M1主线程正在执行G1协程，另外有三个协程在等待
3）如果G1协程阻塞，比如读取文件或者数据库
4）这时就会创建M2主线程（也可能是从已有的线程池中取出M2）并且将等待的三个协程挂到M2下执行，M1主线程下的G1仍然执行文件的读写
5）这样的MPG调度模式，既可以让G1执行，也不会让队列的其他协程一直阻塞