什么是可达性分析算法?

可达性分析算法也称为引用链法(GCRoots),它的核心目的就是判断Java对象是否存活?
相对于引用计数算法而言,可达性分析算法不仅同样具备实现简单和执行高效等特点,
更重要的是该算法可以有效地解决在引用计数算法中循环引用的问题,防止内存泄露的发生。
image.png

什么是GCRoots?

所谓”GCRoots,或者说tracingGC”根集合就是一组必须活跃的引用。

什么是可达性分析?

基本思路就是通过一系列名为“GCRoots”的对象作为起始点,从这个被称为GC Roots的对象开始向下搜索,如果一个对象到GCRoots没有任何引用链相连时,则说明此对象不可用。
也即给定一个集合的引用作为根触发,通过引用关系遍历对象图,能被遍历到的(可到达的)对象就被判定为存活,没有被遍历到的就孜然被判定为不可达(暂时处于“缓刑”阶段)。

哪些对象可以作为GCRoots?

image.png

第一类:栈帧

虚拟机栈(栈帧中的本地变量表)中引用的对象。(可以理解为:引用栈帧中的本地变量表的所有对象)

第二类:方法区

方法区中静态属性引用的对象(可以理解为:引用方法区该静态属性的所有对象)
方法区中常量引用的对象(可以理解为:引用方法区中常量的所有对象)

第三类:本地方法栈

本地方法栈中(Native方法)引用的对象(可以理解为:引用Native方法的所有对象)