Go 的 GC 不会漏掉循环引用的对象，它基于可达性分析而非引用计数，只要对象无法从 GC roots 到达，即使形成闭合环也会被回收。
Go 的 GC 不会漏掉循环引用的对象
Go 的垃圾回收器从不靠引用计数判断对象生死，所以循环引用根本不是问题。它只看一个东西：这个对象能不能从 GC roots（比如全局变量、当前 goroutine 的栈帧、寄存器）出发，顺着指针链“走”到。走不到，哪怕 A←→B←→C 形成一个闭合环，整个环也会被一锅端掉。
常见错误现象：
— 写了个树节点结构，父子互相持有指针，担心内存不释放
— 用 sync.Pool 缓存了带内部引用的对象，以为要手动断开才能回收
— 把 Go 的 GC 和 Python/PHP 的引用计数机制混为一谈
- 只要没有外部变量还指向这个环里的任意一个节点，整个环在下一次 GC 周期就会被标记为白色并清除
- 不需要你手动置
nil、清 map、断 channel 引用——除非你真想提前让对象不可达（比如大对象早释放） - 逃逸分析决定对象是否上堆；上了堆，才归 GC 管；没上堆（栈上分配），函数返回就自动消失，跟 GC 无关
GC 是谁在跑？不是虚拟机，是 Go runtime 自己
Go 编译出来的二进制文件里，已经静态链接了运行时（runtime），里面包含用 C 和汇编写的 GC 实现。它不是 JVM 那种独立进程，也不是靠外部服务驱动，而是程序启动时就内置的、用户态的调度+内存管理中枢。
这意味着：
立即学习“go语言免费学习笔记（深入）”；
在 Go 中使用 google/wire 实现编译时依赖注入——wire.NewSet、wire.Build、wire.Bind（接口→实现）、wire.Struct、wire.Value、wire.Interface
-
runtime.GC()是强制触发一次完整 GC，但日常 GC 完全是自动的，由sysmongoroutine 主动监控和发起 - GC 触发条件有两个主路径：堆分配量增长超过上一次 GC 时的 100%（默认 GOGC=100），或距离上次 GC 超过
forcegcperiod（默认 2 分钟） - 你改环境变量
GOGC=50，会让 GC 更频繁（更早触发），适合内存敏感但 CPU 充裕的场景；设成off或极大值（如 10000）则可能拖慢响应，尤其在长连接服务中容易 OOM
三色标记法不是理论，它直接影响你写代码的方式
Go 1.5 起用的并发三色标记（concurrent tri-color marking），核心是靠写屏障（write barrier）保证标记过程不漏对象。这听起来底层，但它直接决定了你在哪些地方会“踩坑”。
典型场景：
— 在 GC 标记过程中，你往一个正在遍历的 map 里新增 key
— 或者在 goroutine 中快速创建大量小对象，同时主线程在做深度结构体赋值
- 写屏障会捕获这些“新引用”，把目标对象重新标灰，确保不会误删——但这有微小开销，所以高吞吐写入场景（如日志缓冲、metrics collector）建议预分配容量，避免频繁扩容触发写屏障
- 不要在
finalizer函数里再创建新 goroutine 或分配堆对象，finalizer 运行时机不确定，且可能在 GC sweep 阶段执行，容易引发竞态或延迟回收 -
unsafe.Pointer或反射绕过类型系统时，可能让 GC “看不见”某些引用（比如用reflect.Value.Addr().Pointer()拿到地址后自己管理），这种情况下必须用runtime.KeepAlive()显式延长生命周期
回收 ≠ 还给操作系统，空闲内存可能“赖着不走”
GC 清掉对象后，对应内存页（span）只是被 runtime 标记为空闲，供后续分配复用，并不马上调用 madvise(MADV_DONTNEED) 或 sysUnused 还给 OS。这是为了减少系统调用开销，但会导致 top 或 ps 看到的 RSS 居高不下。
- 空闲 span 最多保留
scavengelimit时间（默认 5 分钟），之后才会被 scavenger 后台任务清理并返还 - 如果你的服务内存使用有明显波峰波谷（比如批处理作业），可以调低
GODEBUG=madvdontneed=1强制立即归还，但会增加系统调用频率 - 用
runtime.ReadMemStats()查看HeapReleased字段，它反映已还给 OS 的字节数；HeapInuse才是当前被 runtime 占用的堆内存（含空闲 span）
真正难处理的，是那些“半死不活”的长期存活对象：比如缓存没设淘汰策略、日志句柄一直打开、HTTP client 的 transport keep-alive 连接池无限膨胀——GC 对它们完全无能为力，因为它们始终可达。这时候得靠你自己的逻辑控制生命周期，而不是等 GC。
