深入理解Java虚拟机-垃圾收集

前言：Java虚拟机的运行时数据区域如下：

其中，程序计数器、虚拟机栈、和本地方法栈这三个区域属于线程私有的，只存在于线程的声明周期内，线程结束之后也会消失，因此不需要对这三个区域进行垃圾回收。垃圾回收主要是针对Java堆和方法区进行。

一、判断一个对象是否可被回收

1.引用计数器法

实现：给对象添加一个引用计数器，当对象增加一个引用时计数器加1，引用失效时计数器减1.引用计数器为0时对象可被回收。

缺点：两个对象出现循环引用的情况下，此时计数器永远部位0，导致无法对它们进行垃圾回收。例如下面这段程序：

public class ReferenceCountingGC {
    public Object instance = null;
    public static void main(String[] args) {
        ReferenceCountingGC objectA = new ReferenceCountingGC();
        ReferenceCountingGC objectB = new ReferenceCountingGC();
        objectA.instance = objectB;
        objectB.instance = objectA;
    }
}​

2.可达性分析法

通过GC Roots作为起始点进行搜索，能够到达的对象都是存活的，不可达的对象可被回收。

• Java虚拟机使用该算法来判断对象是否可被回收，在Java中GC Roots一般包含以下内容
  • 虚拟机栈中引用的对象
  • 本地方法栈中引用的对象
  • 方法区中静态属性引用的对象
  • 方法区中的常量引用的对象

3.引用类型
无论是通过引用计算方法来判断对象的引用数量，还是通过可达性分析算法来判断对象的引用链是否可达，判定对象是否可被回收都与引用有关。

• 强引用
  • 被强引用关联的对象不会被垃圾收集器回收
  • 使用new一个新对象的方式来创建强引用。 Object obj = new Object();​​
• 软引用
  • 被软引用关联的对象，只有在内存不够的情况下才会被回收。
  • 使用SoftReference 类来创建软引用。Object obj = new Object(); ​​​SoftReference<Object> sf = new SoftReference<Object>(obj); obj = null;​
• 弱引用
  • 被弱引用关联的对象一定会被垃圾收集器回收，也就是说它只能存活到下一次垃圾收集发生之前。
  • 使用 WeakReference 类来实现弱引用。 Object obj = new Object(); WeakReference<Object> wf = new WeakReference<Object>(obj); obj = null;​​
• 虚引用
  • 又称为幽灵引用或者幻影引用。一个对象是否有虚引用的存在，完全不会对其生存时间构成影响，也无法通过虚引用取得一个对象实例。
  • 为一个对象设置虚引用​关联的唯一目的就是能在这个对象被收集器回收时收到一个系统通知。
  • 使用PhantomReference 来实现虚引用。Object obj = new Object(); PhantomReference<Object> pf = new PhantomReference<Object>(obj); obj = null;

• 4.方法区的回收
  • (1)因为方法区主要存放永久代，而永久代对象的回收率比新生代差很多，因此在方法区上进行回收性价比不高
  • (2)主要是对常量池的回收和对类的卸载
  • (3)类的卸载需要满足一下三个条件，并且满足了也不一定会被卸载
    • ①该类的所有实例都已经被回收，也就是Java堆中不存在该类的任何实例。
    • ②加载该类的ClassLoader已经被回收
    • ③该类对应的java.lang.Class对象没有在任何地方被引用，也就无法在任何地方通过反射访问该类方法。
  • (4)可以通过 -Xnoclassgc 参数来控制是否对类进行卸载。
  • (5)在大量使用反射、动态代理、CGLib 等 ByteCode 框架、动态生成 JSP 以及 OSGi 这类频繁自定义 ClassLoader 的场景都需要虚拟机具备类卸载功能，以保证不会出现内存溢出。
• 5.finalize()
  • (1)finalize()类似c++的析构函数。用来做关闭外部资源等工作。但是try-finally等方式可以做的更好，并且该方法运行代价高昂，不确定性大，无法保证对各个对象的调用顺序，因此最好不要使用
  • (2)当一个对象可被回收时，如果需要执行该对象的finalize()方法，那么就有可能通过在该方法中让对象重新被引用，从而实现自救。

