g1 垃圾回收器中的 remembered set( remembered set,简称 rset)是用于记录跨代引用关系的辅助数据结构。它的主要作用是加速混合收集(mixed gc)过程中的根节点搜索,避免对老年代中所有对象进行全量扫描以判断其是否被年轻代引用。g1 将堆划分为多个大小相等的 region,rset 通常以 region 为粒度存储,每个 region 对应一个 rset,用于记录指向该 region 的引用来源。

为什么需要 Remembered Set
在 G1 的混合收集阶段,GC Roots 不仅包括全局引用,还包括来自年轻代的引用。如果没有 RSet,G1 必须遍历老年代中的所有对象,检查它们是否有字段指向年轻代,这将带来巨大的性能开销。RSet 通过记录“谁引用了我”,让 G1 能够快速定位到那些可能被年轻代对象引用的老年代 Region,从而缩小扫描范围。

import java.util.ArrayList;
import java.util.List;
public class G1RSetExample {
// 模拟老年代对象
static class OldObject {
Object ref;
}
// 模拟年轻代对象
static class YoungObject {
int value;
}
public static void main(String[] args) {
List<OldObject> oldObjects = new ArrayList<>();
for (int i = 0; i < 1000; i++) {
OldObject obj = new OldObject();
obj.ref = new YoungObject(); // 老年代对象引用年轻代对象
oldObjects.add(obj);
}
System.gc(); // 触发 GC,观察 RSet 行为
}
}
上述代码中,`OldObject` 位于老年代,`YoungObject` 位于年轻代。当 `OldObject` 引用 `YoungObject` 时,G1 会在 `OldObject` 所在的 Region 的 RSet 中添加一条记录,表明该 Region 包含指向年轻代的引用。这样,在年轻代 GC 时,G1 只需检查这些特定的 Region,而不是整个老年代。
立即学习“Java免费学习笔记(深入)”;
RSet 的实现细节与更新策略
G1 使用 Card Table 来追踪引用更新,并结合 RSet 实现高效的跨代引用管理。当发生写操作时,G1 会通过 Barrier Set 机制记录引用变化。RSet 的更新策略主要有两种:精确更新和延迟更新。精确更新在每次写操作时立即更新 RSet,而延迟更新则批量处理,以减少停顿时间。G1 默认采用延迟更新策略,以平衡性能和停顿时间。

class G1RSetUpdate {
void updateRef(Object target) {
// 模拟写屏障
if (target != null) {
// 记录引用关系到 RSet
recordInRSet(this, target);
}
}
private void recordInRSet(Object source, Object target) {
// 实际实现由 JVM 内部处理
// 这里仅示意逻辑
}
}
在 `G1RSetUpdate` 类中,`updateRef` 方法模拟了写屏障的行为。当 `source` 引用 `target` 时,`recordInRSet` 方法会被调用,将这一引用关系记录到 RSet 中。这种机制确保了 RSet 的准确性,同时尽量减少对程序执行的影响。
RSet 对 GC 性能的影响
RSet 的存在显著提升了 G1 垃圾回收的效率,尤其是在混合收集阶段。通过减少不必要的扫描,G1 能够更快地完成垃圾回收,降低停顿时间。然而,RSet 的维护也需要一定的开销,特别是在高并发场景下。G1 通过优化 RSet 的更新策略和数据结构,尽量平衡这一开销,确保整体性能最优。


















