深入理解JVM - 垃圾收集器

妖气游戏网

深入理解JVM - 垃圾收集器

首页模拟经营垃圾收集器空闲建造师游戏更新时间：2024-09-24

垃圾回收主要是要解决3件事情：

  1. 那些内存需要回收？
  2. 如何回收？
  3. 什么时候回收？
那些内存需要回收

在强引用的情况下已经“死”了的对象就需要回收，在非强引用的情况下视情况回收。在java里面，几乎所有的对象实例都是在堆上分配，所以垃圾收集器第一件事情就是要判断堆上的这些实例那些是“死去”的，那些还“活着”。判断对象是否存活主要有两种算法，一种是“引用计数算法”，一种是“可达性分析算法”。

“死去”的标准是：不可能再被任何途径使用的对象。

引用计数算法

给对象中添加一个引用计数器，每当有一个地方引用它时，计数器值就加1；当引用失效时，计数器值就减1；任何时刻计数器为0的对象就是不可能再被使用的。

可达性分析算法

通过一系列的称为“GC Roots”的对象作为起始点，从这些节点开始向下搜索，搜索所走过的路径称为引用链（Reference Chain），当一个对象到GC Roots没有任何引用链相连时，则证明此对象是不可用的。如图所示，对象object 5、object 6、object 7虽然互相有关联，但是它们到GC Roots是不可达的，所以它们将会被判定为是可回收的对象。

GC Roots

在Java语言中，可作为GC Roots的对象包括下面几种：

对象引用类型

Java 4种引用的级别由高到低依次为：强引用 > 软引用 > 弱引用 > 虚引用

引用类型实现方式被垃圾回收时间用途生存时间强引用Object obj = new Object()从来不会对象的一般状态JVM停止运行时终止软引用SoftReference出现OOM之前被回收对象缓存出现OOM之前弱引用WeakReferenceGC发生时对象缓存下一次GC之前虚引用PhantomReferenceGC发生时在这个对象被收集器回收时收到一个系统通知下一次GC之前

如何回收

垃圾收集算法

标记-清除算法

“标记-清除”（Mark-Sweep）算法：算法分为“标记”和“清除”两个阶段：

复制算法

将可用内存按容量划分为大小相等的两块，每次只使用其中的一块。当这一块的内存用完了，就将还存活着的对象复制到另外一块上面，然后再把已使用过的内存空间一次清理掉，适用于年轻代。

复制算法适用于每次GC后存活对象很好的情况下，比如HotSpot虚拟机中的新生代，据统计新生代的对象存活率是2%。只不过HotSpot虚拟机并不是将新生代直接对半划分，而是分成了Eden和Survivor区，区域默认比值是Eden:Survivor0:Survivor1=8:1:1，这样划分后新生代浪费空间就只有10%了。当Survivor空间不够用时，需要依赖其他内存（这里指老年代）进行分配担保（Handle Promotion），分配担保会将Minor GC后存活的对象直接放到老年代中。

标记-整理算法

首先标记出所有需要回收的对象，在标记完成后，后续步骤不是直接对可回收对象进行清理，而是让所有存活的对象都向一端移动，然后直接清理掉端边界以外的内存，适用于老年代。

分代收集算法

上面说的三种算法是垃圾回收的基础算法，但是在虚拟机实现的过程中，不可能只使用其中一种算法来完成垃圾收集，所有引入了分代收集的概念。它根据对象存活周期的不同将内存划分为几块不同的区域， 如图：

在新生代中，因为每次Minor GC后，只有少量存活，所以比较适合复制算法。而老年代中因为对象存活率高、没有额外空间对它进行分配担保，所以比较适合“标记—清理”或者“标记—整理”算法。

新生代对象首先在Eden进行分配，当Eden满了过后触发Minor GC，然后将存活的对象放到S0区域，再清空Eden区。当Eden再次满了过后触发Minor GC，然后将存活对象放到S1区域，再清空Eden和S0区，如此循环。当survivor区域不足以放下所有存活对象或者对象分代年龄达到临界值时，会将对象放到老年代中。当老年代满了后，会触发Full GC。

HotSpot的算法实现

枚举根节点

在垃圾收集过程中，枚举根节点会导致所有Java线程停顿（“Stop The World”）。为了能尽量减少对应用影响，我们需要尽量减少Java线程停顿时间。在前面我们列举了那些对象是GC Roots，但是我们怎么能快速找到这些GC Roots呢？因为我们越快找到这些对象，那么Java线程停顿时间就越短。

现在主流Java虚拟机都是用的是准确式GC，所以Java线程停顿下来后，并不需要一个不漏地检查完所有执行上下文和全局的引用位置。比如：虚拟机栈的本地变量表中，我们只需要找到其中的引用对象就行了，而非引用对象是不会成为GC Roots的，如果我们每次GC都需要进行全栈扫描去查找GC Roots，那么将增加Java线程的停顿时间。

在HotSpot中，它使用了一种OopMap的数据结构来存储GC Roots的信息，这样，在枚举根节点的时候，就可以避免全栈扫描了。但是什么时候来记录这些信息呢？

