JVM-垃圾回收

最新推荐文章于 2024-08-02 20:36:06 发布

WYFVV

最新推荐文章于 2024-08-02 20:36:06 发布

阅读量173

点赞数

分类专栏： JVM

本文链接：https://blog.csdn.net/WYFVV/article/details/103151798

版权

JVM 专栏收录该内容

6 篇文章 0 订阅

订阅专栏

2.4 生存还是死亡-即不可达对象并非是“非死不可”

4.3 Parallel Scavenge收集器

1.内存分配和回收策略

Java技术体系中所倡导的自动内存管理最终可以归结为自动化地解决两个问题：给对象分配内存以及回收分配给对象的内存。对象的内存分配，往大方向上讲，就是在堆上分配（但也可能经过JIT编译后被拆散为标量类型并间接地栈上分配），对象主要分配在新生代的Eden区上，如果启动了本地线程分配缓冲，将线程优先在TLAB上分配。少数情况也可能会直接分配在老年代中，分配的规则并不是百分百固定的，其细节取决于当前使用的是哪一种垃圾收集器组合，还有虚拟机中与内存相关的参数设置。

Java堆是垃圾收集器管理的主要区域，因此也被称为GC堆（Garbage Collect Heap）。从垃圾回收的角度，由于现在的收集器基本都采用分代垃圾收集算法，所以Java堆还可以细分为：新生代和老年代；再细致点有：Eden空间，From Survivor，To Survivor空间，进一步划分的目的是更好地回收内存，或者更快地分配内存。

堆空间的基本结构：

上图所示的eden区，s0("From")区，s1("To")区都属于新生代，tentired区属于老年代。大部分情况，对象都会首先在Eden区域分配，在一次新生代垃圾回收后，如果对象还存活，则会进入s1("To")，并且对象的年龄还会加一（Eden区->Survivor区对象的初始年龄变为1），当它的年龄增加到一定的程度（默认是15岁），就会晋升到老年代。对象晋升到老年代的年龄阀值，可以通过参数-XX:MaxTenuringThreshold来设置。经过这次GC后，Eden区和From区已经被情况，Form和To会交换角色，也就是新的To是上次GC前的Form，新的From就是上次GC前的To。不管怎样，都会保证名为To的Survivor区域是空的。MinorGC会一直重复这样的工作，知道To区域被填满，To区域被填满后，会将所有对象移动到老年代。

1.1 对象优先在Eden区分配

目前主流的垃圾收集器都会采用分代回收算法，因此需要将堆内存分为新生代和老年代，这样我们就可以根据各个年代的特点选择合适的垃圾收集算法。

大多数情况下，对象在新生代的eden区间分配。当eden区间没有足够区间进行分配，虚拟机会发起一次Minor GC。

Minor GC和Full GC区别：

新生代GC（Minor GC）：指发生在新生代的垃圾收集动作，因为Java对象大多都具有朝生夕灭的特性，所以Minor GC非常频繁，一般回收速度也快。
老年代GC（Full GC/Major GC）：指发生在老年代GC 出现了Major GC，经常会伴有Minor GC（但非绝对，在Parallel Scavenge收集器的收集策略里就有直接进行Major GC的策略选择过程）。Major GC的速度一般会比Minor GC慢10倍左右。

下面进行实际测试：

public class GCtest {

    public static void main(String[] args) {
        byte[] allocation1, allocation2;
        allocation1 = new byte[30900*1024];
        //allocation2 = new byte[900*1024];
    }
}

通过以下方式运行：

添加的参数:-XX:PrintGCDetails，这个收集器日志参数告诉虚拟机在发生垃圾收集行为时打印内存回收日志，并且在进程退出的时候输出内存各区域分配情况。

运行结果：

从上图可以看出eden区间已经被完全分配（即使程序什么也不做，新生代也会使用内存）。假如再为allocation2分配内存空间会出现如下结果：

为什么会出现这种情况：因为给allocation2分配内存的时候Eden区间已经几乎被分配完了，刚刚讲述了Eden区间没有足够的内存进行分配，虚拟机将会发起一次Minor GC。期间虚拟机又发现allocation1无法存入Survivor空间，所以只好通过分配担保机制将新生代对象提前转移到老年代中去，老年代空间足够存放allocation1，所以不会出现Full GC。执行Minor GC后，后面分配的对象如果能存储在Eden区间，还是会在Eden区间分配内存。

