精确垃圾回收中临时指针与栈内寄存器保存指针的栈映射处理方法

一、临时指针的处理方案 #

临时指针指编译或运行过程中生成的、未绑定到显式局部变量的中间指针（比如表达式计算产生的临时对象引用、中间寻址结果等），这类指针若未被追踪，会导致GC遗漏活跃对象或误回收。常用处理方式包括：

• 安全点栈溢出策略：在GC触发的安全点（如函数调用前、循环边界），编译器强制将所有寄存器中的临时指针溢出到栈的预分配槽位，并在元数据中标记这些槽位为指针类型，GC扫描栈时即可捕获这类临时指针。
• AOT编译期静态元数据生成：针对提前编译场景，编译器通过静态分析追踪临时指针的生命周期，为每个代码位置生成包含临时指针存储位置的元数据，GC触发时匹配当前执行位置的元数据即可定位所有活跃临时指针。
• JIT动态追踪：即时编译器生成机器码时，在安全点插入逻辑，实时记录当前所有临时指针的存储位置（寄存器或栈），确保GC能完整扫描到这类指针。

二、基于栈映射处理栈中额外寄存器指针 #

函数调用时，调用者保存的寄存器会被自动压入栈中，这些寄存器可能存储指针，导致栈内除参数和局部变量外存在额外指针值。通过栈映射（Stack Map）可精准识别这些指针，具体实现步骤如下：

1. 编译期生成栈映射表：编译器为每个函数生成对应的栈映射表，表中包含：
   • 函数内所有安全点的地址
   • 每个安全点处，栈中各偏移位置的类型标记（是否为指针），包括寄存器保存区的栈槽
   • 部分场景下还会记录当前活跃的寄存器指针信息
2. GC触发时的栈扫描：当GC触发、线程停在安全点后，通过当前栈帧找到对应函数的栈映射表：
   • 以栈基址（如RBP寄存器）为基准，根据映射表中的偏移量，遍历所有标记为指针的栈位置
   • 对于从寄存器压入栈的指针，映射表已提前标记这些栈槽的类型，GC可直接识别并标记对应的对象
3. 栈映射轻量化存储：为避免元数据体积过大，栈映射通常采用压缩格式（如位图、偏移量列表），仅记录指针位置的相对偏移，而非完整栈结构描述。

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