天天看点

goroutine 的调度模型一 MPG 模式基本介绍二 MPG 模式运行的状态1三 MPG 模式运行的状态2

一 MPG 模式基本介绍

goroutine 的调度模型一 MPG 模式基本介绍二 MPG 模式运行的状态1三 MPG 模式运行的状态2

M:操作系统的主线程,是物理线程。

P:协程执行需要的上下文。

G:协程。

二 MPG 模式运行的状态1

goroutine 的调度模型一 MPG 模式基本介绍二 MPG 模式运行的状态1三 MPG 模式运行的状态2

1 当前程序有三个M,如果三个M都在一个 CPU 运行,就是并发,如果在不同的 CPU 上运行,就是并行。

2 M1、M2、M3正在执行一个 G。M1的协程队列有三个,M2的协程队列有三个,M3的协程队列有两个。

3 从上图可以看出:Go 的协程是轻量级的线程,是逻辑态的,Go 可以容易起上万个协程。

4 其它程序 c/java 的多线程,往往是内核态的,比较重量级,几千个线程可能耗光 CPU。

三 MPG 模式运行的状态2

goroutine 的调度模型一 MPG 模式基本介绍二 MPG 模式运行的状态1三 MPG 模式运行的状态2

1 分成两个部分来看。

2 原来的情况是 M0 主线程正在执行 G0 协程,另外有三个协程在队列等待。

3 如果 G0 协程阻塞,比如读取文件或者数据库等。

4 这时就会创建 M1 主线程(也可能是从已有的线程池中取出 M1 ),并且将等待的3个协程挂到 M1 下开始执行,M0 的主线程下 G0 仍然执行文件 io 的读写。

5 这样的 MPG 调度模式,可以既让 G0 执行,同时也不会让队列的其它协程一直阻塞,仍然可以并发/并行执行。

6 等到 G0 不阻塞了,M0会被放到空闲的主线程继续执行,从已有的线程池中取,同时 G0 又会被唤醒。

go