栈 vs 堆
函数局部变量通常在 栈 上，返回后自动回收。堆 由 GC 管理，生命周期不确定。
func foo() *int {
x := 42
return &x // x 逃逸到堆
}go build -gcflags="-m" 查看逃逸报告。
常见逃逸场景
- 返回局部变量指针。
- 闭包引用外部变量且 goroutine 更长生命周期。
- 接口赋值导致 boxing（小对象也可能堆上）。
fmt.Sprintf、slice append 扩容到堆。
GC 演进（概念）
Go 1.5+ 并发三色标记清除：与用户 goroutine 并发，STW 极短。1.8+ 混合写屏障；后续版本持续降低延迟。
GOGC=100（默认）：堆增长到 live 2 倍触发 GC。调高 GOGC 减少 GC 次数但占用更多内存。
三色标记与写屏障
标记阶段从根（goroutine 栈、全局）出发。并发标记时 mutator 可能改指针，写屏障 保证不丢对象（强三色不变性 / 混合屏障）。
面试答法：不必推导公式，说明 并发标记为何需要写屏障、STW 在 start/mark termination 极短 即可。
sync.Pool
var bufPool = sync.Pool{
New: func() interface{} { return new(bytes.Buffer) },
}
func process() {
b := bufPool.Get().(*bytes.Buffer)
b.Reset()
defer bufPool.Put(b)
// use b
}
适合 临时大 buffer 高频创建；Pool 对象可能随时被 GC 清掉，不能当长期缓存。
调优 checklist
pprof heap/allocs：找 top alloc 函数。make([]T, 0, cap)。+ 循环。与 Week 4 OS 衔接
week04-virtual-memory 讲页表与 TLB；Go 堆是 OS 虚拟内存之上由 runtime 管理。理解 缺页 与 mmap 有助于读 pprof。
面试题
- map 扩容机制？渐进式 rehash，触发 GC 无关但分配 buckets。
- goroutine 栈增长？起始小栈，不够时复制扩容。
- 为何 Go 不适合极致延迟 HFT？GC 与调度抖动，但一般 Web 足够。
week03-go-error-testing 的 benchmark 对比优化前后 allocs。
实战巩固与面试表达
本篇属于 8 周冲刺 week03-go-memory-gc 主题。复习时先闭卷回答 frontmatter 中三张 flashcard，再展开口述两个「为什么」：为什么这种方案能 work、边界失败时如何降级。与相邻章节对照：算法篇强调复杂度与模板，Go 篇强调工程默认写法，中间件篇强调线上故障案例。
动手与自检清单
用 25 分钟限时做 1 道相关练习题或画出一张架构/数据结构示意图；用 5 分钟写 STAR 片段说明你在项目里是否用过类似技术。记录 3 个面试追问及你的标准答法，存入 /zh/notebook/master-plan 笔记。若某点不熟，回到对应 /chapters 交互 Lab 重新走一遍流程，比死记卡片更有效。
易错点提醒
避免只背名词不会画图；避免只说优点不谈 trade-off（性能、一致性、运维成本至少提一项）；避免把学习 Demo 说成百万 QPS 生产。回答时使用「场景 → 方案 → 结果 → 反思」四段式，体现工程成熟度。