JVM垃圾回收

一、GC原理

GC (Garbage Collection:即垃圾回收)的基本原理∶将堆内存中不再被使用的对象进行回收，GC中用于回收的方法称为收集器
由于GC需要消耗一些资源和时间，Java在对对象的生命周期特征进行分析后，按照新生代、老年代的方式来对对象进行收集，以尽可能的缩短GC对应用造成的暂停

• 对新生代的对象的收集称为minor GC对老年
• 对象的收集称为Full GC
• 程序中主动调用System.gc(强制执行的GC为Full GC

二、对象被标记为垃圾的方法

JVM内存结构中堆区个方法区的内存分配和回收是松台的，是垃圾收集器所需关注的区域。

2.1引用计数器

引用计数是垃圾收集器中的早期策略。堆中每个对象实例都有一个引用计数。当一个对象被创建时，就将该对象实例分配给一个变量，该变量计数设置为1。当任何其它变量被赋值为这个对象的引用时，计数加1(a = b,则b引用的对象实例的计数器+1)，但当一个对象实例的某个引用超过了生命周期或者被设置为一个新值时，对象实例的引用计数器减1。任何引用计数器为0的对象实例可以被当作垃圾收集。当一个对象实例被垃圾收集时，它引用的任何对象实例的引用计数器减1。

优点:引用计数收集器可以很快的执行，交织在程序运行中。对程序需要不被长时间打断的实时环境比较有利。
缺点∶无法检测出循环引用。如父对象有一个对子对象的引用，子对象反过来引用父对象。这样，他们的引用计数永远不可能为0。

public class Demo{
  public static void main(String[]args){
    // obj1变量指向了新建对象，引用计数为1
    // obj2变量指向了新建对象，引用计数为1
    GCobject obj1=new GCobject ();//1
    GCobject obj2=new GCobject ();//2
    
    //obj1中的instance属性指向了obj2，引用计数为2
    //obj2中的instance属性指向了obj1，引用计数为2
    obj1.instance=obj2;//3
    obj2.instance=obj1;//4
    
    //将obj1，obj2置为null，引用计数减一后均为一
    //不为0，因此无法回收
    obj1=null;//5
    obj2=null;//6

  }
}
class GCobject {
   public Object instance=null;
}

• Step1: GcObject实例1的引用计数加1，实例1的引用计数=1;.
• Step2: GcObject实例2的引用计数加1，实例2的引用计数=1
• Step3: GcObject实例2的引用计数再加1，实例2的引用计数=2
• Step4: GcObject实例1的引用计数再加1，实例1的引用计数=2;

执行到Step 4，则GcObject实例1和实例2的引用计数都等于2。

• Step5:栈帧中obj1不再指向Java堆，GcObject实例1的引用计数减1，结果为1;
• Step6:栈帧中obj2不再指向Java堆，GcObject实例2的引用计数减1，结果为1。

到此，发现GcObject实例1和实例2的计数引用都不为0，那么如果采用的引用计数算法的话，那么这两个实例所占的内存将得不到释放，这便产生了内存泄露。

2.2可达性分析

可达性算法是目前主流的虚拟机都采用的算法，程序把所有的引用关系看作一张图，从一个节点GC Roots开始，寻找对应的引用节点，找到这个节点以后，继续寻找这个节点的引用节点，当所有的引用节点寻找完毕之后，剩余的节点则被认为是没有被引用到的节点，即无用的节点，无用的节点将会被判定为是可回收的对象。

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

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

三、垃圾回收算法

3.1标记-清除算法

标记/清除算法的基本思想就跟它的名字一样，分为“标记"和“清除"两个阶段:首先标记出所有需要回收的对象，在标记完成后统一回收所有被标记的对象
标记阶段:
标记的过程其实就是前面介绍的可达性分析算法的过程，遍历所有的GC Roots 对象，对从 GCRoots 对象可达的对象都打上一个标识。一般是在对象的header中，将其记录为可达对象。
清除阶段:
清除的过程是对堆内存进行遍历，如果发现某个对象没有被标记为可达对象（通过读取对象header 信息)，则将其回收。

标记/清除算法缺点:

