一起理解垃圾回收算法

概述

java内存运行时区域的各个部分，其中程序计数器、虚拟机栈、本地方法栈3个区域随线程而生，随线程而灭；栈中的栈帧随着方法的进入和退出而有条不紊地执行这出栈和入栈操作。每一个栈帧中分配多少内存基本上是在类结构确定下来时就已知的（尽管在运行期会由JIT编译器进行一些优化，但现在基于概念模型的讨论中，大体上可以认为是编译期可知的），因此这几个区域的内存分配和回收都具备确定性，在这几个区域内就不需要过多考虑回收的问题，因为方法结束或线程结束时，内存自然就更随着回收了。而java堆和方法区则不一样，一个接口中的多个实现类需要的内存可能不一样，一个方法的多个分支需要的内存也可能不一样，一个接口中的多个实现类需要的内存可能不一样，一个方法中的多个分支需要的内存也可能不一样，我们只有在程序处于运行期时才能知道会创建哪些对象，这部分内存的分配和回收都是动态的，垃圾收集器所关注的是这部分内存。

对象已死

1、引用计数算法

概念

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

优点

实现简单，判断效率也很高

缺点

很难解决对象之间的相互引用问题。例如：对象A和对象B都有字段instance，赋值令A.instance = B 及 B.instace = A，除此之外，这两个对象再无其他任何引用，实际上这两个对象已经不可能再被访问，但因为互相引用，导致它们的引用计数器都不为0。

事实上，主流的java虚拟机里面没有选用引用计数算法来管理内存。

2、可达性分析算法

概念

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

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

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

3、引用

在jdk1.2之前，java中的引用定义很传统：如果reference类型的数据中存储的数值代表的是另外一块内存的起始地址，就称这块内存代表这一个引用。这种定义很纯粹，但是太过狭隘，一个对象在这种定义下只有被引用或者没有被引用两种状态，对于如何描述一些“食之无味、弃之可惜”的对象就显得无能为力。

在jdk1.2以后，java对引用的概念进行了扩充：

• 强引用（Strong Reference）：指在程序代码中普遍存在的，类似“Object obj = new Object（）”这类的引用，只要强引用还在，垃圾收集器永远不会回收掉被引用的对象。
• 软引用（Soft Reference）：用来描述一些还有用但并非必须的对象。对于软引用关联着的对象，在系统将要发生内存溢出异常之前，将会把这些对象列进回收范围之中进行第二次回收。如果这次回收还没有足够内存，才会抛出内存溢出异常。在jdk1.2以后，提供了SoftReference类来实现软引用。
• 弱引用（Weak Reference）：用来描述非必须对象，强度比软引用更弱一些，被弱引用关联的对象只能生存到下一次垃圾收集发生之前。当垃圾收集器工作时，无论当前内存是否足够，都会回收掉只被弱引用关联的对象。在jdk1.2之后，提供了WeakReference类来实现弱引用。
• 虚引用（Phantom Reference）：虚引用也称为幽灵引用或者幻引用，它是最弱的一种引用关系。一个对象是否有虚引用存在，完全不会对其生存时间构成影响，也无法通过虚引用来取得一个对象实例。为一个对象设置虚引用关联的唯一目的就是能在这个对象被收集器回收时收到一个系统通知。在jdk1.2以后，提供了PhantomReference类来实现虚引用。

4、生存还是死亡（了解）

即使在可达性分析算法中不可达的对象，也并非是“非死不可”的，要真正宣告一个对象死亡，至少要经历两次标记过程：如果对象在进行可达性分析后发现没有与GC Roots相连接的引用链，那它将会被第一次标记并且进行一次筛选，筛选条件是对此对象是否有必要执行**finalize()**方法。当对象没有覆盖finalize()方法，或者finalize()方法已经被虚拟机调用过，虚拟机将这两种情况都视为“没有必要执行”。

如果这个对象被判定为有必要执行finalize()方法，那么这个对象将会放置在一个叫做F-Queue的队列之中，并且在稍后由一个虚拟机自动建立的、低优先级的Finalizer线程去执行它，这里所谓的“执行”是值虚拟机会触发这个方法，但并不会承诺它运行结束。finalize()方法是对象逃脱死亡命运的最后一次机会，稍后GC将会对F-Queue中的对象进行第二次小规模的标记，如果对象要在finalize()中成功拯救自己——只要重新与引用链上的任何一个对象建立关系即可，在第二次标记时它会被移除出“即将回收”的集合；如果对象这时候还没有逃脱，那基本上它就真的被回收了。

5、回收方法区

永久代的垃圾主要回收两部分内容：废弃常量和无用的类。

回收废弃常量与回收java堆中的对象非常类似。假如一个字符串“ABC”已经进入常量池中，但是没有任何String对象引用常量池中的“ABC”常量，如果这时发生内存回收，而且必要的话，这个常量就会被系统清理出常量池。常量池中的其他类（接口）、方法、字段的符号引用也与此类似。

要判断一个类是否是“无用的类”的条件相对苛刻许多，需要同时满足下面3个条件：

• 该类所有的实例都已经被回收，也就是java堆中不存在该类的任何实例；
• 加载该类的ClassLoader已经被回收；
• 该类对应的java.lang.Class对象没有在任何地方被引用，无法在任何地方通过反射访问该类的方法。

虚拟机可以对满足上述3个条件的无用类进行回收，这里说的仅仅是“可以”，而不是和对象一样，不使用了就必然会回收。是否对类进行回收，HotSpot虚拟机提供了-Xnoclassgc参数进行控制。

在大量使用反射、动态代理、CGLib等ByteCode框架、动态生成JSP以及OSGI这类频繁自定义ClassLoader的场景都需要虚拟机具备类卸载的功能，以保证永久代不会溢出。

垃圾收集算法

1、标记—清除算法

概念

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

缺点

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

2、复制算法

概念

为了解决效率问题，一种称为“复制”（Copying）的收集算法出现了，它将可用内存按容量划分为大小相等的两块，每次只使用其中的一块。当这一块的内存用完了，就将还存活着的对象复制到另外一块上面，然后再把已使用过的内存空间一次清理掉。这样使得每次都是对整个半区进行内存回收，内存分配时也就不用考虑内存碎片等复杂情况，只要移动堆顶指针，按顺序分配内存即可，实现简单，运行高效。

缺点

将内存缩小为了原来的一半，未免太高了一点。并且复制收集算法在对象存活率较高时就要进行较多的复制操作，效率将会变低。更关键的是，如果不想浪费50%的空间，就需要有额外的空间进行分配担保，以应对被使用的内存中所有对象都100%存活的极端情况，所以老年代一半不能直接选用这种算法。

3、标记—整理算法

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

4、分代收集算法

当前商业虚拟机的垃圾收集都采用“分代收集”（Generational Collection）算法，这种算法没有什么新思想，只是根据对象存活周期的不同将内存划分为几块。一般是把java堆分为新生代和老年代，这样可以根据各个年代的特点采用最适合的收集算法。在新生代中，每次垃圾收集时都发现有大批对象死去，只有少量存活，那就选择复制算法，只需付出少量存活对象的复制成本就可以完成收集。而老年代中因为对象存活率高、没有额外空间对他进行分配担保，就必须采用“标记—清理”或者“标记—整理”算法来进行回收。

内容摘自——《深入理解java虚拟机》
部分图片引用自：https://www.cnblogs.com/aspirant/p/8662690.html