JVM系列-02-GC-扫盲

[TOC]

声明

本篇文章是本人阅读《深入理解JVM》和《java虚拟机规范》时的笔记。
记录的都是一些概念性的东西。
JVM是HotSpot，jdk1.7。
大神绕路，不喜勿喷。

1 GC算法

先来走马观花般地浏览一些著名的GC算法。
这里也仅仅是说一下大致过程，具体细节的介绍对于我一个Java程序员来说表示无能为力,因为底层实现要牵扯到具体的实现语言了，而且不同的JVM实现商肯定有不同的实现细节。

1.1 标记/清除算法

这种算法的大概过程是:

• 标记出所有需要回收的对象

• 统一回收所有被标记的对象

这种算法很直观，但他的缺点如下：

• 标记和清除的两个阶段，效率并不是很好，因为回收的粒度太细了

• 清除后的内存区域一般都是千疮百孔，可用内存区域一般都不连续

1.2 复制算法

上面说的标记/清除算法不太好的主要原因就是其回收粒度太过细微了。
签于此，复制算法的主要做法是：

• 将内存分为大小相等的两块，暂且称之为内存块

• 每次当某一内存块(A)占满之后，将该内存块(A)的有用数据复制到另外一块内存块(B)

• 将A内存块的整个块直接清除

这种算法相比于标记/清除算法的最大特点是：

• 每次回收都是以内存块为单位(粒度较大)

• 只有两个内存块，收集完后内存不连续的情况也就不用考虑了

• 但是，将整个内存分为两块，实际的可用内存也就减半了(这就有点无法接受了)

• 存在大量的对象复制操作

1.3 标记/整理算法

上面说的复制算法的最大缺点就是对象的复制操作。尤其是在有效的对象很多的情况下。

这里的标记/整理算法的大致过程是:

• 标记应该回收的区域

• 将有用的对象/数据集中移动到一块区域,暂且称之为"有效区",有效区的位置往往是在两端的某一端

• 将"有效区"之外的区域集体清理

1.4 分代收集算法(Generational Collection)

既然上面说集中算法都各有优劣,那么根据他们各自的优点，在不同的情况下使用最优的算法会不会更好呢？

分代收集的大致思路就是这样的:

• 将JVM堆内存分为新生代和年老代

• 年老代中的对象存活率一般都很高，采用'标记/清理'或'标记/复制'算法

• 新生代中一般对象的'死亡率'都很高，采用复制算法

2 GC的代价——Stop The World

上面说了一大堆GC的理论。但是忽略了一点：

怎么确定哪些对象或内存区域是可以被回收的呢？？？

在java中对于对象是否还“活着”，采用的不是像Python或者其他语言中的"引用计数"的方法。
java中采用的是"可达性分析"。
至于可达性分析的细节没必要去深究，但是由"判断对象是否还存活？"引出的另一个问题却不得不考虑，看下文。

无论采用什么方法去区分哪些对象还活着，不得不做的一个让步就是：这个判定过程中必须暂时让其他所有的线程都暂时停顿，这个现象对于JVM中的各个对象来说就相当于整个世界停止了。也就是所谓的Stop The World。

这个停顿当然是有必要的，比如你开始分析对象的存活状态时一个对象是无用的，当你分析完成后那个对象却让其他线程操作了变成有效对象了。

所以，在整个判断过程中，要能够确保一致性。也就免不了Stop The World。

当然，应用的规模越大，Stop The World带来的影响越大。
所以，频繁的GC也不见得是好事。

3 垃圾收集器

上面说的都是GC的大致理论知识，现在看看GC的实现：垃圾收集器。

3.1 Serial收集器

Serial收集器是众多垃圾收集器中的元老。是一个单线程的收集器。在它进行垃圾收集时，必须暂停其他所有的工作线程，直到它收集结束(Stop The World)。
虽然它的出现非常早，但是它依然是虚拟机运行在Client模式下的默认新生代收集器,也有其独特的优点:

• 简单而高效（与其他收集器的单线程比）

• 对于限定单个CPU的环境来说，Serial收集器由于没有线程交互的开销

3.2 ParNew收集器

这个ParNew的介绍是来自《深入理解JVM》的作者说的，与本人没任何关系 ^_^ .. ^_^

ParNew收集器其实就是Serial收集器的多线程版本，除了使用多条线程进行垃圾收集之外，其余行为包括Serial收集器可用的所有控制参数（例如：-XX：SurvivorRatio、 -XX：PretenureSizeThreshold、 -XX：HandlePromotionFailure等）、 收集算法、 Stop The World、 对象分配规则、 回收策略等都与Serial收集器完全一样，在实现上，这两种收集器也共用了相当多的代码。

