Java垃圾回收机制

Java自动内存管理归结为内存分配和内存回收。内存回收有如下算法。

一、根搜索算法

原理：通过一系列名为“GC Roots的对象作为起点，从这些节点开始向下搜索，搜索所走过的路径称为引用链，当一个对象到GC Roots没有任何引用链相连时，则证明此对象时不可用的。

        上述不可达的对象，并非立即宣告死亡，至少需要经历两次标记过程：

• 对象进行根搜索后发现没有与GC Roots相连接的引用链，则会被第一次标记并且进行一次筛选，筛选条件是此对象是否有必要执行finalize()方法。如果对象没有执行finalize或者虚拟机已经调用过，则对象接下来会被回收。
• 如果对象有必要执行finalize方法，则在finalize方法中，会进行第二次标记，如果将自身引用关联到引用链任意对象，则第二次标记时会被移除“即将回收”的集合，也就是逃脱被回收的命运。否则即将被回收了。

        Java中，可作为GC Roots的对象包括：虚拟机栈中引用的对象、本地方法栈中JNI的引用对象、方法区中类静态熟悉引用对象、方法区中常量引用对象。

二、标记-清除算法

原理：算法分为“标记”和“清除”两个阶段：首先标记出所有需要回收的对象，在标记完成后统一回收掉被标记的对象，是最基础的收集算法。

该算法缺点：

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

标记-清除算法执行过程如图：

三、复制算法

原理：将可用内存按容量划分为大小相等的两块，每次只使用其中的一块。当这一块的内存用完了，就将还存活的对象复制到另一块上，然后再把已经使用过的内存空间一次清理掉。

        这样使得每次都对其中一块进行内存回收，内存分配时就不用考虑内存碎片等辅助情况，只要移动堆顶指针，按顺序分配内存即可，实现简单，允许高效。

缺点：此算法代价是将内存缩小为原来的一半，太高了。

复制算法执行过程如图：

        现在的商业虚拟机都采用该算法来回收新生代，新生代中对象98%都是朝生夕死，所有不需要按1:1来划分内存空间，而是将内存划分为一块较大的Eden空间和两块较小的Survivor空间，每次使用Eden和其中一块Survivor。当回收时，将Eden和Surivior中还存活的对象一次性copy到另一块Survivor空间上，最后清理掉Eden和刚才用过的Survivor的空间。HotSpot虚拟机默认Eden和Survivor大小比例是8:1。

四、标记-整理算法

原理：标记过程仍然与“标记-清除”算法一样，但后续不是直接对可回收对象进行清理，而是让存活的对象都向一端移动，然后直接清理掉端边界以外的内存。

标记-整理算法示意图：

五、分代收集算法

        当前虚拟墙垃圾收集都采用“分代收集”算法，根据对象存活周期不同将内存划分为几块。一般把Java堆分为新生代和老年代，这样就可以根据各个年代特点采用最适当的收集算法。

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

        老年代中，因为对象存活率高，没有额外空间对它进行分配担保，就必须使用“标记-清理”或“标记-整理”算法来进行回收。

 

扩展：内存管理还有一种引用计数算法：

引用计数算法

原理：给对象添加一个引用计数器，每当有一个地方引用它时，计数器加1，当失效时引用计数值减1，任何时刻计数器都为0的对象就是不可能再被使用的。

缺点：很难解决对象之间循环引用的问题。所以Java没有选用该方法。

内存分配策略：

一、对象优先在Eden分配

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

二、大对象直接进入老年代

        所谓大对象是指，需要大量连续内存空间的Java对象，经常出现大对象容易导致内存还有不少空间时就提前触发垃圾收集，虚拟机提供对应参数，令大于这个设置值的对象直接在老年代中分配。这样做的目的是避免在Eden区及聊个Survivor区之间发生大量的内存copy。

三、长期存活的对象将进入老年代

        虚拟机给每个对象定义了一个对象年龄计数器。如果对象在Eden出生并经过第一次Minor GC后仍然存活，并且能被Survivor容纳的话，将被移动到Survivor空间中，并将对象年龄设为1。对象在Survivor区中每熬过一次Minor GC，年龄就增加1岁，当它的年龄增加到一定程度（默认15岁），就被晋升到老年代中。

四、动态对象年龄判定

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

五、空间分配担保

        在发生Minor GC时，虚拟机会检测之前每次晋升到老年代的平均大小是否大于老年代的剩余空间大小，如果大于，则改为直接进行一次Full GC。如果小于，则查看HandlePromotionFailure设置是否允许担保失败，如果允许，只会进行Minor GC，如果不允许，则进行一次Full GC。

参考：《深入理解Java虚拟机：JVM高级特性与最佳实践》