写屏障和记忆集协同解决跨代引用问题：写屏障拦截“老→新”赋值并标记卡表为脏，记忆集汇总脏卡供GC精准扫描，避免全堆遍历。

写屏障和记忆集是现代垃圾收集器解决跨代或跨区域引用问题的配套机制，核心目标是让局部回收（比如只收新生代）不漏掉被外部区域引用的存活对象，同时避免全量扫描非回收区域带来的性能开销。

写屏障：跨代写操作的“哨兵”

它不是独立运行的组件，而是嵌入在赋值语句执行路径中的轻量级拦截逻辑。当程序执行类似 obj.field = youngObj 这样的操作时，若 obj 在老年代 且 youngObj 在年轻代，写屏障就会被触发。

• 只对“老→新”这类影响 Minor GC 正确性的写入生效；“新→老”不触发，因为不影响年轻代对象的存活判断
• 不记录具体引用，而是标记底层结构（如卡表）中对应内存块为“脏”
• 由 JIT 编译器在生成机器码时自动插入，对 Java 或 JavaScript 开发者完全透明

记忆集：脏数据的“索引地图”

它是写屏障行为的结果聚合体，本质是一张“哪些地方可能存有指向回收区的引用”的速查表。最常用实现是卡表——把老年代按 512 字节划分为卡页，每个卡页用 1 个字节标记是否含跨代引用。

• Minor GC 开始前，GC 线程只需扫描所有“脏卡”覆盖的老年代内存块，跳过干净区域
• 粒度越粗（如卡表），内存占用越小、更新越快，但扫描略冗余；粒度越细（如精确表），扫描精准但开销大
• G1 中的记忆集按 Region 维护，配合写屏障记录跨 Region 引用，支撑混合回收

二者如何协同工作

写屏障负责“发现变更”，记忆集负责“汇总位置”。一次老年代对象修改其字段指向年轻代对象，会触发写屏障 → 标记对应卡页为脏 → GC 读取卡表 → 定位到该卡页 → 扫描其中所有对象的引用字段 → 找出真正指向年轻代的引用，作为 GC Roots 的一部分。

• 没有写屏障，记忆集就无法及时更新，GC 可能漏标导致对象被错误回收
• 没有记忆集，写屏障即使捕获了变更，也无法高效组织这些信息供 GC 使用
• 它们共同压缩了原本需要遍历整个老年代的成本，把扫描范围控制在极小的脏卡集合内

不同收集器的实践差异

虽然原理一致，但具体实现策略因收集器而异：

• G1 使用两级日志缓冲（线程本地 + 全局队列）批量处理写屏障记录，降低同步开销
• CMS 采用增量更新式写屏障，黑色对象新增指向白色对象的引用时，将其重新变灰并延迟重扫
• ZGC 和 Shenandoah 改用读屏障，把检查逻辑移到对象读取时，更适合低延迟场景
• V8 的写屏障专为分代回收设计，仅关注老→年引用，且与卡片标记、记忆集紧密耦合