• 是许多运行在Server模式下的虚拟机中首选的新生代收集器，其中有一个与性能无关但很重要的原因是，除了Serial收集器外，目前只有它能与CMS收集器配合工作

• ParNew收集器在单CPU的环境中绝对不会有比Serial收集器更好的效果

  • 甚至由于存在线程交互的开销，该收集器在通过超线程技术实现的两个CPU的环境中都不能百分之百地保证可以超越Serial收集器。

  • 当然，随着可以使用的CPU的数量的增加，它对于GC时系统资源的有效利用还是很有好处的。 它默认开启的收集线程数与CPU的数量相同，在CPU非常多的环境下，可以使用-XX：ParallelGCThreads参数来限制垃圾收集的线程数

3.3 Parallel Scavenge收集器

3.3.1 简介

他的特点如下：

• 是一个新生代收集器

• 使用复制算法的收集器

• 并行的多线程收集器

• Parallel Scavenge收集器的目标则是达到一个可控制的吞吐量

  • 吞吐量=运行用户代码时间/(运行用户代码时间+垃圾收集时间)

  • 也经常称为“吞吐量优先”收集器

3.3.2 参数

• -XX:MaxGCPauseMillis ==> 控制最大垃圾收集停顿时间,大于零的毫秒数

• -XX:GCTimeRatio ==> 直接设置吞吐量大小,吞吐量的倒数，既然是个比率，也就是个0到100的整数

• -XX:+UseAdaptiveSizePolicy

  • 是一个开关参数，当这个参数打开之后，就不需要手工指定新生代的大小（-Xmn）、Eden与Survivor区的比例（-XX：SurvivorRatio）、 晋升老年代对象年龄（-XX：PretenureSizeThreshold）等细节参数了.

  • 虚拟机会根据当前系统的运行情况收集性能监控信息，动态调整这些参数以提供最合适的停顿时间或者最大的吞吐量，这种调节方式称为GC自适应的调节策略（GC Ergonomics）

3.4 Serial Old收集器

• Serial收集器的老年代版本

• 一个单线程收集器

• 使用“标记-整理”算法

3.5 Parallel Old收集器

• 是Parallel Scavenge收集器的老年代版本

• 使用多线程和“标记-整理”算法

3.6 CMS收集器

• CMS:Concurrent Mark Sweep

• 是一种以获取最短回收停顿时间为目标的收集器

  • 此处的停顿指的就是上文提到的"Stop The World"

• 其名称中的MS指的就是Mark Sweep，它采用的算法就是标记/清除

• 他有另外一个名字就是：Concurrent Low Pause Collector(并发、低停顿)

他的缺点如下：

• 对CPU资源非常敏感

  • 它虽然不会导致用户线程停顿，但是会因为占用了一部分线程而导致应用程序变慢，总吞吐量会降低

• 无法处理浮动垃圾

• 标记/清除------->内存不连续

3.7 G1收集器

• 是一款面向服务端应用的垃圾收集器

• 并行与并发

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

• 分代收集

• 空间整合

  • 不会产生内存空间碎片,收集后能提供规整的可用内存

  • 分配大对象时不会因为无法找到连续内存空间而提前触发下次GC

• 可预测的停顿:低停顿

《深入理解JVM》一书是这么说的:

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

4 GC日志

GC日志的格式乍看起来乱七八糟，乌漆嘛黑的。当然他肯定是有格式的。就拿《深入理解JVM》中的这段代码来说吧：

public class ReferenceCountingGC {
    public Object instance = null;
    private static final int _1MB = 1024 * 1024;
    /**
     * 这个成员属性的唯一意义就是占点内存，以便能在GC日志中看清楚是否被回收过
     */
    byte[] bigSize = new byte[2 * _1MB];

    public static void main(String[] args) {
        ReferenceCountingGC objA = new ReferenceCountingGC();
        ReferenceCountingGC objB = new ReferenceCountingGC();
        objA.instance = objB;
        objB.instance = objA;
        objA = null;
        objB = null;
        // 假设在这行发生GC,objA和objB是否能被回收？
        System.gc();
    }
}

虚拟机参数:

-XX:+PrintGCDetails -XX:+PrintGCTimeStamps -XX:+PrintGCDateStamps

在我的机器(jdk1.7)上输出如下:

2016-12-17T16:11:19.650+0800: 0.093: [GC [PSYoungGen: 5427K->568K(38400K)] 5427K->568K(124416K), 0.0016819 secs] [Times: user=0.00 sys=0.00, real=0.00 secs] 
2016-12-17T16:11:19.652+0800: 0.095: [Full GC [PSYoungGen: 568K->0K(38400K)] [ParOldGen: 0K->463K(86016K)] 568K->463K(124416K) [PSPermGen: 2514K->2513K(21504K)], 0.0109008 secs] [Times: user=0.02 sys=0.00, real=0.01 secs] 
Heap
 PSYoungGen      total 38400K, used 998K [0x00000007d5c80000, 0x00000007d8700000, 0x0000000800000000)
  eden space 33280K, 3% used [0x00000007d5c80000,0x00000007d5d79a60,0x00000007d7d00000)
  from space 5120K, 0% used [0x00000007d7d00000,0x00000007d7d00000,0x00000007d8200000)
  to   space 5120K, 0% used [0x00000007d8200000,0x00000007d8200000,0x00000007d8700000)
 ParOldGen       total 86016K, used 463K [0x0000000781600000, 0x0000000786a00000, 0x00000007d5c80000)
  object space 86016K, 0% used [0x0000000781600000,0x0000000781673eb0,0x0000000786a00000)
 PSPermGen       total 21504K, used 2520K [0x000000077c400000, 0x000000077d900000, 0x0000000781600000)
  object space 21504K, 11% used [0x000000077c400000,0x000000077c676178,0x000000077d900000)

解释如下：

2016-12-17T16:11:19.650+0800
    -XX:+PrintGCDateStamps的作用,就是GC的时间了
0.093:表示的从JVM启动以来经过的秒数
GC [PSYoungGen:....
    GC发生的区域
        PSYoungGen表示采用的收集器为Parallel Scavenge
        如果使用的是Serial收集器，新生代名为“Default New Generation”，显示就是“[DefNew”
        如果使用的是ParNew收集器，新生代名称为“[ParNew”，意为“Parallel New Generation”
        如果采用的是Parallel Scavenge收集器，新生代名称就是“PSYoungGen”
“Full”，说明这次GC是发生了Stop-The-World

GC日志，暂时就先写这么多吧，在后续的文章中再详细介绍GC日志。

5 和GC相关的JVM参数

注:以下参数总结来自《深入理解JVM》一书

• UseSerialGC : 是否使用Serial收集器

  • 启用后将使用Serial + Serial Old的组合来进行垃圾回收

  • 这也是Client模式下的默认值

• UseParNewGC : 是否使用ParNew收集器

  • 将使用ParNew + Serial Old的组合来进行垃圾回收

• UseConcMarkSweepGC

  • 启用后将使用ParNew + CMS + Serial Old的组合来进行垃圾回收

  • Serial Old 作为CMS的后备收集器(Concurrent Mode Failure)

• UseParallelGC

  • 使用Parallel Scavenge + Serial Old的组合来进行垃圾回收

  • 这也是Server模式下的默认值

• UseParallelOldGC

  • 使用 Parallel Scavenge + Parallel Old的组合来进行垃圾回收

• SurvivorRatio

  • 新生代中Eden和Survivor的比值

  • 默认为8,即:Eden:Survivor=8:1

• PretenureSizeThreshold

  • 这个大小值，表示对象大小大于多少之后直接分配到老年代而不进入新生代

• MaxTenuringThreshold

  • 这个年龄值表示对象在经过多少次Minor GC之后就进入老年代

  • 每次Minor GC之后，对象的该属性值就加1

• UseAdaptiveSizePolicy

  • 动态调节堆中各个区域的大小和进入老年代的年龄

• HandlePromotionFailure

  • 是否允许分配担保失败

  • 担保失败指的是: 老年代的剩余空间大小无法容纳新生代中的Eden和Survivor的情况

• ParallelGCThreads

  • 并行GC的线程数

• GCTimeRatio

  • GC时间占总时间的比例

  • 只有在使用Parallel Scavenge的情况下生效

  • 默认值：99

• MaxGCPauseMillis

  • GC的最大停顿时间

  • 只有在使用Parallel Scavenge的情况下生效

• CMSInitiatingOccupancyFraction

  • CMS收集器在老年代空间被占用多少后触发GC

  • 只对CMS收集器生效

  • 默认值：68%

• UseCMSCompactAtFullCollection

  • CMS收集器在完成垃圾回收后是否进行内存碎片整理

  • 只对CMS收集器生效

• CMSFullGCsBeforeCompaction

  • CMS经过多少次GC后再进行碎片整理

  • 也就是设置CMS收集器在进行N次垃圾收集后再进行一次碎片整理

  • 只对CMS收集器生效

6 Minor GC 和 Full GC/Major GC

• Minor GC指的是新生代的GC

  • Minor GC比较频繁

  • 速度也比较快

• Full GC/Major GC指的是老年代的GC

  • Full GC的速度一般比Minor GC慢10倍左右

  • Full GC的出现往往会有Minor GC的伴随

参考文章

• 《深入理解JVM》

• 《Java虚拟机规范》-JDK1.7