1.2 大对象直接进入老年代

所谓的大对象是指，需要大量连续内存空间的Java对象，最典型的大对象就是那种很长的字符串及数组。虚拟机提供了一个-XX：PretenureSizeThreshold参数，令大于这个设置值的对象直接在老年代分配，这样做的目的是避免在Eden区和两个Survivor区之间发生大量的内存复制。

1.3 长期存活的对象将进入老年代

既然虚拟机采用了分代收集的思想来管理内存，那么内存回收时就必须识别哪些对象应放在新生代，哪些对象应放在老年代。为了做到这点，虚拟机给每个对象定义了一对象年龄计数器。如果对象在Eden出生并经过了第一次Minor GC后仍然存活，并且能被Survivor容纳，将被移动到Survivor空间中，并且对象年龄设置为1。对象在Survivor区中没熬过一次Minor GC，年龄就增加一岁，当年龄增加到一定程度的时候（默认是15岁），就会被晋升到老年代。对象晋升到老年代的年龄阀值，可以通过参数-XX:MaxTenuringThreshold设置。

1.4 动态对象年龄判定

为了能更好地适应不同程序的内存状况，虚拟机并不是永远的要求对象的年龄必须达到MaxTenuringThreshold才能晋升到老年代，如果在Survivor空间中相同的所有对象大小的总和大于Survivor空间的一半，年龄大于或等于该年龄的对象就可以直接进入老年代，无须等到MaxTenuringThreshold中要求的年龄。

1.5 空间担保

在发生Minor GC之前，虚拟机会检查老年代最大可用的连续空间是否大于新生代的所有对象的总空间。如果这个条件成立，那么Minor GC可以确保是安全的。如果不成立，则虚拟机会查看HandlePromotionFailure设置值是否允许担保失败。如果允许，那么会检查老年代最大可用的连续空间是否大于历次晋升到老年代对象的平均大小，如果大于，将尝试进行一次Minor GC，尽管这次Minor GC是有风险的。如果小于，或者HandlePromotionFailure设置不允许冒险，那这是也要改为一次Full GC。

冒险是冒了什么风险？新生代使用复制收集算法，但为了内存利用率，只使用一个Survivor空间来作为轮换备份，因此当出现大量对象在Minor GC后仍然存活的情况（最极端的情况就是内存回收后所有新生代中所有对象都存活），就需要老年代进行分配担保，把Survivor无法容纳的对象直接进入老年代。前提是老年代本身还有容纳这些对象的剩余空间，一共有多少对象会活下来在实际完成内存回收之前是无法明确知道的，所以只好取之前每一次回收晋升到老年代对象容量的平均大小值作为经验值，与老年代的剩余空间进行比较，决定是否进行Full GC来让老年代腾出更多的空间。

取平均值进行比较其实仍然是一种动态概率的手段，也就是说，如果某次的Minor GC存活的对象突增，远远高于平均值，依然会导致担保失败。如果出现了HandlePromotionFailure失败，那么只好在失败后重新发起一次Full GC。虽然担保失败时绕的圈子是最大的，但是大部分情况下将HandlePromotionFailure开关打开，避免Full GC过于频繁。

JDK6 update 24之后规则变为只要老年代的连续空间大于新生代对象总大小或者历次晋升的平均大小就会进行Minor GC，否则进行Full GC。

2.对象已死吗？

在堆里面存放着Java世界中几乎所有的对象实例，垃圾收集器在对堆进行回收前，第一件事情就是要确定这些对象之中哪些还存活着，哪些已经死去。

2.1 引用计数算法

给对象中添加一个引用计数器，每当有一个地方引用它时，计数器值就加1；每当引用失效时，计数器就减1；任何时刻计数器为0的对象就是不可能再被使用的。

这个方法简单，效率高。但是主流的Java虚拟机里面没有选用引用计数算法来管理内存，其中最主要的原因是它很难解决对象之间的相互循环引用的问题。如下面代码所示：除了对象 objA 和 objB 相互引用着对方之外，这两个对象之间再无任何引用。但是他们因为互相引用对方，导致它们的引用计数器都不为 0，于是引用计数算法无法通知 GC 回收器回收他们。

