2. Go调度器基础：GMP模型概述
Go语言的调度器是其并发模型的核心，它通过GMP模型实现了对用户态协程（Goroutine）的高效管理。GMP模型将操作系统线程（M）、逻辑处理器（P）和协程（G）三者解耦，使得Go程序能够以极低的成本创建数十万甚至数百万的并发任务，同时保持出色的调度性能。
2.1 GMP模型的核心角色
GMP模型由三个基本组件构成，每个组件承担着不同的职责：
| 组件 | 全称 | 核心职责 | 数量关系 |
|---|---|---|---|
| G | Goroutine | 轻量级用户态协程，包含栈、上下文、状态等 | 可创建数百万个，由调度器动态管理 |
| M | Machine (Thread) | 操作系统线程，负责执行G的代码 | 通常与CPU核心数相关，上限由内核限制 |
| P | Processor | 逻辑处理器，管理本地G队列，为M提供执行上下文 | 默认等于CPU核心数，由GOMAXPROCS控制 |
关键理解：P是GMP模型中的“调度器大脑”，它决定了M可以执行哪些G。没有P的M将进入休眠或自旋等待状态，无法执行任何G。
2.2 GMP模型的结构关系
下图展示了GMP模型中G、M、P三者之间的协作关系：
结构要点：
- 每个P维护一个本地G队列（Local Run Queue），存放待执行的G。
- 每个M必须绑定一个P才能执行G；M与P是一对一绑定关系。
- 全局G队列作为后备队列，当P的本地队列为空时，会从全局队列中批量窃取G。
- G可以在M之间迁移，实现工作窃取（Work Stealing）机制，平衡负载。
2.3 GMP模型的调度流程
Go调度器遵循一个简洁而高效的循环流程，确保所有G都能得到公平的执行机会：
- G创建：通过
go func()创建一个新的G，初始状态为_Grunnable。 - G入队：新G优先放入当前P的本地队列；若本地队列已满（默认256个），则放入全局队列。
- M获取G：绑定了P的M从P的本地队列头部取出一个G，将其状态切换为
_Grunning并执行。 - G阻塞/退出：G执行中若发生系统调用阻塞（如IO操作），M会与P解绑，P寻找新的M继续执行其他G；阻塞的M等待系统调用返回后重新尝试绑定P。
- 工作窃取：当P的本地队列为空时，M会尝试从其他P的队列尾部“窃取”一半的G，或从全局队列中获取。
- G完成：G执行完毕后，状态变为
_Gdead，其栈资源被回收，P继续调度下一个G。
2.4 G、M、P的详细角色
G（Goroutine）—— 轻量级协程
- 栈管理：初始栈仅2KB，可动态增长至1GB（64位系统），远小于OS线程的默认栈（1~8MB）。
- 状态机：包含
_Gidle、_Grunnable、_Grunning、_Gsyscall、_Gwaiting、_Gdead等状态。 - 上下文：G的调度上下文（PC、SP等）保存在自身的gobuf结构中，切换成本极低（约几十纳秒）。
M（Machine）—— OS线程
- 数量控制：M的数量由Go运行时动态管理，默认最大10000个，但实际活跃M数通常等于P数。
- 自旋线程：当M没有G可执行时，会进入自旋状态（Spinning），最多保留
GOMAXPROCS个自旋M，避免频繁创建/销毁线程。 - 系统调用：M执行阻塞系统调用时，会释放P，让其他M复用该P，提高CPU利用率。
P（Processor）—— 逻辑处理器
- 数量固定：P的数量由
GOMAXPROCS环境变量或runtime.GOMAXPROCS()设置，默认为CPU核心数。 - 本地队列：每个P维护一个无锁的本地G队列（容量256），减少全局锁竞争。
- 资源缓存：P持有内存分配缓存（mcache）、GC相关状态等，避免M切换时的资源重初始化。
常见误区：P不是物理处理器，也不是CPU核心。P是Go调度器抽象出的“调度上下文”，其数量决定了系统同时可执行的G数量上限。增加
GOMAXPROCS不会直接增加CPU核心利用率，但会影响调度并发度。
2.5 GMP模型的核心优势
| 特性 | 传统OS线程模型 | Go GMP模型 |
|---|---|---|
| 创建成本 | 高（1~8MB栈，内核态切换） | 极低（2KB初始栈，用户态创建） |
| 上下文切换 | 微秒级（内核态，涉及TLS、页表等） | 纳秒级（用户态，仅保存寄存器） |
| 并发数量 | 数千个（受限于内存和内核） | 数百万个（内存占用约4KB/个） |
| 阻塞处理 | 线程阻塞，浪费CPU | M解绑P，P复用，CPU不浪费 |
| 负载均衡 | 依赖内核调度，不可控 | 工作窃取，用户态主动平衡 |
GMP模型通过将并发（G）与并行（M）解耦，使得Go程序既能享受轻量级协程的便利，又能充分利用多核CPU的并行能力。P作为中间的调度层，确保了M与G之间的高效协作，是Go调度器高性能的关键设计。