垃圾收集器与内存分配策略 详解

3.1　概述

本文参考的是周志明的 《深入理解Java虚拟机》第三章 ，为了整理思路，简单记录一下，方便后期查阅。

3.2　对象已死吗

在垃圾收集器进行回收前，第一件事就是确定这些对象哪些还存活，哪些已经死去。

3.2.1　引用计数算法

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

• 当两个对象相互引用时，这两个对象就不会被回收
• 引用计数算法,不被主流虚拟机采用，主要原因是它很难解决对象之间相互循环引用的问题。

3.2.2　可达性分析算法

通过一系列的称为GC Roots的对象作为起始点，从这些节点开始向下搜索，搜索所经过 的路径称为引用链（Reference Chain），当一个对象到GC Roots没有任何引用链相连（在图论中称为对象不可达）时，这个对象就是不可用的。

图片来源于网络如有侵权请私信删除

在java语言中，可作为GC Roots的对象包括：

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

3.2.3　引用的分类

java的引用可以分为强引用、软引用、弱引用、虚引用：

• 强引用：是指在程序代码中直接存在的引用，譬如引用new操作符创建的对象。只要强引用还存在，垃圾收集器就永远不会回收掉被引用的对象。
• 软引用：还有用但是并非必需的引用，早系统将要发生内存溢出异常之前会把这些对象列进回收范围中进行二次回收，若还是没有足够的内存，才会抛出内存溢出异常。
• 弱引用：非必需的对象，只能生存到下一次垃圾收集发生之前。当垃圾收集器工作时，无论内存是否够用都将回收这些对象。
• 虚引用：一个对象是否有虚引用的存在完全不会对他的生存时间构成影响，也无法通过虚引用来取得一个对象实例。

图片来源于网络如有侵权请私信删除

3.2.4　宣告一个对象死亡的过程

要真正宣告一个对象死亡，至少要经历两次标记过程：

• 若对象在进行可达性分析后发现没有与GC Roots相连接的引用链，会被 第一次标记 **并且进行一次筛选。筛选的条件是此对象是否有必要执行finalize()方法（如当对象没有重写finalize()方法或者finalize()方法已经被虚拟机调用过**则认为没有必要执行）。
• 如果有必要执行则将该对象放置在F-Queue队列中，并在稍后由一个由虚拟机自己建立的、低优先级的Finalizer线程去执行它；稍后GC将对F-Queue中的对象进行第二次标记，如果对象还是没有被引用，则会被回收。

但是作者不建议通过finalize()方法“拯救”对象，因为它运行代价高、不确定性大、无法保证各个对象的调用顺序。

图片来源于网络如有侵权请私信删除

3.2.5　回收方法区

很多人认为方法区（HotSopt中的永久代）是没有垃圾收集的，java虚拟机规范中也没有要求需要对方法区实现垃圾收集。

永久代（方法区）的垃圾收集主要回收两部分内容：废弃常量和无用的类

• 废弃常量：假如一个字符串“abc”已经进入了常量池中，但是当前系统没有任何一个String对象是叫 做“abc”的，换句话说，就是没有任何String对象引用常量池中的“abc”常量，也没有其他 - 地方引用了这个字面量，如果这时发生内存回收，而且必要的话，这个“abc”常量就会被系 - 统清理出常量池。
• 无用的类：同时满足下面3个条件的类（实例、类加载器被回收，java.lang.Class对象没有被引用）。

1. 该类所有的实例都已经被回收，也就是Java堆中不存在该类的任何实例。
2. 加载该类的ClassLoader已经被回收。
3. 该类对应的java.lang.Class对象没有在任何地方被引用，无法在任何地方通过反射访问该类的方法。

3.3　垃圾收集算法

3.3.1　标记-清除算法 (Mark-Sweep)

算法分为两个阶段：标记和清除

标记：首先标记所有需要回收的对象 清除：在标记完成后统一回收所有被标记的对象

标记过程在上文宣告一个对象死亡过程中提及

缺点

