2. Goroutine 生命周期：创建、启动、阻塞、退出与泄漏场景

Goroutine 是 Go 并发模型的核心执行单元，其生命周期管理直接决定了程序的稳定性与性能。本章深入拆解 Goroutine 从创建到退出的完整路径，并重点剖析生产环境中常见的泄漏场景与诊断方法。

2.1 创建与启动：轻量级调度入口

Goroutine 通过 go 关键字创建，底层调用 runtime.newproc。与操作系统线程不同，Goroutine 初始栈仅 2KB，且随需伸缩（最大 1GB），这是支撑百万级并发的基石。

// 示例：Goroutine 创建与启动
package main

import (
    "fmt"
    "time"
)

func worker(id int) {
    fmt.Printf("Worker %d started\n", id)
    time.Sleep(100 * time.Millisecond)
    fmt.Printf("Worker %d done\n", id)
}

func main() {
    for i := 1; i <= 5; i++ {
        go worker(i) // 创建并启动 Goroutine
    }
    time.Sleep(1 * time.Second) // 等待 Goroutine 完成
}

2.2 阻塞与挂起：GMP 模型的协作机制

Goroutine 在以下场景会进入阻塞状态，此时 M（系统线程）会解绑 G（Goroutine）并寻找新的可运行 G：

2.3 退出机制：自然终结与强制回收

Goroutine 在以下情况退出：

• 函数返回：Goroutine 入口函数执行完毕，栈空间被回收。
• Panic 未恢复：导致整个程序崩溃（除非在 defer 中 recover）。
• runtime.Goexit：立即终止当前 Goroutine，但会执行所有已注册的 defer。

2.4 Goroutine 泄漏：常见场景与根因分析

Goroutine 泄漏是指 Goroutine 永久阻塞在等待状态，无法正常退出，导致内存持续增长、调度器负载升高。以下是生产环境中最常见的 5 种泄漏场景：

2.5 泄漏检测与预防最佳实践

// 预防泄漏的典型模式：使用 context 控制 Goroutine 生命周期
func worker(ctx context.Context, jobs <-chan int) {
    for {
        select {
        case job, ok := <-jobs:
            if !ok {
                return // channel 关闭，正常退出
            }
            process(job)
        case <-ctx.Done():
            return // 上下文取消，主动退出
        }
    }
}

func main() {
    ctx, cancel := context.WithTimeout(context.Background(), 5*time.Second)
    defer cancel()

    jobs := make(chan int, 100)
    go worker(ctx, jobs) // 超时或取消时自动退出
}

2.6 生命周期管理总结