Shenandoah使用转发指针(Forwarding Pointer)而非Brooks Pointer:对象头嵌入8字节原子字段,初始指向自身,移动后CAS更新为新地址;读屏障检查该字段实现并发重定向,避免全局引用更新,仅根集合更新需短暂STW。

Shenandoah 并不使用 Brooks Pointer,它用的是转发指针(Forwarding Pointer)——一种嵌入对象头的 8 字节原子字段,初始指向自身,移动后 CAS 更新为新地址。这个机制常被误称为 Brooks Pointer,但二者在设计目标、内存布局和运行开销上完全不同。
转发指针的内存布局与初始化
Shenandoah 在每个 Java 对象的对象头中预留一个 8 字节空间(64 位 JVM 下),用于存放转发地址。该字段不是额外添加的“指针容器”,而是直接复用或紧邻现有对象头结构,不改变字段偏移、不破坏 JIT 编译器对对象布局的假设。
- 对象刚分配时,该字段值等于对象起始地址(self-forwarded 状态)
- GC 线程决定疏散该对象时,在 to-region 分配新副本并复制所有字段
- 随后通过 CAS 原子操作将原对象头中的转发指针更新为新地址,确保多线程安全
- 旧对象内存暂不释放,直到所有访问完成且引用更新阶段确认无活跃旧引用
读屏障如何触发重定向
每次通过引用加载对象字段前(即执行 aload、getfield 等字节码),JVM 插入轻量级读屏障逻辑。该逻辑检查对象头的转发指针是否已更新,并据此决定是否跳转:
- 若转发指针仍指向自身 → 直接按原地址访问,无额外分支开销
- 若已更新为有效新地址 → CPU 跳转至新地址继续执行字段读取
- 首次跳转后,线程可能缓存新地址(如栈帧局部变量被“自愈”更新),后续访问不再触发重定向
- 写操作也经过相同路径,确保不会误写到旧内存区域
为什么不是 Brooks Pointer
Brooks Pointer 是 Azul Zing JVM 中 C4 收集器的技术:它把对象改造成纯指针容器,所有字段外移到堆外结构,对象本体只剩一个指向该结构的指针。每次字段访问都强制两次解引用(先读指针、再读字段),开销稳定且不可省略。
- Shenandoah 保持原始对象布局不变,字段仍内联在对象体内,JIT 可正常做字段偏移内联、逃逸分析等优化
- 转发指针只在对象被移动后、且首次被读取时引入一次条件跳转,而非每次访问都付出固定开销
- 无需改造类加载器或运行时对象模型,兼容性强,工程落地更可控
- 避免了 Brooks 方案带来的额外内存占用与缓存行浪费问题
并发阶段与 STW 控制点
转发指针使 Shenandoah 能把对象移动、标记、压缩全部移到并发阶段完成,STW 仅保留在两个极短环节:
- 初始标记(Initial Mark):扫描 GC Roots,确定初始存活集,通常 sub-millisecond
- 最终引用更新(Final Update References):仅遍历根集合(栈帧、寄存器、静态字段等),修正其中仍指向旧地址的引用,耗时与根数量相关,一般 ≤10ms
- 堆内引用无需批量更新,靠读屏障+转发指针惰性兜底,真正实现“移动不卡顿”

