• 效率问题，标记和清除两个过程的效率都不高（回收后空间碎片过多，再次回收（即可达性分析时）有时需要遍历整个内存区域）。
• 空间问题，标记清除之后会产生大量不连续的内存碎片，空间碎片太多可能会导致以后在程序运行过程中需要分配较大对象时，无法找到足够的连续内存,而不得不提前触发另一次垃圾收集动作。

图片来源于网络如有侵权请私信删除

3.3.2　复制算法（新生代算法）(Copying)

思路：将可用内存按容量分为两个块，每次只用其中之一。当这一块内存用完之后，将还存活的对象复制到另一边去，然后清除所有已经使用过的部分。

优点

• 每次都是对整个半区进行内存回收，内存分配时也就不用考虑内存碎片等复杂情况，只要移动堆顶指针，按顺序分配内存即可，实现简单，运行高效。

缺点

• 代价是将内存缩小为了原来的一半，未免太高了一点。

解决方法

• 新生代中的对象98%是“朝生夕死”的，所以并不需要按照1:1的比例来划分内存空间，而是将内存分为一块较大的Eden空间和两块较小的Survivor空间，每次使用Eden和其中一块Survivor。
• 在HotSpot里，考虑到大部分对象存活时间很短将内存分为Eden和两块Survivor，默认比例为8:1:1。代价是存在部分内存空间浪费，适合在新生代使用。

图片来源于网络如有侵权请私信删除

3.3.3　标记-整理算法（老年代算法）(Mark-Compact)

标记过程仍然与“标记-清除”算法一样，但后续步骤不是直接对可回收对象进行清理，而是让所有存活的对象都向一端移动，然后直接清理掉端边界以外的内存。

图片来源于网络如有侵权请私信删除

3.3.4　分代收集算法

• 当前商用虚拟机都采用了这种算法，根据对象的存活周期将内存划分为几块，一般是把Java堆分为新生代和老生代，根据各个年代采用适当的收集算法。
• 新生代一般采用复制算法(Copying)。
• 老生代一搬采用 标记-清理(Mark-Sweep) 或者标记-整理(Mark-Compact) 进行回收。

3.4　hotspot的算法实现

3.4.1　枚举根节点

可达性分析的缺点

从GC Roots节点找引用链这个操作为例，可作为GC Roots的节点主要在全局性的引用（例如常量或类静态属性）与执行上下文（例如栈帧中的本地变量表）中，现在很多应用仅仅方法区就有数百兆，如果要逐个检查这里面的引用，那么必然会消耗很多时间。

由于要确保在一致性的快照中进行可达性分析，从而导致GC进行时必须要停顿所有Java执行线程；

• 目前主流的Java虚拟机使用的都是准确式GC，当执行系统停顿下来后并不需要一个不漏的检查完所有执行上下文和全局的引用变量，虚拟机应当有办法直接得知哪些地方存着对象的引用
• HotSpot使用一组称为OopMap的数据结构**来记录哪些地方存着对象的引用
• 在类加载过程中，HotSpot就把对象内什么偏移量上是什么类型的数据计算出来，在JIT编译过程中会在特定的位置记录下栈和寄存器中哪些位置是引用

判断对象引用

• 类加载时，使用OopMap的数据结构
• JIT编译时特定记录

3.4.2　安全点

• HotSpot没有为每条指令都生成OopMap，只是在特定位置记录了这些信息，这些位置称为安全点。
• 即程序执行时并非在所有地方都能停顿下来开始GC，只有到达安全点时才能暂停。
• 对于安全点基本上是以程序是否具有让程序长时间执行的特征（比如方法调用、循环跳转、异常跳转等）为标准进行选定的。
• 另外还需要考虑如果在GC时让所有线程都跑到最近的安全点上，有两种方案：抢先式中断和主动式中断；

抢先式中断

• 不需要线程的执行代码主动去配合，在GC发生时，首先把所有线程全部中断，如果发现有线程中断的地方不在安全点上，就恢复线程，让它“跑”到安全点上。 现在几乎没有虚拟机实现采用抢先式中断来暂停线程从而响应GC事件。

主动式中断

