JVM学习(二)垃圾收集器

上一篇介绍的垃圾回收算法是内存回收的方法论,垃圾收集器就是垃圾回收的具体实现。

不同厂商、不同版本的虚拟机所提供的垃圾收集器可能会有很大差别,书中主要讲的是HotSpot虚拟机的垃圾收集器(在JDK1.7中正式提供了商用的G1收集器)。

HotSpot虚拟机的垃圾收集器

(图片来源网络,侵权删)

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


一、Serial收集器**

Serial 收集器是最基本、发展历史最悠久的收集器,曾经(在JDK1.3.1之前)是虚拟机新生代收集的唯一选择。

  • 简单介绍:
    这个收集器是一个单线程的收集器,但它的“单线程”的意义并不仅仅说明它只会使用一个CPU或一条收集线程去完成垃圾收集工作,更重要的是在它进行垃圾收集时,必须暂停其他所有工作线程,直到它收集结束。于是有了“Stop The World”称号(因为要暂停其他所有线程,所以一点也不酷=-=)
  • 应用场景:
    它现在依然是虚拟机运行在Client模式下的默认新生代收集器
  • 优于其它收集器的地方:
    简单而高效(与其它收集器的单线程相比),对于限定单个CPU的环境来说,Serial收集器由于没有线程交互的开销,专心做垃圾收集自然可以获得最高的单线程收集效率。

二、ParNew收集器

  • 简单介绍:
    ParNew收集器其实就是Serial收集器的多线程版本,除了使用多条线程进行垃圾收集之外,其余行为包括Serial收集器可用的所有控制参数、收集算法、Stop The World、对象分配规则、回收策略等都与Serial收集器完全一样。

  • 应用场景:
    在Server模式下的虚拟机中首选的新生代收集器,其中一个原因,是除了Serial收集器外,目前只有它能与CMS收集器配合工作。
    不幸的是,CMS作为老年代的收集器,却无法与JDK1.4.0中已经存在的新生代收集器Parallel Scavenge配合工作,所以在JDK1.5使用CMS来收集老年代的时候,新生代只能选择ParNew或者Serial收集器中的一个。ParNew收集器也是使用-XX:+UseConcMarkSweepGC选项后的默认新生代收集器,也可以使用-XX:+UseParNewGC选项来强制制定它。

  • ParNew和Serial比较:
    ParNew收集器在单CPU的环境中绝对不会比Serial收集器更好的效果,甚至由于存在线程交互的开销,该收集器在通过超线程技术实现的两个CPU的环境都不能百分之百地保证可以超越Serial收集器。
    当然,随着可以使用的CPU的数量的增加,它对GC时系统资源的有效利用还是很有好处的。它默认开启的收集线程数与CPU的数量相同,在CPU非常多的情况下,可以使用-XX:ParallelGCThreads参数来限制垃圾收集的线程数


三、Parallel Scavenge收集器:**

  • 简单介绍:
    Parallel Scavenge收集器是一个新生代收集器,它也是使用复制算法的收集器,是并行的多线程收集器

  • 应用场景:
    停顿时间越短就越适合需要与用户交互的程序,高吞吐量可以高效率地利用CPU时间,尽快完成程序的运算任务,主要适合在后台运算而不需要太多交互的任务。

  • 对比分析:

    • Parallel Scavenge收集器的特点是它的关注点与其它收集器不同
      CMS等收集器的关注点尽可能地缩短垃圾收集时用户线程的卡顿时间,而Parallel Scavenge收集器的目标则是达到一个可控制的吞吐量(Throughput)
      所谓吞吐量就是CPU用于运行用户代码的时间与CPU总消耗时间的比值,即吞吐量 = 运行用户代码时间/(运行用户代码时间间+垃圾收集时间)
      由于与吞吐量关系密切,Parallel Scavenge收集器也经常称为“吞吐量优先”收集器。
      • 与Parallel Scavenge收集器与ParNew收集器的区别:
        Parallel Scavenge收集器有一个参数-XX:+UserAdaptiveSizePolicy,这是一个开关参数,当这个参数打开之后,就不需要手工指定新生代的大小(-Xmn)、Eden与Survivor区的比例(-XX:SurvivorRatio)、晋升老年代对象大小(-XX:PretenureSizeThreadhold)等细节参数了,动态调整这些参数以提供最合适的停顿时间或者最大的吞吐量,这种调节方式称为GC自适应的调节策略(GC Ergonomics)