public class ReferenceCountingGc {
    Object instance = null;
    public static void main(String[] args) {
        ReferenceCountingGc objA = new ReferenceCountingGc();
        ReferenceCountingGc objB = new ReferenceCountingGc();
        objA.instance = objB;
        objB.instance = objA;
        objA = null;
        objB = null;

    }
}

2.2 可达性分析算法

这个算法的基本思路就是通过一系列“GC Roots”的对象作为起始点，从这些节点开始向下搜索，搜索所走过的路径称为引用链（Reference Chain），当一个对象到GC Roots没有任何引用链相连（用图论的话，就是从GC Roots到这个对象不可达）时，则证明这个对象时不可用的。

å¯è¾¾æ§åæç®æ³

在Java语言中，可作为GC Roots的对象包括以下几种：

虚拟机栈（栈帧中的本地变量表）中的引用的对象。
方法区中类静态属性引用的对象。
方法区中常量引用的对象。
本地方法栈中的JNI（一般说的Native方法）引用的对象。

2.3 再谈引用

无论是通过计数算法判断对象的引用数量，还是通过可达性分析算法判断对象的引用链是否可达，判定对象是否存活都与“引用”有关。

在JDK 1.2之前，Java中的引用定义很传统：如果reference类型的数据中存储的数值代表的是另一块内存的起始地址，就称为这块内存代表一个引用。

JDK 1.2之后，Java对引用的概念进行了扩充，将引用分为强引用（Strong Reference），软引用（Soft Reference），弱引用（Weak Reference），虚引用（Phantom Reference）4种，这4种引用强度依次逐渐减弱。

强引用：就是指代程序代码中普遍存在的，类似“Object o=new Object()”这类的引用。只要强引用还存在，垃圾收集器永远不会回收被引用的对象。当内存空间不足，Java虚拟机宁愿抛出OutOfMemoryError错误，使程序异常终止，也不会靠随意回收具有强引用的对象来解决内存不足的问题。
软引用：用来描述一些还有用但并非必需的对象。对于软引用关联着的对象，在系统将要发生内存溢出异常之前，将会把这些对象列入回收范围之中进行第二次回收。如果这次回收还没有足够的内存，才会抛出内存溢出异常。在JDK 1.2之后，提供了SoftReference类来实现软引用。如果内存空间足够，垃圾回收器就不会回收它，如果内存空间不足了，就会回收这些对象的内存。软引用可用来实现内存敏感的高速缓存。软引用可以和一个引用队列联合使用，如果软引用所引用的对象被垃圾回收，Java虚拟机就会把这个软引用加入到与之关联的引用队列中。
弱引用：用来描述非必需对象的，但是它的强度比软引用更弱一些，被弱引用关联的对象只能生存到下一次垃圾收集发生之前。当垃圾收集器工作时，无论当前内存是否足够，都会回收掉只被弱引用关联的对象。在JDK 1.2之后，提供了WeakReference类来实现弱引用。弱引用可以和一个引用队列联合使用，如果弱引用所引用的对象被垃圾回收，Java虚拟机就会把这个弱引用加入到与之关联的引用队列中。
虚引用：也称为幽灵引用或者幻影引用，它是最弱的一种引用关系。一个对象是否有虚引用的存在，完全不会对其生存时间构成影响，也无法通过虚引用来取得一个对象实例。为一个对象设置虚引用关联的唯一目的就是能在这个对象被收集器回收时收到一个系统通知。在JDK 1.2之后，提供了PhantomReference类来实现虚引用。

虚引用与软引用和弱引用的一个区别在于： 虚引用必须和引用队列（ReferenceQueue）联合使用。当垃圾回收器准备回收一个对象时，如果发现它还有虚引用，就会在回收对象的内存之前，把这个虚引用加入到与之关联的引用队列中。程序可以通过判断引用队列中是否已经加入了虚引用，来了解被引用的对象是否将要被垃圾回收。程序如果发现某个虚引用已经被加入到引用队列，那么就可以在所引用的对象的内存被回收之前采取必要的行动。

