3. Goroutine 生命周期：创建、运行、阻塞、唤醒、退出全流程

Goroutine 的生命周期是 Go 调度器管理的核心对象。理解一个 Goroutine 从诞生到消亡的完整路径，是掌握调度器行为、排查性能问题、避免泄漏的基础。本章将按时间顺序拆解五个关键阶段，并结合调度器内部状态机进行审计级分析。

3.1 生命周期全景图

下图展示了 Goroutine 在调度器视角下的完整状态流转。每个状态对应一个调度器内部枚举值（_Gidle、_Grunnable、_Grunning、_Gwaiting、_Gsyscall、_Gdead），审计时可通过 runtime.Stack 或 pprof 的 goroutine 标签确认当前状态。

3.2 创建阶段：从 go func() 到 _Grunnable

当代码执行 go f() 时，编译器将其翻译为 runtime.newproc 调用。该函数完成以下步骤：

1. 分配 G 结构体：优先从 sched.gFree 空闲链表或 P.gFree 本地缓存获取已回收的 G 对象；若均无，则调用 malg 分配新的 G 结构体（初始栈大小 2KB）。
2. 初始化栈与上下文：设置栈底、栈顶、sched.sp、sched.pc 为函数入口地址，sched.bp 清零。
3. 设置状态为 _Grunnable：将 G 放入当前 P 的本地运行队列（runq）尾部。若本地队列已满（默认 256 个），则将其放入全局运行队列。
4. 唤醒 M：如果当前有空闲 P 且没有空闲 M，则 wakep 会尝试创建或唤醒一个 M 来执行该 G。

3.3 运行阶段：从 _Grunnable 到 _Grunning

M 通过调度循环（schedule()）获取一个 _Grunnable 的 G 并执行：

• 获取优先级：每调度 61 次，M 会从全局队列获取一个 G，防止全局队列中的 G 被饿死。
• 工作窃取：若本地队列为空，M 会尝试从其他 P 的本地队列“偷”一半 G（runqsteal）。
• 执行时间片：G 运行直到主动让出（channel 操作、系统调用）、被抢占（sysmon 检测到运行超过 10ms）、或函数返回。
• 抢占式调度：Go 1.14+ 引入基于信号的异步抢占。当 G 运行超过 10ms 且未主动让出时，sysmon 发送 SIGURG 信号，M 的信号处理函数将 G 的 stackguard0 置为 stackPreempt，在函数调用入口处触发抢占。

// 调度循环核心逻辑（简化）
func schedule() {
    _g_ := getg()
    // 每 61 次调度检查全局队列
    if _g_.m.p.ptr().schedtick%61 == 0 {
        gp := globrunqget(_g_.m.p.ptr())
        if gp != nil {
            execute(gp)
            return
        }
    }
    // 优先从本地队列获取
    gp := runqget(_g_.m.p.ptr())
    if gp == nil {
        // 工作窃取
        gp = findrunnable()
    }
    execute(gp)
}

3.4 阻塞与唤醒：_Gwaiting 与 _Gsyscall

Goroutine 在两种情况下会暂停执行：

3.4.1 同步阻塞（_Gwaiting）

当 Goroutine 执行 channel 发送/接收、mutex 加锁、time.Sleep、select 等操作时，调度器将其状态置为 _Gwaiting，并将 M 让出给其他 G。唤醒条件满足时（如 channel 有数据、锁释放），goready 将其状态改回 _Grunnable 并放入目标 P 的本地队列。

3.4.2 系统调用阻塞（_Gsyscall）

当 Goroutine 执行阻塞式系统调用（如文件读写、网络 I/O 的 epoll 等待）时，调度器将其状态置为 _Gsyscall，并将当前 P 与 M 解绑（handoffP）。P 被释放后可以绑定其他 M 继续执行其他 G，从而避免系统调用阻塞整个 P。

3.5 退出阶段：从 _Grunning 到 _Gdead

Goroutine 执行完函数或触发 panic 后进入退出流程：

1. 清理资源：释放栈内存（若栈大小超过阈值，则归还给堆；否则保留在 P.gFree 缓存中复用）。
2. 状态置为 _Gdead：将 G 放入当前 P 的 gFree 链表头部（最多缓存 32 个），超出部分放入全局 sched.gFree。
3. 调用 goexit0：执行 defer 函数（若存在），然后跳转到 schedule() 继续调度下一个 G。
4. 统计更新：更新 runtime.NumGoroutine() 计数，减少活跃 Goroutine 数量。

// Goroutine 退出路径（简化）
func goexit0(gp *g) {
    // 1. 清理栈
    gfput(gp.m.p.ptr(), gp)  // 放入 P.gFree 缓存
    // 2. 状态置为 _Gdead
    casgstatus(gp, _Grunning, _Gdead)
    // 3. 减少活跃计数
    sched.ngsys.Add(-1)
    // 4. 继续调度
    schedule()
}

3.6 生命周期审计清单

以下表格总结了每个阶段的关键审计指标和检查点：