JVM之GC算法的实现(垃圾回收器)

上一节：《jvm之gc算法》 知道gc算法的理论基础，我们来看看具体的实现。只有落地的理论，才是真理。

一、jvm垃圾回收器的结构

jvm虚拟机规范对垃圾收集器应该如何实现没有规定，因为没有最好的垃圾收集器，只有最适合的场景。

 

 图中展示了7种作用于不同分代的收集器，如果两个收集器之间存在连线，则说明它们可以搭配使用。虚拟机所处的区域则表示它是属于新生代还是老年代收集器。

7种：serial收集器、parnew收集器、parallel scavenge收集器、serial  old 收集器、parallel old收集器、cms收集器、g1收集器(整堆收集器)、

串行收集：单垃圾收集线程，进行收集工作，用户进程需要等待

并行收集：工作原理与串行一样，只是在收集垃圾时是多条线程同时进行，收集的效率在一般情况下自然高于单线程。

并发收集：指用户线程与垃圾收集线程同时工作（并发：同一时间间隔）。用户程序在继续运行，而垃圾收集程序运行在另一个cpu上。

吞吐量：吞吐量就是cpu中用于运行用户代码的时间与cpu总消耗时间的比值(吞吐量 = 运行用户代码时间 / （运行用户代码时间 + 垃圾收集时间）)

1、serial收集器
serial(串行)收集器：最基本，最古老的收集器，只有一个线程进行垃圾收集器的工作，并且在进行垃圾收集工作时需要暂停其他工作线程(stop the word),直到他工作结束；
serial收集器简单高效，工作时没有线程交互的开销，所以可以获得很高的单线程收集效率，对于运行在client模式下的虚拟机来说很适合。

"-xx:+useserialgc"：添加该参数来显式的使用serial垃圾收集器。

2、serial old收集器
　　serial old收集器是seria收集器的老年代版本，他同样是一个单线程收集器，使用" 标记-整理" 算法。
　　serial old收集器主要用于client模式下的虚拟机使用。
　　server模式下的两大用途：

• 在jdk1.5及之前的版本与parallel scavenge收集器搭配使用；
• 作为cms收集器的后备方案，在并发收集发生conturrent mode failure时使用。

3、parnew 收集器
parnew(并行)收集器就是serial收集器的多线程版本，除了在收集垃圾时是启用多线程并行执行，其他行为(控制参数、收集算法、回收策略/stop the word、对象分配规则)完全一样

 

 应用场景：parnew收集器是许多运行在server模式下的虚拟机中首选的新生代收集器，因为它是除了serial收集器外，唯一一个能与cms收集器配合工作的。

"-xx:+useconcmarksweepgc"：指定使用cms后，会默认使用parnew作为新生代收集器。
"-xx:+useparnewgc"：强制指定使用parnew。
"-xx:parallelgcthreads"：指定垃圾收集的线程数量，parnew默认开启的收集线程与cpu的数量相同。

4、parallel scavenge收集器
parallel scavenge收集器 类似于 parnew 收集器， parallel scavenge收集器 更加关注吞吐量(高效的cpu利用率)。cms等垃圾收集器关注更多的是用户线程的停顿时间(提搞用户体验)；parallel scavenge 收集器提供很多参数供我们找到最合适的停顿时间或者最大吞吐量。jdk1.8 默认的方式；

parallel scavenge收集器提供了两个参数来用于精确控制吞吐量，一是控制最大垃圾收集停顿时间的 -xx：maxgcpausemillis参数，二是控制吞吐量大小的 -xx：gctimeratio参数；

• “ -xx：maxgcpausemillis” 参数允许的值是一个大于0的毫秒数，收集器将尽可能的保证内存垃圾回收花费的时间不超过设定的值（但是，并不是越小越好，gc停顿时间缩短是以牺牲吞吐量和新生代空间来换取的，如果设置的值太小，将会导致频繁gc，这样虽然gc停顿时间下来了，但是吞吐量也下来了）。
• “ -xx：gctimeratio”参数的值是一个大于0且小于100的整数，也就是垃圾收集时间占总时间的比率，默认值是99，就是允许最大1%（即1/（1+99））的垃圾收集时间。
• “-xx：useadaptivesizepolicy”参数是一个开发，如果这个参数打开之后，虚拟机会根据当前系统运行情况收集监控信息，动态调整新生代的比例、老年大大小等细节参数，以提供最合适的停顿时间或最大的吞吐量，这种调节方式称为gc自适应的调节策略。

应用场景：注重高吞吐量以及cpu资源敏感的场合，都可以优先考虑parallel scavenge+parallel old 收集器。

5、paraller old收集器
　　parallel old收集器是parallel scavenge收集器的老年代版本，使用多线程和“标记-整理”算法。
　　在jdk1.6中才出现。

6、cms（conturrent mark sweep）收集器

cms收集器是一种以获取最短回收停顿时间为目标的收集器。cms收集器是基于“标记-清除”算法实现，它的整个运行过程可以分为：