特别注意，在程序设计中一般很少使用弱引用与虚引用，使用软引用的情况较多，这是因为软引用可以加速 JVM 对垃圾内存的回收速度，可以维护系统的运行安全，防止内存溢出（OutOfMemory）等问题的产生。

2.4 生存还是死亡-即不可达对象并非是“非死不可”

即使在可达性分析算法中不可达对象，也并非是“非死不可”的，这时候它们暂时处于“缓刑”阶段，要真正宣告一个对象死亡，至少要经历两次标记过程：如果对象在进行可行性分析后发现没有与GC Roots相连接的引用链，那它会被第一次标记并且进行一次筛选，筛选的条件是此对象是否有必要执行finalize()方法。当对象没有覆盖finalize方法，或者finalize方法已经被虚拟机调用过，虚拟机将这两种情况都看做“没有必要执行”。

如果这个对象被判定为有必要执行finalize方法，那么这个对象将会放置在一个叫做F-Queue的队列之中，并在稍后一个由虚拟机自动建立的，低优先级的Finalizer线程去执行它。这里的执行是指虚拟机会触发这个方法，但并不会承诺会等待它运行结束，这样做的原因是，如果一个对象在finalize方法中执行缓慢，或者发生了死循环，将可能导致F-Queue队列中其他对象永久处于等待，甚至导致整个内存回收系统崩溃。finalize方法是对象逃脱死亡的最后一次机会，稍后GC将对F-Queue中的对象进行第二次小规模的标记，如果对象在finalize中成功的拯救自己——只要重新与引用链上的任何一个对象建立关联即可。譬如把自己（this关键字）赋值给某个类变量或者对象的成员变量，那在第二次标记时它将被移除出“即将回收”的集合；如果对象这个时候还没有逃脱，那基本上它就真的被回收了。

注意：任何一个对象的finalize方法只会被系统自调用一次，如果对象面临下一次回收，它的finalize方法不会被再次执行。

不要使用这个方法来拯救对象，因为运行代价高昂，不确定性大，无法保证各个对象的调用顺序。

2.5 回收方法区

很多人认为方法区（或者HotSpot虚拟机中的永久代）是没有垃圾收集的，Java虚拟机规范中确实说过可以不要求虚拟机在方法区中实现垃圾收集，而且在方法区中进行垃圾收集的性价比一般比较低。在堆中，尤其是新生代，常规应用进行一次垃圾收集一般可以回收70%~95%的空间，而永久代的垃圾收集效率远低于此。

永久代的垃圾收集主要回收两个部分内容：废气常量和无用的类。

2.5.1 如何判断一个常量是废弃常量

回收废弃常量和回收Java 堆中的对象是非常类似的。以常量池中的字面量回收为例，假如一个字符串“abc”已经进入了常量池，但是当前系统中没有任何一个String对象是叫“abc”的，换句话说，就是没有任何String对象引用常量池的“abc”常量，也没有其他地方引用这个字面量，如果发生内存回收，而且必要的话，这个“abc”常量就会被系统清理出常量池。常量池中的其他类（接口），方法，字段的符号引用也与此类似。

2.5.2 如何判断一个类时无用的类

判定一个常量是否是“废弃常量”比较简单，而要判定一个类是否是“无用的类”的条件则相对苛刻许多。类需要同时满足下面 3 个条件才能算是 “无用的类” ：

该类的所有实例已经被回收，也就是Java堆中不存在该类的任何实例。
加载该类的ClassLoader已经被回收。
该类对应的java.lang.Class对象没有在任何地方被引用，无法在任何地方通过反射访问该类的方法。

虚拟机可以对满足上述 3 个条件的无用类进行回收，这里说的仅仅是“可以”，而并不是和对象一样不使用了就会必然被回收。

3. 垃圾收集算法

3.1 标记-清除算法

最基础的收集算法就是标记-清除（Mark-Sweep）算法，算法分为“标记”和“清除”两个阶段：首先标记处所需回收的对象，在标记完成后同一回收所有被标记的对象，之所以说它是最基础的收集算法，是因为后续的收集算法都是基于这种思路并对其不足进行改进而得到的。主要不足有两个：

效率问题，标记和清除两个过程的效率都不高。
空间问题，标记清除之后会产生大量不连续的内存空间，空间碎片太多可能会导致以后在程序运行过程中需要分配较大对象时，无法找到足够的连续空间内存而不得不提前触发另一次垃圾收集动作。

