goroutineleak 真的能找到 Go 协程泄漏吗：pprof 可达性判断与回滚边界

服务的 goroutine 数量每天缓慢上涨，普通的 /debug/pprof/goroutine 只能告诉你“还有哪些协程”，却不一定能说明它们为什么永远回不来。Go 1.26 给 runtime/pprof 增加了实验性的 goroutineleak profile，适合定位一类明确的并发泄漏：协程卡在 channel、sync.Mutex 或 sync.Cond 上，而解除它的对象已经不可达。

先在测试或灰度环境用 GOEXPERIMENT=goroutineleakprofile 打开能力，再通过 pprof 读取 goroutineleak；它不是所有“数量变多”的证明，仍要结合调用栈、业务生命周期和退出路径确认。

Go 1.26 到底增加了什么

官方发布说明把 goroutineleak 定义为一个新的 pprof profile 类型。它关注的不是“阻塞时间超过几秒”，而是更严格的不可达关系：如果协程阻塞在某个并发原语上，而这个原语已经无法从任何可运行协程或其可能唤醒的协程抵达，那么这条等待链不可能自行恢复。

一个正在等待外部消息的消费者，不会因为等待时间长就自动成为泄漏；一个被遗忘的发送方，若它卡在无人接收的 channel 上，才更接近该 profile 想找的对象。

先用提前返回复现一条等待链

下面的收集器同时处理多个任务。只要某个任务先返回错误，主函数就提前结束；其他任务仍要把结果写入无缓冲 channel，但此时已经没有接收者。

type result struct {
    value string
    err   error
}

func collect(items []string) ([]string, error) {
    ch := make(chan result)
    for _, item := range items {
        go func(item string) {
            value, err := load(item)
            ch 

关键不是 go 关键字，而是错误分支切断了接收循环。修复时可以使用带缓冲的结果 channel、让生产者监听取消信号，或保证返回前把剩余结果收完。先把泄漏样例留在测试里，方便确认 profile 是否真的抓到了目标。

启用实验开关并读取 goroutineleak

Go 1.26 的实验能力通过构建时环境变量开启。建议只给复现程序或专门的诊断构建加开关，不要把整个生产镜像的构建参数改成永久配置。

GOEXPERIMENT=goroutineleakprofile go test -run TestCollectLeak -count=1 ./...
GOEXPERIMENT=goroutineleakprofile go run ./cmd/leakdemo

如果程序接入了 net/http/pprof，可以先确认普通 profile 服务正常，再读取新的路径：

curl -s http://127.0.0.1:6060/debug/pprof/goroutineleak > goroutineleak.pb.gz
go tool pprof -text goroutineleak.pb.gz

输出里优先看阻塞位置、调用栈和涉及的同步对象。单独看到某个函数名并不足以证明泄漏，最好回到测试用例里加一个明确的取消或收尾动作，再观察 profile 是否消失。

哪些结果不能直接下结论

长时间阻塞不等于泄漏。数据库连接、队列消费和限流等待都可能是正常状态。profile 依赖对象可达性；如果同步对象被全局变量或仍在运行的协程持有，运行时可能无法把它判断为不可恢复。它还是实验接口，版本升级后输出形态和启用方式都应重新验证。

实际排查时，把三类证据放在一起：普通 goroutine 栈看“卡在哪里”，业务指标看“是否持续增长”，泄漏 profile 看“是否存在不可达等待链”。三者都指向同一条退出路径时，修复把握才足够高。

把验证放进测试和回滚流程

可以为并发组件保留一个失败分支测试：运行任务、让其中一个返回错误、等待其余任务应该退出，然后检查测试不会超时。诊断构建打开实验 profile，常规构建保持默认值；这样即使实验接口发生变化，也不会让业务发布流程被绑定。

• 构建检查：记录 go version、GOEXPERIMENT 和目标平台。
• 行为检查：确认错误返回后，生产者、消费者和取消信号都能结束。
• 运行检查：同时保存普通 goroutine 栈和泄漏 profile，避免只依赖一个实验输出。
• 回滚检查：去掉 GOEXPERIMENT=goroutineleakprofile 后，主流程仍可编译、测试和启动。

常见问题

goroutineleak 默认会打开吗？

不会。Go 1.26 将它作为实验 profile，需要在构建时设置 GOEXPERIMENT=goroutineleakprofile。

普通 goroutine profile 和它有什么区别？

普通 profile 展示当前协程及调用栈；goroutineleak 进一步尝试识别因同步对象不可达而无法唤醒的等待链，适合互相补充。

用 buffered channel 就一定能修复泄漏吗？

不一定。缓冲区只能吸收有限数量的结果，任务数变大或生产者继续运行时仍可能卡住。取消传播和明确的收尾通常更稳妥。

生产环境可以直接启用吗？

应先在测试和灰度构建中验证。它是实验能力，线上还需要保留超时、退出计数和普通 pprof 等更稳定的证据。

最后的判断标准

把 goroutineleak 当成“缩小排查范围”的工具，而不是自动判定器。先复现一条能解释的等待链，再用 profile、调用栈和业务退出指标互相核对；确认修复后，保留一个会覆盖提前返回路径的测试，下一次升级 Go 时重新跑一遍最小验证。