JVM GC（Garbage Collection）

谁践踏了优雅 2022-07-03 14:54 223阅读 0赞

## **Garbage Collection** ##

垃圾回收在面试中被经常提及，要弄懂垃圾回收，首先要先弄懂一个问题  
**GC是在什么时候，对什么东西，做了什么事情**

**（1）首先“什么时候”**  
1、绝大多数刚刚被创建的对象会存放在伊甸园空间（Eden）。

2、在伊甸园空间被装满时执行第一次Young GC，第一次GC执行之后存活的对象被移动到其中一个幸存者空间（Survivor ）。

3、此后，每次伊甸园空间执行GC后，存活的对象会被堆积在同一个幸存者空间。

4、当一个幸存者空间饱和，还在存活的对象会被移动到另一个幸存者空间。然后会清空已经饱和的那个幸存者空间。

5、在以上步骤中重复N次（N = MaxTenuringThreshold（年龄阀值设定，默认15））依然存活的对象，就会被移动到老年代。（两个幸存者空间，必须有一个是保持空的）

6、Young GC触发时有部分存活对象会晋升到old gen，所以young GC后old gen的占用量通常会有所升高。所以每次Young GC时会检测之前每次晋升到老年代的平均大小是否大于老年代的剩余空间，如果大于，改为直接进行一次Full GC，如果小于则查看HandlePromotionFailure设置看看是否允许担保失败，如果允许，那仍然进行Young GC，如果不允许，则也要改为进行一次Full GC

> Full gc的触发条件有多个，FULL GC的时候会STOP THE WORD。  
> （1）在执行Young gc之前，JVM会进行空间分配担保——如果老年代的连续空间小于新生代对象的总大小（或历次晋升的平均大小），则触发一次full gc。  
> （2）显式调用System.gc()方法时；  
> （3）大对象直接进入老年代，从年轻代晋升上来的老对象，尝试在老年代分配内存时，但是老年代内存空间不够；

**（2）“对什么东西”**  
从GC root搜索不到，而且经过第一次标记、清理后，仍然没有复活的对象。  
需要注意的是，JVM GC只回收**堆区和方法区**内的对象。而栈区的数据，在超出作用域后会被JVM自动释放掉，所以其不在JVM GC的管理范围内。

判定一个对象死亡，至少经历两次标记过程：如果对象在进行根搜索后，发现没有与GC Roots相连接的引用链，那它将会被第一次标记，并在稍后执行他的finalize()方法（如果它有的话）。这里所谓的“执行”是指虚拟机会触发这个方法，但并不承诺会等待它运行结束。这点是必须的，否则一个对象在finalize()方法执行缓慢，甚至有死循环什么的将会很容易导致整个系统崩溃。finalize()方法是对象最后一次逃脱死亡命运的机会，稍后GC将进行第二次规模稍小的标记，如果在finalize()中对象成功拯救自己（只要重新建立到GC Roots的连接即可，譬如把自己赋值到某个引用上），那在第二次标记时它将被移除出“即将回收”的集合，如果对象这时候还没有逃脱，那基本上它就真的离死不远了。

**方法区（Method area）**：用于保存类常量以及字符串常量。注意，这个区域不是用于存储那些从老年代存活下来的对象，这个区域也可能发生GC。发生在这个区域的GC事件也被算为Full GC 。只不过在这个区域发生GC的条件非常严苛，必须符合以下三种条件才会被回收：  
1、所有实例被回收  
2、加载该类的ClassLoader 被回收  
3、Class 对象无法通过任何途径访问（包括反射）

**（3）“做什么事情”**  
新生代：复制清理；  
老年代：标记-清除和标记-压缩算法；  
永久代：存放Java中的类和加载类的类加载器本身。

--------------------

## **如何判断对象是否存活** ##

Java使用的是**可达性分析算法**来进行判断，因为**引用计数法**在两个对象相互引用时，无法准确判断GC回收，所以使用**可达性分析算法**

通过一系列称为 “GC Roots” 的对象作为起点，从这些节点开始向下搜索，搜索路径称为 “引用链”，以下对象可作为GC Roots：

（1）虚拟机栈中引用的对象  
（2）方法区中静态变量引用的对象  
（3）方法区中常量引用的对象  
（4）Native方法引用的对象  
当一个对象到 GC Roots 没有任何引用链时，意味着该对象可以被回收。  
![这里写图片描述][SouthEast]