• 二、垃圾收集算法
  • 1.标记-清除算法
    
    • 实现：利用可达性分析法将需要存活的对象进行标记，然后清理掉未被标记的对象
    • 不足：1.标记和清楚过程效率都不高。 2.会产生大量不连续的内存碎片，导致无法给大对象分配内存。
  • 2.标记-整理算法
    
    • 实现：让所有存活的对象都向一端移动，然后直接清理掉端边界以外的内存。
  • 3.复制算法
    
    • 实现：将内存划分为大小相等的两块，每次只使用其中一块，当这一块内存用完了就将还存活的对象复制到另一块上面，然后再把使用过的内存空间进行一次清理
    • 不足之处：只使用了内存的一半
    • 注意：现在的商业虚拟机都采用这种收集算法来回收新生代，但是并不是将内存划分为大小相等的两块，而是分为一块较大的Eden空间和两块较小的Survivor空间，每次使用Eden空间和其中一块Survivor。在回收时，将Eden和Survivor中还存活着的对象一次性复制到另一块Survivor空间上，最后清理Eden和使用过的那一块Survivor。HotSpot虚拟机的Eden和Survivor的大小比例默认为8 : 1,保证了内存的利用率达到90%。如果每次回收有多于10%的对象存活，那么一块Survivor空间就不够用了，此时需要依赖于老年代进行分配担保，也就是借用老年代的空间存储放不下的对象。
  • 4.分代收集
    • 实现：现在的商业虚拟机采用分代收集算法，它根据对象存活周期将内存划分为几块，不同块采用适当的收集算法。
    • 注意：一般将Java堆分为新生代和老年代
      • 新生代使用：复制算法
      • 老年代使用：标记-整理算法或标记-清楚算法
