C++垃圾回收如何跟踪基于基指针偏移计算得到的派生指针

偏移计算派生指针的存活判定规则 #

你提到的通过基指针加偏移得到的间接访问指针，Boehm这类保守式垃圾回收器的判定逻辑如下：

• 保守式GC采用模糊扫描规则，不需要严格识别每一个显式存储的指针。只要在根集（栈、寄存器、全局变量区）或者已标记为存活的堆内存中，扫描到任意一个值落在某块GC分配的堆内存的地址区间内，就会将整个堆块标记为存活，不会被回收。
• 对于P2 = P + offset[0]的场景：只要基指针P本身处于存活状态，GC扫描到P时就会直接标记P指向的整个堆块为存活，堆块内所有通过偏移计算得到的地址对应的内存都会被保留，不需要显式存储P2这个派生指针。
• 如果存储偏移量的offset数组本身是GC分配的堆内存，需要保证该数组的引用本身处于存活状态，否则数组会被提前回收，无法完成后续的偏移计算逻辑。

Boehm GC 常见使用错误排查 #

按照示例操作仍出现问题，绝大多数是以下几类误用导致的：

• 不要把GC分配的指针强制转为整数做运算后再转回指针使用。如果整个运算过程中没有任何位置存储指向对应堆块的指针值，GC扫描时无法识别到堆块的存活引用，会误判堆块已死亡并回收，后续转回指针访问时会出现段错误。
• 分配内存时要选对分配接口：如果分配的堆块只会存储普通数据、不会存储指向其他GC堆的指针，可以使用GC_MALLOC_ATOMIC提升性能；如果堆块内会存储其他GC堆的指针，必须使用普通的GC_MALLOC，否则GC不会扫描该块内存储的指针，会导致指向的其他堆块被误回收。
• 禁止手动释放GC分配的内存：Boehm GC会自动扫描回收无用内存，手动调用free释放GC分配的块会触发双重释放、内存损坏问题。
• 编译参数要兼容GC扫描逻辑：不要开启过度激进的优化等级，编译时建议添加-fno-strict-aliasing参数，避免指针被编译器优化到GC扫描不到的寄存器位置，导致漏判引用。

内容的提问来源于stack exchange，提问作者FourierFlux