1 什么样的对象需要回收？

自动化的管理内存资源，垃圾回收机制必须要有一套算法来进行计算，哪些是有效的对象，哪些是无效的对象，对于无效的对象就要进行回收处理。常见计算无效对象的方法有两种，分别是：引用计数算法、可达性分析算法。

1.1 引用计数法

在对象中添加一个引用计数器，每当有一个地方引用它，计数器值就加一；当引用失效时，计数器就减一；任何时刻计数器为零的对象就是不可能再被使用。
但是，在Java领域，至少主流的Java虚拟机里面都没有选用引用计数算法来管理内存，主要原因是引用计数发有很多例外的情况，比如对象之间相互引用的问题。

1.2 可达性分析算法

通过一系列称为“GC Roots”的根对象作为起始节点集，从这些节点开始，根据引用关系向下搜索，搜索过程所走过的路径称为“引用链”(Reference Chain)，如果某个对象到GC Roots间没有任何引用链相连，就说明从GC Roots 到这个对象不可达时，则证明此对象是不可能再被使用的，就是可以回收的对象。

在JVM虚拟机中，可作为GC Roots的对象包括以下几种:

• 在虚拟机栈(栈帧中的本地变量表)中引用的对象，譬如各个线程被调用的方法堆栈中使用到的参数、局部 变量、临时变量等。
• 在方法区中类静态属性引用的对象，譬如Java类的引用类型静态变量。
• 在方法区中常量引用的对象，譬如字符串常量池(String Table)里的引用。
• 在本地方法栈中JNI(即通常所说的Native方法)引用的对象。
• Java虚拟机内部的引用，如基本数据类型对应的Class对象，一些常驻的异常对象(比如 NullPointExcepiton、OutOfMemoryError)等，还有系统类加载器。
• 所有被同步锁(synchronized关键字)持有的对象。
• 反映Java虚拟机内部情况的JMXBean、JVMTI中注册的回调、本地代码缓存等。

1.3 对象的引用

在java中，对象的引用分为:强引用(Strongly Re-ference)、软引用(Soft Reference)、弱引用(Weak Reference)和虚引用(Phantom Reference)4种。
强引用

• 在程序代码之中普遍存在的引用赋值，即类似“Object obj=new Object()”这种引用关系。
• 无论任何情况下，只要强引用关系还存在，垃圾收集器就永远不会回收掉被引用的对象。
  软引用
• 用来描述一些还有用，但非必须的对象。
• 只被软引用关联着的对象，在系统将要发生内存溢出异常前，会把这些对象列进回收范围之中进行第二次回收，如果这次回收还没有足够的内存，才会抛出内存溢出异常。
  弱引用
• 用来描述那些非必须对象，但是它的强度比软引用更弱一些，被弱引用关联的对象只能存活到下一次垃圾收集发生为止。
• 当垃圾收集器开始工作，无论当前内存是否足够，都会回收掉只被弱引用关联的对象。
  虚引用
• 最弱的一种引用关系，一个对象是否有虚引用的存在，完全不会对其生存时间构成影响，也无法通过虚引用来取得一个对象实例。
• 为一个对象设置虚引用关联的唯一目的只是为了能在这个对象被收集器回收时收到一个系统通知。

2 垃圾收集算法

2.1 标记清除法

标记清除算法，是将垃圾回收分为2个阶段，分别是标记和清除。
标记:从根节点开始标记引用的对象。
清除:未被标记引用的对象就是垃圾对象，可以被清理。
标记清除法可以说是最基础的收集算法，因为后续的收集算法大多都是以标记-清除算法为基础，对其缺点进行改进而得到的。
执行过程:

缺点:

• 执行效率较低，标记和清除两个动作都需要遍历所有的对象，并且在GC时，需要停止应用程序，对于交互性要求比较高的应用而言这个体验是非常差的。
• 通过标记清除算法清理出来的内存，碎片化较为严重，因为被回收的对象可能存在于内存的各个角落，所以清理出来的内存是不连贯的。

2.2 标记压缩