å¬ä¼å·

3.2 复制算法

为了解决效率问题，一种称为“复制（Copying）”的收集算法出现了，它将可用内存按容量划分成大小相等的两块，每次都只使用其中的一块。当这一块的内存用完了，就将还存活的对象复制到另外一块上面，然后再把已使用过的内存空间一次清理掉。这样使得每次都是对整个半区进行内存回收，内存分配时也就不用考虑内存碎片等复杂情况，只要移动堆顶指针，按顺序分配内存即可，实现简单，运行高效。只是这种算法的代价是将内存缩小为原来的一半，未免太高了一点。

å¬ä¼å·

新生代中的对象98%是“朝生夕死”的，所以并不需要按照1:1的比例来划分空间，而是将内存分为一块较大的Eden空间和两块较小的Survivor空间，每次使用Eden和其中的一块Survivor。当回收时，将Eden和Survivor中还存活的对象一次性复制到另一块Survivor空间上，最后清理掉Eden和刚才用过Survivor空间。HotSpot虚拟机默认Eden和Survivor的大小比例是8:1，也就是每次新生代中可用内存空间为整个新生代容量的90%（80%+10%），只有10%的内存会被浪费。当然，98%的对象可回收只是一般场景下的数据，我们没有办法保证每次回收都只有不多于10%的对象存活，当Survivor空间不足够用时，需要依赖其他内存（这里指老年代）进行分配担保。

3.3 标记-整理算法

复制收集算法在对象存活率较高的时候就要进行较多的复制操作，效率将会变低。更关键的是，如果不想浪费50%空间，就需要有额外的空间进行分配担保，以应对被使用的内存中所有对象都100%存活的极端情况，所以在老年代一般不能直接选用这种算法。

根据老年代的特点，提出了标记-整理（Mark-Compact）算法，标记过程仍然与“标记-清除”算法一样，但后续步骤不是直接对可回收对象进行清理，而是让所有存活对象都向一端移动，然后直接清理掉端边界以外的内存。

æ è®°-æ´çç®æ³

3.4 分代收集算法

当前商业虚拟机的垃圾收集都采用“分代收集”（Generational Collection）算法，这种算法并没有什么新的思想，只是根据对象存活周期的不同将内存划分为几块。一般是把Java堆分为新生代和老年代，这样就可以根据各个年代的特点采用最适当的收集算法。

比如在新生代中，每次收集都会有大量对象死去，所以可以选择复制算法，只需要付出少量对象的复制成本就可以完成每次垃圾收集。而老年代的对象存活几率是比较高的，而且没有额外的空间对它进行分配担保，所以我们必须选择“标记-清除”或“标记-整理”算法进行垃圾收集。

4.垃圾收集器

如果说收集算法是内存回收的方法论，那么垃圾收集器就是内存回收的具体实现。

虽然我们是在对各个收集器进行比较，但并非为了挑选出一个最好的收集器。因为直到现在为止还没有最好的收集器出现，更加没有万能的收集器，所以我们选择的只是对具体应用最合适的收集器。这点不需要多加解释就能证明：如果有一种放之四海皆准，任何场景下都适用的完美收集器存在，那么HotSpot就没必要实现那么多不同的收集器。

4.1 Serial收集器

Serial收集器是最基本，发展历史最悠久的收集器。这个收集器是一个单线程的收集器，但它的“单线程”的意义并不仅仅说明它只会使用一个CPU或一条收集线程去完成垃圾收集工作，更重要的是它在进行垃圾收集的时候，必须暂停其他所有的工作线程，直到它收集结束。“Stop The World”这项工作实际上是由虚拟机在后台自动发起和自动完成的，在用户不可见的情况下把用户正常工作的线程全部停掉，这对很多应用来说是难以接受的。

Serial æ¶éå¨

新生代采用复制算法，老年代采用标记-整理算法。

