垃圾回收相关算法（标记阶段）

目录

• 垃圾标记阶段的算法之引用计数算法
• 可达性分析算法
• 对象的finalization机制
• MAT与JProfiler的GC Roots溯源

垃圾标记阶段的算法之引用计数算法

• 在堆里存放着几乎所有的java对象实例，在GC执行垃圾回收之前，首先要区分出内存中哪些是存活对象，哪些是已经死亡的对象。只有被标记为已经死亡的对象，GC才会在执行垃圾回收时，释放掉其所占用的内存空间，因此这个过程我们可以称为垃圾标记阶段

• 简单来说，当一个对象已经不再被任何的存活对象继续引用时，就可以宣判为已经死亡。

• 判断对象存活一般有两种方式：引用计数算法和可达性分析算法

• 引用计数算法比较简单，对每个对象保存一个整型的引用计数器属性，用于记录对象被引用的情况。

• 对于一个对象A，被引用则计数器加1，引用失效则减1.只要对象A的引用计数器的值为0，即表示对象A不可能再被使用，可进行回收。

• 优点：实现简单，垃圾对象便于辨识；判定效率高，回收没有延迟性。

• 缺点：

  • 它需要单独的字段存储计数器，这样的做法增加了存储空间的开销。
  • 每次赋值都需要更新计数器，伴随着相应的加减操作，这增加了时间开销
  • 引用计数器有一个严重的问题，即无法处理循环引用的情况。这是一条致命缺陷，导致在java的垃圾回收器中没有使用这类算法。
    [外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-C42cRk8c-1652151672133)(https://pic4.zhimg.com/v2-eec9db2ddae706509bea76cf28aa9efe_r.jpg)]

  [外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-TMfFMgIU-1652151672136)(https://pic4.zhimg.com/v2-5a8cdc39af6f41d6812371457d8607f6_r.jpg)]

  [外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-M7OgBXx5-1652151672136)(https://pic4.zhimg.com/v2-b7618af10a6e91468f4334035042ecab_r.jpg)]

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-UADKb0Yu-1652151672137)(https://pic4.zhimg.com/v2-bc5c14035920e4fd4727bd413e631a86_r.jpg)]
小结：

• 引用计数算法，是很多语言的资源回收选择，例如因人工智能更火的Python，它更是同时支持引用计数和垃圾收集机制。
• 具体哪种最优是要看场景的，业界有大规模实践中仅保留引用计数机制以提高吞吐量的尝试。
• java并没有选择引用计数，是因为其存在一个基本的难题也就是很难处理循环引用关系。
• python如何解决循环引用？
  • 手动解除：很好理解，就是在合适的时机，解除引用关系。
  • 使用弱引用weakref，weakref是python提供的标准库，旨在解决循环引用。

可达性分析算法

• 相对于引用计数算法而言，可达性分析算法不仅同样具备实现简单和执行高效等特点，更重要的是该算法可以有效的**解决在引用计数算法中循环引用的问题，防止内存泄漏的发生。
• 同时这里的可达性分析就是Java，C#所选择的。这种类型的垃圾收集通常也叫做追踪性垃圾收集。
• 所谓“GC Roots”根集合就是一组必须活跃的引用。
• 基本思路：
  • 可达性分析算法是以根对象集合为起始点，按照从上至下的方式搜索被根对象集合所连接的目标对象是否可达。
  • 使用可达性分析算法后，内存中的存活对象都会被根对象集合直接或间接的连接着，搜索所走过的路径成为引用链。
  • 如果目标对象没有被任何引用链相连，则是不可达的，就意味着该对象已经死亡，可以标记为垃圾对象。
  • 在可达性分析算法中，只有能够被根对象集合直接或间接连接的对象才是存活对象。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Fbwbt12o-1652151672137)(https://pic4.zhimg.com/v2-219e25d86e25c26c28a7591d1e577247_r.jpg)]

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

• 虚拟机栈中引用的对象
  • 比如：各个线程被调用的方法中使用到的参数，局部变量等。
• 本地方法栈内JNI（通常说的本地方法）引用的对象
• 方法区中类静态属性引用的对象
  • 比如：java类的引用类型静态变量。
• 方法区中常量引用的对象
  • 比如： 字符串常量池里的引用
• 所有被同步锁synchronized持有的对象
• java虚拟机内部的引用
  • 基本数据类型对应的class对象，一些常驻的异常对象（如：NULLPointerException，OutOfMemoryError），系统类加载器。
• 反映java虚拟机内部情况的JMXBean，JVMTI中注册的回调，本地代码缓存等。
  [外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-uSc7q5vb-1652151672138)(https://pic4.zhimg.com/v2-00800d41c199aec2333e52593a4768d7_r.jpg)]

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-ZZHcAyqy-1652151672139)(https://pic4.zhimg.com/v2-88df3c7f4bba02d5f5cf09e10f88712e_r.jpg)]

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Iw95jjt4-1652151672139)(https://pic4.zhimg.com/v2-e836c38d2f0e5cfb3ebb63281ccc88e2_r.jpg)]

对象的finalization机制

• java语言提供了对象终止(finalization)机制来允许开发人员提供被销毁之前的自定义处理逻辑。
• 当垃圾回收器发现没有引用指向一个对象，即垃圾回收此对象之前，总会先调用这个对象的finalize()方法。
• finalize()方法允许在子类中被重写，用于在对象被回收时进行资源释放。通常在这个方法中进行一些资源释放和清理的工作，比如关闭文件，套接字和数据库连接等。
• [外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-2rDSQGJN-1652151672140)(https://pic4.zhimg.com/v2-98de063b68d0158a565f0371bafb3a47_r.jpg)]
• [外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-p7nYE8dT-1652151672140)(https://pic4.zhimg.com/v2-62e7d475f093a365941af9efb958ea8c_r.jpg)]
• [外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-L7JujC2X-1652151672141)(https://pic4.zhimg.com/v2-bf8cdf55a87b9351eb9fd8ccadca92a0_r.jpg)]

MAT与JProfiler的GC Roots溯源

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-K3iSR0V3-1652151672142)(https://pic4.zhimg.com/v2-21b8af07ce65c16b1934d3ba7f5b0ada_r.jpg)]
获取dump文件：
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-MhwHEPZU-1652151672142)(https://pic4.zhimg.com/v2-12a21282b1782137f5bbb61327575081_r.jpg)]
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-HP7yIeA1-1652151672143)(https://pic4.zhimg.com/v2-3dbf39dcc51b003d17ba17c91d2b93ec_r.jpg)]