Go 的精确 GC 是如何工作的？

Question

Go 1.3 实现了一个精确的垃圾收集器。

它如何精确识别指针？

Answer 1

查看“对垃圾收集器的更改”，其机制似乎很简单：从 Go 1.3 开始，运行时假定指针类型的值包含指针，而其他值不包含。这个假设是堆栈扩展和垃圾收集的精确行为的基础。使用包 unsafe 将整数存储在指针类型值中的程序是非法的，如果运行时检测到该行为，将会崩溃。使用包 unsafe 将指针存储在整数类型值中的程序也是非法的，但在执行过程中更难诊断。这个reddit线程添加：基本上，GC 必须找出哪些对象是可访问的，为此它必须遵循堆栈上的指针指向它们指向的每个对象，然后遵循对象中的指针指向它们指向的每个对象，直到不再遇到新对象对象。GC 没有遇到的每个对象都是垃圾。问题在于它需要 GC 知道什么是指针：一个精确的 GC 有这些信息，保守的 GC 必须假设堆栈上的每个值都可能是一个指针，如果它与分配对象的地址相同。因此，conservate GC 往往会保留许多无法访问的对象，并且必须做更多的工作（遍历死对象图）。