图中obj4 obj5 obj6虽然相互有关联，但是他们到GC Roots是不可达的，所以他们被判定成可回收对象。  
在可达性分析法中，判定一个对象objA是否可回收，至少要经历两次标记过程：  
1、如果对象objA到 GC Roots没有引用链，则进行第一次标记。  
2、如果对象objA重写了finalize()方法，且还未执行过，那么objA会被插入到F-Queue队列中，由一个虚拟机自动创建的、低优先级的Finalizer线程触发其finalize()方法。finalize()方法是对象逃脱死亡的最后机会，GC会对队列中的对象进行第二次标记，如果objA在finalize()方法中与引用链上的任何一个对象建立联系，那么在第二次标记时，objA会被移出“即将回收”集合。

--------------------

## **垃圾收集算法** ##

**（1） 标记-清除算法**  
首先标记出所有需要回收的对象，然后回收所有需要回收的对象  
算法缺点：效率问题，标记和清除过程效率都很低；  
空间问题，收集之后会产生大量的内存碎片，不利于大对象的分e配。  
![这里写图片描述][SouthEast 1]

**（2）复制算法**  
复制算法将可用内存划分成大小相等的两块A和B，每次只使用其中一块，当A的内存用完了，就把存活的对象复制到B，并清空A的内存，不仅提高了标记的效率，因为只需要标记存活的对象，同时也避免了内存碎片的问题，代价是可用内存缩小为原来的一半。  
这个算法被普遍用在新生代上，因为新生代的对象98%都是“朝生夕死”，所以并不需要按照1：1的比例来划分内存空间，而是将内存分为一块较大的eden空间和2块较少的survivor空间，每次使用eden和其中一块survivor，当回收时将eden和survivor还存活的对象一次过拷贝到另外一块survivor空间上，然后清理掉eden和用过的survivor。Sun Hotspot虚拟机默认eden和survivor的大小比例是8:1，当survivor空间不够用时，需要依赖其他内存（譬如老年代）进行分配担保（Handle Promotion）  
![这里写图片描述][SouthEast 2]

**（3）标记-整理算法**  
在老年代中，对象存活率较高，复制算法的效率很低。  
在老年代中，对象存活率较高，复制算法的效率很低。在标记-整理算法中，标记出所有存活的对象，并移动到一端，然后直接清理边界以外的内存。标记-整理 算法是在标记-清除 算法之上，又进行了对象的移动排序整理，因此成本更高，但却解决了内存碎片的问题。  
![这里写图片描述][SouthEast 3]

**（4）分代收集算法**   
JVM为了优化内存的回收，使用了分代回收的方式，对于新生代内存的回收（Minor GC）主要采用复制算法。而对于老年代的回收（Major GC），大多采用标记-整理算法。

--------------------

## **对象标记过程** ##

在可达性分析过程中，为了准确找出与GC Roots相关联的对象，必须要求整个执行引擎看起来像是被冻结在某个时间点上，即暂停所有运行中的线程，不可以出现对象的引用关系还在不断变化的情况。

**如何快速枚举GC Roots？**  
GC Roots主要在全局性的引用（常量或类静态属性）与执行上下文（本地变量表中的引用）中，很多应用仅仅方法区就上百兆，如果进行遍历查找，效率会非常低下。

在HotSpot中，使用一组称为OopMap的数据结构进行实现。类加载完成时，HotSpot把对象内什么偏移量上是什么类型的数据计算出来存储到OopMap中，通过JIT编译出来的本地代码，也会记录下栈和寄存器中哪些位置是引用。GC发生时，通过扫描OopMap的数据就可以快速标识出存活的对象。

**如何安全的GC？**  
线程运行时，只有在到达安全点（Safe Point）才能停顿下来进行GC。

基于OopMap数据结构，HotSpot可以快速完成GC Roots的遍历，不过HotSpot并不会为每条指令都生成对应的OopMap，只会在Safe Point处记录这些信息。

所以Safe Point的选择很重要，如果太少可能导致GC等待的时间太长，如果太频繁可能导致运行时的性能问题。大部分指令的执行时间都非常短暂，通常会选择一些执行时间较长的指令作为Safe Point，如方法调用、循环跳转和异常跳转等。

