goroutine 的调度模型

一 MPG 模式基本介绍

M：操作系统的主线程，是物理线程。

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

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 原来的情况是 M0 主线程正在执行 G0 协程，另外有三个协程在队列等待。

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

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

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

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