JVM系列-垃圾回收

Java不需要我们手动的申请和释放空间，而是由JVM自动的来进行分配和回收。既然是自动的，那跟手动释放和回收相比，在精准性和效率上可能就会稍微差一些，所以Java虚拟机团队也不断地研发更优秀的垃圾收集器，也有了一代又一代的垃圾收集器。

既然要学习垃圾回收，那就会有如下的一些问题：回收哪些空间，怎么判断这个对象能不能回收，什么时候进行回收，怎么才能高效的回收。

回收哪些空间？
之前我们学习过JVM的内存划分，里面有些空间是线程私有的，有些是线程共享的。对于程序计数器、虚拟机栈、本地方法栈这些空间来说，属于线程私有的空间。这些空间随线程而生，随线程而灭，不需要考虑回收的问题，因为方法调用完成之后或者线程结束后，空间就自动释放了。但是对于堆和方法区而言，是线程共享的，而且是在程序运行期间，动态进行空间分配和回收的。我们的垃圾回收算法，主要就是作用于这两部分空间的。
回收堆的空间，就是对堆中的对象进行标记和回收，回收方法区的空间，一般就是回收一些废弃的常量和无用的类。

如何判断对象可以被回收？
判断哪些对象可以被回收，其实就是判断对象是否存活，活着的对象就不回收，死了的就回收。判断对象是否存活，常见有两种方法：引用计数算法和可达性分析算法。
1.引用计数算法
给对象中添加一个引用计数器，有地方引用时，计数器加1，引用失效时，计数器减1，计数器为0时，说明没有引用，可以回收。
Hotspot没采用这种算法，因为很难解决对象之间循环引用的问题。
2.可达性分析
通过一系列GC Roots的对象最为起始点，一直向下搜索，走过的路径成为引用链，当一个对象到GC Roots没有引用链时（也就是GC Roots到这个对象不可达），证明这个对象是不可用的。

常见的可以作为GC Roots的对象为：
1.虚拟机栈中，栈帧中的本地变量表引用的对象。
2.本地方法栈中引用的对象。
3.方法区中，类静态属性引用的对象。
4.方法区中，常量引用的对象。
5.已启动且未停止的 Java 线程。

一般情况下，垃圾收集器会采用可达性分析算法来标记对象。这种方式看起来比较容易，只是从GC Roots开始标记一遍，然后回收就可以了，但是实际的操作过程还是比较复杂的。因为我们程序在运行时是多线程运行的，垃圾回收的线程将对象标记完成之后，还可能有其他线程对该对象进行操作，比如把这个对象置为null，成为不可用对象。或者把这个对象又和GC Roots上的对象关联起来。所以，之前标记的就是不准的。

Stop-the-world
为了解决可达性分析标记不准的问题，就有了Stop-the-world，停止其他非垃圾回收线程的工作，直到完成垃圾回收。
Java 虚拟机中的 Stop-the-world 是通过安全点（safepoint）机制来实现的。当 Java 虚拟机收到 Stop-the-world 请求，它便会等待所有的线程都到达安全点，才允许请求 Stop-the-world 的线程进行独占的工作。安全点的目的就是找到一个稳定的状态，在这个状态下，JVM的堆栈不会发生变化，这样，垃圾回收线程就可以进行可达性分析了。

常见的垃圾回收算法：
常见的垃圾回收算法有四种：标记-清除、复制、标记-整理、分代收集。
标记-清除算法：

标记-清除算法，分为两个阶段，先标记，再清除。标记就是把所有可以进行回收的对象标记一下，标记完成后，就可以进行统一的回收。
这个算法有两个缺点，一是标记和清除的性能不高，二是容易产生内存碎片。所以这个算法算是一个基础的算法，其他算法会根据这个算法进行改进。

复制算法：

复制算法把内存分为两块，一次只用一块，回收时就把其中一块存活的对象复制到另一块。再把这一块的空间清除。这种方法简单高效，而且不存在碎片问题，但是成本较大，因为只用了一半的内存。改进的方法是按照8:1:1的比例，分配三块空间。最大的这个是Eden，两块小的是Survivor，每次使用一块Eden和一块Survivor，回收时，把Eden和Survivor的存活对象复制到另一块Survivor上。这种算法适合新生代，因为新生代对象大部分都是朝生夕死的，所以一般不会有问题。如果真的遇到了Survivor空间不够用的情况，则需要担保机制，把存活的对象直接进入老年代。

标记-整理算法：

标记-整理类似于标记-清除，也是先标记，只不过标记完之后，不是清除，而是把存活的对象往一端去移动，移动完之后，直接把边界后面的空间全都清除。这种方式也可以减少内存碎片。

分代收集算法：
现在一般商用的JVM都会采用分代收集的算法，就是把堆分成新生代和老年代，不同的空间用不同的回收算法。对于新生代，大部分对象都是朝生夕死的，所以就用复制算法。对于老年代，对象的存活率较高，也没有担保机制，就用标记-整理或者标记-清除。

常见的垃圾收集器

Serial是最基本的收集器，适用于新生代，采用复制算法，单线程进行回收，回收的过程中，需要暂停所有的用户线程，直到回收结束。
Serial Old是老年代收集器，也是单线程的，使用的标记-整理算法。
ParNew：相当于Serial的多线程版本，除了回收的时候用多线程以外，其他和Serial都一样的，也需要暂停所有的用户线程。不过ParNew的用途比较广泛，因为只有Serial和ParNew可以和CMS进行搭配。
Parallel Scavenge是个新生代收集器，用的复制算法，多线程并行回收。看起来和ParNew是一样的，不过他们两个收集器的关注点不同。ParNew关注停顿时间，让停顿时间尽可能短。Parallel Scavenge关注吞吐量。
Parallel Old，是老年代的收集器，使用标记-整理算法。和Parallel Scavenge搭配使用，适合后台程序，和用户没有交互的，这样可以保证有较高的吞吐量。
CMS：老年代收集器，采用标记-清除算法，关注点在于减少停顿时间，所以适合用户交互的系统。

CMS分为四个步骤：初始标记、并发标记、重新标记、并发清除。

初始标记个重新标记这两个步骤需要stop the world，但是这两个步骤耗时一般会比较短。并发标记和并发清除这两个步骤，都是可以和用户线程并发执行的。

CMS是一款优秀的垃圾收集器，很多系统都会采用这个收集器。不过也有一些缺点，比如会产生内存碎片。

G1收集器：既可以新生代，也可以老年代，它的定位就是为了取代CMS。G1把堆划分为多个Region，每个Region都可以充当 Eden 区、Survivor 区或者老年代中的一个。先回收价值大的Region，避免了在整个堆空间进行回收。从整体上看，G1采用的是标记-整理算法。