图解ZGC

图解ZGC

简介

支持的版本

目标

jdk11版本最大可以支持4TB内存 
jdk13最大可以支持16TB内存
最大停顿时间在10毫秒以内
吞吐量最多降低15%即假设不用ZGC需要1000毫秒才可以回收完
用ZGC最多需要1150毫秒可以回收完
这个影响不大 反正stw时间缩小了

暂时不分代

ZGC底层算法比较🐂，实现分代还比较麻烦，目前还未做到分代
现在还是简单的版本，后续可能会做到分代
即目前还未解决对象生命周期不一致的情况

分代的必要性

对象是有生命周期的
年轻代都是朝生夕死的对象
老年代都是一些老不死的对象
如果老年代和年轻代一样朝生夕死 那还得了
整个堆时时刻刻要做GC

ZGC内存布局

和G1类似 都是分成一个一个小的内存区域
区别是没有分代的概念了
只有小型、中型、大型的区域区分

重要概念

NUMA

UMA 统一内存访问架构
所有的CPU都同时访问内存
那么就会涉及到内存的争抢
争抢失败会有锁竞争 
即使使用CAS还是有损耗
但是使用UNMA会避免这种情况

UMA

多个CPU同时访问同一块内存

每个cpu访问不同的内存块
每个内存块允许特定cpu具有优先访问权
避免了分配内存和使用内存资源争抢的问题
ZGC底层可以自动识别NUMA架构

ZGC运作过程

gc过程最耗时的阶段是并发标记和并发清理
zgc将并发清理阶段分成了并发预备重分配、并发重分配阶段

G1在筛选回收阶段是STW的
Shenandoah基于G1的 相当于G1的升级版本
G1中很多未实现的功能在Shenandoah中都有实现 
比如Shenandoah就在筛选回收阶段实现了并发

并发标记

G1和CMS在并发标记阶段有一个三色标记
这些标记都在对象头的gc标记上
ZGC不会将标记信息放在对象内部
而是放在对象存储的内存空间那个指针上面
这就是颜色指针

并发预分配

类比g1的计算回收收益比
看看哪些region需要回收
哪个region回收收益比高
计算好之后 zgc不是马上去清理 g1此时会马上清理

每次gc都会扫描所有的region 
没有g1中的卡表(remember set 记忆集)的维护成本

并发重分配

将存活对象复制到另一块区域
那么这些对象的引用地址都变了
如果是g1的话筛选回收阶段 因为它是stw的
将对象复制过来之后 就会立马修改引用
但zgc这个过程是和用户线程并发执行的
所以不能直接将老的引用地址修改为新的
zgc是通过读屏障实现的
当读取到老的引用的之后 通过引用中的颜色指针判断引用是否变更
就会将新的引用替换掉老的引用

对象变更的几个点

• 并发标记时新增的对象

将这样的对象用黑色标记 下一次gc过程再回收

• 并发标记时老的对象状态变更

这部分对象在重新标记或最终标记的过程会修正
比如存活对象变成了垃圾对象就会讲gcroot引用链上剔除

• 将存活对象复制到新的region区

CMS 并发清理 ，过程中的新增对象用黑色标记 下次gc回收
G1 筛选回收 该过程stw 直接将对象老的地址更新为新的
ZGC 并发重分配 将新-老映射关系记录在转发表 用户线程访问访问老的对象时会通过转发表路由到新的地址

并发重映射过程

该过程就是将gcroot上老的对象引用更新为新的对象引用

这个过程实际上并没有做处理 而是将这个过程放在了下一次gc并发标记中去了

这样就节省了一次遍历对象图的开销

一旦所有指针被修正了之后 原来记录新旧对象关系转发表就可以释放了

颜色指针(染色指针)

颜色指针不可以被压缩

32位可以做指针压缩 
总共64位 小于等于35位 即<=32G 可以做指针压缩 可以压缩到32位去存储
cpu寻址还是用的35位

真正使用的时候 还要解压缩变成35位才能够寻址到完整的32个g
cpu使用的是是35位 存到内存对象中压缩成32位了

jvm目前实现 最多35位之内的可以做指针压缩

zgc至少用42+4=46位 所以没有办法做指针压缩

读屏障

在并发重新分配阶段 将有效对象复制到另外一个空的region区中
原有的引用地址要更新 （惰性更新）
将从堆中拿老的对象值的时候