• 三、垃圾收集器
  
  • 1.Serial收集器
    
    • (1)Serial翻译为串行，垃圾收集和用户程序不能同时执行，这意味着在执行垃圾收集的时候需要停顿用户程序。除了CMS和G1之外，其他收集器都是以串行的方式执行。CMS和G1可以使得垃圾收集和用户程序同时执行，被成为并发执行。
    • (2)Serial收集器是单线程的收集器，只会使用一个线程进行垃圾收集工作。
    • (3)它的优点是简单高效，对于单个CPU环境来说，由于没有线程交互的开销，因此拥有最高的单线程收集效率
    • (4)它是Client模式下默认的新生代收集器，因为在用户的桌面应用场景下，分配给虚拟机管理的内存一般来说不会很大。Serial收集器收集几十兆甚至一两百兆的新生代停顿时间可以控制在一百多毫秒以内，只要不是太频繁，这点停顿是可以接受的。
  • 2.ParNew收集器
    
    • (1)Serial收集器的多线程版本。
    • (2)Server模式下的虚拟机首选新生代收集器，除了性能原因外，主要是因为除了Serial收集器，只有它能与CMS收集器配合工作。
    • (3)默认开始的线程数量与CPU数量相同，可以使用 -XX:ParallelGCThreads 参数来设置线程数。
  • 3.Parallel Scavenge收集器
    • (1)与ParNew一样是并行的多线程收集器
    • (2)其他收集器关注点是尽可能缩短垃圾收集时用户线程停顿时间，而它的目标是达到一个可控制的吞吐量，它被成为“吞吐量优先”收集器。这里的吞吐量是指CPU用于运行用户代码的时间占总时间的比值。
    • (3)停顿时间越短就越适合需要与用户交互的程序，良好的响应速度能提升用户体验。而高吞吐量则可以高效率地利用CPU时间，尽快完成程序的运算任务，主要适合在后台运算而不需要太多交互的任务。
    • (4)提供了两个参数用于精确控制吞吐量，分别是控制最大垃圾收集停顿时间 -XX:MaxGCPauseMillis 参数以及直接设置吞吐量大小的 -XX:GCTimeRatio 参数（值为大于 0 且小于 100 的整数）。缩短停顿时间是以牺牲吞吐量和新生代空间来换取的：新生代空间变小，垃圾回收变得频繁，导致吞吐量下降。
    • (5)还提供了一个参数 -XX:+UseAdaptiveSizePolicy，这是一个开关参数，打开参数后，就不需要手工指定新生代的大小（-Xmn）、Eden 和 Survivor 区的比例（-XX:SurvivorRatio）、晋升老年代对象年龄（-XX:PretenureSizeThreshold）等细节参数了，虚拟机会根据当前系统的运行情况收集性能监控信息，动态调整这些参数以提供最合适的停顿时间或者最大的吞吐量，这种方式称为 GC 自适应的调节策略（GC Ergonomics）。
  • 4.Serial Old收集器
    
    • 是Serial收集器的老年代版本，也是给Client模式下的虚拟机使用。如果用在Server模式下，它有两大用途
      • (1)在JDK1.5以及之前版本（Parallel Old 诞生以前）中与 Parallel Scavenge 收集器搭配使用。
      • (3)作为 CMS 收集器的后备预案，在并发收集发生 Concurrent Mode Failure 时使用。
  • 5.Parallel Old收集器
    
    • (1)Parallel Old收集器是Parallel Scavenge收集器的老年代版本
    • (2)在注重吞吐量以及CPU资源敏感的场合，都可以优先考虑Parallel Scavenge加Parallel Old收集器。
  • 6.CMS收集器
    
    • (1)CMS（Concurrent Mark Sweep），Mark Sweep 指的是标记 - 清除算法。
    • (2)特点:并发收集、低停顿。并发指的是用户线程和GC线程同时运行。
    • (3)分为以下四个流程:
      • 初始标记：仅仅是标记一下GC Roots能直接关联到的对象，速度很快，需要停顿
      • 并发标记：进行GC Roots Tracing的过程，它在整个回收过程中耗时最长，不需要停顿
      • 重新标记：为了修正并发标记期间因用户程序继续运作而导致标记产生变动的那一部分对象的标记记录，需要停顿。
      • 并发清除：不需要停顿。
    • (4)在整个过程中耗时最长的并发标记和并发清除过程中，收集器线程都可以与用户线程一起工作，不需要进行停顿。
    • (5)不足之处：
      • 吞吐量低：低停顿时间是以牺牲吞吐量为代价的，导致 CPU 利用率不够高。
      • 无法处理浮动垃圾，可能出现 Concurrent Mode Failure。浮动垃圾是指并发清除阶段由于用户线程继续运行而产生的垃圾，这部分垃圾只能到下一次 GC 时才能进行回收。由于浮动垃圾的存在，因此需要预留出一部分内存，意味着 CMS 收集不能像其它收集器那样等待老年代快满的时候再回收。可以使用 -XX:CMSInitiatingOccupancyFraction 来改变触发 CMS 收集器工作的内存占用百分，如果这个值设置的太大，导致预留的内存不够存放浮动垃圾，就会出现 Concurrent Mode Failure，这时虚拟机将临时启用 Serial Old 来替代 CMS。
      • 标记 - 清除算法导致的空间碎片，往往出现老年代空间剩余，但无法找到足够大连续空间来分配当前对象，不得不提前触发一次 Full GC。
  • 7.G1收集器
    • G1（Garbage-First），它是一款面向服务端应用的垃圾收集器，在多 CPU 和大内存的场景下有很好的性能。HotSpot 开发团队赋予它的使命是未来可以替换掉 CMS 收集器。
    • Java 堆被分为新生代、老年代和永久代，其他收集器进行收集的范围都是整个新生代或者老生代，而 G1 可以直接对新生代和永久代一起回收。
      
    • G1把新生代和老年代划分成多个大小相等的独立区域（Region），新生代和永久代不再物理隔离。
      
    • 通过引入 Region 的概念，从而将原来的一整块内存空间划分成多个的小空间，使得每个小空间可以单独进行垃圾回收。这种划分方法带来了很大的灵活性，使得可预测的停顿时间模型成为可能。通过记录每个 Region 垃圾回收时间以及回收所获得的空间（这两个值是通过过去回收的经验获得），并维护一个优先列表，每次根据允许的收集时间，优先回收价值最大的 Region。
    • 每个 Region 都有一个 Remembered Set，用来记录该 Region 对象的引用对象所在的 Region。通过使用 Remembered Set，在做可达性分析的时候就可以避免全堆扫描。
    • 如果不计算维护 Remembered Set 的操作，G1 收集器的运作大致可划分为以下几个步骤
      
      • 初始标记
      • 并发标记
      • 最终标记：为了修正在并发标记期间因用户程序继续运作而导致标记产生变动的那一部分标记记录，虚拟机将这段时间对象变化记录在线程的 Remembered Set Logs 里面，最终标记阶段需要把 Remembered Set Logs 的数据合并到 Remembered Set 中。这阶段需要停顿线程，但是可并行执行。
      • 筛选回收：首先对各个 Region 中的回收价值和成本进行排序，根据用户所期望的 GC 停顿是时间来制定回收计划。此阶段其实也可以做到与用户程序一起并发执行，但是因为只回收一部分 Region，时间是用户可控制的，而且停顿用户线程将大幅度提高收集效率。
    • 特点
      • 空间整合：整体来看是基于“标记 - 整理”算法实现的收集器，从局部（两个 Region 之间）上来看是基于“复制”算法实现的，这意味着运行期间不会产生内存空间碎片。
      • 可预测的停顿：能让使用者明确指定在一个长度为 M 毫秒的时间片段内，消耗在 GC 上的时间不得超过 N 毫秒。
  • 8.各种收集器的比较
    
