JVM - 垃圾回收机制

在Java中，程序员不需要去关心内存动态分配和垃圾回收的问题，这一切都交给了JVM来处理。垃圾回收就是释放垃圾占用的空间。虽然JVM会帮助程序员去处理垃圾回收，但是我们还是要了解GC和内存分配，因为当我们需要排查各种内存溢出、内存泄漏问题、当垃圾收集成为系统达到更高并发量的瓶颈时，我们就需要对这些“自动化”的技术实施必要的监控和调节。

一.如何确定某个对象是“垃圾”？

既然垃圾收集器的任务是回收垃圾对象所占的空间供新的对象使用，那么垃圾收集器如何确定某个对象是“垃圾”？参考下面这篇介绍：
https://blog.csdn.net/yangbaggio/article/details/94628612

二.垃圾收集算法

JVM在知道了哪些对象可以被回收后，垃圾收集器就会开始进行垃圾回收，那么JVM时如何高效地进行垃圾回收的？由于Java虚拟机规范并没有对如何实现垃圾收集器做出明确的规定，因此各个厂商的虚拟机可以采用不同的方式来实现垃圾收集器，所以在此只讨论几种常见的垃圾收集算法的核心思想。

1. Mark-Sweep（标记-清除）算法
标记-清除算法是最基础的算法，分为"标记"和"清除"两个阶段；首先标记出所有需要回收的对象，在标记完成后统一回收所有被标记的对象，具体过程如下图所示：

标记-清除算法实现起来比较容易，但由一下两个缺点：

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

2. Copying（复制）算法
为了解决标记-清除算法的缺陷，出现了复制算法，它将可用内存按容量划分为大小相等的两块，每次只使用其中的一块。当这一块的内存用完了，就将还存活着的对象复制到另外一块上面，然后再把已使用的内存空间一次清理掉，这样一来就不容易出现内存碎片的问题。具体过程如下图所示：

这种算法虽然运行高效且不容易产生内存碎片，但是却对内存空间的使用做出了高昂的代价，因为能够使用的内存缩减到原来的一半。而且复制收集算法的效率跟存活对象的数目多少有很大的关系，如果存活对象很多，那么复制算法的效率将会大大降低。

3. Mark-Compact（标记-整理）算法
为了解决复制算法在对象存活率较高时效率会变低，就产生了标记-整理算法，标记过程仍然与标记-清除算法一样，只不过后续步骤不是直接清除可回收对象，而是将存活对象都向一端移动，然后清理掉端边界以外的内存。具体过程如下图所示：

4. Generational Collection（分代收集）算法
分代收集算法是目前大部分JVM的垃圾收集器采用的算法。它的核心思想是根据对象存活的生命周期将内存划分为若干个不同的区域。一般情况下将堆区划分为老年代和新生代，老年代的特点是每次垃圾收集时只有少量对象需要被回收，而新生代的特点是每次垃圾回收时都有大量的对象需要被回收，那么就可以根据不同代的特点采取最适合的收集算法。

目前大部分垃圾收集器对于新生代都采取复制算法，因为新生代中每次垃圾回收都要回收大部分对象，也就是说需要复制的操作次数较少，但是实际中并不是按照1：1的比例来划分新生代的空间的，一般来说是将新生代划分为一块较大的Eden空间和两块较小的Survivor空间，每次使用Eden空间和其中的一块Survivor空间，当进行回收时，将Eden和Survivor中还存活的对象复制到另一块Survivor空间中，然后清理掉Eden和刚才使用过的Survivor空间。

而由于老年代的特点是每次回收都只回收少量对象，一般使用的是标记整理算法。

三.垃圾收集器

如果说收集算法时内存回收的方法论，那么垃圾收集器就是内存回收的具体实现。下面介绍一下HotSpot（JDK 7)虚拟机提供的几种垃圾收集器：

1. Serial/Serial Old 收集器
Serial/Serial Old收集器是最基本最古老的收集器，它是一个单线程收集器，并且在它进行垃圾收集时，必须暂停所有用户线程。Serial收集器是针对新生代的收集器，采用的是复制算法，Serial Old收集器是针对老年代的收集器，采用的是标记-整理算法。它的优点是实现简单高效，但是缺点是会给用户带来停顿。

2. ParNew 收集器
ParNew收集器是Serial收集器的多线程版本，使用多个线程进行垃圾收集。虽然ParNew收集器与Serial相比没有太多的创新，但是它却是许多运行在server模式下的虚拟机中首选的新生代收集器，因为除了Serial收集器外，目前只有它可以与CMS收集器配合工作

3. Parallel Scavenge 收集器
Parallel Scavenge收集器是一个新生代的多线程收集器（并行收集器），它在回收期间不需要暂停其他用户线程，其采用的是复制算法，该收集器与前两个收集器有所不同，它主要是为了达到一个可控的吞吐量(CPU运行用户代码的时间与CPU总消耗时间的比值)，即吞吐量=运行用户代码的时间/(运行用户代码的时间 + 垃圾收集时间)。

Parallel Scavenge收集器通过两个参数控制吞吐量，分别是控制最大垃圾收集停顿时间的-XX:MaxGCPauseMillis参数以及设置吞吐量大小的-XX:GCTimeRatio参数。

4. Parallel Old 收集器
Parallel Old是Parallel Scavenge收集器的老年代版本（并行收集器），使用多线程和标记-整理算法。如果新生代使用Parallel Scavenge收集器，老年代除了Serial Old之外别无选择，只能选择Parallel Old收集器。

5. CMS 收集器
CMS（Current Mark Sweep）收集器是一种以获取最短回收停顿时间为目标的收集器，它是一种并发收集器，采用的是标记-清除算法。CMS的优点非常明显，就是并发收集，低停顿。缺点主要有下面三点：

1. 对CPU资源非常敏感，CMS默认启动的回收线程数是(CPU数量+3)/4，也就是当CPU在4个以上时，并发回收时垃圾收集线程不少于25%的CPU资源，当CPU数量不足4个时，CMP对用户程序的影响就比较大，因为系统要分出一半的运算能力去执行收集线程。
2. CMS无法处理浮动垃圾，可能出现收集失败而导致另外一次的Full GC。因为CMS在并发清理阶段用户线程还在运行着，自然就会有新的垃圾不断产生，这部分垃圾出现在标记过程后，CMS无法在当次收集中清理它们，只能留到下一次GC。同时由于用户线程还需要运行，也就需要留出足够的内存空间给用户线程使用，所以CMS收集器不能像其他收集器那样等到老年代几乎完全被填满了再进行收集。
3. 会产生空间碎片

6. G1 收集器
G1收集器是当今收集器技术发展最前沿的成果，它是一款面向服务端应用的收集器，它能充分利用多CPU、多核环境。因此它是一款并行与并发收集器，并且它能建立可预测的停顿时间模型。