• 效率问题
  标记和清除两个阶段的效率都不高，因为这两个阶段都需要遍历内存中的对象，很多时候内存中的对象实例数量是非常庞大的，这无疑很耗费时间，而且GC时需要停止应用程序，这会导致非常差的用户体验。
• 空间问题：
  标记清除之后会产生大量不连续的内存碎片（从上图可以看出)，内存空间碎片太多可能会导致以后在程序运行过程中需要分配较大对象时，无法找到足够的连续内存而不得不提前触发另一次垃圾回收动作。

3.2复制算法

复制算法是将可用内存按容量划分为大小相等的两块，每次使用其中的一块。当这一块的内存用完了，就将还存活的对象复制到另一块内存上（对象连续的放在一起），然后把这一块内存所有的对象一次性清理掉。

• 优点：
  复制算法每次都是对整个半区进行内存回收，这样就减少了标记对象遍历的时间，在清除使用区域对象时，不用进行遍历，直接清空整个区域内存，而且在将存活对象复制到保留区域时也是按地址顺序存储的，这样就解决了内存碎片的问题，在分配对象内存时不用考虑内存碎片等复杂问题，只需要按顺序分配内存即可。
• 缺点︰
  1.将内存缩小为原来的一半，浪费了一半的内存空面,代价太高;
  2.如果对象的存活率很高，极端一点的情况假设对象存活率为100%，那么我们需要将所有存活的对象复制一遍，耗费的时间代价也是不可忽视的。

3.3标记-整理

标记-整理算法算法与标记/清除算法很像，事实上，标记/整理算法的标记过程任然与标记/清除算法一样，但后续步骤不是直接对可回收对象进行回收，而是让所有存活的对象都向一端移动，然后直接清理掉端边线以外的内存。

• 优点：
  可以看到，回收后可回收对象被清理掉了，存活的对象按规则排列存放在内存中。这样一来，当我们给新对象分配内存时，jvm 只需要持有内存的起始地址即可。标记/整理算法弥补了标记/清除算法存在内存碎片的问题消除了复制算法内存减半的高额代价,可谓一举两得。
• 缺点:
  效率不高:不仅要标记存活对象，还要整理所有存活对象的引用地址，在效率上不如复制算法。

3.4分代回收算法

分代收集算法的思想是按对象的存活周期不同将内存划分为几块一般是把Java堆分为新生代和老年代(还有一个永久代，是 HotSpot 特有的实现，其他的虚拟机实现没有这一概念，永久代的收集效果很差，一般很少对永久代进行垃圾回收)，这样就可以根据各个年代的特点采用最合适的收集算法。

特点:
新生代:朝生夕灭,存活时间很短。采用复制算法来收集。

新生代中每次垃圾回收都发现有大量的对象死去
只有少量存活，因此采用复制算法回收新生代
只需要付出少量对象的复制成本就可以完成收集;

老年代︰经过多次 Minor GC而存活下来，存活周期长。采用标记/清除算法或者标记/整理算法收集老年代

老年代中对象的存活率高，不适合采用复制算法
而且如果老年代采用复制算法，
它是没有额外的空间进行分配担保的，
因此必须使用标记/清理算法或者标记/整理算法来进行回收。

在以上的新生代中，对象存活于survivor状态下，不会立即晋升为老年代对象，以避免给老年代造成过大的影响，它们必须要满足以下条件才可以晋升:
1、minor gc 之后，存活于survivor区域的对象的age会+1，当超过〈默认)15的时候，转移到老年代。
2、动态对象，如果survivor空间中相同年龄所有的对象大小的综合和大于survivor空间的一半，age大于或等于该age的对象就可以直接进入老年代。
内存的分配和回收
分配策略:

• 对象优先分配在Eden区·大对象直接进入老年代
• 长期存活的对象将进入老年代
• 动态对象年龄判定（年龄超过阈值或survivor空间相同年龄所有对象大小总和大于survivor区一半，年龄大于或等于该年龄的对象直接进入老年代)。

