可达性分析算法

可达性分析算法

• 所谓“GC Roots”根集合就是一组必须活跃的引用。

• 基本思路

  • 可达性分析算法是以根对象集合（GC Roots）为起始点，按照从上至下的方式搜索被根对象集合所连接的目标对象是否可达。
  • 使用可达性分析算法后，内存中的存活对象都会 被根对象集合直接或者间接连接着，搜索所走过的路径称为引用链（Reference Chain）
  • 如果目标对象没有任何引用链相连，则是不可达的，就意味着该对象已经死亡，可以标记为垃圾对象
  • 在可达性分析算法中，只有能够被根对象集合直接或者间接连接的对象才是存活对象。

  在java语言中，GC Roots包括以下几类元素

  • 虚拟机栈中引用的对象

    • 比如：各个线程被调用的方法中使用到的参数，局部变量等。

  • 本地方法栈内JNI（通常说的本地方法）引用的对象

  • 本地方法中类静态属性引用的对象

    • 比如：java类的引用类型静态变量

  • 方法区中常量的引用对象

    • 比如:字符串常量池（string Table）里的引用

  • 所有被同步锁synchronized持有的对象

  • java虚拟机内部的引用。

    • 基本数据类型对应的class对象，一些常驻的异常对象（如:NullPointerException、OutOfMemoryError），系统类加载器。

  • 反映java虚拟机内部情况的JMXBean、JVMTI中注册的回调、本地代码缓存等。

    一个判断是否是Root的技巧

    由于Root采用栈方式存放变量和指针，所以如果是一个指针，它保存了堆内存里面的对象，但是自己又不存放在对象内存里面，那它就是一个Root