安全点

HotSpot可以快速且准确地完成GC Roots枚举，但是可能导致引用关系变化，或者说OopMap内容变化的指令非常多，如果为每一条指令都生成对应的OopMap，那将会需要大量的额外空间，这样GC的空间成本将会变得很高，所以就有了安全点（Safepoint）。程序只有运行到了安全点才会暂停下来，然后将变化的引用信息记录到OopMap中。

在HotSpot中方法调用、循环跳转、异常跳转等功能才能产生安全点。

当GC发生的时候，需要让所有的线程都到最近的安全点停下来。停顿方案有两种：

安全区域

安全点可以解决正在执行中的线程到底安全点，记录对象引用信息。但是当线程处于Sleep或者Blocked状态的时候，线程无法响应JVM中断请求，所以安全点对这类线程就无效了，这时候就引入了安全区域（Safe Region）。

**安全区域是指在一段代码片段之中，引用关系不会发生变化。在这个区域中的任意地方开始GC都是安全的。**我们也可以把Safe Region看做是被扩展了的Safepoint。

在线程执行到Safe Region中的代码时，首先标识自己已经进入了Safe Region，那样，当在这段时间里JVM要发起GC时，就不用管标识自己为Safe Region状态的线程了。在线程要离开Safe Region时，它要检查系统是否已经完成了根节点枚举（或者是整个GC过程），如果完成了，那线程就继续执行，否则它就必须等待直到收到可以安全离开Safe Region的信号为止。

垃圾收集器

衡量垃圾收集器的三项最重要的指标是：内存占用（Footprint）、吞吐量（Throughput）和延迟（Latency），三者共同构成了一个“不可能三角”。

垃圾收集器就是内存回收的具体实现，主要有以下几种，以及组合方式：

Serial / Serial Old收集器

Serial是一个单线程的新生代收集器，采用复制算法。Serial Old是一个单线程的老年代收集器，采用标记-整理算法。

Serial/Serial Old收集器运行示意图:

ParNew收集器

ParNew收集器起始就是Serial收集器的多线程版，是一个新生代收集器，采用复制算法。

ParNew/Serial Old收集器运行示意图:

并行（Parallel）：指多条垃圾收集线程并行工作，但此时用户线程仍然处于等待状态。并发（Concurrent）：指用户线程与垃圾收集线程同时执行（但不一定是并行的，可能会交替执行），用户程序在继续运行，而垃圾收集程序运行于另一个CPU上。

Parallel Scavenge / Parallel Old收集器

Parallel Scavenge收集器是一个新生代的并行收集器，使用复制算法。Parallel Old收集器是一个老年代的并行收集器，使用标记-整理算法。

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

Parallel Scavenge/Parallel Old收集器运行示意图：

CMS收集器

CMS（Concurrent Mark Sweep）收集器是一种以获取最短回收停顿时间为目标的老年代收集器，使用标记-清除算法。

CMS 收集器运行示意图：

CMS 收集器主要包含4个阶段：

CMC停顿时间短的原因是：最耗时的并发标记和并发清除都是可以和用户线程一起执行的。

内存碎片问题

CMS使用的是标记—清除算法来实现的，所以就存在内存碎片的问题。当空间碎片过多，将会导致无法分配大对象，这时不得不提前触发一次Full GC。

导致应用程序变慢

