高并发优化：对象池/预分配/减少逃逸

一句话结论：高并发优化的第一原则是“先用 pprof/压测定位，再动手”，别盲优化。Go 侧最常见的三类开销是：内存分配（触发 GC）、锁竞争、不必要的数据拷贝。对应手段：sync.Pool 复用高频创建的大对象（buffer、编解码中间对象）；预分配容器容量与用 strings.Builder/strconv 减少拷贝；通过减少逃逸让对象留在栈上（-gcflags="-m" 验证）；并发侧用 RWMutex/分片锁/atomic 缩小临界区。衡量指标看 allocs/op 与锁等待时间，比单纯看耗时更稳定。

手段对照

手段	解决	注意
sync.Pool	高频临时大对象反复分配	对象随时被回收，取出必须 Reset；不适合有状态长生命周期对象
make([]T, 0, n) 预分配	切片反复扩容复制	容量按业务规模估算
strings.Builder / strconv	字符串拼接与数字转换	循环里别用 + 拼字符串（O(n²)）
减少逃逸	小对象栈上分配免 GC	用 -gcflags="-m" 实测；返回局部变量指针会让它逃逸
RWMutex/分片/atomic	锁竞争	锁内不做 IO；读多写少优先 RWMutex
快照配置	无锁读热点配置	atomic.Pointer 发布不可变快照（见配置热更新）

sync.Pool 示例

var bufPool = sync.Pool{New: func() any { return new(bytes.Buffer) }}

func handle(c *gin.Context) {
    buf := bufPool.Get().(*bytes.Buffer)
    buf.Reset() // 必须重置：Pool 里的对象可能残留旧数据
    defer bufPool.Put(buf)
    // 复用 buf 做序列化等临时操作
}

预分配与减少逃逸示例

// 预分配：避免 append 反复扩容
ids := make([]int64, 0, len(reqs))

// 拼字符串用 Builder；数字转字符串用 strconv，别用 fmt.Sprintf（接口装箱易逃逸）
var sb strings.Builder
sb.WriteString("user:")
sb.WriteString(strconv.FormatInt(uid, 10))

// 查看逃逸：go build -gcflags="-m" ./...   关注 "escapes to heap"

运行期与系统侧

• pprof：alloc_objects / alloc_space 看谁在分配，block/mutex 看锁等待。
• 容器内存：GOMEMLIMIT 软上限（Go 1.19+）防 OOM；别盲目调 GOGC 到极端，换内存扛 GC 要权衡。
• 连接复用：DB/Redis 连接池、HTTP keep-alive 是服务端“隐形”优化大头（与连接池章节呼应）。
• 过早优化是万恶之源：先量化（pprof/压测/benchmark），再对热点下手。

追问记忆点

• 追问：sync.Pool 的对象为什么可能“丢”？——Pool 里的对象在 GC 时会被清理，它只保证降低分配频率，不保证留存。
• 追问：怎么证明某对象逃逸了？——go build -gcflags="-m"，看到 escapes to heap 即逃逸；结论以编译器输出为准。
• 追问：分配次数为什么比耗时更适合做优化指标？——分配次数少受机器噪声影响，GC 压力与分配强相关。
• 记忆点：先 pprof 后优化；对象池+预分配+少逃逸管 GC，锁粒度与无锁读管并发；allocs/op 是硬指标。