shenandoah并发整理安全运行的核心是brooks转发指针、读屏障与硬件cas协同:对象头插入原子fwdptr初始指向自身,gc搬迁后cas更新为新地址;读屏障在每次引用访问时检查并自动跳转,确保旧引用仍有效且语义一致。

Shenandoah 收集器的并发整理(Concurrent Evacuation)之所以能安全运行,核心在于它不依赖全局停顿,而是靠一套软硬协同的机制来应对多线程竞争——Brooks 转发指针、读屏障和硬件级 CAS 指令三者缺一不可。
Brooks 指针提供对象身份抽象
每个对象头前静态插入一个转发指针(fwdptr),初始指向自身。当 GC 线程开始搬迁该对象时,这个指针会被原子更新为新副本地址。它让“对象逻辑身份”和“物理位置”分离:用户线程看到的始终是稳定的身份,底层内存可自由漂移。
- 旧引用仍有效,访问时由读屏障自动跳转到新位置
- 无需一次性更新所有引用点,GC 完成复制后只改一个指针即可
- 即使栈、寄存器里还存着旧地址,也能被屏障兜底保障语义一致
读屏障拦截每次对象引用访问
JVM 在每次通过引用读取对象字段前插入轻量级读屏障。它不是对所有内存访问加锁,而是精准作用于对象引用类型——只在真正需要判断是否重定向时才介入。
- 检查 Brooks 指针是否已更新;若未完成,可能触发等待或协助搬迁
- 屏蔽了用户线程看到中间态(如 null 或半写入地址)的可能性
- 避免了传统页保护陷阱带来的用户态/内核态切换开销
硬件 CAS 保证指针更新的原子性
转发指针的修改必须一步到位,否则多个线程同时操作会引发竞态。Shenandoah 底层调用 CPU 原生 CAS 指令(如 x86 的 CMPXCHG、ARM 的 LDXR/STXR)执行更新。
- CAS 失败说明已有其他线程抢先完成搬迁,当前线程直接读新指针跳过复制
- 单次 CAS 延迟在纳秒级,远低于毫秒级 STW 成本
- 现代多核 CPU 对 CAS 有缓存行锁定等优化,扩展性好
不靠锁,也不靠顺序化
全局锁或区域锁会严重抵消并发收益。Shenandoah 选择无锁(lock-free)路径,把同步成本压到最低:
- 失败重试开销可控,实践中绝大多数对象一次 CAS 就成功
- 要求运行环境支持对应原子指令(x86_64、AArch64),32 位 ARMv7 不支持
- 启用时需确认 JVM 参数正确:-XX:+UnlockExperimentalVMOptions -XX:+UseShenandoahGC