• 当GC需要中断线程的时候，不直接对线程操作，仅仅简单地设置一个标志，各个线程执行时主动去轮询这个标志，发现中断标志为真时就自己中断挂起。轮询标志的地方和安全点是重合的，另外再加上创建对象需要分配内存的地方。

两者的区别在于，抢先式中断是无论如何都进行中断，而主动式中断则是线程执行轮询标志查看是否中断。

3.4.3　安全区域

• 为了处理不执行的程序的安全点问题，提出了安全区域来解决问题。
• 安全区域是指在一段代码片段之中，引用关系不会发生变化，在这个区域内的任何地方进行GC都是安全的。
• 虚拟机如个具体的进行内存回收是由虚拟机所采用的GC收集器决定的，而通常虚拟机中往往不止有一种GC收集器。
• 线程执行到安全区域时，首先标识自己已经进入了安全区域，这样JVM在GC时就不管这些线程了。

3.5　垃圾收集器

• 如果说收集算法是内存回收的方法论，那么垃圾收集器就是内存回收的具体实现。
• 不同的收集器应用的区域不同，到现在为止没有最好的收集器，也没有万能的收集器。

3.5.1　serial收集器

• Serail 收集器是单线程的，他在进行垃圾收集时必须暂停其他的所有线程，直到收集结束。
• 随着收集器的发展，用户线程的停顿时间越来越段，但任然无法消除。
• Serial收集器是虚拟机运行在Client模式下默认的新生代收集器。
• 对于单个CPU坏境来说，Serial收集器**由于没有线程交互的开销，专心做垃圾收集，可以获得很高的单线程收集效率。

图片来源于网络如有侵权请私信删除

3.5.2　parnew收集器

• ParNew收集器是Serial收集器的多线程版本
• ParNew收集器是运行在Server模式下虚拟机中首选的新生代收集器
• 在垃圾收集器中并发与并行的概念：
• 并行：多条垃圾收集线程并行工作，但此时用户线程仍然处于等待状态。
• 并发：用户线程与垃圾收集线程同时执行（但不一定是并行的，可能会交替执行），用户程序在继续运行，而垃圾收集程序运行在另一个CPU上。

图片来源于网络如有侵权请私信删除

3.5.3　parallel scavenge收集器

• 新生代收集器，使用复制算法，并行的多线程收集器；
• 与其他收集器关注于尽可能缩短垃圾收集时用户线程停顿时间不同，它的目标是达到一个可控制的吞吐量。
  • 吞吐量就是CPU用于运行用户代码的时间与CPU总消耗时间的比值，即吞吐量=运行用户代码时间/（运行用户代码时间+垃圾收集时间），虚拟机总共运行了100分钟，其中垃圾收集花掉1分钟，那吞吐量就是99%。
• 高吞吐量可以高效的利用CPU时间，尽快得完成程序的运算任务，主要适合在后台运算而不需要太多交互的任务。
• GC停顿时间的缩短是以牺牲吞吐量和新生代空间来换取的。
• Parallel Scavenge收集器也经常被称为吞吐量优先收集器。

Parallel Scavenge收集器提供了两个参数用于精确控制吞吐量

• 控制最大垃圾收集停顿时间的-XX：MaxGCPauseMillis参数。
• 直接设置吞吐量大小的-XX：GCTimeRatio参数。

3.5.4　serial old收集器

Serial Old是Serial收集器的老年代版本，它同样是一个单线程收集器，使用“标记-整理”算法。

图片来源于网络如有侵权请私信删除

3.5.5　parallel old收集器

Serial Old收集器是Serail收集器的老年代版本，是一个单线程收集器，使用标记-整理算法。

图片来源于网络如有侵权请私信删除

• Serail Old收集器主要用于Clinet模式下。
• Serail Old收集器另一种用途是作为CMS收集器的后备预案。

Parallel Old是Parallel Scavenge收集器的老年代版本，使用多线程和“标记-整理”算法。

图片来源于网络如有侵权请私信删除

3.5.6　cms收集器

CMS收集器是一种以获取最短的回收停顿时间为目标的收集器。

