JVM之GC算法和种类

垃圾收集算法

可达性分析算法

强引用StringReference

软引用SoftReference

弱引用WeakReference

虚引用PhantomReference

引用计数算法Reference Counting

标记-清除算法Mark-Sweep

复制算法Copying

标记-整理Mark-Compact

分代收集算法Generational Collection

HotSpot的算法实现
枚举GC Roots根节点

安全点SafePoint

安全区域Safe Region

垃圾收集算法

这里说说5种GC算法，在说GC算法前，先谈谈判断对象是否活着的可达性分析算法

可达性分析算法

引用计数算法

标记-清除算法

标记-整理算法

复制算法

分代收集算法

可达性分析算法

垃圾回收，首先要判断对象是否还活着.

Java通過可达性分析(Reachability Analysis)来判定对象是否存活

算法基本思路：

- 通过一系列称为”GC Roots”的对象作为起点，从这些节点开始向下搜索，搜索走过的路径，叫做引用链(Reference Chain)

- 当一个对象到GC Roots没有任何引用链相连，从图论来说，就是从GC Roots到对象不可达，此时判定对象不可用

Java中，可作为GC Roots的對象包括四种

VM Stack(栈帧中的本地变量表)中引用的对象

本地方法栈中JNI(即Navtive方法)引用的对象

方法区中类静态属性引用的对象

方法区中常量引用的对象

创建–>可达<–>可恢复–>不可达–>垃圾回收

强引用StringReference

创建对象，并把对象赋给一个引用变量，程序通过这个引用变量来操作对象，对象和数组都采用了强引用。

一个对象被一个或以上引用变量引用，则处于可达状态，不会被GC

软引用SoftReference

要用java.lang.ref.SoftReference实现

描述有用但非必需的对象

内存空间足够时，不会被GC；否则，可能会被GC

常用于对内存敏感的程序中

get()获取引用的对象

弱引用WeakReference

java.lang.ref.WeakReference实现

描述非必需对象

不管内存是否足够，都会被GC

get()获取引用的对象

虚引用PhantomReference

java.lang.ref.PhantomRefernce必须和java.lang.ref.RefernceQueue引用队列联合使用

类似于没有引用，和没有引用的效果大致相同

主要用于跟踪对象被垃圾回收的状态

!!! get()无法获取引用的对象

GC后，虚引用会被放入引用队列

即使在可达性分析算法中不可达的对象，也并非是“非死不可”，这时还处于“缓刑”状态，真正标记一个对象的死亡，至少经历两次标记过程

对象在可达性分析后，发现没有GC Roots相连接的引用链，此时被第一次标记，且进行一次筛选

筛选的条件是：是否有必要执行对象的finalize()方法

对象沒有重写finalze()方法，或者finalize()已经被虚拟机调用过–>没必要执行

如果被判定为“有必要执行”，那么对象会被放到一个叫做F-Queue的队列中，并在稍后由一个JVM自动建立的、低优先级的Finalizer线程去执行finalize()方法.

稍后，GC将对F-Queue中的对象进行第二次小规模的标记. 如果对象没有在finalize()中复活，那基本真的被回收了

引用计数算法(Reference Counting)

老牌的垃圾回收算法

给对象添加一个引用计数器，有一个地方引用它时，计数器+1；引用失效时，-1；计数器为0，对象就是不可能再被使用

客观来说，实现简单，判定效率高

应用如：微软的Component Object Model技术,Python,ActionScript3

但主流Java虚拟机没有用，因为很难解決对象间的循环引用问题

引用和去引用伴随+,-，影响性能

这涉及到如何判定对象是否可达，或者说是否活着，被引用着

标记-清除算法(Mark-Sweep)

最基础的算法，分为“标记”，“清除”两个阶段

这是所有收集算法的基础，后续算法都是基于这种思路，并对其不足进行改进而得到的。

首先，标记出需要回收的对象

接着，标记完成后，统一回收所有标记的对象

主要问题:

效率: 标记和清除两个过程的效率都不高

空间碎片: 标记清除后会产生大量不连续的内存碎片，碎片过多会导致大对象无法分配到足够的连续内存，从而不得不提前触发GC，甚至Stop The World

复制算法(Copying)

为解决效率问题，复制算法出现了

将内存分为大小相等的两块，每次只用一块

在一块内存中，当它用完了，就把还或者的对象复制到另外一块大小相等的内存中，连续存储；同时，一次过清理已经使用过的内存空间

相当于每次都回收整个半区，不用考虑碎片问题，只需移动堆顶指针，按顺序分配，实现简单，运行高效

主要问题

效率: 在对象存活率较高时，复制操作次数多，效率降低