• 初始标记：标记一下gc roots能直接关联到的对象，这个过程速度很快，但是会暂停其他用户线程(stop the word)
• 并发标记：进行gcroots tracing的过程，同时开启gc和用户线程，用一个闭包的结构去记录可达对象，但是在这个阶段结束，该闭包不能保证其包含当前所有的可达对象。因为用户进程可能会不断的更新引用域，所以gc线程无法保证可达性分析的实时性。所以这个算法会跟踪记录这些发生引用更新的地方。
• 重新标记：修正并发标记期间因用户线程继续运作而导致标记产生变动的那一部分对象的标记记录，该阶段会gc停顿，停顿时间比初始标记时间稍长，单远比并发标记时间短。
• 并发清除：开启用户线程，同事gc线程清除死亡的对象

cms收集器运行的整个过程中，最耗费时间的是并发标记和并发清除，gc收集器线程和用户线程是一起工作的，所以总体来说，cms收集器的内存回收过程是与用户线程一起并发执行的。

优点：并发收集、低停顿。
缺点：

• 1、cms收集器对cpu资源非常敏感。虽然在两个并发阶段不会导致用户线程停顿，但是会因为占用了一部分线程而导致应用程序变慢，总吞吐量下降。cms默认启动的回收线程数是（cpu数量+3）/4。
• 2、：cms收集器无法处理浮动垃圾，可能出现“conturrent mode failure”失败而导致另一次full gc产生。由于cms并发清除阶段用户线程还在运行，伴随着程序还在产生新的垃圾，这一部分垃圾出现在标记之后，cms无法在当次收集中处理掉它们，只能留到下次再清理，这一部分垃圾称为“浮动垃圾”。也正是由于在垃圾收集阶段用户线程还在运行，那么也就需要预留有足够的内存空间给用户线程使用，因此cms收集器不能像其他收集器那样等待老年代填满之后再进行收集，需要预留一部分空间给并发收集时用户程序使用。可以通过“-xx：cmsinitiatingoccupancyfraction”参数设置老年代内存使用达到多少时启动收集。
• 3、：由于cms收集器是一个基于“标记-清除”算法的收集器，那么意味着收集结束会产生大量碎片，有时候往往还有很多内存未使用，但是没有一块连续的空间来分配这个大对象，导致不得不提前触发一次full gc。cms收集器提供了一个“-xx：usecmscompactatfullcollection”参数（默认是开启的）用于在cms收集器顶不住要fullgc时开启内存碎片整理（内存碎片整理意味着无法并发执行不得不停顿用户线程）。参数“-xx：cmsfullgcsbeforecompaction”来设置执行多少次不压缩的full gc后，跟着来一次带压缩的（默认值是0，意味着每次进入full gc时都进行碎片整理）。

7、g1（garbage-first）收集器

g1的内存模型

g1收集器没有新生代和老年代的概念,而是将java堆划分为一块块独立的大小相等的region。当要进行垃圾收集时,首先估计每个region中的垃圾数量,每次都从垃圾回收价值最大的region开始回收,因此可以获得最大的回收效率

humongous是特殊的old类型,专门放置大型对象.这样的划分方式意味着不需要一个连续的内存空间管理对象.g1将空间分为多个区域,优先回收垃圾最多的区域.
g1采用的是mark-copy ，有非常好的空间整合能力,不会产生大量的空间碎片
g1的一大优势在于可预测的停顿时间,能够尽可能快地在指定时间内完成垃圾回收任务，在jdk11中，已经将g1设为默认垃圾回收器，通过jstat命令可以查看垃圾回收情况,在ygc时s0/s1并不会交换.

一个对象和它内部所引用的对象可能不在同一个region中,那么当垃圾回收时,是否需要扫描整个堆内存才能完整地进行一次可达性分析?
当然不是,每个region都有一个remembered set,用于记录本区域中所有对象引用的对象所在的区域,从而在进行可达性分析时,只要在gc roots中再加上remembered set即可防止对所有堆内存的遍历.

回收步骤

初始标记：标记与gc roots直接关联的对象,停止所有用户线程,只启动一条初始标记线程,这个过程很快.
并发标记：进行全面的可达性分析,开启一条并发标记线程与用户线程并行执行.这个过程比较长.
最终标记：标记出并发标记过程中用户线程新产生的垃圾.停止所有用户线程,并使用多条最终标记线程并行执行.
筛选回收：回收废弃的对象.此时也需要停止一切用户线程,并使用多条筛选回收线程并行执行.

g1为什么能建立可预测的停顿时间模型？

因为它有计划的避免在整个java堆中进行全区域的垃圾收集。g1跟踪各个region里面的垃圾堆积的大小，在后台维护一个优先列表，每次根据允许的收集时间，优先回收价值最大的region。这样就保证了在有限的时间内可以获取尽可能高的收集效率。

g1与其他收集器的区别？

其他收集器的工作范围是整个新生代或者老年代、g1收集器的工作范围是整个java堆。在使用g1收集器时，它将整个java堆划分为多个大小相等的独立区域（region）。虽然也保留了新生代、老年代的概念，但新生代和老年代不再是相互隔离的，他们都是一部分region（不需要连续）的集合。

二、如何选择垃圾收集器

1、单cpu或者小内存，单机程序 — -xx:+useserialgc
2、多cpu，需要大吞吐量，如后台计算型应用，允许工作线程停顿超过1秒  -xx:+useparallelgc + -xx:+useparalleloldgc
3、多cpu，追求低停顿时间，快速响应如互联网应用  -xx:+useparnewgc + -xx:+useconcmarksweepgc

4、jvm自己选择

5、官方推荐g1，高性能