虚拟机的设计者们当然知道 Stop The World 带来的不良用户体验，所以在后续的垃圾收集器设计中停顿时间在不断缩短（仍然还有停顿，寻找最优秀的垃圾收集器的过程仍然在继续）。但是 Serial 收集器有没有优于其他垃圾收集器的地方呢（它仍然是虚拟机运行在Client模式下的默认新生代收集器）？当然有：简单而高效（与其他收集器的单线程比），对于限定单个CPU的环境来说，Serial收集器由于没有线程交互的开销，专心做垃圾收集自然可以获得最高的单线程收集效率。

在用户的桌面应用场景中，分配给虚拟机管理的内存一般来说不会很大，收集几十兆甚至一两百兆的新生代（仅仅是新生代使用的内存，桌面应用基本上不会再大了），停顿时间完全可以控制在几十毫秒最多一百多毫秒以内，只要不是频繁发生，这点停顿是可以接受的。所以Serial收集器对于运行在Client模式下的虚拟机来说是一个很好的选择。

4.2 ParNew收集器

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

ParNew æ¶éå¨

新生代采用复制算法，老年代采用标记-整理算法。

它是许多运行在Server模式下下虚拟机中首选的新生代收集器，其中有一个与性能无关但很重要的原因是，除了Serial收集器之外，目前，只有它能与CMS收集器配合工作。ParNew收集器也是使用-XX：+UserConcMarkSweepGC选项后的默认新生代收集器，也可以使用-XX:UserParNewGC选项来强制指定它。

并发和并行的概念：

并行（Parallel）：指多条垃圾收集线程并行工作，但此时用户线程仍然处于等待状态。
并发（Concurrent）：指用户线程与垃圾收集线程同时执行（但并不一定是并行的，可能会交替执行），用户程序在继续运行，而垃圾收集程序运行在另一个CPU。

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

4.3 Parallel Scavenge收集器

Parallel Scavenge收集器是一个新生代收集器，也是使用复制算法的收集器，又是并发的多线程收集器，看上去可ParNew收集一样。特别之处在于：CMS等收集器的关注点是尽可能地缩短垃圾收集时用户线程的停顿时间，而Parallel Scavenge收集器的目的则是达到一个可控制的吞吐量。所谓吞吐量就是CPU用于运行用户代码的时间与CPU总消耗时间的比值，即吞吐量=运行用户代码时间/（运行用户代码时间+垃圾收集时间）

新生代采用复制算法，老年代采用标记-整理算法。

Parallel Scavenge æ¶éå¨

停顿时间越短就越适合需要与用户交互的程序，良好的响应速度能提升用户体验，而高吞吐量则可以高效率地利用CPU时间，尽快完成程序的运算任务，主要适合在后台运算而不需要太多的交互任务。

Parallel Scavenge收集器提供了两个参数用于精确控制吞吐量，分别是控制最大垃圾收集停顿时间的-XX:MaxGCPauseMilis参数以及直接设置吞吐量大小的-XX:GCTimeRatio参数。

MaxGCPauseMilis参数允许的值是一个大于0的毫秒数，收集器将尽可能地保证内存回收花费的时间不超过此值。
GCTimeRatio参数的值应当是一个大于0且小于100的整数，也就是垃圾收集时间占总时间的比率，相当于吞吐量的倒数。

Parallel Scavenge收集器也常被称为“吞吐量优先”收集器。-XX:+UseAdativeSizePolicy这是一个开关参数，当这个参数打开之后，就不需要手工指定新生代的大小，Eden和Survivor区间的比例，晋升老年代对象年龄等细节参数，虚拟机会根据当前系统的运行情况收集性能监控信息，动态调整这些参数以提供最合适的停顿时间或者最大的吞吐量，这种调节方式称为GC自适应的调节策略（GC Ergonomics）。使用Parallel Scavenge收集器配合自适应调节策略，把内存管理的调优任务交给虚拟机去完成是一个不错的选择。只需要把基本的内存数据设置好，然后使用MaxGCPauseMilis参数或者GCTimeRatio参数给虚拟机设立一个优化目标，那具体细节参数的调节工作就由虚拟机完成。自适应策略也是Parallel Scavenge收集器与ParNew收集器一个重要区别。

4.4 Serial Old收集器

