JVM垃圾回收面试题详解，java开发语言基础知识

所以这种算法已经没人用了。

2.2 可达性分析法

2.2.1 什么是可达性

可达性分析法就是目前的主流算法，也是java正在使用的算法。

它的做法是，通过一系列被称为“GC Roots”的对象作为起点，从这些起点开始往下搜索，搜索所走过的路径称为引用链（Reference Chain）。当一个对象没有和任何引用链相连，即称为该对象不可达（图论的说法），认为该对象死亡。

来看下面这张图：

上图中A、B、C都跟GC Roots有直接或间接的引用关系，所以是存活对象。而D、E、F虽然相互之间有引用，但是和GC Roots并无引用关系，所以是死亡对象。

2.2.2 哪些对象可作为GC Roots

有四类对象可作为可达性分析的GC Roots

栈（栈帧中的本地变量表）中引用的对象
方法区中类静态属性引用的对象
方法区中常量引用的对象
本地方法栈中JNI引用的对象

总而言之，GC Roots是所有Java线程中处于活跃状态的栈帧,静态引用等指向GC堆里的对象的引用。换句话说，就是当前所有正在被调用的方法的引用类型的参数/局部变量/临时值。

2.3 所谓引用

对象是否死亡，关键就在于引用。在java中，引用其实有四种：强引用、软引用、弱引用、虚引用。

强引用

强引用就是我们日常开发中最常见的引用，例如

String str = new String(“hello”);

只要强引用还在，对象就不会被回收。

软引用

软引用需要专门声明，例如

SoftReference str = new SoftReference(“hello”);

被软引用关联的对象在内存不足时会被回收。

这个特性特别适合用来做缓存。

弱引用

弱引用也需要专门声明，例如

WeakReference str = new WeakReference(“hello”);

被弱引用关联的对象每次GC时都会被回收。

弱引

《一线大厂Java面试题解析+后端开发学习笔记+最新架构讲解视频+实战项目源码讲义》

【docs.qq.com/doc/DSmxTbFJ1cmN1R2dB】完整内容开源分享

用最常见的用途是实现可自动清理的集合或者队列。

虚引用

虚引用是最弱的引用，需要用PhantomReference来声明，例如

PhantomReference phantom = new PhantomReference<>(new String(“hello”), new ReferenceQueue<>());

它完全不会影响对象的生存时间，唯一的作用是在对象被回收时发一个系统通知。

2.4 起死回生

对象在被判定为死亡后，并不会立刻被回收，而是要经过一个过程才会被回收。在这个回收过程中，死亡对象还有可能活过来，是不是很神奇？

来看图：

上图是对象被回收的过程。一个对象要被回收，至少要经过两次标记。

如果对象在第二次标记之前重新连接上GC Roots，那么它将在第二次标记中被移出回收队列，从而复活。

还有一点需要注意的是，Finalizer线程是一个由虚拟机自动建立，且低优先级的线程。该线程触发对象的finalize()方法之后，并不会阻塞等待方法执行结束。这样做是为了防止回收队列被阻塞。

finalize()是Object中的方法，当垃圾回收器将要回收对象所占内存之前被调用的方法。有些教材推荐用该方法来做“关闭外部资源”之类的工作，但是实际上该方法运行代价高昂，且不确定性很大，所以并不推荐使用。真要关闭外部资源，还不如用try-finally来处理。

3.方法区的回收

方法区不在堆内，会被垃圾回收吗？

在jdk1.7中，方法区在永久代，而永久代本身就是垃圾回收概念下的产物，full gc时就会对方法区回收。

到了jdk1.8，虽然永久代被取消，但是新增了MaxMetaspaceSize参数，对于将死的类及类加载器的垃圾回收将在元数据使用达到“MaxMetaspaceSize”参数的设定值时进行。

所以，方法区会被回收。

4.垃圾回收算法

这一节我们来看下流行的垃圾回收算法，只说思想，不涉及实现细节。

我们需要了解的垃圾回收算法有以下几种：