标记压缩算法是在标记清除算法的基础之上，做了优化改进的算法。和标记清除算法一样，也是从根节点开始，对对象的引用进行标记，在清理阶段，并不是简单的清理未标记的对象，而是将存活的对象压缩到内存的一端，然后清理边界以外的垃圾，从而解决了碎片化的问题。

该算法解决了标记清除算法的碎片化的问题，同时，标记压缩算法多了一步，对象移动内存位置的步骤，其效率也有一定的影响。

2.3 标记复制算法

复制算法的核心就是，将原有的内存空间一分为二，每次只用其中的一块，在垃圾回收时，将正在使用的对象复制到另一个内存空间中，然后将该内存空间清空，交换两个内存的角色，完成垃圾的回收。
如果内存中的垃圾对象较多，需要复制的对象就较少，这种情况下适合使用该方式并且效率比较高，反之，则不适合。

优点:
在垃圾对象多的情况下，效率较高
清理后，内存无碎片

缺点:
在垃圾对象少的情况下，不适用，如:老年代内存
分配的2块内存空间，在同一个时刻，只能使用一半，内存使用率较低

JVM中年轻代内存空间
JVM年轻代使用的标记复制算法。

• 在GC开始的时候，对象只会存在于Eden区和名为“From”的Survivor区，Survivor区“To”是空的。
• 紧接着进行GC，Eden区中所有存活的对象都会被复制到“To”，而在“From”区中，仍存活的对象会根据他们的 年龄值来决定去向。年龄达到一定值(年龄阈值，可以通过-XX:MaxTenuringThreshold来设置)的对象会被移动到年老代中，没有达到阈值的对象会被复制到“To”区域。
• 经过这次GC后，Eden区和From区已经被清空。这个时候，“From”和“To”会交换他们的角色，也就是新 的“To”就是上次GC前的“From”，新的“From”就是上次GC前的“To”。不管怎样，都会保证名为To的Survivor区 域是空的。
• GC会一直重复这样的过程，直到“To”区被填满，“To”区被填满之后，会将所有对象移动到年老代中。

2.4 分代算法

在堆内存中，有些对象短暂存活有些则是长久存活，所以需要将堆内存进行分代，将短暂存活的对象放到一起，进行高频率的回收，长久存活的对象集中放到一起，进行低频率的回收，这样才能够更加合理的利系统资源。
分代算法其实就是这样的，根据回收对象的特点进行选择，在jvm中，年轻代适合使用复制算法，老年代适合使用 标记清除或标记压缩算法。
垃圾回收的相关概念:

• 部分收集(Partial GC)
  • 新生代收集(Minor GC/Young GC):指目标只是新生代的垃圾收集。
  • 老年代收集(Major GC/Old GC):指目标只是老年代的垃圾收集。
  • 混合收集(Mixed GC):指目标是收集整个新生代以及部分老年代的垃圾收集。
• 整堆收集(Full GC)

3 垃圾收集器

垃圾收集器是针对垃圾算法的实现。JDK诞生Serial追随，提高效率诞生了PS ，为了配合CMS，诞生了PN，CMS是1.4版本后期引入，CMS是里程碑式的GC，它开启了并发回收的过程（避免STW：Stop-The-World），但是CMS毛病比较多，因此目前任何一个JDK版本默认的都不是CMS。

在HotSpot虚拟机中，常见的集中垃圾收集器组合方式，如下图连线即可以组合，常见的组合Serial-Serial Old、Parallel Scavenge-Parallel Old、ParNew-CMS、G1、ZGC。

3.1 串行垃圾收集器

串行垃圾收集器，是指使用单线程进行垃圾回收，垃圾回收时，只有一个线程在工作，并且java应用中的所有线程 都要暂停，等待垃圾回收的完成。这种现象称之为STW(Stop-The-World)。对于交互性较强的应用而言，这种垃圾收集器是不能够接受的。
一般在Javaweb应用中是不会采用该收集器的。

3.2 并行垃圾收集器