四、Serial Old收集器**

  • 简单介绍:
    Serial Old是Serial收集器的老年代版本,它同样是一个单线程收集器,使用“标记-整理”算法

  • 应用场景:
    这个收集器的主要意义也是在于给Client模式下的虚拟机使用。
    如果在Server模式下,它还有两大用途:

    • 在JDK1.5以及之前的版本中与Parallel Scavenge收集器搭配使用
    • 作为CMS收集器的后备预案,在并发收集器发生Concurrent Mode Failure时使用。

五、Parallel Old收集器

  • 简单介绍:
    Parallel Old是Parallel Scavenge收集器的老年代版本,使用多线程“标记-整理”法
    这个收集器是在JDK1.6中才开始提供的,在此之前,新生代的Parallel Scavenge收集器一直处于比较尴尬的状态,因为如果新生代选择了Parallel Scavenge收集器,老年代除了Serial Old(PS MarkSweep)收集器之外别无选择。
    由于老年代Serial Old收集器在服务端应用性能上的“拖累”,使用了Parallel Scavenge收集器未必能在整体应用上获得吞吐量最大化的效果,由于单线程的老年代收集中无法充分利用服务器多CPU的处理能力,在老年代很大而且硬件比较高级的环境中,这种组合的吞吐量甚至还不一定有ParNew加CMS的组合好。

  • 应用场景:
    直到Parallel Old收集器出现后,“吞吐量优先”收集器终于有了比较名副其实的应用组合,在注重吞吐量以及CPU资源敏感的场合,都可以优先考虑Parallel Scavenge加Parallel Old收集器。


六、CMS收集器**

  • 简单介绍:
    CMS(Concurrent Mark Sweep)收集器是一种以获取最短回收停顿时间为目标的收集器。
    CMS收集器是基于“标记-清除”算法实现的,整个过程分为四个步骤:

    • 初始标记(CMS initial mark)
      仅仅只是标记一下GC Roots能直接关联到的对象,速度很快。

    • 并发标记(CMS concurrent mark)
      进行GC Roots Tracing的过程

    • 重新标记(CMS remark)
      为了修正并发标记期间因用户程序继续运作而导致标记产生变动的那一部分对象的标记记录,这个阶段的停顿时间一般会比初始标记阶段稍长些,但远比并发标记的时间短。

  • 并发清除(CMS concurrent sweep)

其中,初始标记、重新标记这两个步骤仍然需要“Stop The World”。由于整个过程中耗时最长的并发标记和并发清除过程收集器线程都可以与用户线程一起工作,所以,从总体上来说,CMS收集器的内存回收过程是与用户线程一起并发执行的

  • 优点:
    并发收集、低停顿

  • 缺点:

    • CMS收集器对CPU资源非常敏感
      在并发阶段,它虽然不会导致用户线程卡顿,但是会因为占用了一部分线程(或者说CPU资源)而导致应用程序变慢,总吞吐量会降低。
      CMS默认启动的回收线程是(CPU数量+3)/ 4,也就是当CPU在4个以上是,并发回收时垃圾收集线程不少于25%的CPU资源,并且随着CPU数量的增加而下降。但是当CPU不足4个时,CMS对用户程序的影响就可能变得更大。

    • CMS收集器无法处理浮动垃圾(Floating Garbage)
      可能出现“Concurrent Mode Failure”失败而导致另一次Full GC的产生。
      由于CMS并发清理阶段用户线程还在运行着,伴随程序运行自然就还会有新的垃圾不断产生,这一部分垃圾出现标记过程之后,CMS无法在当次收集中处理掉它们,只好留待下一次GC时再清理掉。这一部分垃圾就成为“浮动垃圾”。
      由于在垃圾收集阶段用户线程还需要运行,那也就还需要预留有足够的内存空间给用户线程使用,因此CMS收集器不能像其它收集器那样等到老年代几乎完成被填满再进行收集,需要预留一部分空间提供并发收集时的程序运作使用。

    • 收集结束时会有大量空间碎片产生
      “标记-清理”算法,意味着收集结束时会有大量空间碎片产生。空间碎片过多时,将会给大对象分配带来很大麻烦,往往会出现老年代还有很大空间剩余,但是无法找到足够大的连续空间来分配当前对象,不得不提前触发一次Full GC。


