Go Runtime¶

学习目标¶

学完本章后，学习者应该能够：

理解 GMP 调度模型、GC、逃逸分析、栈扩容和内存分配。
掌握 pprof、runtime/metrics 和 trace 的基础用途。
能解释 Go 服务 CPU、内存、goroutine、GC 相关问题。
能建立基础 runtime 排障思路。

GMP 调度模型¶

简化理解：

G：goroutine。
M：操作系统线程。
P：调度资源，数量通常受 GOMAXPROCS 影响。

Go runtime 把大量 goroutine 调度到较少 OS thread 上执行，并配合 network poller 处理网络 IO 等待。

GC 基础¶

Go 使用自动垃圾回收。GC 负责找出不再被引用的对象并回收内存。

GC 带来的工程影响：

分配越多，GC 压力通常越大。
大量短生命周期对象会增加 GC 工作。
内存目标和 GC 频率会影响延迟。

优化 GC 前，先用 profile 确认分配热点。

逃逸分析¶

逃逸分析决定变量能否分配在栈上，还是必须分配到堆上。

查看逃逸信息：

Windows PowerShellLinux / macOS

go build -gcflags="-m" ./...

go build -gcflags="-m" ./...

不要为了“消除逃逸”牺牲代码清晰度。逃逸是优化线索，不是绝对坏事。

pprof¶

常用 profile：

CPU：看 CPU 时间花在哪里。
heap：看堆内存分配和保留。
goroutine：看 goroutine 堆积位置。
mutex：看锁竞争。
block：看阻塞等待。

开启 pprof：

import _ "net/http/pprof"

go func() {
    _ = http.ListenAndServe("127.0.0.1:6060", nil)
}()

生产环境要限制访问权限，避免暴露敏感信息。

Go 后端实际应用例子¶

例子一：定位内存分配热点¶

func BuildNames(users []User) []string {
    names := make([]string, 0, len(users))
    for _, user := range users {
        names = append(names, user.Name)
    }
    return names
}

预分配容量可以减少 slice 扩容和复制。是否值得优化，要用 benchmark 和 heap profile 验证。

例子二：查看 goroutine 泄漏¶

如果 goroutine profile 中大量堆栈卡在同一个 channel receive 或 HTTP 调用，可能存在泄漏或下游阻塞。

排查步骤：

看 goroutine 数量曲线。
抓 goroutine profile。
找重复堆栈。
回到代码检查退出条件、context 和 channel 关闭。

常见误区¶

误区一：GC 是所有性能问题的原因。

GC 可能影响延迟，但 CPU 热点、锁竞争、IO 等待、数据库慢更常见。要用数据判断。

误区二：逃逸一定要消灭。

逃逸只是分配位置变化。为了消除逃逸写出难维护代码，通常不值得。

误区三：pprof 可以随便暴露公网。

pprof 可能泄露路径、参数、堆栈和业务信息，生产环境必须限制访问。

线上问题案例¶

某服务内存持续上涨。heap profile 显示大量对象来自一个本地缓存 map，缓存没有容量上限，也没有过期策略。

修复方式是引入 LRU 或 TTL，增加缓存容量、命中率和淘汰指标，并在压测中观察 heap 和 GC。

实战任务¶

为一个 Go HTTP 服务设计 runtime 观测方案：

接入 pprof。
限制 pprof 访问范围。
采集 CPU、heap、goroutine profile。
记录 goroutine 数量和 GC 指标。
说明如何排查内存上涨。

参考答案

pprof 可以监听在 127.0.0.1:6060，或只在内网、调试端口、鉴权后暴露。生产环境不能直接暴露公网。指标层面可以采集 goroutine 数量、heap alloc、heap inuse、GC pause、GC count 等。

内存上涨时先看容器内存和 Go heap 是否同步上涨，再抓 heap profile 找保留对象来源，结合 goroutine profile、缓存大小、流量变化和最近发布判断。不要只凭内存曲线断言泄漏。

面试题¶

1. GMP 模型是什么？¶

参考答案

GMP 是 Go runtime 调度模型：G 是 goroutine，M 是操作系统线程，P 是调度资源。goroutine 需要通过 P 被 M 执行。

这个模型让 Go 能用相对少的 OS thread 调度大量 goroutine，并配合 network poller 支持高并发 IO。

2. pprof 常用来排查什么？¶

参考答案

pprof 常用于排查 CPU 热点、堆内存占用、goroutine 泄漏、锁竞争和阻塞等待。不同 profile 对应不同问题方向。

使用 pprof 时要结合业务指标、日志、链路追踪和发布时间线，不要孤立解读一张火焰图。

3. 什么是逃逸分析？¶

参考答案

逃逸分析是编译器判断变量生命周期和引用范围的过程。如果变量不能安全分配在栈上，就会逃逸到堆上。

堆分配会增加 GC 压力，但逃逸不是绝对坏事。优化前要确认它确实是性能瓶颈。