📚 课程目录第1章调度器概述

1. 调度器概述：Go 调度器设计哲学、GMP 模型简介、为什么需要调度器

1.1 为什么需要调度器

操作系统线程（OS Thread）是 CPU 调度的基本单位，但线程的创建、切换和销毁涉及内核态与用户态的上下文切换，成本高昂。Go 语言需要一种轻量级的并发模型，使得成千上万个并发任务能够在少量线程上高效运行，而不至于耗尽系统资源。

  核心矛盾： 高并发业务需要大量执行单元（goroutine），但 OS 线程数量受限于内存和调度开销。Go 调度器通过用户态调度，将 goroutine 多路复用到少量 OS 线程上，实现“轻量级线程”的假象。

对比维度	OS 线程	Goroutine
创建成本	~1 MB 栈空间 + 内核对象	~2 KB 初始栈，动态扩缩
切换成本	内核态上下文切换（~1 µs）	用户态寄存器保存（~0.2 µs）
最大数量	数千（受内存限制）	数百万（受堆内存限制）
调度策略	内核抢占式	协作式 + 抢占式（Go 1.14+）

1.2 Go 调度器设计哲学

Go 调度器的设计遵循三条核心原则，这些原则贯穿整个 GMP 模型：

工作窃取（Work Stealing）： 空闲的处理器（P）从其他处理器或全局队列中窃取 goroutine 执行，避免负载不均。
多线程调度（M:N 模型）： M 个 goroutine 映射到 N 个 OS 线程，由用户态调度器管理，减少内核介入。
协作式与抢占式结合： goroutine 在主动让出（channel 阻塞、系统调用）时切换；Go 1.14 引入基于信号的异步抢占，防止长时间占用线程。

设计目标： 让开发者以同步思维编写并发代码，调度器在后台自动处理线程复用、阻塞恢复和负载均衡，无需显式管理线程池。

1.3 GMP 模型简介

GMP 是 Go 运行时调度器的核心抽象，包含三个基本角色：

G（Goroutine）： 代表一个待执行的任务，包含栈、程序计数器、状态等。
M（Machine）： 代表 OS 线程，负责执行 G 中的代码。M 必须绑定一个 P 才能运行。
P（Processor）： 代表调度上下文，持有本地 goroutine 队列（LRQ）。P 的数量由 GOMAXPROCS 决定，默认等于 CPU 核心数。

下图展示了 GMP 模型的核心结构及 goroutine 的流转路径：

1.4 调度流程与关键机制

一个 goroutine 从创建到执行完成的典型调度流程如下：

步骤	描述	涉及角色
1. 创建 G	通过 `go func()` 创建 goroutine，初始状态为 `_Grunnable`	G
2. 入队	优先放入当前 P 的本地队列（LRQ）；若 LRQ 已满，则放入全局队列（GRQ）	G, P
3. 调度	P 从 LRQ 头部取出 G，绑定到 M 上执行，状态变为 `_Grunning`	G, P, M
4. 阻塞/让出	G 因 channel、系统调用、time.Sleep 等阻塞时，M 解绑 P，P 寻找其他 M 或空闲 M	G, M, P
5. 唤醒	阻塞结束后，G 重新进入 LRQ 或 GRQ，等待再次调度	G, P
6. 工作窃取	空闲 P 从其他 P 的 LRQ 或 GRQ 中窃取一半 G，保持负载均衡	P

注意： 当 G 执行系统调用（如文件 I/O）时，M 会进入阻塞状态。此时 P 会与 M 解绑，转而绑定另一个空闲 M 或新建 M，确保 CPU 资源不被浪费。这是 GMP 模型实现高吞吐的关键设计。

1.5 调度器核心数据结构

Go 运行时通过以下全局变量和结构体管理调度：

// 全局调度器结构（简化）
type schedt struct {
    // 全局可运行队列
    runq     gQueue
    runqsize int32

    // 空闲 M 列表
    midle        muintptr
    nmidle       int32

    // 空闲 P 列表
    pidle        puintptr
    npidle       int32

    // 全局 goroutine 计数
    gcount       int32
    mcount       int32
}

// P 结构（简化）
type p struct {
    id          int32
    status      uint32   // _Pidle, _Prunning, _Psyscall
    m           muintptr // 绑定的 M
    runqhead    uint32
    runqtail    uint32
    runq        [256]guintptr // 本地 goroutine 队列（数组实现）
    runnext     guintptr      // 下一个优先执行的 G
}

// M 结构（简化）
type m struct {
    g0      *g     // 调度栈
    curg    *g     // 当前运行的 G
    p       puintptr // 绑定的 P
    spinning bool   // 是否在自旋窃取
}

关键设计点： 每个 P 的本地队列是一个容量为 256 的环形数组，runnext 指针用于实现“下一个 G 优先执行”的优化，减少锁竞争。全局队列使用链表结构，访问时需要加全局锁。

1.6 小结

Go 调度器通过 GMP 模型实现了用户态的高效并发调度，核心优势在于：

轻量： goroutine 栈小、创建快，支持百万级并发。
自适应： 工作窃取机制自动平衡负载，无需开发者干预。
阻塞友好： 系统调用阻塞时自动解绑 P，最大化 CPU 利用率。