并行垃圾收集器在串行垃圾收集器的基础之上做了改进，将单线程改为了多线程进行垃圾回收，这样可以缩短垃圾回收的时间。(这里是指，并行能力较强的机器)。
当然了，并行垃圾收集器在收集的过程中也会暂停应用程序，这个和串行垃圾回收器是一样的，只是并行执行，速度更快些，暂停的时间更短一些。

3.2.1 ParNew垃圾收集器

ParNew垃圾收集器是工作在年轻代上的，只是将串行的垃圾收集器改为了并行。 通过-XX:+UseParNewGC参数设置年轻代使用ParNew回收器，老年代使用的依然是串行收集器。

3.2.2 ParallelGC垃圾收集器

ParallelGC收集器工作机制和ParNewGC收集器一样，只是在此基础之上，新增了两个和系统吞吐量相关的参数，使得其使用起来更加的灵活和高效。
相关参数如下:
-XX:+UseParallelGC
年轻代使用ParallelGC垃圾回收器，老年代使用串行回收器。
-XX:+UseParallelOldGC
年轻代使用ParallelGC垃圾回收器，老年代使用ParallelOldGC垃圾回收器。
-XX:MaxGCPauseMillis
设置最大的垃圾收集时的停顿时间，单位为毫秒。需要注意的时，ParallelGC为了达到设置的停顿时间，可能会调整堆大小或其他的参数，如果堆的大小 设置的较小，就会导致GC工作变得很频繁，反而可能会影响到性能。该参数使用需谨慎。
-XX:GCTimeRatio
设置垃圾回收时间占程序运行时间的百分比，公式为1/(1+n)。它的值为0~100之间的数字，默认值为99，也就是垃圾回收时间不能超过1%
-XX:UseAdaptiveSizePolicy
自适应GC模式，垃圾回收器将自动调整年轻代、老年代等参数，达到吞吐量、堆大小、停顿时间之间的平衡。一般用于，手动调整参数比较困难的场景，让收集器自动进行调整。

3.3 CMS垃圾收集器

CMS全称 Concurrent Mark Sweep，是一款并发的、使用标记-清除算法的垃圾回收器，该回收器是针对老年代垃 圾回收的，通过参数-XX:+UseConcMarkSweepGC进行设置。

3.4 G1垃圾收集器

G1垃圾收集器是在jdk7中正式使用的全新的垃圾收集器，oracle官方计划在jdk9中将G1变成默认的垃圾收集器，以替代CMS。
JDK9默认G1为垃圾收集器的提案:https://openjdk.java.net/jeps/248
将CMS标记为丢弃的提案:https://openjdk.java.net/jeps/291

G1的设计原则就是简化JVM性能调优，开发人员只需要简单的三步即可完成调优:
第一步，开启G1垃圾收集器；
第二步，设置堆的最大内存；
第三步，设置最大的停顿时间（使用参数 -XX:MaxGCPauseMillis指定，默认200毫秒）。
G1中提供了三种模式垃圾回收模式，Young GC、Mixed GC 和 Full GC，在不同的条件下被触发。

3.4.1 原理

G1垃圾收集器相对比其他收集器而言，最大的区别在于它取消了年轻代、老年代的物理划分，取而代之的是将堆划分为若干个大小相等的独立区域(Region)，每个Region区域都可以根据需要，扮演新生代的Eden空间、Survivor空间或者老年代空间。收集器能够对扮演不同角色的Region采用不同的策略去处理。
这样做的好处就是，我们再也不用单独的空间对每个代进行设置了，不用担心每个代内存是否足够。

在G1划分的区域中，年轻代的垃圾收集依然采用暂停所有应用线程的方式，将存活对象拷贝到老年代或者Survivor 空间，G1收集器通过将对象从一个区域复制到另外一个区域，完成了清理工作。
这就意味着，在正常的处理过程中，G1完成了堆的压缩(至少是部分堆的压缩)，这样也就不会有cms内存碎片问题的存在了。
在G1中，有一种特殊的区域，叫Humongous区域。

• 如果一个对象占用的空间超过了一个分区容量50%以上，G1收集器就认为这是一个巨型对象。
  -这些巨型对象，默认直接会被分配在老年代，但是如果它是一个短期存在的巨型对象，就会对垃圾收集器造成负面影响。
