GC中的一些设计

柔光的暖阳◎ 2024-03-30 15:40 80阅读 0赞

### OopMap（ordinary object pointer map） ###

#### 记录时机 ####

1.  JIT编译时在特定的位置（安全点/安全区）记录下OopMap，记录了执行到该方法的某条指令的时候，栈上和寄存器里哪些位置是引用
2.  类加载动作完成时，HotSpot就会计算出对象内什么偏移量上是什么类型的数据

#### 设计目标 ####

1.  加速GCRoot遍历，避免栈扫描
2.  准确式GC

### Remember Set ###

跨代/跨区引用关系记录

#### 实现方式 ####

1.  稀疏表，字典=hash table（底层使用数组实现），key是region index，value是card数组，详细记录跨区引用的关系
2.  细粒度表，数组=array（PerRegionTable），每个数组元素指向引用者分区中512字节内存块对本分区的引用情况。详细记录引用者分区内所有对本分区的每个引用关系。当稀疏表指定region的card数量超过阈值时，则在细粒度PRT中创建一个对应的PerRegionTable对象，其包含一个C heap位图，每一位对应一个card
3.  粗粒度表，位图=bitmap，每个位代表一个分区，表示该分区对本分区存在引用。当细粒度PRT size超过阈值时，则退化为分区位图，每一位表示对应分区有引用到当前分区

#### 记录范围 ####

##### G1 #####

1.  分区内部引用（region）：不需要记录RSet
2.  新生代引用新生代：不需要记录RSet
3.  新生代引用老生代：不需要记录RSet，Young GC（YGC）无需知道该引用关系。MixGC时G1会先进行YGC，然后使用YGC后的Survivor分区作为根（“借道”），因此也无需知道该引用关系。Full GC更无需知道该层关系
4.  老生代引用老生代：需要记录RSet
5.  老生代引用新生代：需要记录RSet

#### 引用关系记录 ####

通常有两种方法记录引用关系：Point In/Point Out  
假设有引用关系如下：ObjB.feild= ObjC

1.  point out：在对象B的RSet中记录对象C的地址。记录简单，如果判断一个对象是有用/无用，需要遍历RSet，才能确定没有任何对象引用某个对象
2.  point in：在对象C的RSet中记录对象B的地址。记录复杂，如果判断一个对象是有用/无用，不需要遍历RSet

G1采用的是point in方法

### SATB（Snapshot At The Beginning） ###

G1为并发标记引入SATB算法。该算法有个前提是堆的对象内存分配是连续。个人认为还有一个前提是使用了标记-整理算法，不存在内存碎片，新对象不会被分配至碎片内存中

1.  Bottom/Pre/Next/Top指针，用于工作内存区域划分
    
    1.  Bottom：指向堆内存起始位置
    2.  Pre TAMS（Top-At-Mark-Start）：指向上一次并发标记处理后的内存地址终点
    3.  Next TAMS（Top-At-Mark-Start）：指向并发标记开始之前堆内存已分配成功的地址终点
    4.  Top：指向并发标记开始之后当前堆内存分配成功的地址终点
2.  NextBitmap/PreBitmap位图，用于记录标记状态。记录PreBitmap的好处是如果标记失败，不会丢失上一次内存标记状况（即Pre指针之前的内存标记状况）

![satb.drawio.png][]

### 消失的对象问题（Lost Object Problem） ###

黑色：已经扫描过对象所有的引用  
灰色：扫描中，还未完成所有引用的扫描  
白色：未扫描或垃圾对象（在完成所有扫描标记之后，依然是白色，则说明是可以回收的垃圾对象）

#### 问题描述 ####

标记过程中修改了引用关系，B.C=null，A.D=D，此时如果不做特殊处理的话，那么D会被误杀，因为A已经为黑色标记完成，不会再尝试去标记它的子节点D  
![Lost Object Problem.drawio.png][]

#### 解决方法 ####

问题出现的前提条件必须同时满足下面两个条件

1.  新增黑色节点对白色节点的引用
2.  删除灰色节点对白色节点的直接/间接引用

CMS解决方法是针对条件1：新增黑色节点对白色节点引用时会将新引用关系的引用者（黑色节点）标记为灰色  
![Lost Object Problem-第 2 页.drawio.png][Lost Object Problem-_ 2 _.drawio.png]

G1/ZGC解决方法是针对条件2：删除灰色节点对白色节点引用时会将老引用关系的被引用者标记为灰色  
![Lost Object Problem-第 3 页.drawio.png][Lost Object Problem-_ 3 _.drawio.png]

[satb.drawio.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/4d5daf08d5714013b6663ead9de2ec07.png
[Lost Object Problem.drawio.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/c9eef9fef0d540e6b259cc87e7bf340d.png
[Lost Object Problem-_ 2 _.drawio.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/6597e48668a845a28321a4029c0ec12b.png
[Lost Object Problem-_ 3 _.drawio.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/30/2a402692cef34a4c8cb9fa7b883ff20c.png