CMS收集器基于标记-清楚算法实现，分为四个步骤：初始标记、并发标记、重新标记、并发清除。

步骤详解

• 初始标记：标记一下GC Roots能直接关联到的对象，速度很快。
• 并发标记：进行GC Roots Tracing。
• 重新标记：是为了修正那些在并发标记期间因用户程序继续运作而导致标记产生变动的那一部分对象的标记记录，在这一阶段的停顿时间会比初始标记阶段稍长一点。
• 并发清除：（CMS concurrent sweep）。

图片来源于网络如有侵权请私信删除

3.5.7　g1收集器

G1收集器是一款面向服务端应用的垃圾收集器。 G1收集器具备以下特点：

并行与并发

• G1能充分利用多CPU、 多核环境下的硬件优势，使用多个CPU（CPU或者CPU核心）来缩短Stop-The-World停顿的时间，部分其他收集器原本需要停顿Java线程执行的GC动作，G1收集器仍然可以通过并发的方式让Java程序继续执行。

分代收集

• 与其他收集器一样，分代概念在G1中依然得以保留。 虽然G1可以不需要其他收集器配合就能独立管理整个GC堆，但它能够采用不同的方式去处理新创建的对象和已经存活了一段时间、 熬过多次GC的旧对象以获取更好的收集效果。

空间整合

• 从整体上来看是基于“标记-整理”算法实现的，在局部上是基于复制算法实现的，但无论如何，这两种算法都意味着G1运作期间不会产生内存空间碎片，收集后能提供规整的可用内存。 这种特性有利于程序长时间运行，分配大对象时不会因为无法找到连续内存空间而提前触发下一次GC。

可预测的停顿

• 这是G1相对于CMS的另一大优势，降低停顿时间是G1和CMS共同的关注点，但G1除了追求低停顿外，还能建立可预测的停顿时间模型，能让使用者明确指定在一个长度为M毫秒的时间片段内，消耗在垃圾收集上的时间不得超过N毫秒，这几乎已经是实时Java（RTSJ）的垃圾收集器的特征了。

G1收集器将整个Java堆划分为多个大小相等的独立区域，虽然还保留有新生代和老生代的概念，但新生代和老生代不再是物理隔的了，他们是一部分Region的集合。

G1收集器可以有计划地避免在整个Java堆中进行全区域的垃圾收集：跟踪各个Region里面的垃圾堆积的价值大小，在后台维护一个优先列表，每次根据允许的收集时间，优先回收价值最大的Region。

在G1收集器中，使用Remembered Set来避免全堆扫描

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

初始标记（Initial Marking）

• 仅仅只是标记一下GC Roots能直接关联到的对象，并且修改TAMS（Next Top at Mark Start）的值，让下一阶段用户程序并发运行时，能在正确可用的Region中创建新对象，这阶段需要停顿线程，但耗时很短。

并发标记（Concurrent Marking）

• 从GC Root开始对堆中对象进行可达性分析，找出存活的对象，这阶段耗时较长，但可与用户程序并发执行。

最终标记（Final Marking）

• 为了修正在并发标记期间因用户程序继续运作而导致标记产生变动的那一部分标记记录，虚拟机将这段时间对象变化记录在线Remembered Set Logs里面，最终标记阶段需要把Remembered Set Logs的数据合并到Remembered Set中，这阶段需要停顿线程，但是可并行执行。

筛选回收（Live Data Counting and Evacuation）

• 首先对各个Region的回收价值和成本进行排序，根据用户所期望的GC停顿时间来制定回收计划 图片来源于网络如有侵权请私信删除

3.5.8　理解gc日志

图片来源于网络如有侵权请私信删除

