概述

垃圾收集（Garbage Collection，GC）

GC需要完成的三件事：

• 哪些内存需要回收？

• 什么时候回收？

• 如何回收？

内存运行时区域其中的程序计数器、虚拟机栈、本地方法栈三个区域随线程而生，随线程而灭；栈中的栈帧随着方法的进入和退出而有条不紊地执行着出栈和入栈的操作。每个栈帧中分配多少内存基本上是在类结构确定下来时就已知的，因此这几个区域的内存分配和回收都具备确定性，在这几个区域内不需要过多考虑回收的问题，因为方法结束或线程结束时，内存自然就跟随着系统回收了。

而Java堆和方法区则不一样，一个接口中的多个实现类需要的内存可能不一样，一个方法中的多个分支需要的内存也可能不一样，我们只有在程序处于运行期间时才能知道会创建哪些对象，这部分内存的分配和回收都是动态的，垃圾收集器所关注的就是这部分内存。

---

对象已死？

Java堆中几乎存放着Java世界中的所有对象实例，GC在对堆进行回收钱，第一件事情就是确定这些对象有哪些还“存活着”，哪些已经“死去”（就是不可能再被任何途径适用的对象）。

如何判断对象已死？

引用计数算法

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

引用计数算法的实现很简单，但有个巨大的缺点，当两个对象相互引用时，这两个对象就不会被回收，导致内存泄漏。

根搜索算法（GC Roots Tracing）

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

仍然存活的对象 判定可回收的对象

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

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

再谈引用

java的引用可以分为强引用(Strong Reference)、软引用(Soft Reference)、弱引用(Weak Reference)、虚引用(Phantom Reference)

• 强引用：是指在程序代码中直接存在的引用，譬如"Object obj=new Object();"。只要强引用还存在，垃圾收集器就永远不会回收掉被引用的对象。

• 软引用：还有用但是并非必需的引用，在系统将要发生内存溢出异常之前会把这些对象列进回收范围中进行二次回收，若还是没有足够的内存，才会抛出内存溢出异常。

• 弱引用：非必需的对象，只能生存到下一次垃圾收集发生之前。当垃圾收集器工作时，无论内存是否够用都将回收这些对象。

• 虚引用：一个对象是否有虚引用的存在完全不会对他的生存时间构成影响，也无法通过虚引用来取得一个对象实例。为一个对象设置虚引用关联的唯一目的就是希望能在这个对象被收集器回收时收到一个系统通知。

生存还是死亡（宣告一个对象死亡的过程）

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

• 若对象在进行可达性分析后发现没有与GC Roots相连接的引用链，会被第一次标记 并且进行一次筛选。筛选的条件是此对象是否有必要执行finalize()方法（如当对象没有重写finalize()方法或者finalize()方法已经被虚拟机调用过则认为没有必要执行）。

• 如果有必要执行则将该对象放置在F-Queue队列中，并在稍后由一个由虚拟机自己建立的、低优先级的Finalizer线程去执行它；稍后GC将对F-Queue中的对象进行第二次标记，如果对象还是没有被引用，则会被回收。

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

回收方法区

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

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

*废弃常量：假如一个字符串“abc”已经进入了常量池中，但是当前系统没有任何一个String对象是叫 做“abc”的，换句话说，就是没有任何String对象引用常量池中的“abc”常量，也没有其他地方引用了这个字面量，如果这时发生内存回收，而且必要的话，这个“abc”常量就会被系统清理出常量池。

• 无用的类：同时满足下面3个条件的类（实例、类加载器被回收，java.lang.Class对象没有被引用）。

1.该类所有的实例都已经被回收，也就是Java堆中不存在该类的任何实例。

2.加载该类的ClassLoader已经被回收。

3.该类对应的java.lang.Class对象没有在任何地方被引用，无法在任何地方通过反射访问该类的方法。

---

垃圾收集算法

标记-清除算法（最基础）

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

标记：首先标记所有需要回收的对象

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

缺点

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

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

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

优点

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

缺点

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

解决方法

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

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

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

分代收集算法

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

---

垃圾收集器

如果说收集算法是内存回收的方法论，那么垃圾收集器就是内存回收的具体实现。

不同的收集器应用的区域不同，到现在为止没有最好的收集器，也没有万能的收集器。

Serial收集器

Serail 收集器是单线程的，他在进行垃圾收集时必须暂停其他的所有线程，直到收集结束。

随着收集器的发展，用户线程的停顿时间越来越短，但任然无法消除。

Serial收集器是虚拟机运行在Client模式下默认的新生代收集器。

对于单个CPU坏境来说，Serial收集器由于没有线程交互的开销，专心做垃圾收集，可以获得很高的单线程收集效率。

ParNew收集器

ParNew收集器是Serial收集器的多线程版本（控制参数、收集算法、Stop The World、对象分配规则、回收策略等都与Serial收集器完全一样。）

ParNew收集器是运行在Server模式下虚拟机中首选的新生代收集器。

在垃圾收集器中并发与并行的概念：

• 并行：多条垃圾收集线程并行工作，但此时用户线程仍然处于等待状态。

• 并发：用户线程与垃圾收集线程同时执行（但不一定是并行的，可能会交替执行），用户程序在继续运行，而垃圾收集程序运行在另一个CPU上。

Parallel Scavenge收集器

新生代收集器，使用复制算法，并行的多线程收集器；

与其他收集器关注于尽可能缩短垃圾收集时用户线程停顿时间不同，它的目标是达到一个可控制的吞吐量。

吞吐量就是CPU用于运行用户代码的时间与CPU总消耗时间的比值，即吞吐量=运行用户代码时间/（运行用户代码时间+垃圾收集时间），虚拟机总共运行了100分钟，其中垃圾收集花掉1分钟，那吞吐量就是99%。

高吞吐量可以高效的利用CPU时间，尽快得完成程序的运算任务，主要适合在后台运算而不需要太多交互的任务。

GC停顿时间的缩短是以牺牲吞吐量和新生代空间来换取的。

Parallel Scavenge收集器也经常被称为吞吐量优先收集器。

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

控制最大垃圾收集停顿时间的-XX：MaxGCPauseMillis参数。

直接设置吞吐量大小的-XX：GCTimeRatio参数。

Serial Old 收集器

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

Parallel Old 收集器

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

CMS收集器

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

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

步骤详解

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

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停顿时间来制定回收计划

垃圾收集器参数总结

---

内存分配与回收策略

对象优先在新生代（eden）分配

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

Minor GC与Full GC的区别。

• 新生代GC(Minor GC)：非常频繁，回收速度快。
• 老年代GC(Full GC)：经常会伴随一次Minor GC，速度比较慢（10倍以上）。

大对象直接进入老年代

大对象是指需要大量连续的内存空间的Java对象,最典型的大对象就是那种很长的字符串以及数组。

虚拟机提供了一个参数：PretenureSizeThreshold，大于这个参数的对象将直接在老年代分配。目的是避免在Eden区及两个Survivor区之间发生大量的内存拷贝。

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

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

动态对象年龄判定

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

空间分配担保

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

发生Minor GC前，虚拟机会先检查老年代最大可用连续空间是否大于新生代所有对象总空间，如果不成立，虚拟机会查看HandlePromotionFailure设置值是否允许担保失败，如果允许继续检查老年代最大可用的连续空间是否大于历次晋升到老年代的平均大小，如果大于会尝试进行一次Minor GC；如果小于或者不允许冒险，会进行一次Full GC。