标记-清除算法
复制算法
标记-整理算法
分代回收算法

咱们一个个来看下。

4.1 标记-清除算法

标记-清除算是最基本的回收算法了。它的思想就是先标记，再清除。标记过程如2.4节所述，有两次标记。

它的主要缺点有两个：

效率不高
会产生大量内存碎片

内存碎片是指内存的空间比较零碎，缺少大段的连续空间。这样假如突然来了一个大对象，会找不到足够大的连续空间来存放，于是不得不再触发一次gc。

4.2 复制算法

复制算法的思想是，把内存分成两块，假设分成A、B两个区域吧。

每次对象过来之后，都放到A区域里，当A区域满了之后，把存活的对象复制到B区域，然后清空A区域。

接下来的对象就全部放到B区域，等B区域满了，就把存活对象复制到A区域，然后清空B区域。

就这样来回倒腾，完成垃圾回收。

优点是不会有空间碎片，缺点是每次只用得到一半内存。

缺点是在对象存活率较高的场景下（比如老年代那样的环境），需要复制的东西太多，效率会下降。

4.3 标记-整理算法

标记-整理算法中的“标记”阶段和“标记-清理”中的标记一样。不同的是，死亡对象并不会直接清理，而是把他们在内存中都移动到一起，然后一起清理。

4.4 分代收集算法

分代收集算法其实没什么新东西，只是把对象按存活率分块，然后选用合适的收集算法。

java中使用的就是分代收集算法。

存活率低的对象放在一起，称为年轻代，使用复制算法来收集。

存活率高的对象放在一起，称为老年代，使用标记-清除或者标记-整理算法。

5. HotSpot的枚举GC Roots

前面我们说到了对象的可达性分析需要从GC Roots开始计算引用链。

然而可作为GC Roots的对象非常多，一个个来计算将非常耗时。

而且在进行这项工作时，虚拟机必须停下来，就像时间停止那样（Sun称之为Stop The World，哈哈，是不是很酷），以此保证分析结果的准确性。

我们的程序，特别是网站应用，基本是上是一刻不停的在运行的。如果出现长时间的停止，基本上是不可接受的。为了解决这个问题，各个虚拟机都采取了一些措施，尽量减少停顿时间（是的，只能减少，停顿是不可能消除的）。

我们来看看现在最流行的Hotspot虚拟机是怎么处理的。（还记得啥是HotSpot不？翻翻前几篇文章）

5.1 OopMap

在HotSpot中，虚拟机把对象内的什么偏移量上是什么类型的数据的信息存在到一个叫做“OopMap”的数据结构中。这样在计算引用链时直接查OopMap即可，不用到整个内存中去挨个找了，由此提高了分析速度。

5.2 安全点

然而，程序中的引用关系时时刻刻都在变化，如果每次变化都要记录到OopMap中，也是一项很大的负担。所以，只有在程序执行到了特定的位置，才会去记录到OopMap中。

这个“特定的位置”，就叫安全点。

这里面还有个问题，就是如何保证在GC发生时，让所有的线程正好到达安全点。

有两种方式：

抢先式中断（已经没人用了）

抢先式中断的思路是，先把所有线程中断，如果有线程没有跑到安全点上，就恢复该线程，让它跑到安全点。

主动式中断

主动式中断的做法是，设置一个中断标志，这个标志和安全点是重合的。让各个线程去轮询这个标志，发现需要中断时，线程就自己中断挂起。

5.3 安全区域

虽然安全点已经完美解决了如何保证在GC发生时，让所有的线程正好到达安全点的问题。

但是有一些情况下，线程失去了行为能力，比如线程处于sleep或者blocked状态。这个时候线程无法去响应JVM的中断请求，而JVM显然也不肯能一直等待某几个线程。该怎么办呢？

这种情况就需要“安全区域”来解决。

安全区域是指在一段代码片段中，引用关系不会发生变化，这个区域中任意地方开始GC都是安全的。

6.垃圾收集器