CMS在并发标记和并发清除阶段是和用户线程一起运行的，这是垃圾回收机制就会占用部分线程（CPU资源）进行垃圾回收，线程数量默认为(CPU数量 3）/ 4，这样就会导致应用程序变慢。

浮动垃圾问题

在并发清除阶段产生的垃圾，只能在下一次GC的时候被回收，这部分垃圾称为浮动垃圾（Floating Garbage）。CMS收集器因为无法处理浮动垃圾，可能会出现“Concurrent ModeFailure”失败，而导致临时启用Serial Old收集器来重新进行一次Full GC，这时停顿时间就很长了。因此CMS不能等到老年代满了才进行回收，需要留一部分空间，提供给在并发收集过程中运行的线程使用。

G1收集器

G1（Garbage-First）是一款面向服务端应用的垃圾收集器。同时适用于新生代和老年代，与其他GC收集器相比，G1具备如下特点：

G1堆模型

它将整个Java堆划分为多个大小相等的独立区域（Region），虽然还保留有新生代和老年代的概念，但新生代和老年代不再是物理隔离的了，它们都是一部分Region（不需要连续）的集合。

Humongous区域：专门用来存储大对象。G1认为只要大小超过了一个Region容量一半的对象即可判定为大对象。

建立可靠的停顿预测模型

G1跟踪各个Region里面的垃圾堆积的价值大小（回收所获得的空间大小以及回收所需时间的经验值），在后台维护一个优先列表，每次根据允许的收集时间，优先回收价值最大的Region（这也就是Garbage-First名称的来由）。这种使用Region划分内存空间以及有优先级的区域回收方式，保证了G1收集器在有限的时间内可以获取尽可能高的收集效率。

Remembered Set

记忆集（Remembered Set）用来记录跨区域的对象引用（比如，新生代与老年代之间的对象引用）。记忆集其实是一种“抽象”的数据结构，“卡表”（Card Table）是记忆集的一种实现，逻辑图如下：

一个卡页的内存中通常包含不止一个对象，只要卡页内有一个（或更多）对象的字段存在着跨代指针，那就将对应卡表的数组元素的值标识为1，称为这个元素变脏（Dirty），没有则标识为0。在垃圾收集发生时，只要筛选出卡表中变脏的元素，就能轻易得出哪些卡页内存块中包含跨代指针，把它们加入GC Roots中一并扫描。

当有其他分代区域中对象引用了本区域对象时，在为属性赋值的那一刻，虚拟机通过写屏障（Write Barrier）技术来维护记忆集的状态，使用写屏障后会带来“伪共享”问题。

伪共享：CPU的缓存是以缓存行(cache line)为单位进行缓存的，当多个线程修改不同变量，而这些变量又处于同一个缓存行时就会影响彼此的性能。例如：线程1和线程2共享一个缓存行，线程1只读取缓存行中的变量1，线程2修改缓存行中的变量2，虽然线程1和线程2操作的是不同的变量，由于变量1和变量2同处于一个缓存行中，当变量2被修改后，缓存行失效，线程1要重新从主存中读取，因此导致缓存失效，从而产生性能问题。最简单的解决办法是填充，一个变量暂一个缓存行就不会有为共享了。

为了避免伪共享问题，可以不采用无条件的写屏障，而是先检查卡表标记，只有当该卡表元素未被标记过时才将其标记为变脏。

G1中每个Region都有一个与之对应的Remembered Set，在做YGC的时候，只需使用 年轻代中的region的Remembered Set作为根集，这些Remembered Set记录了old->young的跨代引用，避免了扫描整堆。而Mixed GC的时候，old generation中记录了old->old的Remembered Set，young->old的引用由扫描全部young generation region得到，这样也不用扫描全部old generation region。

Young GC

选定所有年轻代里的Region。通过控制年轻代的region个数，即年轻代内存大小，来控制young GC的时间开销，复制回收算法。

回收前：

回收后：

Mixed GC

回收所有年轻代里的Region，外加根据全局并发标记（global concurrent marking）统计得出收集收益高的若干老年代Region，在用户指定的开销目标范围内尽可能选择收益高的老年代Region。Mixed GC不是full GC，它只能回收部分老年代的Region，如果Mixed GC实在无法跟上程序分配内存的速度，导致老年代填满无法继续进行Mixed GC，就会使用Serial old GC（Full GC）来收集整个GC Heap。

回收前：

回收后：

G1收集器的运行过程

G1收集器的运作大致可划分为以下几个步骤：

G1收集器要比其他的传统垃圾收集器有着更高的内存占用负担。根据经验，G1至少要耗费大约相当于Java堆容量10%至20%的额外内存来维持收集器工作，原因如下：

G1相关参数

1 GC相关的其他主要的参数有：

Shenandoah垃圾收集器

Shenandoah是一款只有OpenJDK才会包含的收集器，最开始由RedHat公司独立发展后来贡献给了OpenJDK，相比G1主要改进点在于：

  1. 支持并发的整理算法，Shenandoah的回收阶段可以和用户线程并发执行；
  2. Shenandoah 目前不使用分代收集，也就是没有年轻代老年代的概念在里面了；
  3. Shenandoah 摒弃了在G1中耗费大量内存和计算资源去维护的记忆集，改用名为“连接矩阵”（Connection Matrix）的全局数据结构来记录跨Region的引用关系，降低了处理跨代指针时的记忆集维护消耗，也降低了伪共享问题的发生概率。

关键技术：

详情可以参考: 深入理解JVM - Shenandoah垃圾收集器

ZGC收集器

Z Garbage Collector，即ZGC，是一个可伸缩的、低延迟的垃圾收集器，适用于年轻代和老年代，主要特点如下：

关键技术：

  1. 有色指针（Colored Pointers）
  2. 加载屏障（Load Barrier）

详细可参考:https://xiaolyuh.blog.csdn.net/article/details/103911166

什么时候回收

总的来说就是内存不足的时候进行垃圾回收。

Minor GC触发条件

当Eden区满时，且老年代的最大可用连续空间大于新生代所有对象的总和或者老年代最大连续空间比历次晋升的平均值大，就进行Minor GC，否则FullGC。

Full GC触发条件

Mixed GC触发条件（G1）

Mixed GC的触发是由一些参数控制着：

堆内存任何部分来组成的回收集合（Collection Set，一般简称CSet）

总结

收集器


垃圾回收器的重要参数


参考

《深入理解JAVA虚拟机》

来源：https://my.oschina.net/xiaolyuh/blog/3155629

查看全文
大家还看了
也许喜欢
更多游戏

Copyright © 2024 妖气游戏网 www.17u1u.com All Rights Reserved