Go 1.3 实现了一个 precise垃圾收集器。
它是如何精确识别指针的？
最佳答案
看看“Changes to the garbage collector”，机制似乎很简单:
Starting with Go 1.3, the runtime assumes that values with pointer type contain pointers and other values do not.
This assumption is fundamental to the precise behavior of both stack expansion and garbage collection.
Programs that use package unsafe to store integers in pointer-typed values are illegal and will crash if the runtime detects the behavior.
Programs that use package unsafe to store pointers in integer-typed values are also illegal but more difficult to diagnose during execution.
这reddit thread添加:
Basically a GC has to find out which objects are reachable, to do this it has to follow pointers lying on the stack to every object they point to and then follow the pointers in the objects to every object they point to until it no longer encounters new objects.
Every object not encountered by the GC is then garbage.The problem with that is that it requires the GC to know what a pointer is:
- a precise GC has that information,
- a conservative GC has to assume that every value on the stack may be a pointer if it is identical with the address of an allocated object.
As a result conservate GCs tend to keep a lot of unreachable objects around and have to do more work (traverse dead object graphs).
关于memory - Go 的精确 GC 是如何工作的？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/26422896/