**发生GC时，如何让所有线程跑到最近的Safe Point再暂停？**  
当发生GC时，不直接对线程进行中断操作，而是简单的设置一个中断标志，每个线程运行到Safe Point的时候，主动去轮询这个中断标志，如果中断标志为真，则将自己进行中断挂起。

这里忽略了一个问题，当发生GC时，运行中的线程可以跑到Safe Point后进行挂起，而那些处于Sleep或Blocked状态的线程在此时无法响应JVM的中断请求，无法到Safe Point处进行挂起，针对这种情况，可以使用安全区域（Safe Region）进行解决。

Safe Region是指在一段代码片段中，对象的引用关系不会发生变化，在这个区域中的任何位置开始GC都是安全的。  
1、当线程运行到Safe Region的代码时，首先标识已经进入了Safe Region，如果这段时间内发生GC，JVM会忽略标识为Safe Region状态的线程；  
2、当线程即将离开Safe Region时，会检查JVM是否已经完成GC，如果完成了，则继续运行，否则线程必须等待直到收到可以安全离开Safe Region的信号为止；

--------------------

## **垃圾收集器** ##

Java虚拟机规范并没有规定垃圾收集器应该如何实现，用户可以根据系统特点对各个区域所使用的收集器进行组合使用。

![这里写图片描述][SouthEast 4]

上图展示了7种不同分代的收集器，如果两两之间存在连线，说明可以组合使用。

**1、Serial收集器（串行GC）**  
Serial 是一个采用单个线程并基于复制算法工作在新生代的收集器，进行垃圾收集时，必须暂停其他所有的工作线程(Stop the World)。对于单CPU环境来说，Serial由于没有线程交互的开销，可以很高效的进行垃圾收集动作，是Client模式下新生代默认的收集器。

![这里写图片描述][SouthEast 5]  
**2、ParNew收集器（并行GC）**  
ParNew其实是serial的多线程版本，除了使用多条线程进行垃圾收集之外，其余行为与Serial一样。  
![这里写图片描述][SouthEast 6]

**3、Serial Old收集器（串行GC）**  
Serial Old 是一个采用单线程基于标记-整理算法并工作在老年代的收集器，是Client模式下老年代默认的收集器。

**4、Parallel Scavenge收集器（并行回收GC）**  
Parallel Scavenge是一个采用多线程基于复制算法并工作在新生代的收集器，其关注点在于达到一个可控的吞吐量，经常被称为“吞吐量优先”的收集器。

吞吐量 = 用户代码运行时间 /（用户代码运行时间 + 垃圾收集时间）

Parallel Scavenge提供了两个参数用于精确控制吞吐量：  
1、-XX：MaxGCPauseMillis 设置垃圾收集的最大停顿时间  
2、-XX：GCTimeRatio 设置吞吐量大小

**5、Parallel Old收集器（并行GC）**  
Parallel Old是一个采用多线程基于标记-整理算法并工作在老年代的收集器。在注重吞吐量以及CPU资源敏感的场合，可以优先考虑Parallel Scavenge和Parallel Old的收集器组合。  
![这里写图片描述][SouthEast 7]

**6、CMS收集器（并发GC）**  
CMS(Concurrent Mark Sweep)是一种以获取最短回收停顿时间为目标的收集器，工作在老年代，基于“标记-清除”算法实现，整个过程分为以下4步：  
1、初始标记：这个过程只是标记以下GC Roots能够直接关联的对象，但是仍然会Stop The World；  
2、并发标记：进行GC Roots Tracing的过程，可以和用户线程一起工作。  
3、重新标记：用于修正并发标记期间由于用户程序继续运行而导致标记产生变动的那部分记录，这个过程会暂停所有线程，但其停顿时间远比并发标记的时间短；  
4、并发清理：可以和用户线程一起工作。

CMS收集器的缺点：  
1、对CPU资源比较敏感，在并发阶段，虽然不会导致用户线程停顿，但是会占用一部分线程资源，降低系统的总吞吐量。  
2、无法处理浮动垃圾，在并发清理阶段，用户线程的运行依然会产生新的垃圾对象，这部分垃圾只能在下一次GC时收集。  
3、CMS是基于标记-清除算法实现的，意味着收集结束后会造成大量的内存碎片，可能导致出现老年代剩余空间很大，却无法找到足够大的连续空间分配当前对象，不得不提前触发一次Full GC。

