带你深入解析java虚拟机：垃圾优先的垃圾回收器（G1 GC

既然Mixed GC属于Partial GC，那么它也会面临跨代引用问题，因为它回收整个新生代和部分老年代Region，所以一个老年代Region的根集包括GC Root和从老年代Region指向老年代Region的引用（old->old），新生代Region根集包括GC Root和老年代Region指向新生代Region的引用（old->young）。

G1使用RSet记忆集记录这些跨代引用。在记忆集设计中一般包含两种方式：一种是points-into记忆集，它表示“哪些对象引用了我”；另一种是points-out记忆集，它记录的是“我引用了哪些对象”。G1同时使用两种方式，如图11-2所示。

图11-2 G1 RSet

假设有a.field = b，如果使用points-into记忆集，那么b拥有记忆集，它记录a的位置。如果使用points-out记忆集，那么a拥有记忆集，它记录b的位置。G

《一线大厂Java面试题解析+后端开发学习笔记+最新架构讲解视频+实战项目源码讲义》

【docs.qq.com/doc/DSmxTbFJ1cmN1R2dB】 完整内容开源分享

1的记忆集RSet同时使用两种设计，首先使用points-into结构来记忆有哪些其他Region引用自身（即对象b所在Region记录引用自身的对象a所在Region），然后每个Region包含一个points-out的卡表结构，记录指向当前对象的对象的具体位置（即对象b所在Region的卡表的索引）。

在G1堆中，每个Region会关联一个RSet，后置写屏障（g1_write_barrier_post）捕获Mutator线程向对象写入的每个值。如果发现写入操作导致两个对象产生old->old或者old->young关系，那么可以更新RSet，并将对象写入线程局部的DirtyCardQueue（DCQ），当线程局部的DCQ已满后，再将DCQ放入全局的DirtyCardQueueSet（DCQS）。

出于性能考虑，写屏障内的代码应该尽可能简单和高效，g1_write_barrier_post只负责发现那些产生old->old或者old->young关系的修改，并将对象加入DCQ。后续处理DCQ中的对象及更新RSet的操作则由专门的Refine线程负责。Refine线程取出DCQS中的DCQ的对象，找到被该对象引用的对象，然后更新被引用对象所在的Region的RSet，如代码清单11-1所示：

代码清单11-1 更新RSet

void G1ConcurrentRefineOopClosure::do_oop_work(T* p) {

T o = RawAccess<MO_VOLATILE>::oop_load§;

if (CompressedOops::is_null(o)){ return; }

oop obj = CompressedOops::decode_not_null(o);

if (HeapRegion::is_in_same_region(p, obj)) {

return; // 如果对象和被引用对象在同一个Region中，则不需要处理

}

// 如果在不同Region中，则需找到被引用者所在Region的RSet

HeapRegionRemSet* to_rem_set = _g1h->heap_region_containing(obj)->rem_set();

// 在被引用者的RSet中添加关系

if (to_rem_set->is_tracked()) {

to_rem_set->add_reference(p, _worker_i);

}

}

停顿预测模型
前面提到Mixed GC回收整个新生代和部分老年代Region，对于部分老年代Region的选择也有些讲究。G1会根据历史数据进行数学运算，计算出本次回收需要选择的老年代Region数量，以此来达到用户设置的-XX:MaxGCPauseMillis时间，即满足用户期望的GC不能超过最长停顿时间。注意，如果这个时间设置得不合理，G1也达不到期望。