JVM垃圾收集之一：什么是垃圾？

兔龟赛跑

已于 2023-12-08 15:13:12 修改

阅读量823

点赞数 20

分类专栏： JVM 文章标签： java jvm 架构

于 2023-12-05 23:26:51 首次发布

本文链接：https://blog.csdn.net/oJieSi/article/details/134819592

版权

JVM 专栏收录该内容

6 篇文章 0 订阅

订阅专栏

本文介绍了Java内存管理中的两种主要算法：引用计数法和可达性分析。引用计数法虽简单高效，但存在循环引用导致的内存泄露问题；可达性分析通过GCRoots确定对象可达性，是现代Java虚拟机的主要内存回收策略。

摘要由CSDN通过智能技术生成

1.2.2 什么是GC Roots对象呢？

概述

垃圾收集（Garbage Collection，下文简称GC）诞生于1960年麻省理工学院，应用于古老的Lisp语言，远比java的历史久远，不要把GC看成是伴随java而生的产物。

C和C++对内存的使用和回收都是手动的，程序员手动分配内存，在程序结束时手动回收内存，如此操作增加了程序员开发的工作量，降低了开发效率；同时手动分配内存会容易出现【忘记回收】和【多次回收】的问题。

Java采用了自动回收内存的策略，编程简单，开发效率高，不会出现手动回收的问题，同样采用自动回收的还有C#，Python，Go等高级编程语言。

什么是垃圾？

java中什么是垃圾呢？很简单，已经死了的对象就是垃圾。

如何判断一个对象已经死了呢？

如上图所示有两种方法可以判断对象是否已死，1，引用计数法；2，可达性分析算法

1.1 引用计数法

给对象添加一个引用计数器，当有地方引用该对象时，计数器值会+1；当引用失效时，计数器值会-1；任何时刻计数器值为0的对象，就是死了，就是垃圾了。

引用计数算法（Reference Counting）原理简单，判定效率高，大多数情况下是一个不错的算法。但引用计数法有很多情况不能保证正确工作。譬如：对象之间相互循环引用，如下图：

1.Dog corgi = new Dog();
2.Cat siam = new Cat();
//  1,2两行代码执行后，main方法栈中会生成两个变量corgi，siam，分别指向堆中new的Dog对象和Cat对象，
//  此时Dog对象和Cat对象的引用计数器值都为1。

3.corgi.cat = siam;
4.siam.dog = corgi;
//  3,4两行代码执行后，Dog对象的cat属性指向Cat对象，Cat对象的dog属性指向Dog对象，
//  此时Dog对象和Cat对象的引用计数器值都为2。

5.corgi = null;
6.siam = null;
//  5,6两行代码执行后，栈中corgi变量和siam变量指向堆中的对象的引用（1）（2）两条引用箭头消失，
//  此时Dog对象和Cat对象的引用计数器值都为1。

main方法执行完后，main方法的栈帧会被弹栈，main方法创建的对象应该是垃圾的被回收，但是Dog对象和Cat对象的引用计数器值仍然为1，不为0，导致不能被垃圾收集器回收，成为浮动垃圾，造成内存泄露。

鉴于引用计数算法有一些例外情况导致不能正确完成工作，主流的Java虚拟机里面都没有选用引用计数算法来管理内存，而是用可达性分析算法。

1.2 可达性分析算法

1.2.1 可达性分析算法

通过一系列称为“GC Roots”的根对象作为起始节点集，从这些节点开始，根据引用关系向下搜索，搜索过程所走过的路径称为“引用链”（Reference Chain），如果某个对象到GC Roots间没有任何引用链相连，即从GC Roots到这个对象不可达时，则证明此对象是不可能再被使用的，就是死了，就是垃圾了。

如上图所示，object1,2,3,4通过引用链可以回溯到GC Root根对象，即从GC Roots到这个对象可达，所以object1,2,3,4对象都存活；object5,6,7虽然彼此有引用链，但是不能回溯到GC Root根对象，即从GC Roots到这个对象不可达，object5,6,7死了，就是垃圾对象了；