JDK1.5实现中，当老年代空间使用率达到68%时，就会触发CMS收集器，如果应用中老年代增长不是太快，可以通过-XX:CMSInitiatingOccupancyFraction参数提高触发百分比，从而降低内存回收次数提高系统性能。

JDK1.6实现中，触发CMS收集器的阈值已经提升到92%，要是CMS运行期间预留的内存无法满足用户线程需要，会出现一次”Concurrent Mode Failure”失败，这是虚拟机会启动Serial Old收集器对老年代进行垃圾收集，当然，这样应用的停顿时间就更长了，所以这个阈值也不能设置的太高，如果导致了”Concurrent Mode Failure”失败，反而会降低性能，至于如何设置这个阈值，还得长时间的对老年代空间的使用情况进行监控。  
![这里写图片描述][SouthEast 8]

**7、G1收集器**  
G1（Garbage First）是JDK1.7提供的一个工作在新生代和老年代的收集器，基于“标记-整理”算法实现，在收集结束后可以避免内存碎片问题。

G1优点：  
1、并行与并发：充分利用多CPU来缩短Stop The World的停顿时间；  
2、分代收集：不需要其他收集配合就可以管理整个Java堆，采用不同的方式处理新建的对象、已经存活一段时间和经历过多次GC的对象获取更好的收集效果;  
3、空间整合：与CMS的”标记-清除”算法不同，G1在运行期间不会产生内存空间碎片，有利于应用的长时间运行，且分配大对象时，不会导致由于无法申请到足够大的连续内存而提前触发一次Full GC;  
4、停顿预测：G1中可以建立可预测的停顿时间模型，能让使用者明确指定在M毫秒的时间片段内，消耗在垃圾收集上的时间不得超过N毫秒。

使用G1收集器时，Java堆的内存布局与其他收集器有很大区别，整个Java堆会被划分为多个大小相等的独立区域Region，新生代和老年代不再是物理隔离了，都是一部分Region（不需要连续）的集合。G1会跟踪各个Region的垃圾收集情况（回收空间大小和回收消耗的时间），维护一个优先列表，根据允许的收集时间，优先回收价值最大的Region，避免在整个Java堆上进行全区域的垃圾回收，确保了G1收集器可以在有限的时间内尽可能收集更多的垃圾。

不过问题来了：使用G1收集器，一个对象分配在某个Region中，可以和Java堆上任意的对象有引用关系，那么如何判定一个对象是否存活，是否需要扫描整个Java堆？其实这个问题在之前收集器中也存在，如果回收新生代的对象时，不得不同时扫描老年代的话，会大大降低Minor GC的效率。

针对这种情况，虚拟机提供了一个解决方案：G1收集器中Region之间的对象引用关系和其他收集器中新生代与老年代之间的对象引用关系被保存在Remenbered Set数据结构中，用来避免全堆扫描。G1中每个Region都有一个对应的Remenbered Set，当虚拟机发现程序对Reference类型的数据进行写操作时，会产生一个Write Barrier暂时中断写操作，检查Reference引用的对象是否处于相同的Region中，如果不是，则通过CardTable把相关引用信息记录到被引用对象所属Region的Remenbered Set中。  
![这里写图片描述][SouthEast 9]

[SouthEast]: /images/20220618/12ce4b9f49f64532a251ac37646613b1.png
[SouthEast 1]: /images/20220618/b582bdcdafdf48b2bd5e5cae408d16af.png
[SouthEast 2]: /images/20220618/b83c0e56174540d297ae09375680655e.png
[SouthEast 3]: /images/20220618/49773c9a0b314b16a2a506da638dddc7.png
[SouthEast 4]: /images/20220618/b057851fb4d64431962ac9bd18c2e58b.png
[SouthEast 5]: /images/20220618/13558ab6b9ac4265b714e95685d99e43.png
[SouthEast 6]: /images/20220618/44ac2ab4db764922898724331a0be261.png
[SouthEast 7]: /images/20220618/248c47094c2b426abfaa92add11a4300.png
[SouthEast 8]: /images/20220618/dba55a4819d247258881aed026aef0f3.png
[SouthEast 9]: /images/20220618/bd61be88381b44febbdff52f70f0454b.png