空间分配担保机制:
在执行Minor GC前,JVM会首先检查Tenured是否有足够的空间存放新生代尚存活对象，由于新生代使用复制收集算法，为了提升内存利用率，只使用了其中一个Survivor作为轮换备份，因此当出现大量对象在Minor GC后仍然存活的情况时，就需要老年代进行分配担保，让Survivor无法容纳的对象直接进入老年代，但前提是老年代需要有足够的空间容纳这些存活对象。但存活对象的大小在实际完成GC前是无法明确知道的，因此Minor GC前,JVM会先首先检查老年代连续空间是否大于新生代对象总大小或历次晋升的平均大小，如果条件成立,则进行Minor GC，否则进行Full GC(让老年代腾出更多空间)。然而取历次晋升的对象的平均大小也是有一定风险的，如果某次Minor GC存活后的对象突增，远远高于平均值的话，依然可能导致担保失败(Handle Promotion Failure,老年代也无法存放这些对象了)，此时就只好在失败后重新发起一次Full GC(让老年代腾出更多空间)。

垃圾回收器

收集器发展历程:Serial收集器->Paralle收集器->CMS收集器〈Concurrent Mark Sweep) ->G1收集器(Garbage First)在进行垃圾回收时，会暂停所有的工作线程，直到垃圾回收完成，垃圾回收器的不断迭代为了优化减少停顿时间
使用垃圾回收器，通过设置垃圾回收器参数
-XX:+UseSerialGC，虚拟机运行在Client模式下的默认值,Serial+Serial Old。
-XX:+UseParNewGC，ParNew+Serial Old，在JDK1.8被废弃，在JDK1.7还可以使用。-XX:+UseConcMarkSweepGC，ParNew+CMS+Serial Old。
-XX;+UseParallelGC，虚拟机运行在Server模式下的默认值，Parallel Scavenge+Serial OId(PS Mark Sweep)。-XX:+UseParallelOldGC，Parallel Scavenge ÷Parallel Old。
一XX:+UseG1GC，G1+G1。

Serial收集器

Serial收集器是单一线程收集器，运行在Client端,在JDK 1.3.1之前唯一的垃圾回收器
优势:
简单高效，对于单个CPU的环境，Serial收集器由于没有线程交互的开销，专心做垃圾回收可以获得最高的单线程收集效率

ParNew收集器

ParNew收集器是Serial收集器的多线程版本，运行在Server端
特点:
多线程进行垃圾回收、其余行为（控制参数、收集算法、stop the world、对象分配规则、回收策略）与Serial收集器完全一致，随着CPU的数量增加、对于GC时系统资源的有效利用还是很有好处的，默认开启的收集线程数与CPU的数量相同
控制参数:
一XX:ParallelGCThreads参数限制垃圾垃圾收集线程
优势:
除了Serial收集器，只有他能与CMS收集器配合使用

Parallel Scavenge收集器并行多线程收集器

特点︰
达到一个可控制的吞吐量〈其他线程的关注点尽可能的缩短用户线程的停顿时间)，吞吐量就是CPU用于运行用户代码的时间与CPU的总消耗时间的比值，吞吐量=运行用户代码时间/八运行用户代码时间+垃圾收集时间)
区别:
停顿时间越短，交互响应时间越快，用户体验越好
高吞吐量则是高效利用CPU时间，尽快完成程序运算任务，适合后台运算
控制参数:
—XX:MaxGCPauseMillis 控制垃圾回收最大停顿时间一XX:GCTimeRatio设置吞吐量大小(大于0小于100)

Serial Old收集器

Serial Old是Serial收集器的老年代版本，是一个单线程收集器、使用标记-整理算法，运行在Client端
另外还可以在Server模式下:JDK 1.5之前的版本中与Parallel Scavenge收集器搭配使用，可以作为CMS的后备方案，在CMS发生Concurrent Mode Failure是使用

Parallel Old收集器

Parallel Old是Parallel Scavenge收集器的老年代版本，是一个多线程收集器、使用标记-整理算法，JDK 1.6中开始提供
Parallel Old收集器的出现，使“吞吐量优先"收集器终于有了名副其实的组合。在吞吐量和CPU敏感的场合，都可以使用Parallel Scavenge/Parallel Old组合

CMS收集器

CMS(Concurrent Mark Sweep)收集器是一种以获取最短回收停顿时间为目标的收集器，基于标记-清除算法实现
基于标记-清除算法，并发收集、低停顿，运作过程复杂，分4步:

• 初始标记:
  仅仅标记GC Roots能直接关联到的对象，速度快，但是需要“Stop The World"