• 四、内存分配与回收策略
  对象的内存分配，也就是在堆上分配。主要分配在新生代的Eden区上，少数情况下也可能直接分配在老年代中。
  • 1.Minor GC和Full GC
    • Minor GC:发生在新生代上，因为新生代对象存活时间很短，因此Minor GC会频繁执行，执行的速度一般也会比较快。
    • Full GC：发生在老年代上，老年代对象和新生代的相反，其存活时间长，因此Full GC很少执行，而且执行速度会比Minor GC慢很多。
  • 2.内存分配策略
    • (1)对象优先在Eden分配
          大多数情况下，对象在新生代 Eden 区分配，当 Eden 区空间不够时，发起 Minor GC。
    • (2)大对象直接进入老年代
          ①大对象是指需要连续内存空间的对象，最典型的大对象是那种很长的字符串以及数组。
          ②经常出现大对象会提前触发垃圾收集以获取足够的连续空间分配给大对象。
      ​​    ③-XX:PretenureSizeThreshold，大于此值的对象直接在老年代分配，避免在 Eden 区和 Survivor 区之间的大量内存复制。
    • (3)长期存活的对象进入老年代
          ①为对象定义年龄计数器，对象在 Eden 出生并经过 Minor GC 依然存活，将移动到 Survivor 中，年龄就增加 1 岁，增加到一定年龄则移动到老年代中。
          ②-XX:MaxTenuringThreshold 用来定义年龄的阈值。​
    • (4)动态对象年龄判定
          虚拟机并不是永远地要求对象的年龄必须达到 MaxTenuringThreshold 才能晋升老年代，如果在 Survivor 区中相同年龄所有对象大小的总和大于 Survivor 空间的一半，则年龄大于或等于该年龄的对象可以直接进入老年代，无需等到 MaxTenuringThreshold 中要求的年龄。
    • (5)空间分配担保
          在发生 Minor GC 之前，虚拟机先检查老年代最大可用的连续空间是否大于新生代所有对象总空间，如果条件成立的话，那么 Minor GC 可以确认是安全的；如果不成立的话虚拟机会查看 HandlePromotionFailure 设置值是否允许担保失败，如果允许那么就会继续检查老年代最大可用的连续空间是否大于历次晋升到老年代对象的平均大小，如果大于，将尝试着进行一次 Minor GC，尽管这次 Minor GC 是有风险的；如果小于，或者 HandlePromotionFailure 设置不允许冒险，那这时也要改为进行一次 Full GC。
  • 3，Full GC的触发条件
    对于Minor GC，其触发条件非常简单，当Eden区空间满时，就将触发一次Minor GC。而Full GC则相对复杂。
    • (1)调用System.gc()
            此方法的调用是建议虚拟机进行 Full GC，虽然只是建议而非一定，但很多情况下它会触发 Full GC，从而增加 Full GC 的频率，也即增加了间歇性停顿的次数。因此强烈建议能不使用此方法就不要使用，让虚拟机自己去管理它的内存。可通过 -XX:DisableExplicitGC 来禁止 RMI 调用 System.gc()。
    • (2)老年代空间不足
            老年代空间不足的常见场景为前文所讲的大对象直接进入老年代、长期存活的对象进入老年代等，当执行 Full GC 后空间仍然不足，则抛出 Java.lang.OutOfMemoryError。为避免以上原因引起的 Full GC，调优时应尽量做到让对象在 Minor GC 阶段被回收、让对象在新生代多存活一段时间以及不要创建过大的对象及数组。
    • (3)空间分配担保失败
           使用复制算法的 Minor GC 需要老年代的内存空间作担保，如果出现了 HandlePromotionFailure 担保失败，则会触发 Full GC。
    • (4)JDK1.7及以前的永久代空间不足
           在 JDK 1.7 及以前，HotSpot 虚拟机中的方法区是用永久代实现的，永久代中存放的为一些 Class 的信息、常量、静态变量等数据，当系统中要加载的类、反射的类和调用的方法较多时，永久代可能会被占满，在未配置为采用 CMS GC 的情况下也会执行 Full GC。如果经过 Full GC 仍然回收不了，那么虚拟机会抛出 java.lang.OutOfMemoryError，为避免以上原因引起的 Full GC，可采用的方法为增大永久代空间或转为使用 CMS GC。
    • (5)Concurrent Mode Failure：执行 CMS GC 的过程中同时有对象要放入老年代，而此时老年代空间不足（有时候“空间不足”是 CMS GC 时当前的浮动垃圾过多导致暂时性的空间不足触发 Full GC），便会报 Concurrent Mode Failure 错误，并触发 Full GC。