深入理解Java虚拟机-3：垃圾回收器与内存分配策略（2）垃圾收集算法

前言

阅读《深入理解Java虚拟机》相关笔记。
从判断对象消亡的角度出发，垃圾收集算法可以划分为“引用计数式垃圾收集”（Reference Counting GC）和“追踪式垃圾收集”（Tracing GC）。主流的Java虚拟机中均使用的是“追踪式垃圾收集”。

分代收集理论

当代商业虚拟机的垃圾收集器大多数遵循了“分代收集”（Generational Colection）的理论进行设计的。
分代假说：

1. 弱分代假说（Weak Generational Hypothesis）：绝大多数对象都是朝生夕灭的
2. 强分代假说（Strong Generational Hypothesis）：熬过越多次垃圾收集过程的对象就越难消亡

设计原则：收集器应该将Java堆划分出不同的区域，然后就将回收对象依据其年龄（年龄即对象熬过垃圾收集过程的次数）分配到不同的区域之中存储。
这样就可以在新生代中重点标记存活而不是大量的将被回收对象。而老年代可以采用较低的频率进行回收。

在Java堆划分出不同分区后，垃圾收集器才可以只对部分区域回收

• Minor GC：新生代收集
• Major GC：老年代收集，只有CMS单独收集老年代的行为
• Full GC：收集整个Java堆和方法区的垃圾收集

1. 标记-清除算法

“标记-清除”（Mark-Sweep）算法是最早也是最基础的。算法分为“标记”和“清除”两个阶段：首先标记出所有需要回收的对象，在标记完成后，统一回收掉所有被标记的对象，也可以反过来，标记存活的对象，统一回收所有未被标记的对象。注意标记过程（两次标记，finalize()方法）。

缺点：

• 执行效率不稳定，标记和清除两个过程的执行效率都随着对象数量增长而降低；
• 内存空间碎片化问题，标记、清除后会产生大量不连续的内存碎片，空间碎片太多会导致当以后在程序运行过程中需要分配较大对象时无法找到足够的连续内存而不得不提前触发一次垃圾收集动作。

2. 标记-复制算法

1969年Fenichel提出一种“半复制区”（Semispace Copying）的垃圾收集算法，它将可用内存按容量划分为大小相等的两块，每次都只使用其中的一块。当这一块内存用完了，就将还存活着的对象复制到另一块上面，然后再把已使用过的内存空间一次清理掉。
如果内存中多数对象存活会产生大量内存间复制的开销，但多数情况下都只需要复制较少内存。不用考虑空间碎片的复杂情况，只需要移动堆顶指针，按顺序分配。实现简单，运行高效，但是空间浪费太高。

Appel式回收，新生代分为一块较大的Eden空间和两块较小的Survivor空间，每次分配内存只使用Eden和其中的一块Survivor。发生垃圾收集时，将Eden和Survivor中仍然存活的对象一次性复制到另外一个Survivor空间上，然后之间清理掉Eden和已经使用过的那块Survivor空间。

HotSpot虚拟机的Serial、ParNew等新生代收集器均采用该策略。HotSpot虚拟机默认Eden和Survivor的大小比例是8：1。

“逃生门”安全设计，当Survivor空间不足以容纳一次Minor GC后存活的对象时，就需要其他内存区域（实际上大多就是老年代）进行分配担保。

3. 标记-整理算法

标记-复制算法在对象存活率较高时就要进行较多的复制操作，效率将会降低。此外还有内存空置。对于老年代中大量存活对象的情况并不适合。
针对老年代对象的存亡特性，标记-整理（Mrak-Compact）在1974年提出。标记过程仍然与“标记-清除”算法一样，然后将所有存活的对象向内存空间的一端移动，然后直接清理掉边界之外的内存。

对于老年代每次回收都有大量存活对象的区域，移动存活对象并更新所有引用这些对象的地方将是一个极为负重的操作。并且需要全部暂停用户应用程序才能进行 ，“Stop The World”。
对于标记-清除产生的碎片化空间只能依赖更为复杂的内存分配器和内存访问器来解决，比如“分区空闲分配链表”。内存访问时用户程序最频繁的操作，增加额外负担会直接影响程序的吞吐量。从整个程序吞吐量来看，移动对象更划算。即使不移动对象会使收集器的效率提升一点，但因内存分配和访问相比垃圾收集的频率高得多，这部分的耗时增加，总吞吐量仍然是下降的。