Serial Old是Serial收集器的老年代版本，它同样是一个单线程收集器，使用“标记-整理”算法。这个收集器的主要意义在于给Client模式下的虚拟机使用。如果在Server模式下，还有两大用途：一种用途是在JDK 1.5以及之前的版本中与Parallel Scavenge收集器搭配使用，另一种用途就是作为CMS收集器的后背预案，在并发收集发生Concurrent Mode Failure使用。

4.5 Parallel Old收集器

Parallel Old是Parallel Scavenge收集器的老年代版本，使用多线程和“标记-整理”算法。在注重吞吐量以及 CPU 资源的场合，都可以优先考虑 Parallel Scavenge 收集器和 Parallel Old 收集器。

4.6 CMS收集器

CMS（Concurrent Mark Sweep）收集器是一种以获取最短回收停顿时间为目标的收集器。目前很大一部分的Java应用集中在互联网站或者B/S系统的服务端上，这类应用尤其重视服务的响应速度，希望时间停顿时间最短，以给用户带来较好的体验。CMS收集器就非常符合这类应用的需求。

CMS收集器是基于“标记-清除”算法实现的，整个过程分为4个步骤：

初始标记：暂停所有的其他线程，并记录直接与root相连的对象，速度很快。
并发标记：同时开启GC和用户线程，用一个闭包结构去记录可达对象。但在这个阶段结束，这个闭包结构并不能保证包含当前所有的可达对象。因为用户线程可能会不断的更新引用域，所以GC线程无法保证可达性分析的实时性。所以这个算法里会跟踪记录这些发生引用更新的地方。
重新标记：重新标记阶段是为了修正并发标记期间因为用户程序继续运行而导致标记产生变动的那一部分对象的标记记录，这个阶段的停顿时间一般会比初始标记的阶段的时间稍长，远远比并发阶段时间短，
并发清除：开启用户线程，同时GCx线程开始对标记的区域做清扫。

由于整个过程中耗时最长的并发标记和并发清除过程收集器线程都可以与用户线程一起工作，所以，从总体上来说，CMS收集器的内存回收过程是与用户线程一起并发执行的。

CMS åå¾æ¶éå¨

CMS的主要优点：并发收集，低停顿。但它有三个明显的缺点：

CMS收集器对CPU资源非常敏感。其实，面向并发设计的程序都对CPU资源比较敏感。在并发阶段，它虽然不会导致用户线程停顿，但是会因为占用一部分线程而导致应用程序变慢，总吞吐量会降低。CMS默认启动的回收线程数是（CPU数量+3）/4，也就是CPU在4个以上，并发回收时垃圾收集线程不少于25%的CPU资源，并且随着CPU数量的增加而下降。但是当CPU不足4个时，CMS对用户程序的影响就可能变得很大，如果本来CPU负载就比较大，还分出一半的运算能力去执行收集器线程，就可能导致用户程序的执行速度忽然降低50%。为了应对这种情况，虚拟机提供了一种“增量式并发收集器”（Incremental Concurrent Mark Sweep/i-CMS）的CMS收集器变种，就是在并发标记，清理的时候让GC线程，用户线程交替运行，尽量减少GC线程的独占资源的时间，这样整个垃圾收集的时间会更长，但对用户程序的影响就会显得少一些，也就是速度下降没有那么明显。在目前的版本，已经不提倡用户使用。
CMS收集器无法处理浮动垃圾，可能出现Concurrent Mode Failure失败而导致另一次Full GC的产生。由于CMS并发清理阶段用户线程还在运行着，伴随程序运行自然还会有新的垃圾不断产生，这一部分垃圾出现在标记过程之后，CMS无法在当次收集中处理掉它们，只好留待下一次GC时再清理掉，这一部分垃圾就称为浮动垃圾。也是由于在垃圾收集阶段用户线程还需要运行，那就还需要预留足够的内存空间给用户线程使用，因此CMS收集器不能像其他收集器那样等到老年代几乎完全被填满再进行收集，需要预留一部分空间提供并发收集程序运作使用。CMS收集器当老年代使用多少空间才会被激活，可以使用-XX:CMSInitiatingOccupancyFraction值来设置触发百分比。在JDK 1.6中，CMS收集器的启动阀值已经提升至92%。要在CMS运行期间预留的内存无法满足程序需要，就会出现一次“Concurrent Mode Failure”失败，这时虚拟机就会启动后备预案：临时启用Serial Old收集器重新进行老年代的垃圾收集，这样停顿的时间就很长了。所以说参数XX:CMSInitiatingOccupancyFraction设置得太高就会很容易导致“Concurrent Mode Failure”失败，性能反而降低。
它使用的回收算法-“标记-清除”算法会导致收集结束时会有大量空间碎片产生。提供了-XX:+UseCMSCompactAtFullCollection开关参数，用于CMS收集器顶不住要进行Full GC时开启内存碎片的合并整理过程，内存整理过程是无法并发的，内存碎片问题没有了，但停顿时间变长了。还提供了-XX:CMSFullGCsBeforeCompaction，这个参数是用来设置执行多少次不压缩的Full GC后，跟着来一次带压缩的。

