垃圾收集器与内存分配策略

Java 和 C++ 的一个区别就是 Java 可以进行内存动态分配和垃圾收集。垃圾收集技术实际上早于 Java 诞生，垃圾收集主要完成三件事情：哪些内存需要回收？什么时候回收？如何回收？

1. 判断对象是否存活

Java 的垃圾收集主要是在堆上，Java 堆里几乎存放着所有的 Java 对象实例，垃圾收集器在对堆进行回收前，第一件事就是要确定对象是否存活。

• 引用计数法

  给对象添加一个引用计数器，每当有一个地方引用它，计数器值加1，引用失效时计数器值减1，当计数器值为0时说明这个对象不再被使用。

  引用计数算法实现简单，判定效率也很高，在大部分情况下是一个不错的算法，例如微软公司的 COM （Component Object Model）技术、使用 ActionScript 3 的 FlashPlayer、Python 语言和在游戏脚本领域被广泛应用的 Squirrel 中都使用了引用计数算法进行内存管理。

  但是主流的 Java 虚拟机没有选择使用引用计数法来管理内存，主要原因是它很难解决对象之间循环引用的问题。

• 可达性分析算法

  以**“GC Roots”**作为起始点，从这些节点开始向下搜索，搜索所走过的路径称为引用链（Reference Chain），当一个对象到 GC Roots 没有任何引用链相连时，证明此对象是不可用的。

  如图所示，对象 object 5、object 6、object 7 虽然互相有关联，但是它们到 GC Roots 是不可达的，所以它们将会被判定为是可回收的对象。

  

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

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

2. Java 中的引用

在引用计数法和可达性分析法中，判定对象是否存活都与“引用”有关。

在 JDK 1.2以前，Java 中对引用是这样定义的：如果 reference 类型的数据中存储的数值代表的是另一块内存的起始位置，就称这块内存代表着一个引用。这种定义纯粹但是过于狭隘，一个对象在这种定义下只有被运用或没有被引用两种状态。

在 JDK 1.2之后，Java 对引用的概念进行了扩充，将引用分为强引用（Strong Reference）、软引用（Soft Reference）、弱引用（Weak Reference）、虚引用（Phantom Reference）4种，这4种引用强度依次逐渐减弱。

• 强引用就是指在程序代码之中普遍存才的，类似 Object obj = new Object( ) 这类的引用，只要强引用还存在，垃圾收集器永远不会回收掉被引用的对象。

• 软引用是用来描述一些还有用但并非必须的对象。对于软引用关联着的对象，在系统将要发生内存溢出异常之前，将会把这些对象列进回收范围之中进行二次回收，如果这次回收还没有足够的内存，才会抛出内存溢出异常。在 JDK 1.2之后，提供了 SoftReference 类来实现软引用。

  SoftReference<Object> srObj = new SoftReference<Object>(new Object())
  

• 弱引用也是用来描述非必须对象的，但是它的强度比软引用更弱一些，被弱引用关联的对象只能生存到下一次垃圾收集发生之前。当垃圾收集器工作时，无论当前内存是否足够，都会回收掉只被弱引用关联的对象。在 JDK 1.2之后，提供了 WeakReference 类来实现弱引用。

  WeakReference<Object> wrObj = new WeakReference<Object>(new Object())
  

• 虚引用也称为幽灵引用或者幻影引用，它是最弱的一种引用关系。一个对象是否有虚引用的存在，完全不会对其生存时间构成影响，也无法通过虚引用来取得一个对象实例。为一个对象设置虚引用关联的唯一目的就是能在这个对象被收集器回收时收到一个系统通知。在 JDK 1.2之后，提供了 PhantomReference 类来实现虚引用。

  PhantomReference<Object> prObj = new PhantomReference<Object>(new Object(), null);
  

3. 垃圾收集算法

• 标记-清除算法

  标记-清除（Mark-Sweep）算法是最基础的收集算法，其它的收集算法都是基于这种思路并对其不足进行改进而得到的。算法分为“标记”和“清除”两个阶段：首先标记出所有需要回收的对象，在标记完成后统一回收所有被标记的对象。

  它的主要不足有两个：一是效率问题，标记和清除两个过程的效率都不高；另一个是空间问题，标记清除之后会产生大量不连续的内存碎片，空间碎片太多可能会导致以后程序在运行过程中需要分配较大对象时，无法找到足够的连续内存而不得不提前触发另一次垃圾收集动作。

  标记-清除算法的执行过程如图所示。

  

• 复制算法

  复制（Copying）算法的出现是为了解决效率问题，它将可用的内存按容量划分为大小相同的两块，每次只使用其中的一块。当这一块的内存用完了，就将还存活着的对象复制到另一块上面，然后再把已使用过的内存空间一次清理掉。

  这样使得每次都是对整个半区进行内存回收，内存分配时也就不用考虑内存碎片等复杂情况，只要移动堆顶指针，按顺序分配内存即可，实现简单，运行高效。只是这种算法的代价是将内存缩小为原来的一半。

  复制算法的执行过程如图所示。

  

• 标记-整理算法

  标记-整理（Mark-Compact）算法的标记过程与标记-清除算法一样，但后续步骤不是直接对可回收对象进行清理，而是让所有存活的对象都向一端移动，然后直接清理掉端边界以外的内存。

  标记-整理算法的示意图如图所示。

  

• 分代收集算法

  当前商业虚拟机的垃圾收集都采用分代收集（Generational Collection）算法，这种算法根据对象存活周期的不同将内存划分为几块。一般是把 Java 堆分为新生代和老年代，这样可以根据每个年代的特点采用最适当的收集算法。

  在新生代中，每次垃圾收集时都有大批对象死去，只有少量存活，所以选用复制算法，只需要付出少量存活对象的复制成本就可以完成收集。

  在老年代中，对象存活率高，没有额外空间对它进行分配担保，所以使用标记-清理或者标记-整理算法来进行回收。

4. 内存分配与回收策略

• 对象优先在 Eden 区中分配。
• 大对象直接进入老年代。
• 长期存活的对象将进入老年代。
• 动态对象年龄判定。
• 空间分配担保。