JVM — 虚拟机垃圾回收与垃圾收集算法（三）

1、Java虚拟机垃圾回收

垃圾回收，或称垃圾收集（Garbage Collection，GC）是指自动管理回收不再被引用的内存数据。

• GC是垃圾收集的意思（Gabage Collection），Java提供的GC功能可以自动也只能自动地回收堆内存中不再使用的对象，释放资源（目的），Java语言没有提供释放已分配内存的显式操作方法（gc方法只是通知，不是立即执行）。
• 对于GC来说，当程序员创建对象时，GC就开始监控这个对象的地址、大小以及使用情况。
• 垃圾回收是一种动态存储管理技术，它自动地释放不再被程序引用的对象，当一个对象不再被引用的时候,按照特定的垃圾收集算法来实现资源自动回收的功能。

1.1、JVM为什么需要进行垃圾回收

如果不进行垃圾回收，内存迟早都会被消耗空，因为我们在不断的分配内存空间而不进行回收。除非内存无限大，我们可以任性的分配而不回收，但是事实并非如此。所以，垃圾回收是必须的。
目前内存的动态分配与内存回收技术已经相当成熟，但为什么还需要去了解内存分配与GC呢？

• 当需要排查各种内存溢出、内存泄漏问题时；
• 当垃圾收集成为系统达到更高并发量的瓶颈时；

1.2 、垃圾回收场景

1. 第一种场景应该很明显，当年轻代或者老年代满了，Java虚拟机无法再为新的对象分配内存空间了，那么Java虚拟机就会触发一次GC去回收掉那些已经不会再被使用到的对象。

2. 手动调用System.gc()方法，通常这样会触发一次的Full GC以及至少一次的Minor GC。

3. 程序运行的时候有一条低优先级的GC线程，它是一条守护线程，当这条线程处于运行状态的时候，自然就触发了一次GC了。这点也很好证明，不过要用到WeakReference的知识。

2、判断对象是否存活

2.1、引用计数算法（Recference Counting）

为对象添加一个引用计数器，每当有位置引用它的时候，计数器的值就加1，当引用失效的时候，引用的计数值减1。当引用计数器的值为0时表示对象不可再被使用。
优点：
实现简单，判定高效，可以很好解决大部分场景的问题，也有一些著名的应用案例；
缺点：

1. 很难解决对象之间相互循环引用的问题
   以下例子：当两个对象不再被访问时，因为相互引用对方，导致引用计数不为0；

ReferenceCountingGC objA = new ReferenceCountingGC();
ReferenceCountingGC objB = new ReferenceCountingGC();
objA.instance = objB;
objB.instance = objA;
objA = null;
objB = null;

2. 开销较大，频繁且大量的引用变化，带来大量的额外运算

2.2、可达性分析算法（Reachability Analysis）

• 可达性分析的思路
  通过一系列"GC Roots"对象作为起始点，开始向下搜索；搜索所走过和路径称为引用链（Reference Chain）；当一个对象到GC Roots没有任何引用链相连时（从GC Roots到这个对象不可达），则证明该对象是不可用的；
  

• GC Roots对象
  首先，一类可以作为GC Roots的对象是栈（包括虚拟机栈和本地方法栈）中的对象，因为栈帧随着方法的执行和退出自动进栈和出栈，那么在栈中对象必然是有用的，那么其引用的对象也必然是有用的，还有其引用的对象再引用的对象。
  那么我们可以看到，通过判断一个对象到GC Roots是否存在一条可达路径，即可以作为判断对象是否有用的标准。
  GC Roots对象的还有类静态属性引用的变量和常量引用的对象。

• 优点
  更加精确和严谨，可以分析出循环数据结构相互引用的情况；

• 缺点
  实现比较复杂，需要分析大量数据，消耗大量时间：
  GC Roots主要在全局性的引用（常量或静态属性）和执行上下文中（栈帧中的本地变量表）； 要在这些大量的数据中，逐个检查引用，会消耗很多时间；
  GC停顿：
  分析过程需要GC停顿（引用关系不能发生变化），即停顿所有Java执行线程（称为"Stop The World"，即JVM在后台自动发起和自动完成的；在用户不可见的情况下，把用户正常的工作线程全部停掉）

2.3、对象引用

java程序通过reference类型数据操作堆上的具体对象；

1. JVM层面的引用

• reference类型是引用类型（Reference Types）的一种；
• JVM规范规定reference类型来表示对某个对象的引用，可以想象成类似于一个指向对象的指针；
• 对象的操作、传递和检查都通过引用它的reference类型的数据进行操作；