• 为了解决这个问题，G1划分了一个Humongous区，它用来专门存放巨型对象。如果一个H区装不下一个巨型 对象，那么G1会寻找连续的H分区来存储。为了能找到连续的H区，有时候不得不启动Full GC。
• 每个Region的大小可以通过参数-XX:G1HeapRegionSize设定，取值范围为1MB~32MB，且应为2的N次幂。

3.4.2 Young GC

Young GC主要是对Eden区进行GC，它在Eden空间耗尽时会被触发。

• Eden空间的数据移动到Survivor空间中，如果Survivor空间不够，Eden空间的部分数据会直接晋升到年老代空间。
• Survivor区的数据移动到新的Survivor区中，也有部分数据晋升到老年代空间中。
• 最终Eden空间的数据为空，GC停止工作，应用线程继续执行。
  
  
  Remembered Set(已记忆集合)
  在GC年轻代的对象时，我们如何找到年轻代中对象的根对象呢?
  根对象可能是在年轻代中，也可以在老年代中，那么老年代中的所有对象都是根么?
  如果全量扫描老年代，那么这样扫描下来会耗费大量的时间。
  于是，G1引进了RSet的概念。它的全称是Remembered Set，其作用是跟踪指向某个堆内的对象引用。
  

每个Region初始化时，会初始化一个RSet，该集合用来记录并跟踪其它Region指向该Region中对象的引用，每个 Region默认按照512Kb划分成多个Card，所以RSet需要记录的东西应该是 xx Region的 xx Card。

3.4.3 Mixed GC

在G1收集器之前所有其他收集器，包括CMS在内，垃圾收集的目标范围要么是整个新生代，要么是整个老年代，或者是整个Java 堆。而G1跳出了这个樊笼，它可以面向堆内存任何部分来组成回收器进行回收。衡量标准不再是它属于哪个分代，而是哪块内存中存放的垃圾数量最多，回收收益最大，这就是G1的Mixed GC模式。

当越来越多的对象晋升到老年代old region时，为了避免堆内存被耗尽，虚拟机会触发一个混合的垃圾收集器，即 Mixed GC，该算法并不是一个Old GC，除了回收整个Young Region，还会回收一部分的Old Region，这里需要注 意:是一部分老年代，而不是全部老年代，可以选择哪些old region进行收集，从而可以对垃圾回收的耗时时间进 行控制。也要注意的是Mixed GC 并不是 Full GC。
MixedGC什么时候触发? 由参数 -XX:InitiatingHeapOccupancyPercent=n 决定。默认:45%，该参数的意思是: 当老年代大小占整个堆大小百分比达到该阀值时触发。
它的GC步骤分2步:
1）全局并发标记(global concurrent marking)
2）拷贝存活对象(evacuation)
全局并发标记

全局并发标记，执行过程分为五个步骤:

• 初始标记(initial mark，STW) ：标记从根节点直接可达的对象，这个阶段会执行一次年轻代GC，会产生全局停顿。
• 根区域扫描(root region scan)：G1 GC 在初始标记的存活区扫描对老年代的引用，并标记被引用的对象。该阶段与应用程序(非 STW)同时运行，并且只有完成该阶段后，才能开始下一次 STW 年轻代垃圾回收。
• 并发标记(Concurrent Marking)：G1 GC 在整个堆中查找可访问的(存活的)对象。该阶段与应用程序同时运行，可以被STW 年轻代垃圾回收中断。
• 重新标记(Remark，STW)：该阶段是 STW 回收，因为程序在运行，针对上一次的标记进行修正。
• 清除垃圾(Cleanup，STW)：清点和重置标记状态，该阶段会STW，这个阶段并不会实际上去做垃圾的收集，等待evacuation阶段来 回收。
  拷贝存活对象
  Evacuation阶段是全暂停的。该阶段把一部分Region里的活对象拷贝到另一部分Region中，从而实现垃圾的回收清理。

3.4.4 G1收集器相关参数

