深入解析Shenandoah垃圾回收器读写屏障软件实现原理

Shenandoah GC的读写屏障并非依赖特殊硬件，而是由JVM在编译或解释字节码时自动插入屏障逻辑。结合对象头中的转发指针（Brooks pointer），构成一套支持并发标记与并发转移的垃圾回收方案。整个过程无需特殊CPU指令，也无需全局Stop-The-World暂停（仅根扫描需要短暂停顿），兼容性极佳，代价是CPU开销略有增加。

该机制的核心思想简洁明了：避免应用线程等待GC，而是让GC与应用线程并行运行，在移动对象的同时确保应用线程始终访问迁移后的最新数据。以下详细解析其实现原理。

读屏障：保证读取操作获取迁移后对象

当应用线程执行getfield、aload等读引用指令时，JVM会在之前插入屏障代码。该屏障执行以下操作：首先检查对象头中Brooks转发指针（fwdptr）是否有效；若指向其他地址，则直接返回新地址的对象引用；若fwdptr未设置（对象未搬迁）或指向自身，则返回原对象。整个过程在用户线程上下文中完成，无需加锁或系统调用，开销完全可控。

写屏障：管理对象更新时机并辅助转发

写屏障挂载在putfield、astore等写引用指令附近。它不仅是拦截写入操作，更重要的是协调状态：首先检查全局标志位，判断GC是否处于并发转移阶段；若在转移中且目标对象已有有效fwdptr，则将写操作重定向到新对象；若对象未转发但GC已标记为“待转移”，部分实现会触发“预转发”——主动完成复制并设置fwdptr。这样避免了“写入旧地址后GC再搬迁导致数据不一致”的问题。

Brooks指针与读写屏障的协同设计

Shenandoah在每个对象头前面附加了一个转发指针（早期版本固定占用8字节，2.0之后临时复用Mark Word，显著节省空间），所有屏障行为都依赖该指针锚定：

• 读屏障通过检查fwdptr决定是否重定向，本质是“懒加载式重映射”——仅在需要时确认地址有效性。
• 写屏障不仅检查fwdptr，还会在必要时通过CAS操作协助设置，确保多线程环境下转发操作的原子性。
• 屏障仅作用于引用类型字段（如Object、数组引用），基本类型（int、long等）不触发，从而进一步降低开销。
• 根集合（GC Roots）扫描仍需短暂STW，但耗时极短且与堆大小无关，不会造成应用整体暂停。

与ZGC染色指针的本质区别

ZGC将元信息（如“对象是否已被重定位”）直接编码到64位指针的高位，通过硬件触发内存访问陷阱通知GC。Shenandoah则采用纯软件路线：

• 不依赖特殊CPU指令或操作系统陷阱，兼容性更强，可在JDK 8上直接运行。
• 屏障逻辑由JIT编译器内联展开，热点路径经深度优化后性能表现优异。
• 代价是每个对象占用额外存储（早期版本明显，2.0后大幅改善），以及屏障消耗少量CPU周期。