Go垃圾回收机制深度解析

Go的垃圾回收器采用并发标记清除算法，实现低延迟内存管理。

GC算法类型

Go使用并发三色标记清除算法，而非分代GC或引用计数。

三色标记原理

白色：未访问对象，可能是垃圾
灰色：已访问但子对象未处理
黑色：已访问且子对象已处理完成

标记流程：

1. 初始化：根对象灰色，其他白色
2. 处理灰色对象，将其引用的白色对象变灰
3. 处理完成后灰色变黑
4. 循环直到无灰色对象
5. 白色对象即为垃圾，可回收

GC触发条件

自动触发（GOGC参数）

# 默认GOGC=100，堆增长100%触发GC
GOGC=100   # 堆大小翻倍时触发
GOGC=50    # 更频繁GC
GOGC=off   # 禁用自动GC（危险）

# 阈值计算公式
触发阈值 = 上次GC后存活内存 × (1 + GOGC/100)

手动触发

runtime.GC()  // 强制触发一次GC

GC阶段与STW

Go GC分为四个阶段，其中两个需要STW：

// GC总STW时间约20-200微秒
// 对延迟敏感应用友好

写屏障机制

并发标记期间用户代码可能修改引用，写屏障保证正确性。

混合写屏障（Go 1.8+）

// 写屏障伪代码
func writeBarrier(slot *ptr, new ptr) {
    shade(*slot)  // 标记原引用对象为灰色
    shade(new)    // 标记新引用对象为灰色
    *slot = new
}

保证新引用对象不会被漏标记。

GC调优

调整GOGC

// 降低GC频率，增加内存占用
GOGC=200  // 堆增长200%才触发

// 增加GC频率，减少内存占用
GOGC=50   // 堆增长50%触发

内存限制（Go 1.19+）

// 设置软内存限制
runtime.SetMemoryLimit(1 << 30)  // 1GB

// 达到限制时强制GC

GC百分比调试

import "runtime/debug"

// 设置GC百分比
debug.SetGCPercent(50)

// 禁用GC
debug.SetGCPercent(-1)

监控GC

import "runtime"

var stats runtime.MemStats
runtime.ReadMemStats(&stats)

fmt.Println("GC次数:", stats.NumGC)
fmt.Println("GC总暂停时间:", stats.PauseTotalNs)
fmt.Println("堆大小:", stats.HeapAlloc)

调优原则：先分析内存分配模式，再调整GOGC或使用内存限制。

要点总结

• Go使用并发三色标记清除算法
• GOGC控制触发阈值，默认100
• STW仅两阶段，总时间微秒级
• 写屏障保证并发标记正确性
• 调优：调整GOGC或设置内存限制