• -XX:+UseG1GC
  使用 G1 垃圾收集器
• -XX:MaxGCPauseMillis
  设置期望达到的最大GC停顿时间指标(会尽力实现，但不保证达到)，默认值是 200 毫秒。 -XX:G1HeapRegionSize=n：设置的 G1 区域的大小。值是 2 的幂，范围是 1 MB 到 32 MB 之间。目标是根据最小的 Java 堆大小划 分出约 2048 个区域。默认是堆内存的1/2000。
• -XX:ParallelGCThreads=n
  设置 STW 工作线程数的值。将 n 的值设置为逻辑处理器的数量。n 的值与逻辑处理器的数量相同，最多
  为 8。
• -XX:ConcGCThreads=n
  设置并行标记的线程数。将 n 设置为并行垃圾回收线程数 (ParallelGCThreads) 的 1/4 左右。
• -XX:InitiatingHeapOccupancyPercent=n
  设置触发Mixed GC 的Java 堆占用率阈值。默认占用率是整个 Java 堆的 45%。

3.4.5 G1垃圾收集器优化建议

年轻代大小

• 避免使用 -Xmn 选项或 -XX:NewRatio 等其他相关选项显式设置年轻代大小。
• 固定年轻代的大小会覆盖暂停时间目标。
  暂停时间目标不要太过严苛
• G1 GC 的吞吐量目标是 90% 的应用程序时间和 10%的垃圾回收时间。
• 评估 G1 GC 的吞吐量时，暂停时间目标不要太严苛。目标太过严苛表示您愿意承受更多的垃圾回收开销，而这会直接影响到吞吐量。

3.5 ZGC

ZGC收集器是一款基于Region内存布局的，不设分代的，使用了读屏障、染色指针和内存多重映射等技术来实现可并发的标记-整理算法的，以低延迟为首要目标的一款垃圾回收器。（选自《深入理解Java虚拟机》第3版 P112页）

3.5.1 内存布局

ZGC的内存布局与G1一样，也采用基于Region的堆内存布局，但不同的是，ZGC的Page(ZGC中称之为页面，道理和Region一样)具有动态性——动态创建和销毁，以及动态的区域容量大小。在x64硬件平台下，ZGC的Page可以具有大、中、小三类容量:

• 小型页面(Small Page)：容量固定为2MB，用于放置小于256KB的小对象。
• 中型页面(Medium Page)：容量固定为32MB，用于放置大于等于256KB但小于4MB的对象。
• 大型页面(Large Page)：容量不固定，可以动态变化，但必须为2MB的整数倍，用于放置4MB或以上的大对象。每个大页面中只会存放一个大对象，这也预示着虽然名字叫作“大型Page”，但它的实际容量完全有可能 小于中型Page，最小容量可低至4MB。 大型Page在ZGC的实现中是不会被重分配(重分配是ZGC的一种处理动作)的，因为复制一个大对象的 代价非常高昂。

3.5.2 性能表现

在性能方面，尽管目前还处于实验状态，还没有完成所有特性，稳定性打磨和性能调优也仍在进行，但即使是这种 状态下的ZGC，其性能表现已经相当亮眼，从官方给出的测试结果来看，用“令人震惊的、革命性的ZGC”来形容都 不为过。

ZGC与Parallel Scavenge、G1三款收集器通过SPECjbb 2015(java服务器业务测试工具)的测试结果。在ZGC 的“弱项”吞吐量方面，以低延迟为首要目标的ZGC已经达到了以高吞吐量为目标Parallel Scavenge的99%，直接超 越了G1。如果将吞吐量测试设定为面向SLA(Service Level Agreements)应用的 “Critical Throughput” (要求最大延迟不超过某个设置值(10毫秒到100毫秒)下测得的吞吐量)的话，ZGC的表现甚至还反超了Parallel Scavenge收集器。

