golang 的 GC 如何处理 unsafe.Pointer?

最近在golang的邮件列表中看到了一篇关于GC如何处理unsafe.Pointer的讨论,觉得应当记录一下。


问题1:如果一个对象只被unsafe.Pointer所指向,那么这个对象会被回收么?

回答1:不会。如果unsafe.Pointer指向了一个对象,那么go的GC会知道有这个对象,并且不会释放这个对象的内存。

但是注意,有一个例外:如果这个对象的内存是在go外被分配的(比如C.malloc),那么以上的规则不生效。


问题2:如果这个对象内部也有一些指针,那么GC会如何处理这些指针?

回答2:如果这个对象是在go内部分配的,那么GC也会遍历这些指针(也就是不会被释放)。


问题3:如果在以上两个问题中,对象都不会被释放,那么GC是怎么处理的?unsafe.Pointer会存对象的类型信息么?

回答3:不会存类型信息,但是如果对象是在go中申请的,那么在对应的内存中是会存有类型信息的;如果没有类型信息,那么GC会采用非常保守的策略:遍历整个对象,只要其中有8bit的值是合法的内存地址(在栈范围内,或者在堆上),就认为是指针,不会进行回收。


问题4:有没有一种情况unsafe.Pointer会变成非法的(野指针)?

回答4:在go中,只要unsafe.Pointer有一刻是合法的,并且它的值没有修改,那么go会保证它在整个程序的生命周期中都是合法的。在unsafe.Pointerunsafe.Pointer间的赋值一定是安全的,但是间接的赋值(比如同过uintptr)可能是非法的,因为uintptr不被认为持有了对象。


go会忽视所有非go分配的对象(比如C.malloc),所以如果在C中有一个指针指向的地址包含了go的对象,那么必须保证这个指针在go中也被一个对象存储下来。

原文