2. Java语言层面的引用
   （1）强引用（Strong Reference）
   程序代码普遍存在的，类似"Object obj=new Object()"；
   只要强引用还存在，GC永远不会回收被引用的对象；
   （2）软引用（Soft Reference）
   用来描述还有用但并非必需的对象；
   直到内存空间不够时（抛出OutOfMemoryError之前），才会被垃圾回收；
   最常用于实现对内存敏感的缓存；
   SoftReference类实现；
   （3）弱引用（Weak Reference）
   用来描述非必需对象；
   只能生存到下一次垃圾回收之前，无论内存是否足够；
   WeakReference类实现；
   （4）虚引用（Phantom Reference）
   也称为幽灵引用或幻影引用；
   完全不会对其生存时间构成影响；
   唯一目的就是能在这个对象被回收时收到一个系统通知；
   PhantomRenference类实现；

2.4、对象标记

要真正宣告一个对象死亡，至少要经历两次标记过程。
1、第一次标记
在可达性分析后发现到GC Roots没有任何引用链相连时，被第一次标记；
并且进行一次筛选：此对象是否必要执行finalize()方法；

• 没有必要执行
  （1）对象没有覆盖finalize()方法；
  （2）finalize()方法已经被JVM调用过；
  这两种情况就可以认为对象已死，可以回收；
• 有必要执行
  对有必要执行finalize()方法的对象，被放入F-Queue队列中；
  稍后在JVM自动建立、低优先级的Finalizer线程（可能多个线程）中触发这个方法；

2、第二次标记
GC将对F-Queue队列中的对象进行第二次小规模标记；

3、垃圾收集算法

JVM是一个进程，垃圾收集器就是一个线程，垃圾收集线程是一个守护线程，优先级低，其在当前系统空闲或堆中老年代占用率较大时触发。
JDK7/8后，HotSpot虚拟机所有收集器及组合（连线），如下图：

在确定了哪些垃圾可以被回收后，垃圾收集器要做的事情就是开始进行垃圾回收，但是这里面涉及到一个问题是：如何高效地进行垃圾回收。由于Java虚拟机规范并没有对如何实现垃圾收集器做出明确的规定，因此各个厂商的虚拟机可以采用不同的方式来实现垃圾收集器，所以在此只讨论几种常见的垃圾收集算法的核心思想。

3.1、标记-清除算法

这是最基础的垃圾回收算法，之所以说它是最基础的是因为它最容易实现，思想也是最简单的。标记-清除算法分为两个阶段：标记阶段和清除阶段。标记阶段的任务是标记出所有需要被回收的对象，清除阶段就是回收被标记的对象所占用的空间。具体过程如下图所示：

从图中可以很容易看出标记-清除算法实现起来比较容易，但是有一个比较严重的问题就是容易产生内存碎片，碎片太多可能会导致后续过程中需要为大对象分配空间时无法找到足够的空间而提前触发新的一次垃圾收集动作。
标记-清除应用于垃圾收集器有：CMS

3.2、复制算法

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

这种算法虽然实现简单，运行高效且不容易产生内存碎片，但是却对内存空间的使用做出了高昂的代价，因为能够使用的内存缩减到原来的一半。很显然，Copying算法的效率跟存活对象的数目多少有很大的关系，如果存活对象很多，那么Copying算法的效率将会大大降低。
复制算法应用于垃圾收集器有：Serial、ParNew、Parallel Scavenge、G1

3.3、标记-整理算法

为了解决Copying算法的缺陷，充分利用内存空间，提出了Mark-Compact算法。该算法标记阶段和Mark-Sweep一样，但是在完成标记之后，它不是直接清理可回收对象，而是将存活对象都向一端移动，然后清理掉端边界以外的内存。具体过程如下图所示：

标记-整理应用于垃圾收集算法有：Serial Old、Parallel Old、G1

3.4、分代收集算法

分代收集算法是目前大部分JVM的垃圾收集器采用的算法。它的核心思想是根据对象存活的生命周期将内存划分为若干个不同的区域。一般情况下将堆区划分为老年代（Tenured Generation）和新生代（Young Generation），老年代的特点是每次垃圾收集时只有少量对象需要被回收，而新生代的特点是每次垃圾回收时都有大量的对象需要被回收，那么就可以根据不同代的特点采取最适合的收集算法。
目前大部分垃圾收集器对于新生代都采取复制算法，因为新生代中每次垃圾回收都要回收大部分对象，也就是说需要复制的操作次数较少，但是实际中并不是按照1：1的比例来划分新生代的空间的，一般来说是将新生代划分为一块较大的Eden空间和两块较小的Survivor空间，每次使用Eden空间和其中的一块Survivor空间，当进行回收时，将Eden和Survivor中还存活的对象复制到另一块Survivor空间中，然后清理掉Eden和刚才使用过的Survivor空间。
而由于老年代的特点是每次回收都只回收少量对象，一般使用的是标记-整理算法（压缩法）。