• 并发标记:
  就是进行追踪引用链的过程，可以和用户线程并发执行。
• 重新标记:
  修正并发标记阶段因用户线程继续运行而导致标记发生变化的
  那部分对象的标记记录，比初始标记时间长但远比并发标记时间短，需要“Stop The World"
• 并发清除:
  清除标记为可以回收对象，可以和用户线程并发执行
  由于整个过程耗时最长的并发标记和并发清除都可以和用户线程一起工作，所以总体上来看，CMS收集器的内存回收过程和用户线程是并发执行的。
  缺点∶
  对CPU资源非常敏感
  并发收集虽然不会暂停用户线程，但因为占用一部分CPU资源，还是会导致应用程序变慢，总吞吐量降低。CMS的默认收集线程数量是=(CPU数量+3)/4﹔当CPU数量多于4个，收集线程占用的CPU资源多于25%，对用户程序影响可能较大;不足4个时，影响更大，可能无法接受。无法处理浮动垃圾（在并发清除时，用户线程新产生的垃圾叫浮动垃圾) ,可能出现"Concurrent Mode Failure"失败。
  并发清除时需要预留一定的内存空间，不能像其他收集器在老年代几乎填满再进行收集;如果CMS预留内存空间无法满足程序需要，就会出现一次"Concurrent Mode Failure"失败;这时JVM启用后备预案︰临时启用Serail Old收集器，而导致另一次Full GC的产生;产生大量内存碎片:
  CMS基于"标记-清除"算法，清除后不进行压缩操作产生大量不连续的内存碎片，这样会导致分配大内存对象时，无法找到足够的连续内存，从而需要提前触发另一次Full GC动作。

G1收集器

收集器发展最前沿成果之一，可以运行与服务端和客户端
特征:

• 并行与并发︰
  能充分利用多CPU、多核环境的硬件优势，缩短停顿时间;能和用户线程并发执行。
• 分代收集:
  G1可以不需要其他GC收集器的配合就能独立管理整个堆，采用不同的方式处理新生对象和已经存活一段时间的对象。
• 空间整合:
  整体上看采用标记整理算法，局部看采用复制算法（两个Region之间)，不会有内存碎片，不会因为大对象找不到足够的连续空间而提前触发GC，这点优于CMS收集器。
• 可预测的停顿:
  除了追求低停顿还能建立可以预测的停顿时间模型，能让使用者明确指定在一个长度为M毫秒的时间片段内，消耗在垃圾收集上的时间不超N毫秒，这点优于CMS收集器。
  为什么能做到可预测的停顿?
  是因为可以有计划的避免在整个Java堆中进行全区域的垃圾收集。G1收集器将内存分大小相等的独立区域(Reglon)，新生代和老年代概念保留，但是已经不再物理隔离。G1跟踪各个Region获得其收集价值大小[注:《深入理解JAVA虚拟机》这样解释:回收所获得得空间大小以及回收所需要的时间的经验值]，在后台维护一个优先列表﹔每次根据允许的收集时间，优先回收价值最大的Region(名称Garbage-First的由来〕﹔这就保证了在有限的时间内可以获取尽可能高的收集效率。
  回收过程步骤(与CMS较为相似)︰
• 初始标记:
  仅仅标记GC Roots能直接关联到的对象，并修改TAMS(Next Top at Mark Start)的值，让下一阶段用户程序并发运行时能在正确可用的Region中创建新对象，需要“Stop The World”
• 并发标记:
  从GC Roots开始进行可达性分析，找出存活对象，耗时长，可与用户线程并发执行
• 重新标记:
  修正并发标记阶段因用户线程继续运行而导致标记发生变化的那部分对象的标记记录。并发标记时虚拟机将对象变化记录在线程Remember Set Logs里面，最终标记阶段将Remember Set Logs整合到Remember Set中，比初始标记时间长但远比并发标记时间短，需要“Stop The World”
• 筛选回收:
  首先对各个Region的回收价值和成本进行排序，然后根据用户期望的GC停顿时间来定制回收计划，最后按计划回收一些价值高的Region中垃圾对象。回收时采用复制算法，从一个或多个Region复制存活对象到堆上的另一个空的Region，并且在此过程中压缩和释放内存;可以并发进行，降低停顿时间，并增加吞吐量。