Go 1.22 GMP Scheduler.

G：Goroutine 状态流转机

G 代表用户创建的协程，存储独立执行栈、程序计数器PC、状态标记、上下文、等待事件，Go 1.22 优化栈扩容/缩容阈值，减少栈内存抖动。G 的核心状态流转如下：

M：操作系统内核线程

M 是操作系统提供的真实内核线程，承载G的执行上下文，M不具备调度能力，必须绑定P才能执行用户G代码；执行纯系统调用时可临时解绑P。M 分为两类：工作M（绑定P，执行业务G）与系统M（G进入阻塞syscall时创建，专门处理阻塞IO，不占用P）。

P：逻辑处理器，调度核心中介

P 是 GMP 模型最关键的设计，作为 M 与 G 的中间调度层，限定单 CPU 核心并发执行数量（数量等于 GOMAXPROCS），持有本地 G 就绪队列、缓存调度上下文，隔离内核线程与用户协程。Go 1.22 将本地 runq 队列扩容至 256，减少频繁落全局队列带来的全局锁争抢。

G-M-P 基础绑定关系

1. 同一时刻一个 P 只能绑定一个 M，一个 M 仅持有一个 P
2. 一个 M 同一时间只能执行一个 G
3. 一个 G 运行时仅绑定一组 M+P阻塞时 G 脱离 M/P，M 可解绑 P

Goroutine 创建流程

调用 go func() 底层执行流程：

1. newg() 初始化 G分配 2KB 初始栈，状态置为 _Gdead
2. ready(g) 就绪将 G 状态改为 _Grunnable
3. 优先写入当前 P 的本地 runq 环形队列若本地队列满，放入全局共享队列
4. 当前 P 调度循环自动拾取队列 G 执行

调度循环 schedule() 核心逻辑

每个绑定 P 的 M 循环执行 schedule()，完整执行流程按优先级依次检索可执行 G：

Work-Stealing 任务窃取算法

任务窃取是 GMP 多核负载均衡核心，解决多 P 之间任务分配不均、CPU 核心闲置问题：

1. P 本地 runq 为空时随机遍历其他活跃 P
2. 窃取一半数量 G从目标 P 本地队列窃取，均衡两个 P 负载
3. 目标 P 队列只剩 1 个 G 时不窃取避免频繁竞争
4. Go 1.22 优化窃取时优先读取对方 runnext 高优先级 G，减少低时延协程调度延迟
5. 所有 P 均无任务M 进入休眠，释放 CPU

阻塞场景 P 劫持机制

传统线程模型阻塞时会永久占用内核线程，GMP 通过 P 劫持释放逻辑处理器，实现 CPU 复用：

1. G 执行阻塞系统调用socket 读、文件 IO、锁等待，进入 _Gsyscall / _Gwaiting
2. M 解绑当前 P将 P 标记为 _Psyscall 空闲
3. 调度器新建备用 M绑定释放的 P，继续执行队列中其他就绪 G
4. 阻塞 IO 完成后netpoller 唤醒 G，G 重新进入就绪队列等待调度
5. 原阻塞 M 放回 M 缓存池复用不销毁，减少线程创建开销

主动让出与异步抢占

主动让出 runtime.Gosched()：G 未阻塞、主动放弃执行权，将自身放回当前 P 本地 runq 尾部，调度循环拾取下一个 G，实现用户态协作式抢占。Go 1.22 优化抢占信号投递精度，减少长时间循环 G 独占 P 导致的其他协程时延。

基于信号的异步抢占：运行时为每个 P 设置 10ms 时间片定时器，G 连续执行超过 10ms，运行时发送 SIGURG 抢占信号，G 在函数调用边界中断执行，保存上下文，放回就绪队列。Go 1.22 缩小抢占临界区，减少信号处理锁阻塞。

netpoller 设计定位

netpoller 是 Go 运行时内置 IO 多路复用轮询器，底层封装 epoll(linux) / kqueue(darwin) / IOCP(windows)，统一管理全部网络 fd、定时器，将阻塞网络 G 转为非阻塞事件驱动，和 GMP 调度深度联动，是百万长连接网关性能核心。

netpoller 底层数据结构

type netpoll struct {
    pollfd   int              // epoll/kqueue 句柄
    waitlist map[uintptr]g  // fd -> 阻塞等待的G
    timer    []timer         // 定时器堆
}

• waitlist 保存每个网络文件描述符对应的阻塞 G
• 独立专用 M 执行轮询循环，不占用业务 P
• 事件就绪后批量唤醒对应 G，放入全局/本地就绪队列

网络 G 完整阻塞唤醒流程

Go 1.22 netpoller 三大关键优化

netpoller 与 GMP 协同核心优势

1. 不占用业务 P轮询 M 独立运行，IO 阻塞完全不消耗并发额度
2. 零线程膨胀百万长连接仅需少量轮询 M，不会每连接创建内核线程
3. 调度统一收口IO 就绪 G 统一交给 GMP 调度，复用 work-stealing 负载均衡
4. 无用户态/内核态频繁切换多路复用批量处理 IO 事件，系统调用次数大幅降低

GMP 调度层调优

1. 合理设置 GOMAXPROCS默认等于 CPU 核心，IO 密集型可适度 +1~2
2. 避免超长无抢占循环计算密集逻辑手动插入 runtime.Gosched()，防止抢占延迟
3. 拆分超大协程任务单个 G 逻辑过久会拖慢调度窃取均衡
4. 减少频繁全局队列写入批量创建 G 时分批提交，降低全局锁争抢

网络 IO netpoller 优化

1. 复用 net.Conn 连接池减少 fd 频繁创建销毁，减轻 waitlist 哈希表压力
2. 长连接服务关闭短连接高频创建避免 epoll fd 膨胀
3. 定时器统一复用大量定时逻辑合并为单个 timer 堆事件
4. 海量网关服务开启 SO_REUSEPORT分散内核 fd 就绪事件

高频踩坑与底层原理解释