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

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

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>

参数	描述
UserSerialGC	虚拟机在client模式下的默认值，打开此开关后，用于Serial+Serial Old的收集器组合进行内存回收
UserParNewGC	打开此开关 使用ParNew + Serial Old收集器组合进行内存回收
UseConcMarkSweepGC	打开此开关，使用ParNew+CMS+Serial Old收集器组合进行内存回收。Serial Old在CMS收集器出现concurrent Mode Failure 失败后的后备收集器
UseParallelGC	在server模式下的默认值，打开此开关后使用Scavenge+Serial Old收集器组合进行回收
UseParallelOldGC	打开此开关后使用 Parallel Scavenge+Parallel Old收集器组合进行内存回收
SurvivorRatio	新生代中Eden区域与Survivor区域的比值，默认为8，表示Eden:Survivor=8:1
PretenureSizeThreshold	直接晋升到老年代对象的大小，设置这个参数后大于这个参数的对象直接在老年代中分配
MaxTenuringThreshold	晋升老年代对象的年龄,每一个对象坚持一次MnorGC年龄就加一，当超过这个参数值就进入老年代
UseAdaptiveSizePolicy	动态调整java堆各个区域的大小以及进入老年代的年龄
HandlePromotionFailure	是否容许分配担保失败，即老年代剩余空间不足以应付新生代整个对象都存活的特殊状况
ParalleGCThreads	设置并行GC时进行内存回收的线程数
GCTimeratio	GC时间占总时间比率，默认值为99，容许1%的GC时间。只在Parallel Seavenge收集器时生效
MaxGCPauseMillis	设置GC的最大停顿时间，只在Parallel Seavenge收集器时生效
CMSInitiatingOccupancyFration	设置CMS老年代空间被使用多少后触发GC，默认值为68%，只在CMS收集器时生效
UseCMSCompactAtFullCollection	设置CMS收集器完成垃圾收集后是否须要进行一次碎片整理，只在CMS垃圾收集器时生效
CMSFullGCBeforeCompaction	设置CMS收集器进行若干次垃圾收集后再启动一次内存碎片整理，只在CMS垃圾收集器时生效

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：关注公众号，搜云库，专一于开发技术的研究与知识分享