七、G1收集器**

  • 简单介绍:
    G1(Garbage-First)收集器是当前收集器技术发展的最前沿成果之一。它是一款面向服务端应用的垃圾收集器,具备以下特点:

    • 并行与并发
      G1能充分利用多CPU、多核环境下的硬件有时,使用多个CPU来缩短Stop-The-World停顿的时间,部分其它收集器原本需要停顿Java线程执行的GC动作,G1收集器仍然可以通过并发的方式让Java程序继续运行。

    • 分代收集
      虽然G1可以不需要其它收集器配合就能独立管理整个GC堆,但它能够采用不同的方式去处理新创建的对象和已经存活了一段时间、熬过多次GC的旧对象以获取更好的收集结果。

    • 空间整合
      与CMS的“标记-清理”算法不同,G1从整体来看是基于“标记-整理”算法实现的收集器,从局部(两个Region之间)上来看是基于“复制”算法实现的,但无论如何,这两种算法都意味着G1运作期间不会产生内存空间碎片,收集后能提供规整的可用内存。这种特性有利于程序长时间运行,分配大对象时不会因为无法找到连续内存空间而提前触发下一次GC。

    • 可预测的停顿
      这是G1相对于CMS的另一大优势,降低停顿时间是G1和CMS共同的关注点,但G1除了追求低停顿之外,还能建立可预测的停顿时间模型,能让使用者明确指定在一个长度为M毫秒的时间片段内,消耗在垃圾收集上的时间不得超过N毫秒,这几乎已经是实时Java(RTSJ)的垃圾收集器的特征了。

在G1之前的其他收集器进行收集的范围都是整个新生代或者老年代,而G1不再是这样。使用G1收集器时,Java堆的内存布局就与其它收集器有很大差别,它将整个Java堆分为多个大小相等的独立区域(Region),虽然还保留有新生代和老年代的概念,但新生代和老年代不再是物理隔离的了,它们都是一部分Region(不需要连续)的集合。

G1收集器之所以能建立可预测的停顿时间模型,是因为它可以有计划地避免在整个Java堆中进行全区域的垃圾收集。G1跟踪各个Region里面的垃圾堆积的价值大小(回收所获得的空间大小以及回收所需时间的经验值),在后台维护一个优先列表,每次根据允许的收集时间,优先回收价值最大的Region(这也是Garbage-First名称的来由)。这种使用Region划分内存空间以及有优先级的区域回收方式,保证了G1收集器在有限的时间内可以获取尽可能高的收集效率。

  • G1收集器的运作大致可划分为以下几个步骤:
    • 初始标记(Initial Marking)
      初始标记阶段仅仅只是标记一下GC Roots能直接关联到的对象,并且修改TAMS(Next Top at Mark Start)的值,让下一阶段用户程序并发运行时,能在正确可用的Region中创建新对象,这个阶段需要停顿线程,但耗时很短。
  • 并发标记(Concurrent Marking)
    并发标记阶段是从GC Root开始对堆中对象进行可达性分析,找出存活的对象,这阶段耗时较长,但可与用户程序并发执行。

  • 最终标记(Final Marking)
    最终标记阶段则是为了修正在并发标记期间因用户程序继续运作而导致标记产生变动的那一部分标记记录,虚拟机将这段时间对象变化记录在Remembered Set Logs里面,该阶段会把Remembered Set Logs的数据合并到Remembered Set中,这阶段需要停顿线程,但是可并行执行。

  • 筛选回收(Live Data Counting and Evacuation)
    筛选回收阶段首先对各个Region的回收价值和成本进行排序,根据用户所期待的GC停顿时间来制定回收计划这个阶段其实可以做到与用户程序一起并发执行,但是因为只回收一部分Region,时间是用户可控制的,而且停顿用户线程将大幅提高收集效率。


Ending

上面记录了这么多垃圾收集器的特点和优缺点,并没有说哪个最好的,觉得具体使用还是看业务要求吧。

了解完GC算法和垃圾收集器后,下一篇好好学习一下JVM常用命令吧。