ZGC的强项停顿时间测试上，它就毫不留情地与Parallel Scavenge、G1拉开了两个数量级的差距。不论是平均停 顿，还是95%停顿、99%停顿、99.9%停顿，抑或是最大停顿时间，ZGC均能毫不费劲地控制在十毫秒之内，以至于把它和另外两款停顿数百近千毫秒的收集器放到一起对比，就几乎显示不了ZGC的柱状条(图a)，必须把结果的纵坐标从线性尺度调整成对数尺度(图b，纵坐标轴的尺度是对数增长的)才能观察到ZGC的测试结果。

3.5.3 染色指针技术

ZGC为了实现目标，新增了染色指针技术。

染色指针是一种直接将少量额外的信息存储在指针上的技术，在64位系统中，理论可以访问的内存高达16EB(2的 64次幂)字节。实际上，64位的Linux则分别支持47位(128TB)的进程虚拟地址空间和46位(64TB)的物理地 址空间，64位的Windows系统甚至只支持44位(16TB)的物理地址空间。
Linux下64位指针的高18位不能用来寻址，但剩余的46位指针所能支持的64TB内存在今天仍然能够充分满足大型服务器的需要。
ZGC的染色指针技术使用上了这剩下的46位指针宽度，将其高4位提取出来存储四个标志信息。 通过这些标志位，虚拟机可以直接从指针中看到其引用对象的三色标记状态、是否进入了重分配集(即被移动过)、是否只能通过finalize()方法才能被访问到。 由于这些标志位进一步压缩了原本就只有46位的地址空间，也直接导致ZGC能够管理的内存不可以超过4TB(2的42次幂)。
染色指针的好处:

• 染色指针可以使得一旦某个Region的存活对象被移走之后，这个Region立即就能够被释放和重用掉，而不必等待整个堆中所有指向该Region的引用都被修正后才能清理。
• 染色指针可以大幅减少在垃圾收集过程中内存屏障的使用数量。一般写屏障的目的通常是为了记录对象引用的变动情况，如果将这些信息直接维护在指针中，显然就可以省去一些专门的记录操作。ZGC都并未使用任何写屏障，只使用了读屏障。
• 染色指针可以作为一种可扩展的存储结构用来记录更多与对象标记、重定位过程相关的数据，以便日后进一
  步提高性能。

3.5.4 ZGC工作过程

ZGC的运作过程大致可划分为四个大的阶段，这四个阶段都是可以并发执行的。仅在Mark Start、Initial Mark 阶段中会存在短暂的STW。

• 并发标记(Concurrent Mark)
  与G1一样，并发标记是遍历对象图做可达性分析的阶段，前后也要经过初始标记、最终标记的短暂停顿。ZGC的标记是在指针上而不是在对象上进行的，标记阶段会更新染色指针中的Marked 0、Marked 1标志位。
• 并发预备重分配(Concurrent Prepare for Relocate)
  这个阶段需要根据特定的查询条件统计得出本次收集过程要清理哪些Region，将这些Region组成重分配 集(Relocation Set)。 ZGC每次回收都会扫描所有的Region，用范围更大的扫描成本换取省去G1中记忆集的维护成本。 ZGC的重分配集只是决定了里面的存活对象会被重新复制到其他的Region中，里面的Region会被释放。
• 并发重分配(Concurrent Relocate)
  重分配是ZGC执行过程中的核心阶段，这个过程要把重分配集中的存活对象复制到新的Region上，并为 重分配集中的每个Region维护一个转发表(Forward Table)，记录从旧对象到新对象的转向关系。 由于使用了染色指针的支持，ZGC收集器能仅从引用上就明确得知一个对象是否处于重分配集之中，如 果用户线程此时并发访问了位于重分配集中的对象，这次访问将会被预置的内存屏障所截获，然后立即 根据Region上的转发表记录将访问转发到新复制的对象上，并同时修正更新该引用的值，使其直接指向 新对象，ZGC将这种行为称为指针的“自愈”(Self-Healing)能力。
• 并发重映射(Concurrent Remap)
  重映射所做的就是修正整个堆中指向重分配集中旧对象的所有引用。 并发重映射并不是一个必须要“迫切”去完成的任务。但是当所有指针都被修正之后，原来记录新旧对象 关系的转发表就可以释放掉了。