ZGC在三色指针中的应用

ZGC基于颜色指针的并发处理算法

ZGC初始化之后,整个内存空间的地址视图被设置为Remapped,当进入标记阶段时的视图转变为Marked0(也称为M0)或者Marked1(也称为M1),从标记阶段结束进入转移阶段时的视图再次设置为Remapped。ZGC通过视图的切换加上SATB算法实现并发处理。具体算法如下。

1.初始化阶段

在ZGC初始化之后,此时地址视图为Remapped,程序正常运行,在内存中分配对象,满足一定条件后垃圾回收启动

2.标记阶段

第一次进入标记阶段时视图为M0,在标记阶段,应用程序和标记线程并发执行,那么对象的访问可能来自标记线程和应用程序线程。

  • 标记线程:它从根集合开始标记对象,在标记前先判断对象的地址视图,如果发现对象的地址视图是M0,说明对象是在进入标记阶段之后新分配的对象或者对象已经完成了标记(对象活跃),无须处理。如果发现对象的地址视图是Remapped,说明对象是前一阶段分配的,而且通过根集合可达,所以把对象的地址视图从Remapped调整为M0。(M0表示活跃)
  • 应用程序线程如果创建新的对象,则对象的地址视图为M0。
    如果应用程序线程访问对象并且对象的地址视图是Remapped,说明对象是前一阶段分配的,按照SATB的算法,只要把该对象的视图调整为M0就能防止对象漏标。只标记应用线程访问到的对象还不够,实际上还需要把对象的成员变量所引用的对象都进行递归标记。如果应用线程访问对象地址视图是M0,说明对象是在进入标记阶段之后新分配的对象或者对象已经完成了标记,无须额外处理,直接访问。

所以,在标记阶段结束之后,对象的地址视图要么是M0(活跃),要么是Remapped(垃圾)。这里的虚拟地址虽然不一样,但是指向的是物理内存的同一个区域

所有标记为M0的对象放入活跃信息表

3.并发转移阶段

标记结束后就进入转移阶段,此时地址视图再次被设置为Remapped。

转移阶段会把活跃对象转移到新的内存中,并回收对象转移前的内存空间。在转移阶段,应用程序和标记线程并发执行,那么对象的访问可能来自转移线程和应用程序线程。

  • 转移线程:转移线程仅仅根据活跃对象进行转移。当转移线程访问对象时:

    如果对象在对象活跃信息表中并且视图为M0,则转移对象,并且视图从M0调整为Remapped。

    如果对象在对象活跃信息表中并且视图Remapped,说明对象已经被转移,无须处理。

  • 应用程序线程如果创建新的对象,则对象的地址视图为Remapped。

    如果应用线程访问对象且不在活跃信息表中,则说明是新创建的或者对象无须转移,无须处理。

    如果应用线程访问对象且在活跃信息表中且视图为Remapped,说明对象已经被转移,无须处理。

    如果应用程序线程访问在对象活跃信息表中,且视图为M0,说明对象是标记阶段标记的活跃对象,所以需要转移对象

    在对象转移以后,对象的地址视图从M0调整为Remapped;
    注意,只把应用线程读到的对象进行转移还不够,实际上还需要把对象的成员变量所引用的对象都进行转移,ZGC对这一实现做了优化,由转移线程完成对象成员变量的转移。

    至此,ZGC的一个垃圾回收周期中,并发标记和并发转移就结束了。

我们提到在标记阶段存在两个地址视图M0和M1,上面的算法过程显示只用到了一个地址视图,为什么设计成两个?简单地说是为了区别前一次标记和当前标记。

第一次垃圾回收时地址视图为M0,假设标记了两个对象ObjA和ObjB,说明ObjA和ObjB都是活跃的,它们的地址视图都是M0。在转移阶段,ZGC是按照页面进行部分内存垃圾回收的,也就是说当对象所在的页面需要回收时,页面里面的对象需要被转移,如果页面不需要转移,页面里面的对象也就不需要转移。

假设ObjA所在的页面被回收,ObjB所在的页面在这一次垃圾回收中不会被回收。ObjA被转移后,它的地址视图从M0调整为Remapped,ObjB不会被转移,ObjB的地址视图仍然为M0。

那么下一次垃圾回收标记阶段开始的时候,存在两种地址视图的对象

  1. 地址视图为Remapped的对象,说明该对象在并发转移阶段被转移或者被访问过;
  2. 地址视图为M0的对象,说明该对象在前一次垃圾回收的标记阶段已经被标记。

如果本次垃圾回收标记阶段仍然使用M0这个地址视图,那么就不能区分出对象是活跃的,还是上一次垃圾回收标记过的。

所以新标记阶段使用了另外一个地址视图M1,则标记结束后所有活跃对象的地址视图都为M1。

此时这3个地址视图代表的含义是:

  • M1:本次垃圾回收中识别的活跃对象。
  • M0:前一次垃圾回收的标记阶段被标记过的活跃对象,对象在转移阶段未被转移,但是在本次垃圾回收中被识别为不活跃对象。
  • Remapped:前一次垃圾回收的转移阶段发生转移的对象或者是被应用程序线程访问的对象,但是在本次垃圾回收中被识别为不活跃对象。

上述过程算法演示

image.png

image.png

image.png

作者:西部小笼包

链接:https://www.jianshu.com/p/664e4da05b2c

这个介绍比较详细

ZGC 详解 - 简书

相关推荐
liuliuliuliuyujie4 分钟前
缓冲流练习
java
逍遥的编程笔记5 分钟前
实现Vue-tiny-diff算法
前端·javascript·vue.js·算法·vue源码
T0uken12 分钟前
【算法模板】图论:Tarjan算法求强连通分量
算法·图论
姜君竹13 分钟前
安卓碎片Fragment
android·java·开发语言·学习·ui
2301_7978596715 分钟前
CF 训练2
数据结构·算法
ZKang_不会过人17 分钟前
day 51 第十一章:图论part02 99.岛屿数量 深搜 99.岛屿数量 广搜 100.岛屿的最大面积
算法·深度优先·图论
Aurora_th17 分钟前
洛谷 P1347 排序(福建省历届夏令营)(图论:拓扑排序)
数据结构·c++·算法·图论·拓扑排序·洛谷
张天龙19 分钟前
【SpringBoot】Java对象级联校验
java·spring boot
荣世蓥21 分钟前
5.C_Demo_排序
c语言·数据结构·算法
安…..26 分钟前
力扣第五十四题——螺旋矩阵
算法·leetcode·职场和发展