HotSpot虚拟机垃圾收集器

垃圾收集器

这了讨论的收集器基于JDK1.7 Update 14之后的HotSpot虚拟机，这个虚拟机包含的所有收集器如图所示。

HotSpot虚拟机的垃圾收集器

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

1.Serial收集器
Serial收集器是最基本，发展历史最悠久的收集器，曾经是虚拟机新生代收集器的唯一选择。看名字就知道这个收集器是一个单线程的收集器。“单线程”的意义不仅仅是说他会使用一个CPU或者一条线程去完成垃圾收集工作，更重要的是在它运行垃圾收集时，必须暂停其他所有的线程工作，直到它收集结束（Stop The World）。到现在为止，它依然是虚拟机在Client模式下默认的新生代收集器。它有着优于其他收集器的地方：简单高效（与其他收集器的单线程比），对于限定单个CPU来说，Serial收集器由于没有线程交互的开销，专心做垃圾收集自然可以获得最高的单线程收集效率。
2.ParNew收集器
ParNew收集器其实就是Serial收集器的多线程版本，除了使用多条线程进行垃圾收集之外，其余行为包括Serial收集器可用的所有控制参数、收集算法、Stop The World、对象分配规则、回收策略等都与Serial收集器完全一样。
从ParNew收集器开始会接触到并发或者并行的收集器，我们在垃圾收集器的上下文环境中解释并发和并行。
●并行（Parallel）：指多条垃圾收集线程并行工作，但此时用户线程依然处于等待状态。
●并发（Concurrent）：指用户线程与垃圾收集线程同时执行（但并不一定是并行的，可能会交替执行），用户程序在继续运行，而垃圾收集程序运行在另一个CPU上。
3.Parallel Scavenge收集器
Parallel Scavenge收集器是一个新生代收集器，使用复制算法，又是并行的多线程收集器。
Parallel Scavenge收集器的特点是它的关注点与其他的收集器不同，CMS收集器关注点是尽可能缩短垃圾收集时用户线程的停顿时间，而Parallel Scavenge收集器的目标则是到达一个可控的吞吐量。所谓的吞吐量就是CPU执行用户代码的时间与CPU总消耗时间的比值，即吞吐量=运行用户代码时间/（运行用户代码时间+垃圾收集时间）。
停顿时间越短就越适合与用户交互的程序，良好的响应速度提升用户体验，而高吞吐量则可以高效率的利用CPU时间，尽快完成程序的运行任务，主要适合在后台运算而不需要太多交互的任务。
Parallel Scavenge收集器提供了两个参数用于精确控制吞吐量，分别是控制最大垃圾手机停顿时间的-XX:MaxGCPauseTime参数以及直接设置吞吐量大小的-XX:GCTimeRadio参数。
MaxGCPauseTime参数允许的值是一个大于0的毫秒数，收集器尽可能得保证内存回收花费的时间不超过设定值。不过大家不要认为如果把这个参数设置的稍小一点就能使得系统的垃圾收集速度变得更快，GC停顿时间缩短是以牺牲吞吐量和新生代空间换取的：系统把新生代调小一点，收集300MB新生代肯定比500MB快吧，这也直接导致垃圾收集变得更频繁一些，原来10秒钟收集一次、每次停顿100毫秒，现在变成5秒收集一次、每次停顿70毫秒。停顿时间是在下降，但吞吐量也下降了。
GCTimeRadio参数的值应当是一个大于0且小于100的整数，也就是垃圾收集时间占总时间的比率，相当于1-吞吐量。如果你把此参数设置为19，那最大GC时间就占总时间5%（即1/(1+19)），默认值是99。
Parallel Scavenge收集器也被称为“吞吐量优先”收集器。除了上面两个参数之外，Parallel Scavenge收集器还有一个参数-XX:UseAdaptiveSizePolicy值得关注。这是一个开关参数，当这个参数打开后，就不需要手工指定新生代的大小、Eden和Survivor区的比例、晋升老年代对象年龄等细节参数了，虚拟机会根据当前系统运行情况收集性能监控信息，动态调整参数已提供最合适的停顿时间或者最大的吞吐量，这种调节方式称为GC自适应调节策略。自适应调节策略也是Parallel Scavenge和ParNew的一个重要区别。
4.Serial Old收集器
Serial Old收集器是Serial收集器的老年版本，同样是一个单线程收集器，使用“标记-整理”算法。这个收集器主要意义是在给Client模式下的虚拟机使用。在server模式下，他还有两大主要用途：一种用途是在JDK1.5及以前的版本中与Parallel Scavenge收集器搭配使用；另一种用途是作为CMS收集器的后备预案。
5.Parallel Old收集器
Parallel Old收集器是Parallel Scavenge收集器的老年版本，使用多线程和“标记-整理”法。在注重吞吐量以及CPU资源敏感的场合，都可以优先考虑Parallel Scavenge加Parallel Old收集器。
6.CMS收集器
CMS（Concurrent Mark Sweep）收集器是一种以获得最短回收停顿时间为目标的收集器。目前很大一部分的Java应用集中在互联网站或者B/S系统的服务器上，这类应用尤其重视服务的响应速度，希望系统停顿时间最短，以给用户带来最好的体验。
CMS从名字就可以看出是基于“标记-清除”算法实现的，它的运作过程相对于前面集中收集器来说更为复杂，整个过程分为4个步骤：
■ 初始标记（CMS initial mark）
■ 并发标记（CMS concurrent mark）
■ 重新标记（CMS remark）
■ 并发清除（CMS concurrent sweep）
其中，初始标记、重新标记这两个步骤依然需要“Stop The World”。初始标记仅仅只是标记一下GC Roots能直接关联的对象，速度很快，并发标记阶段就是进行GC Roots Tracing的过程，而重新标记则是为了修正并发标记期间用户程序继续运行而导致标记变动的那一部分对象的标记记录，这个阶段的停顿时间会比初始标记的时间长一些，但远比并发标记的时间短。
由于整个过程中耗时最长的并发标记和并发清除过程收集器线程都可以和用户线程一起工作，所以从总体上来说，CMS收集器的内存回收过程是与用户线程一起并发执行的。
CMS收集器是一款优秀的收集器，它的主要优点是：并发收集，低停顿。但它还有3个明显的缺点：
■ CMS收集器对CPU资源敏感。其实，面向并发设计的程序对CPU资源都比较敏感。在并发阶段，虽然不会导致用户线程停顿，但是会因为占用了一部分线程而导致应用程序变慢，总吞吐量降低。为了应付这种情况，虚拟机提供了一种”增量式并发收集器“的CMS收集器，在并发标记和清理的时候让GC线程、用户线程交替运行，尽量减少GC线程独占资源的时间，这样整个垃圾收集过程会变长，但对用户程序的影响就会显得少一些。实践证明，增量式CMS效果一般。
■ CMS收集器无法处理浮动垃圾（Floating Garbage），可能出现”Concurrent Mode Failure“失败而导致另一次Full GC产生。由于CMS并发清理阶段用户线程还在运行着，伴随程序运行自然会有新的垃圾不断产生，这些垃圾出现在标记过程之后，CMS无法在当次收集中处理掉他们，只好留待下一次GC是在清理。这一部分垃圾就称为”浮动垃圾“。也是由于在垃圾收集阶段用户程序还在运行，那也就还需要预留足够的内存空间给用户线程使用，因此CMS收集器不能像其他收集器那样等老年代几乎填满在进行收集，需要预留一部分空间提供并发收集时的程序运行使用，在JDK1.5默认设置，CMS收集器当老年代使用了68%的空间后就会被激活，在JDK1.6中，CMS启动阈值已经提升到92%。要是CMS运行期间预留的内存无法满足程序的需要，就会出现一次”Concurrent Mode Failure“失败。这是虚拟机将启动后备预案：临时启用Serial Old收集器来重新进行老年代的垃圾收集，这样停顿的时间就很长了。
■ CMS收集器是基于”标记-清除“算法实现的收集器，这意味着收集结束会产生大量的空间碎片，导致对大对象的分配产生很大的麻烦，往往老年代还有很大的空间剩余，但无法找到足够大连续的内存空间分配给当前对象，不得不提前触发一次Full GC。为了解决这个问题，CMS收集器提供了一个-XX:+UseCMSCompactAtFullCollection开关参数（默认是开启的），用于在CMS顶不住要进行FULL GC时开启内存碎片的合并整理过程，内存整理的过程是无法并发的，空间碎片问题没有了，但是停顿时间不得不变长。虚拟机设计者还提供了另外一个参数-XX:CMSFullGCsBeforeCompaction,这个参数用于设置执行多少次不压缩的Full GC后，跟着来一次带压缩的（默认值是0，表示每一次进入FUll GC的时都进行碎片整理）。
7.G1收集器
G1收集器是一款面向服务端引用的垃圾收集器。HotSpot开发团队赋予它的使命是未来替换掉CMS，与其他GC收集器相比，G1具备以下特点。
■ 并行与并发：G1充分利用多CPU、多核的硬件优势，使用多个CPU来减少“Stop The World”的停顿时间，部分其他收集器原本需要停顿Java线程执行GC动作，G1收集器可以通过并发的方式让Java程序继续执行。
■ 分代收集：分代的概念依然在G1中保留，G1可以独立管理整个GC堆，它能够采用不同的方式去处理新建的对象和已经存活一段时间、熬过多次GC的旧对象以获得更好的收集效果。
■ 空间整合：G1从整体上看使用“标记-整理”的算法实现的收集器，从局部（两个Region之间）上看是基于“复制”算法实现的，但无论如何，这两种算法都意味着G1运行期间不会产生内存空间碎片。
■ 可预测的停顿：尽管低停顿时间是G1和CMS的共同关注点，但G1除了追求低停顿外，还能建立可预测的停顿时间模型，能让使用者明确指定在一个长度为M毫秒的时间片段内，消耗在垃圾收集上的时间不得超过N毫秒。
在G1之前的收集器收集范围都是整个新生代或者老年代，而G1不再是这样。使用G1收集器时，Java堆的内存布局就与其他收集器有很大差别，它将整个Java堆划分为多个大小不等的独立区域（Region），虽然还保留有新生代和老年代的概念，但新生代和老年代不再是物理隔离的了，他们都是一部分Region（不需要连续）的集合。
G1收集器之所以能建立可以预测的停顿时间模型，是因为他可以有计划地避免在整个Java堆中进行全区域的垃圾回收。G1收集器追踪各个region里面垃圾堆积的价值大小（回收所获得的空间大小和回收所需要时间的经验值），在后台维护一个优先列表，每次根据允许的收集时间，优先回收价值最大的Region（这也就是Garbage-First名字的来由）。这种使用Region划分空间内存以及有优先级的区域回收方式，保证了G1收集器在有限的时间内可以获取尽可能高的收集效率。
在G1收集器中，Region之间的对象引用以及其他收集器中的新生代和老年代之间的对象引用，都是通过Remembered Set来避免扫描全堆的。G1中每个Region都有一个一直对应的Remembered Set，虚拟机发现程序在对Reference类型的数据进行操作时，会产生一个Write Barrier暂时中断写操作，检查Reference引用的对象是否处于不同的Region之中（在分代的例子终中就是检查是否老年代中的对象引用了新生代中的对象），如果是，便通过CardTable把相关引用信息记录到被引用对象所属的Region的Remembered Set之中。当进行内存回收时，在GC根节点枚举的范围中加入Remembered Set即可以保证不对全堆扫描也不会有遗漏。
如果不计算维护Remembered Set的操作，G1收集器的运作大致可以分为以下几个步骤：
■ 初始标记（Initial Marking）
■ 并发标记（Concurrent Marking）
■ 最终标记（Final Marking）
■ 筛选回收（Live Data Counting and Evacauation）
初始标记阶段仅仅只是标记GC Roots能直接关联到的对象，并且修改TAMS（Next Top At Mark Start）的值，让下阶段用户程序并发执行时，能在正确可用的Region中创建对象，这阶段需要停顿线程，但耗时很短。并发标记阶段是从GC Root开始对堆中对象进行可达性分析，找出存活的对象，这阶段耗时较长，但可与用户程序并发执行。而最终标记阶段则是为了修正在并发标记期间用户程序继续运行而导致标记产生变动的那一部分标记记录，虚拟机将这段时间对象变化记录在线程Remembered Set Logs里面，最终标记阶段需要把Remembered Set Logs的数据合并到Remembered Set中，这阶段需要停顿线程，但可并行执行。最后在筛选回收阶段首先对各个Region的回收价值和成本进行排序，根据用户所期望的GC停顿时间来制定回收计划，从Sun公司透露信息来看，这个阶段其实可以做到与用户程序一起并发执行，但因为只回收一部分Region，时间是用户可控制的，而且停顿用户线程将大幅度提高收集效率。