垃圾回收器比较: G1 vs CMS

短命女 2022-04-18 01:16 664阅读 0赞

转载：[https://www.jianshu.com/p/bdd6f03923d1][https_www.jianshu.com_p_bdd6f03923d1]

最近看了[Garbage-First Garbage Collection][] 和 [A Generational Mostly-concurrent Garbage Collector][]这两篇论文，这里总结下两者的异同。

1. 分代收集

这个现在是垃圾回收器的标配，G1和CMS也不例外。但是G1同时回收老年代和年轻代，而CMS只能回收老年代，需要配合一个年轻代收集器。另外G1的分代更多是逻辑上的概念，G1将内存分成多个等大小的region，`Eden`/ `Survivor`/`Old`分别是一部分region的逻辑集合，物理上内存地址并不连续。

![Image 1][]

G1逻辑分代

CMS在old gc的时候会回收整个Old区，对G1来说没有old gc的概念，而是区分`Fully young gc`和`Mixed gc`，前者对应年轻代的垃圾回收，后者混合了年轻代和部分老年代的收集，因此每次收集肯定会回收年轻代，老年代根据内存情况可以不回收或者回收部分或者全部(这种情况应该是可能出现)。

2. 如何处理跨代引用

在垃圾回收的时候都是从Root开始搜索，这会先经过年轻代再到老年代，对于年轻代引用老年代的这种跨代不需要单独处理。但是老年代引用年轻代的会影响`young gc`，这种跨代需要处理。  
为了避免在回收年轻代的时候扫描整个老年代，需要记录老年代对年轻代的引用，`young gc`的时候只要扫描这个记录。CMS和G1都用到了`Card Table`，但是用法不太一样。JVM将内存分成一个个固定大小的`card`，然后有一个专门的数据结构(即这里的`Card Table`)维护每个`Card`的状态，一个字节对应一个`Card`，有点像内存page的概念，只是page是硬件上的，`Card Table`是软件上的。当一个`Card`上的对象的引用发生变化的时候，就将这个`Card`对应的`Card Table`上的状态置为dirty，`young gc`的时候扫描状态是`dirty`的`Card`即可。这是基本的用法，CMS基本上就是这么使用。  
G1在`Card Table`的基础上引入的`remembered set`(下面简称`RSet`)。每个region都会维护一个`RSet`，记录着引用到本region中的对象的其他region的`Card`。比如A对象在regionA，B对象在regionB，且B.f = A，则在regionA的RSet中需要记录B所在的`Card`的地址。这样的好处是可以对region进行单独回收，这要求RSet不只是维护老年代到年轻代的引用，也要维护这老年代到老年代的引用，对于跨代引用的每次只要扫描这个region的RSet上的`Card`即可。  
上面说过年轻代到老年代的引用不需要单独处理，这带来了很大的性能上的提升，因为年轻代的对象引用变化很大，如果都需要记录下来成本会很高。同时也说明只需要在老年代维护`Card Table`。

3. 如何处理并发过程的对象变化

CMS和G1都有并发处理过程，这个过程应用程序跟着gc线程一起运行，会产生新对象，也会有旧的对象死去，对象之间的引用关系也会发生变化。这部分数据可以暂时不处理，留到下一次再处理吗？如果可以这样的话问题就会变得很简单，但是答案是不行。考虑下图的场景(图中每一行表示一个内存状态，每一列表示一个`Card`，这里有4个)：第一步a是并发标记中途的一个状态，标记了a b c e四个对象，0 1两个`Card`已经标记好；第二步b并发标记的同时引用发生变化，g不再指向d，而b不再指向c，变成指向d，这个时候处理`Card 2`，会标记到g，然后就标记结束了，导致d对象丢失。

![Image 1][]

image.png

CMS初始标记的时候会标记所有从root**直接**可达的对象，并发标记的时候再从这些对象进一步搜索其他可达对象，最终构成一个存活的对象图。并发标记过程中引用发生变化的也是通过`Card Table`来记录。但是`young gc`的时候如果一个`dirty card`没有包含到年轻代的引用，这个card会重新标记为clean，这有可能将并发标记过程产生的`dirty card`错误清除，因此CMS引入了另一个数据结构`mod union table`，这里一个bit对应一个`Card`，`young gc`在将`Card Table`设置为clean的时候会将对应的`mod union table`置为dirty。最终标记的时候会将`Card Table`或者`mod union table`是dirty的`Card`也作为root去扫描，从而解决并发标记过程产生的引用变化。CMS还需要处理并发过程从年轻代晋升到老年代的对象，处理方式是将这部分对象也作为root去扫描。  
G1使用一个称为`snapshot at the beginning`(下面简称`SATB`)的算法，在初始标记的时候得到一个从root直接可达的`snapshot`，之后从这个`snapshot`不可达的对象都是可以回收的垃圾，并发过程产生的对象都默认是活的对象，留到下一次再处理。对于引用关系发生变化的，将这个对象对应的`Card`放到一个`SATB`队列里，在最终标记的时候进行处理(如果超过一定的阈值并发标记的时候也会处理一部分)，处理的过程就是以队列中的`Card`作为root进行扫描。

4. Write Barrier

`Write Barrier`可以理解为在写的时候插入一条特定的操作。  
在CMS中老年代引用年轻代的时候就是通过触发一个`Write Barrier`来更新`Card Table`的标志位。这是一个同步操作，在更新引用的时候顺带执行，只需要两个指令，引入的消耗不大。  
G1比较复杂，在两个地方用到了`Write Barrier`，分别是更新RSet的`rememberd set Write Barrier`和记录引用变化的`Concurrent Marking Write Barrier`，前者发生在引用更新之后，称为`Post Write Barrier`，后者发生在引用变化之前，称为`Pre Write Barrier`。G1为了提高性能，这两个`Write Barrier`都是先放到队列中，再异步进行处理。具体可以参考[Garbage-First Garbage Collection 论文笔记][Garbage-First Garbage Collection 1]

5. Full GC

导致CMS Full GC的可能原因主要有两个：`Promotion Failure`和`Concurrent Mode Failure`，前者是在年轻代晋升的时候老年代没有足够的**连续**空间容纳，很有可能是内存碎片导致的；后者是在并发过程中jvm觉得在并发过程结束前堆就会满了，需要提前触发Full GC。CMS的Full GC是一个多线程STW的Mark-Compact过程，，需要尽量避免或者降低频率。  
G1的初衷就是要避免Full GC的出现，Full GC会会对所有region做Evacuation-Compact，而且是单线程的STW，非常耗时间。导致G1 Full GC的原因可能有两个：1. Evacuation的时候没有足够的to-space来存放晋升的对象；2. 并发处理过程完成之前空间耗尽。这两个原因跟CMS类似。

以上是目前想到的5点主要的比较点，理解可能有误，欢迎指正。  
参考：  
[Garbage-First Garbage Collection][]  
[A Generational Mostly-concurrent Garbage Collector][]  
[Java Garbage Collection handbook][]  
[Java Performance Companion][]

作者：searchworld  
链接：https://www.jianshu.com/p/bdd6f03923d1  
來源：简书  
简书著作权归作者所有，任何形式的转载都请联系作者获得授权并注明出处。

![70][]

[https_www.jianshu.com_p_bdd6f03923d1]: https://www.jianshu.com/p/bdd6f03923d1
[Garbage-First Garbage Collection]: https://link.jianshu.com?t=http%3A%2F%2Fciteseerx.ist.psu.edu%2Fviewdoc%2Fdownload%3Fdoi%3D10.1.1.63.6386%26rep%3Drep1%26type%3Dpdf
[A Generational Mostly-concurrent Garbage Collector]: https://link.jianshu.com?t=http%3A%2F%2Fciteseerx.ist.psu.edu%2Fviewdoc%2Fdownload%3Fdoi%3D10.1.1.30.3953%26rep%3Drep1%26type%3Dpdf
[Image 1]: 
[Garbage-First Garbage Collection 1]: https://www.jianshu.com/p/b1609c81cd5f
[Java Garbage Collection handbook]: https://link.jianshu.com?t=https%3A%2F%2Fplumbr.io%2Fjava-garbage-collection-handbook
[Java Performance Companion]: https://link.jianshu.com?t=https%3A%2F%2Fwww.amazon.com%2FJava-Performance-Companion-Charlie-Hunt%2Fdp%2F0133796825
[70]: /images/20220418/a1918f6281c944dfb75e7a3a6f875b93.png