4.7 G1收集器

G1（Garbage-First） 是一款面向服务器的垃圾收集器,主要针对配备多颗处理器及大容量内存的机器. 以极高概率满足 GC 停顿时间要求的同时,还具备高吞吐量性能特征。

具有以下特点：

并发和并行：G1能充分利用多CPU，多核环境下的硬件优势，使用多个CPU来缩短Stop-The-World停顿的时间，部分其他收集器原本需要停顿Java线程执行的GC动作，G1收集器仍然可以通过并发的方式让Java程序继续执行。
分代收集：虽然G1可以不需要其他收集器配合就能独立管理整个GC堆，但它能够采用不同的方式去处理新创建的对象和已经存活一段时间，熬过多次GC的旧对象以获取更好的收集效果。
空间整合：G1从整体上看是基于“标记-整理”算法实现的收集器，从局部（两个Region之间）上看是基于“复制”算法实现的，但无论如何，这两种算法都意味着G1运行期间不会产生内存空间碎片，收集后能提供规整的可用内存。这种特性有利于程序长时间运行，分配大对象时不会因为无法找到连续空间而提前触发下一次GC。
可预测的停顿：这是G1相对于CMS的另一大优势，降低停顿时间是G1和CMS共同关注点，但G1除了追求降低停顿外，还能建立可预测的停顿时间模型，能让使用者明确指定在一个长度为M毫秒的时间片段内，消耗在垃圾收集上的时间不得超过N毫秒，这几乎已经是实时Java的垃圾收集器的特征了。

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

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

把Java堆分为多个Region后垃圾收集是否真的就能以Region为单位进行了？Region不可能是孤立的。一个对象分配在某个Region中，它并非只能被本Region中的其他对象引用，而是可以与整个Java堆任意的对象发生引用关系。那在做可达性判定确定对象是否存活，岂不是要扫描整个Java堆才能保证准确性？在G1收集器中，Region之间的对象引用以及其他收集器中的新生代与老年代之间的对象引用，虚拟机都是使用Remembered Set来避免全堆扫描的。G1中每个Region都有一个与之对应的Remembered Set，虚拟机发现程序在对Reference类型的数据进行写操作时，会产生一个Write Barrier暂时中断写操作，检查Reference引用的对象是否处于不同的Region之间（在分代的例子就是检查是否老年代中的对象引用了新生代中的对象），如果是，便通过CardTable把相关引用信息记录到被引用对象所属的Region的Remembered Set之中。当进行内存回收时，在GC根节点的枚举范围中加入Remembered Set即可保证不对全堆扫描也不会有遗漏。

G1收集器的运作可以分为以下步骤：

初始标记：仅仅只是标记一下GC Roots能直接关联的对象，并修改TAMS（Next Top at Mark Start）的值，让下一阶段用户程序并发运行时，能在正确可用的Region中创建新对象，这阶段需要停顿线程，但耗时很短。
并发标记：从GC Roots开始对堆中对象进行可达性分析，找出存活对象，这阶段耗时较长，但可与用户线程并发执行。
最终标记：为了修正并发标记期间因用户程序继续运行而导致标记产生变动的那一部分标记记录，虚拟机将这段时间对象变化记录在线程Remembered Set Logs里面，最终标记阶段需要把Remembered Set Logs的数据合并到Remembered Set中，这阶段需要停顿线程，但是可并发执行。
筛选回收：首先对各个Region的回收价值和成本进行排序，根据用户期望的GC 停顿时间来指定回收计划。

本文参考：