前面咱们说的都是垃圾收集的方法和思路，垃圾收集器则是具体的实现。

先来看下hotSpot中垃圾收集器的总图（到jdk1.8）

6.1 并行和并发

在开始讲解之前，我们先了解一下什么是并行和并发。

并行：垃圾收集器是多线程同时工作的，但是用户线程仍然处于等待状态。

并发：用户线程和垃圾收集器线程同时执行（也有可能是交替执行）。

下面咱们说说几个常用的使用方案

6.1 jdk1.8默认垃圾收集器

查看当前使用的垃圾收集器可以使用以下命令：

~ java -XX:+PrintCommandLineFlags -version

然后会看到以下内容：

-XX:InitialHeapSize=134217728 -XX:MaxHeapSize=2147483648 -XX:+PrintCommandLineFlags -XX:+UseCompressedClassPointers -XX:+UseCompressedOops -XX:+UseParallelGC

java version “1.8.0_151”

Java™ SE Runtime Environment (build 1.8.0_151-b12)

Java HotSpot™ 64-Bit Server VM (build 25.151-b12, mixed mode)

可见jdk1.8默认工作在Server模式下，默认使用ParallelGC垃圾收集器。

如果要看更详细的信息，还可以使用以下命令：

java -XX:+PrintFlagsFinal -version | grep GC

这个命令打印的内容有点多，我们主要找值为true的信息。默认情况会有以下两行：

bool UseParallelGC := true

bool UseParallelOldGC = true

6.1.1 Parallel Scavenge收集器

从上面的总图能看到，这是一个工作在年轻代的收集器，使用复制算法，是一个并行的多线程收集器。

它的目标是达到一个可控制的吞吐量。所谓吞吐量就是CPU用于运行用户代码的时间与CPU总消耗时间的比值。比如虚拟机总共运行了100分钟，其中垃圾收集花了1分钟，那吞吐量就是99%。

6.1.2 Parallel Old收集器

Parallel Old是一个工作在老年代的收集器，使用“标记-整理”算法。也是一个关注吞吐量的垃圾收集器。

6.2 web应用垃圾收集器方案

ParallelGC组合重视的是吞吐量，非常适合在后台运算而不需要太多交互的场景。

对于需要大量交互的应用，比如web应用，则需要更短的停顿时间。

所以大多数web应用使用的是ParNew+CMS收集器方案。

6.2.1 ParNew收集器

parNew也是一个工作在年轻代的收集器，也使用复制算法，也是一个并行的多线程收集器。

为什么我要使用这么多“也”……

好吧，parNew看起来和Parallel Scavenge一模一样，但其实他们还是有区别的。

parNew是一个重视停顿时间收集器。

不过它最大的特点是：可以和CMS收集器组队工作。

Parallel Scavenge就不行……

6.2.2 CMS收集器

CMS是一款十分优秀的老年代垃圾收集器，响应速度快、停顿时间短，是现在大多数互联网公司的选择，大家要好好掌握。

CMS使用“标记-清除”算法，分为4个步骤：

初始标记（STW）
并发标记
重新标记（STW）
并发清除

其中，初始标记很快，只是标记一下GC Roots能直接关联到的对象。

并发标记和重新标记要Stop The World，并发标记就是在标记死亡对象，重新标记是为了修正并发标记期间发生变动的那部分对象。

从耗时来看，并发标记>重新标记>初始标记。

并发清除和并发标记耗时最长，但收集器线程是和用户线程一起并发执行的，所以没有停顿。

CMS固然优秀，但也有一些缺点：

耗CPU资源

收集器线程和用户线程并发工作，所以收集时会抢占CPU资源

无法处理浮动垃圾

浮动垃圾是指在标记过程之后出现的垃圾。这部分垃圾在本次回收中无法处理，只能等下次。

产生碎片空间

使用“标记-清除”算法就会有这个问题。不过可以通过参数设置开启碎片整理，比如3次回收后就来一次带碎片整理的回收。

6.3 G1收集器