声明
下面的分析均基于Golang1.14版本。
一、G P M 模型简要概述
GPM模型和传统的消息队列模型比较相似。
M:消息队列模型中的线程。
P:消息队列中的队列。
G:消息队列中的消息。
区别在于,G作为一个消息,存储的是运行的PC,SP,BP等上下文。
二、G状态转换
这里列举了Goroutine常见的9个状态及其状态间的转换图。在源码文件runtime/runtime2.go中定义,Goroutine的状态及转换函数定义如下:
const (
_Gidle = iota // 0
_Grunnable // 1
_Grunning // 2
_Gsyscall // 3
_Gwaiting // 4
_Gmoribund_unused // 5
_Gdead // 6
_Genqueue_unused // 7
_Gcopystack // 8
_Gpreempted // 9
_Gscan = 0x1000
_Gscanrunnable = _Gscan + _Grunnable // 0x1001
_Gscanrunning = _Gscan + _Grunning // 0x1002
_Gscansyscall = _Gscan + _Gsyscall // 0x1003
_Gscanwaiting = _Gscan + _Gwaiting // 0x1004
_Gscanpreempted = _Gscan + _Gpreempted // 0x1009
)
func casgstatus(gp *g, oldval, newval uint32) {}
三、P状态转换
这里列举了P的5个状态,其在源码中的定义在runtime/runtime2.go文件中。
const (
_Pidle = iota
_Prunning
_Psyscall
_Pgcstop
_Pdead
)
四、M状态转换G
M状态只有2个,running和spinning。但是从running到spinning的函数有很多,后面在M的状态转换源码剖析中细讲。
有疑问加站长微信联系(非本文作者)