Java面试之什么是GCRoots，能做什么？

1.JVM垃圾回收的时候如何确定垃圾？是否知道什么是GC Roots

1.1 什么是垃圾

简单来说就是内存中已经不再被使用的空间就是垃圾

1.2 如何判断一个对象是否可以被回收

1.2.1 引用计数法

Java中，引用和对象是有关联的。如果要操作对象则必须用引用进行。

因此，很显然一个简单的办法就是通过引用计数来判断一个对象是否可以回收。简单说，给对象中添加一个引用计数器

每当有一个地方引用它，计数器值加1

每当有一个引用失效，计数器值减1

任何时刻计数器值为零的对象就是不可能再被使用的，那么这个对象就是可回收对象。

那么为什么主流的Java虚拟机里面都没有选用这个方法呢？其中最主要的原因是它很难解决对象之间相互循环引用的问题。

该算法存在但目前无人用了，解决不了循环引用的问题，了解即可。

1.2.2 枚举根节点做可达性分析

根搜索路径算法

为了解决引用计数法的循环引用个问题，Java使用了可达性分析的方法：

所谓 GC Roots 或者说 Tracing Roots的“根集合” 就是一组必须活跃的引用

基本思路就是通过一系列名为 GC Roots的对象作为起始点，从这个被称为GC Roots的对象开始向下搜索，如果一个对象到GC Roots没有任何引用链相连，则说明此对象不可用。也即给定一个集合的引用作为根出发，通过引用关系遍历对象图，能被遍历到的（可到达的）对象就被判定为存活，没有被遍历到的对象就被判定为死亡

必须从GC Roots对象开始，这个类似于linux的 / 也就是根目录

蓝色部分是从GC Roots出发，能够循环可达

而白色部分，从GC Roots出发，无法到达

1.2.3 一句话理解GC Roots

假设我们现在有三个实体，分别是 人，狗，毛衣

然后他们之间的关系是：人 牵着 狗，狗穿着毛衣，他们之间是强连接的关系

有一天人消失了，只剩下狗狗 和 毛衣，这个时候，把人想象成 GC Roots，因为 人 和 狗之间失去了绳子连接，

那么狗可能被回收，也就是被警察抓起来，被送到流浪狗寄养所

假设狗和人有强连接的时候，狗狗就不会被当成是流浪狗

1.2.4 那些对象可以当做GC Roots

• 虚拟机栈（栈帧中的局部变量区，也叫做局部变量表）中的引用对象
• 方法区中的类静态属性引用的对象
• 方法区中常量引用的对象
• 本地方法栈中的JNI（Native方法）的引用对象

1.2.5 代码说明

/**
 * 在Java中，可以作为GC Roots的对象有：
 * - 虚拟机栈（栈帧中的局部变量区，也叫做局部变量表）中的引用对象
 * - 方法区中的类静态属性引用的对象
 * - 方法区中常量引用的对象
 * - 本地方法栈中的JNI（Native方法）的引用对象，例如线程里start（）方法
 *   
 */
public class GCRootDemo {


    // 方法区中的类静态属性引用的对象
    // private static GCRootDemo2 t2;

    // 方法区中的常量引用，GC Roots 也会以这个为起点，进行遍历
    // private static final GCRootDemo3 t3 = new GCRootDemo3(8);

    public static void m1() {
        // 第一种，虚拟机栈中的引用对象
        GCRootDemo t1 = new GCRootDemo();
        System.gc();
        System.out.println("第一次GC完成");
    }
    public static void main(String[] args) {
        m1();
    }
}

1.3 运行时数据区域

Java 虚拟机在执行 Java 程序的过程中会把它管理的内存划分成若干个不同的数据区域。JDK. 1.8 和之前的版本略有不同，下面会介绍到。

JDK 1.8 之前：

JDK 1.8 ：

线程私有的：

程序计数器
虚拟机栈
本地方法栈

线程共享的：
堆
方法区
直接内存 (非运行时数据区的一部分)

1.4 垃圾回收算法

对于垃圾回收算法，我这里就不做过于详细的介绍，就简单介绍一下，因为之前已经写过一篇比较详细的文章了，大家可以参考一下：

常见的垃圾回收算法就这三种：

1. 复制算法
2. 标记-清除
3. 标记-整理（压缩算法）

• 年轻代基本都是朝生夕死，所以都是使用复制算法，复制的成本低
• 而老年代使用的是标记-清除或者标记-整理，对于标记-清除我们知道它最大的缺点就是会产生内存碎片，但是他也有自己的好处（相比标记-整理），就是不用移动对象，所以效率相比标记-整理要高。
• 而标记-整理完整的过程应该是标记-整理-清除三个步骤，需要将存活的对象向一边移动，然后清理掉不可达的对象，所以它的效率也会比较低，尤其是老年代这种区域，有大量的对象存活，那么对于移动对象所耗费的性能也是可观的。