G P M状态转换

声明

下面的分析均基于Golang1.14版本。

一、G P M 模型简要概述

GPM模型和传统的消息队列模型比较相似。
M：消息队列模型中的线程。
P：消息队列中的队列。
G：消息队列中的消息。
区别在于，G作为一个消息，存储的是运行的PC，SP，BP等上下文。

二、G状态转换

goroutine状态转换图

这里列举了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状态转换图

这里列举了P的5个状态，其在源码中的定义在runtime/runtime2.go文件中。

const (
    _Pidle = iota
    _Prunning
    _Psyscall
    _Pgcstop
    _Pdead
)

四、M状态转换

M的状态转换

M状态只有2个，running和stop。但是从running到stop的函数有很多，后面在M的状态转换源码剖析中细讲。另外M有个中间状态spinning，表示正在寻找可运行的g。