4. Go 语言 GC 机制入门：三色标记-清除与 STW 详解

Go 语言的垃圾回收（GC）采用并发三色标记-清除算法，并辅以写屏障技术来减少 STW（Stop The World）时间。理解 GC 的核心机制，是分析 gRPC 流式调用中因 GC 停顿导致延迟抖动的基础。

4.1 三色标记-清除算法

三色标记-清除算法将堆内存中的对象分为三类，通过颜色转换完成可达性分析：

算法核心流程分为四个阶段：

1. 标记准备（STW）：启动写屏障，将所有根对象（全局变量、goroutine 栈等）标记为灰色。
2. 并发标记：从灰色对象出发，将其引用的白色对象标记为灰色，自身变为黑色。此阶段与用户代码并发执行。
3. 标记终止（STW）：处理并发期间产生的浮动垃圾，确保所有可达对象均被标记。
4. 清除：回收所有剩余的白色对象。此阶段可与用户代码并发执行。

4.2 STW（Stop The World）阶段详解

STW 是 GC 过程中暂停所有用户 goroutine 的时段。Go 1.5+ 通过并发标记大幅缩短了 STW 时间，但并未完全消除。当前 Go GC 的 STW 主要出现在两个阶段：

4.2.1 标记准备阶段（STW 1）

• 触发条件：GC 周期开始。
• 执行操作：开启写屏障、扫描所有 goroutine 栈以标记根对象。
• 耗时：通常 < 1ms，与 goroutine 数量成正比。
• 影响：所有用户代码暂停，gRPC 流式调用的读写操作被阻塞。

4.2.2 标记终止阶段（STW 2）

• 触发条件：并发标记完成。
• 执行操作：重新扫描被写屏障保护的栈和全局变量，确保没有遗漏。
• 耗时：通常 < 2ms，但若 goroutine 数量极大（>10万），可能达到 10ms+。
• 影响：这是 gRPC 流式调用中最敏感的停顿点，可能导致 P99 延迟飙升。

4.3 写屏障与并发安全

写屏障是 Go GC 实现并发标记的关键技术。它是一段在指针赋值时自动插入的代码，用于维护三色不变性：

// Dijkstra 插入写屏障（伪代码）
func writePointer(slot *unsafe.Pointer, ptr unsafe.Pointer) {
    // 如果当前是 GC 标记阶段，且 ptr 指向白色对象
    if gcphase == _GCmark && !isBlack(ptr) {
        // 将白色对象标记为灰色，防止被黑色对象遗漏
        shade(ptr)
    }
    // 执行实际赋值
    *slot = ptr
}

写屏障仅在 GC 标记阶段开启，正常运行时无额外开销。其核心作用是：当黑色对象要引用白色对象时，将白色对象立即变为灰色，从而保证并发标记的正确性。

4.4 GC 触发条件与调优参数