G1垃圾回收器采用分区（Region）的内存布局，每个Region独立管理对象分配与回收，这种布局下跨代引用成为影响回收效率的核心问题。记忆集（Remembered Set，RSet）就是G1用来解决跨代引用记录的关键数据结构，其更新逻辑直接决定了增量回收过程中跨代引用的处理成本，进而影响整体回收效率。
G1 RSet的基本结构
G1中每个Region都维护一个独立的RSet，用来记录其他Region中指向当前Region内对象的引用。RSet的核心结构是哈希表，键是引用来源Region的起始地址，值是该Region内具体引用当前Region对象的卡表（Card Table）索引集合。卡表是更小的内存粒度，每个卡页对应512字节的内存区域，当卡页内发生引用更新时，对应卡页会被标记为脏卡。
这种设计避免了全堆扫描跨代引用，回收时只需要扫描待回收Region的RSet，就能找到所有外部引用，大幅降低引用查找的成本。
RSet的更新逻辑触发与流程
更新触发时机
RSet的更新分为两种触发场景：
- 写屏障触发：当程序中发生对象引用赋值操作（如obj.field = newObj）时，会触发G1的写屏障逻辑，检查引用是否跨Region，如果是则标记对应卡页为脏卡，后续由并发标记线程或增量更新线程处理。
- 并发标记触发：在G1的并发标记阶段，会扫描所有脏卡，将卡页中记录的跨代引用更新到目标Region的RSet中。
具体更新流程
写屏障触发的更新流程可以简化为以下步骤：
- 执行对象引用赋值操作，触发写屏障前置逻辑。
- 判断赋值操作的源对象和目标对象是否位于不同的Region，且不属于同一代（如新生代对象引用老年代对象，或老年代对象引用新生代对象）。
- 如果是跨代引用，找到源对象所在Region对应的卡页，将该卡页标记为脏卡。
- 并发标记阶段或者新生代回收前的准备阶段，扫描所有脏卡，解析卡页内的引用关系，将跨代引用信息写入目标Region的RSet。
以下是简化后的写屏障伪代码示例：
// G1写屏障简化逻辑
void write_barrier(Object obj, Object new_value) {
// 原始赋值操作
obj.field = new_value;
// 检查是否为跨Region引用
if (is_cross_region(obj, new_value)) {
// 获取源对象所在Region的卡页
Card* card = get_card(obj);
// 标记卡页为脏卡
card.mark_dirty();
}
}
跨代引用对增量回收效率的影响
G1的增量回收核心目标是控制单次回收的停顿时间，将回收工作拆分成多个小步骤执行，而RSet的更新逻辑直接决定了跨代引用的处理成本，进而影响增量回收的效率：
1. 减少全堆扫描开销
如果没有RSet，增量回收时需要扫描整个堆的所有对象，查找指向待回收Region的引用，这种全堆扫描的开销会随着堆大小线性增长，完全违背增量回收的设计目标。RSet通过提前记录跨代引用，让回收时只需要扫描RSet中的少量引用，将引用查找的开销从O(堆大小)降低到O(RSet大小)，大幅提升增量回收的响应速度。
2. 更新开销与回收停顿的平衡
RSet的更新不是没有成本的，写屏障的额外逻辑会增加每次引用赋值的开销，而脏卡扫描和RSet更新的过程也会占用回收阶段的停顿时间。如果跨代引用非常频繁，会产生大量脏卡，导致RSet更新和扫描的时间变长，直接增加增量回收的停顿时间。G1通过控制RSet的大小、优化脏卡扫描的并发度，来平衡更新开销和回收效率。
3. 增量回收的吞吐量影响
过多的跨代引用会导致RSet膨胀，不仅增加更新开销，还会让回收时需要处理的引用数量变多，降低回收的吞吐量。如果应用中存在大量跨代引用，比如老年代对象长期持有新生代对象的引用，会导致新生代回收时需要扫描大量RSet，增加回收停顿，同时也会让老年代回收的增量拆分效果变差，整体吞吐量下降。
优化思路与总结
理解RSet的更新逻辑后，我们可以通过减少不必要的跨代引用来提升增量回收效率：比如避免老年代对象长期持有新生代对象的引用，合理设置G1的Region大小，减少跨Region引用的概率。同时G1也提供了相关参数调整RSet的处理逻辑，比如-XX:G1RSetRegionEntries用来设置RSet的哈希表大小，-XX:G1ConcRefinementThreads用来设置并发处理脏卡的线程数，这些参数都可以根据应用中跨代引用的实际情况进行调整。
总的来说，G1的RSet更新逻辑是平衡跨代引用处理成本和增量回收效率的核心，其设计本质是用少量的写时开销和内存空间，换取回收时大幅降低的引用查找成本，最终实现可控停顿的增量回收目标。