• 最前面的数字代表GC发生的时间（虚拟机启动以后的秒杀）
• “[GC”和“[Full GC”说明停顿类型，有Full代表的是Stop-The-World的；
• “[DefNew”、“[Tenured”和“[Perm”表示GC发生的区域；
• 方括号内部的“3324K -> 152K(3712K)” 含义是 “GC前该内存已使用容量 -> GC后该内存区域已使用容量(该区域总容量)”;
• 方括号之外的“3324K -> 152K(11904)” 含义是 “GC前Java堆已使用容量 -> GC后Java堆已使用容量(Java堆总容量)”;
• 再往后“0.0025925 secs”表示该内存区域GC所占用的时间；

3.5.9　垃圾收集器参数总结

垃圾收集器参数总结

-XX:+<option>启用选项 -XX:-<option> 不启用选项 -XX:<option>=<number> -XX:<option>=<string>

3.6　内存分配与回收策略

对象优先在新生代分配 大对象直接进入老年代 长期存活的对象将进入老年代

• 动态对象年龄判断：如果在Survivor空间中相同年龄所有对象大小总和大于Survivor空间的一半，大于或等于该年龄的对象直接进入老年代。
• 空间分配担保：发生Minor GC前，虚拟机会先检查老年代最大可用连续空间是否大于新生代所有对象总空间，如果不成立，虚拟机会查看HandlePromotionFailure设置值是否允许担保失败，如果允许继续检查老年代最大可用的连续空间是否大于历次晋升到老年代的平均大小，如果大于会尝试进行一次Minor GC；如果小于或者不允许冒险，会进行一次Full GC。

3.6.1　对象优先在eden分配

大多数情况下，对象优先在新生代的Eden区分配。 当Eden区没有足够的空间时，虚拟机将发起一次Minor GC。 Minor GC与Full GC。

• Minor GC：新生代GC，非常频繁，回收速度快。
• Fulll GC：老年代GC，又称为Major GC，经常会伴随一次Minor GC，速度比较慢。

3.6.2　大对象直接进入老年代

• 大对象是指需要大量连续的内存空间的Java对象,最典型的大对象就是那种很长的字符串以及数组。
• 虚拟机提供了一个参数：PretenureSizeThreshold，大于这个参数的对象将直接在老年代分配。

3.6.3　长期存活的对象将进入老年代

• 虚拟机给每个对象定义了一个对象年龄计数器（Age），对象每经过一次Minor GC后仍然存活，且能被Survivor容纳的话，年龄就 +1 ，当年龄增加到一定程度（默认为15），就会被晋升到老年代中，这个阈值可以通过参数 MaxTenuringThreshold 来设置。

4.动态对象年龄的判定

3.6.4　动态对象年龄判定

• 如果在Survivor空间中相同年龄所有对象大小的总和大于Survivor空间的一半，年龄大于或等于该年龄的对象就可以直接进入老年代。

3.6.5　空间分配担保

• 为了更好的适应不同程序的内存状况，对象年龄不是必须到达阈值才会进入老年代。
• 只要老年代的连续空间大于新生代对象总大小或者历次晋升的平均大小就会进行Minor GC，否则将进行Full GC。

问题

为什么程序要跑到安全点时停下来？

• 不设置安全点，而让每一条指令都产生Oop(Ordinary Object Pointer)会需要大量的额外空间，增大GC的空间成本。设置了合适的安全点，有助于虚拟机得知对象引用所在的地方，因此有利于GC对“即将回收”的对象进行扫描。

最后上一张本章结构图

图片来源于网络如有侵权请私信删除

《深入理解Java虚拟机：JVM高级特性与最佳实践_周志明.高清扫描版.pdf》

下载地址：链接：http://pan.baidu.com/s/1miBQCBY 密码：9kbn

推荐阅读

《深入理解Java虚拟机》（一）Java虚拟机发展史

《深入理解Java虚拟机》（二）Java虚拟机运行时数据区

《深入理解Java虚拟机》（三）垃圾收集器与内存分配策略

《深入理解Java虚拟机》（四）虚拟机性能监控与故障处理工具

《深入理解Java虚拟机》（五）JVM调优 - 工具

《深入理解Java虚拟机》（六）堆内存使用分析，GC 日志解读

Contact

• 作者：鹏磊
• 出处：http://www.ymq.io
• Email：admin@souyunku.com
• 版权归作者所有，转载请注明出处
• Wechat：关注公众号，搜云库，专注于开发技术的研究与知识分享