[深度理解java虚拟机]第3章 垃圾收集器和内存分配策略

个人博客文章链接

3.1 概述

3.2 判断对象是否存活

3.2.1 引用计数算法

• 给对象添加一个引用计数器，每当有一个地方引用它，计数器加一，当有引用失效，计数器减一，在任何时刻计数器为0的对象就是不可能在回收了。
• 主流java虚拟机中没有选用该算法，最重要的原因是很难解决对象之间循环引用的问题。

3.2.2 可达性分析算法

• 通过一系列的“GC Roots“的对象作为起点，从这些起点开始向下搜索，当一个对象不能被”GC Roots“对象搜索到，则该对象就会被判定为可回收对象。
• 可作为GC Roots的对象
  1. 虚拟机栈（栈帧中的本地变量表）中引用的对象。
  2. 方法区中类静态属性引用的对象。
  3. 方法区中常量引用的对象。
  4. 本地方法栈中JNI（即一般说的Native方法）引用的对象。

3.3 垃圾回收算法

3.3.1 标记-清除算法

• 分为”标记“和”清除“两个阶段，首先标记出所有需要回收的对象，在标记完成后统一回收所有标记的对象。
• 缺点：一个是效率问题，标记和清除两个过程的效率都不高；另一个是标记清除之后会产生大量的不连续的内存碎片。

3.3.2 复制算法

• 将可用内存划分为大小相等的两块，每次只是用其中一块，当这一块用完之后就将还存活的对象复制到另一块上，然后在把已使用的内存空间一次清理掉。
• 这种算法浪费了一半的空间。但是有方案解决，可以通过分代来优化。适用于新生代。

3.3.3 标记-整理算法

• 将所有存活的对象都向一端移动，然后直接清理掉端边界以外的内存。
• 适用于老年代

3.3.4 分代收集算法

• 把java堆分为新生代和老年代，根据各个年代的特点采用最适当的搜集算法。
• 在新生代中大量的对象死去，少量对象存活，选择复制算法。老年代中对象存活率高，没有额外空间进行担保，必须使用“标记-清除”或者“标记-清理”。

3.5 垃圾收集器

3.5.1 Serial收集器

• 单线程收集器，在进行垃圾收集时，必须暂停其他的工作线程，直到收集结束。
• 适用于Client模式下的虚拟机。

3.5.2 ParNew收集器

• 其实就是Serial收集器的多线程版本。
• 使用于运行在Server模式下的虚拟机的新生代收集器。

注意：并发收集器和并行收集器

• 并行（Parallel）：指多条垃圾收集线程并行工作，但此时用户线程处于等待状态。
• 并发（Concurrent）：指用户线程和垃圾收集线程同时执行。

3.5.3 Parallel scavenge收集器

• 使用复制算法的多线程收集器。
• 特点是它的关注点和其他的收集器不同，CMS等收集器的关注点是尽可能的缩短垃圾收集时用户线程的停顿时间，Parallel Scavenge收集器的目标则是达到一个可控的吞吐量。

吞吐量就是CPU用于运行用户代码的时间与CPU总消耗的时间的比值

3.5.4 Serial Old 收集器

• 是Serial收集器的老年代版本，同样是一个单线程收集器，使用“标记-整理”算法。
• 给Client模式下的虚拟机使用。

3.5.5 Parallel Old收集器

• 是Parallel Scavenge收集器的老年代版本，使用多线程和“标记-整理”算法。
• 可以配合Paralle Scavenge收集器组合。

3.5.6 CMS收集器

• 是一种以获得最短回收停顿时间为目标的收集器。
• 适用于互联网网站或者B/S系统的服务端架构。
• 实现过程：
  1. 初始标记：标记GC Roots能直接关联到的对象，速度很快。
  2. 并发标记：进行搜索，标记可回收对象。
  3. 重新标记：修正并发标记期间因用户程序继续运作而导致标记产生变动的那一部分对象的标记记录。
  4. 并发清除：清除可回收对象。
     其中初始标记和重新标记都需要停止用户进程。

3.5.7 G1收集器

• 具备的特点：并行与并发、分代收集、空间整合、可预测停顿。
• 运作过程：初始标记、并发标记、最终标记、筛选回收。

3.6 内存分配与回收策略

3.6.1 对象优先在Eden分配

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

注意 Minor GC 和 Full GC

1. 新生代GC（Minor GC）：指发生在新生代的垃圾收集动作。
2. 老年代GC（Major GC / Full GC）：指发生在老年代的GC，出现Major GC，经常会伴随至少一次Minor GC（不绝对）。Major GC 的速度一般会比Minor GC慢10倍以上。

3.6.2 大对象直接进入老年代

• 所谓大对象是指，需要大量连续内存空间的java对象，典型的是很长的字符串以及数组。
• 原因是一般认为大对象的存活率较高，且如果大对象在Eden区，采用的是复制算法，消耗比较大，但收益却不大。

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

• 将经历了多次Minor GC仍存活的对象晋升到老年代，多少次可以通过参数–XX:MaxTenuringThreshold来设置。

3.6.4 动态对象年龄判定

• 为了更好的适应不同程序的内存状况，虚拟机并不是永远的要求对象年龄必须到达了MaxTenuringThresold才能晋升未老年代，如果Survivor空间中相同的年龄所有对象大小总和大于Survivor空间的一半，年龄大于或等于该年龄的对象就可以直接进入老年代。

3.6.5 空间分配担保

• 就是检查Minor GC是否能够执行是否是安全的，原因是采用复制算法，Survivor区可能无法容纳存活的对象，需要借用老年代的内存，所以需要检测老年代的内存是否满足要求。
• 过程：
  1. 在进行Minor GC之前，会检查老年代最大可用的连续空间是否会大于新生代所有对象的总空间，如果成立这Minor GC是安全的。
  2. 否则虚拟机会查看HandlePromotionFailure设置值是否允许担保失败，如果允许就会继续检查老年代最大连续空间是否会大于历次晋升到老年代对象的平均大小，如果大于则尝试进行一次Minor GC。
  3. 如果小于，或则HandlePromotionFailure设置不允许冒险，则进行一次Full GC。