Go解密之路——GPM

G-P-M模型

• G:Goroutine，每个Goroutine对应一个G结构体，G存储Goroutine的运行堆栈、状态以及任务函数，可重用。

• G并非执行体，每个G需要绑定到P才能调度执行。

• P: Processor，表示逻辑处理器，对G来说，P相当于CPU核，G只有绑定到P才能被调度。对M来说，P提供了相关的执行环境(Context)，如内存分配状态(mcache)，任务队列(G)等。

• P的数量决定了系统内最大可并行的G的数量（前提：物理CPU核数 >= P的数量）

• M: Machine，OS内核线程抽象，代表着真正执行计算的资源，在绑定有效的P后，进入schedule循环；而schedule循环的机制大致是从Global队列、P的Local队列以及wait队列中获取。

• M的数量是不定的，由Go Runtime调整，为了防止创建过多OS线程导致系统调度不过来，目前默认最大限制为10000个。

• M并不保留G状态，这是G可以跨M调度的基础。

• Sched：Go调度器，它维护有存储M和G的队列以及调度器的一些状态信息等。

举个简单的例子：工地上有若干砖头，地鼠借助小车把砖头运送到火种上去烧制。

M就可以看作