空间: 內存缩小了一半；需要額外空间做分配担保(老年代)

From Survivor, To Survivor使用的就是复制算法。老年代不使用这种算法

标记-整理(Mark-Compact)

根据老年代的特点，提出了标记-整理/压缩算法

标记阶段与标记-清除算法一样

后续，让存活对象都向一端移动，对齐，直接清理掉端边界以外的内存

老年代使用的算法

分代收集算法(Generational Collection)

当前的商业虚拟机的垃圾回收都采用 分代收集 算法。根据对象存活周期的不同，将内存划分为几块。

一般将Java堆分为新生代和老年代。

新生代: 每次GC都有大批对象死去，只有少量存活

使用复制算法，只需要复制少量存活的对象

老年代：对此存活率高，没有额外空间做分配担保

使用 标记-清除,标记-整理两种算法

HotSpot的算法实现

首先，要解决的，是可达性分析，从GC Roots中找对象是否有可达的引用链。

枚举GC Roots根节点

可做GC Roots节点的，上文说过，主要有 全局性的引用(包括常量或类静态属性)，执行上下文(栈帧中的本地变量表和JNI引用的对象). 问题是，现在的应用，仅方法区就数百Megabyte，如果逐个检查这里边的引用，必然消耗很多时间

可达性分析必须在一个能确保一致性的内存快照中进行，分析期间，内存系统不能出现变化，否则，会出现分析不正确的情况，例如，前脚这边标记了A对象不可达，此时内存系统还在运行，万一A又被引用了，但A已经被标记为不可达。所以，得有GC停顿,号称几乎不会GC停顿的CMS收集器，在枚举根节点时，也必须停顿

目前主流VM使用准确式GC，所以不需要一个不漏地检查完所有的全局和上下文的引用的位置，虚拟机有办法直接得知哪些地方存放着对象的引用

HotSpot的实现中，使用一组叫做OopMap的数据结构来达到目的。

(1)类加载完成时，HotSpot就把对象内什么偏移量上是什么类型的数据计算出来。

(2)在JIT编译过程中，会在特定的位置记录下栈和寄存器中，哪些位置是引用

这样，GC扫描时，就可以直接得知这些信息了

安全点(SafePoint)

在OopMap(Ordinary Object Pointer Map)的协助下，HotSpot可以快速准确完成GC Roots枚举。

问题是，引用关系变化，OopMap内容变化的指令非常多，如果为每一条指令生成对应的OopMap,那会需要有大量的空间，GC的空间成本会变得很高

事实上，HotSpot没有为每条指令生成OopMap，前面说了，是在“特定位置”，这个特定位置，就是安全点SafePoint. 程序执行不是所有地方都停顿下来GC，而是到安全点，才停顿。

安全点选定

所以，安全点的选定，不能太过少，否则GC等待时间太长，产生OOM；也不能太过频繁，否则会增大运行时的负荷。

因此，安全点选择的准则：

是否具有让程序长时间执行的特征

具有这个特征的就是指令序列复用，例如方法调用，循环跳转，异常跳转。所以，具有这些功能的指令才会产生SafePoint

让所有线程跑到最近的安全点

另一个问题，发生GC时，如何让所有线程跑到最近的安全点，除了JNI调用的线程。

两种方案

抢占式中断(Preemptive Suspension)

GC来时，先中断线程，若发现线程不在安全点上，恢复线程，让它跑的安全点

现在，几乎没有VM使用这种方式

主动式中断(Voluntary Suspension)

不主动操作线程，GC来时，简单地设个标记，各个线程执行时主动轮询这个标记，发现为真时，自己中断挂起

轮询标记的地方和安全点重合，另外加上创建对象时需要分配内存的地方

安全区域(Safe Region)

SafePoint只是解决获得CPU执行时间的线程，在不太长的时间内，可以遇到GC的SafePoint的问题。

但没有分配到CPU执行时间的线程，如Sleep,Block状的线程，它们无法响应JVM的中断请求，跑到SafePoint中断挂起，JVM显然也不会等待线程重新获得CPU时间

对这一问题，需要安全区域Safe Region

安全区域

一段代码片段中，引用关系不会发生变化

这个区域之中，任意地方开始GC，都是安全的

可以看作SafePoint的扩展

当线程执行到安全区域中的代码时，首先标识自己已经进入Safe Region。那么，这段时间里JVM发起GC时，就不用管标识自己在Safe Region状态的线程了，因为这些线程的引用关系不会发生变化。

线程离开Safe Region时，要检查系统是否已经完成GC Roots枚举或者整个GC过程。如果沒有，就必須等待，直到收到可以安全离开的信号为止；如果完成了，线程继续执行。