🌈hello,你好鸭,我是Ethan,西安电子科技大学大三在读,很高兴你能来阅读。
✔️目前博客主要更新Java系列、项目案例、计算机必学四件套等。
🏃人生之义,在于追求,不在成败,勤通大道。加油呀!
🔥个人主页:Ethan Yankang
🔥推荐:史上最强八股文||一分钟看完我的几百篇博客
🔥温馨提示:划到文末发现专栏彩蛋 点击这里直接传送
🔥本篇概览:详细讲解了对象存活判断的两种算法+GC Rots+STW——垃圾收集相关算法2🌈⭕🔥
【计算机领域一切迷惑的源头都是基本概念的模糊,算法除外】
🌈章节引出:
前一篇章:
【垃圾回收可以分成两个阶段,分别是标记阶段和清除阶段】
接下来我们讲解标记阶段。
🌈章节速览:
14.1对象存活判断
在堆里存放着几乎所有的Java对象实例【很严谨,可能会做逃逸分析,在栈上分配对象】,在GC执行垃圾回收之前,首先需要区分出内存中哪些是存活对象,哪些是已经死亡的对象。只有被标记为死亡的对象,GC才会在执行垃圾回收时,释放掉其所占用的内存空间,这个过程我们可以称为垃圾标记阶段。
那么在JVM 中究竟是如何标记一个死亡对象呢?
简单来说,当一个对象已经不再被任何的存活对象继续引用时,就可以宣判为已死亡。
判断对象存活一般有两种方式:引用计数算法和可达性分析算法。
14.1.1 引用计数算法
引用计数算法(Reference Counting)比较简单,对每个对象保存一个整型的引用计数器属用于记录对象被引用的次数。
对于一个对象A,只要有任何一个对象引用了A,则A的引用计数器就加1;当引用失效时,引用计数器就减1。只要对象A的引用计数器的值为0,即表示对象A不可能再被使用,可进行回收。
引用计数算法的优点是实现简单,垃圾对象便于辨识,判定效率高,回收没有延迟性。
但是引用计数算法也存在如下几个缺点:
每个对象需要单独的字段存储计数器,这样的做法增加了存储空间的开销。每次赋值操作都需要更新计数器,伴随着加法和减法操作,这增加了时间开销。另外,引用计数器有一个严重的问题,即无法处理循环引用的情况。比如有对象A和对象B,对象A中含有对象B的引用,对象B中又含有对象A的引用。此时对象A和对象B的引用计数器都不为0,但是系统中却不存在任何第3个对象引用了对象A或对象B。也就是说对象A和对象B是应该被回收的垃圾对象,但由于垃圾对象之间互相引用,从而使垃圾回收器无法识别,引起内存泄漏,如图14-1所示。这是一条致命缺陷,所以目前主流的JVM 都据弃了该算法。
Java 没有选择引用计数,是因为其存在一个基本的难题,也就是很难处理循环引用关系。
14.1.2 可达性分析算法
相对于引用计数算法而言,可达性分析算法同样具备实现简单和执行高效特点,更重要的是,该算法可以有效地解决在引用计数算法中循环引用的问题,防止内存泄漏的发生,这个算法目前较为常用。
Java语言选择使用可达性分析算法判断对象是否存活。这种类型的垃圾收集通常叫作追踪性垃圾收集(Tracing Garbage Collection),它的基本流程如下——
可达性分析算法是以 GCRoot(根对象)为起始点,按照从上至下的方式搜索被根对象集合所连接的目标对象是否可达。GCRoot不止一个,它们构成了一个集合,称为“GC Roots”,所谓“GC Roots”集合就是一组必须活跃的引用。使用可达性分析算法后,内存中的存活对象都会被根对象集合直接或间接连接着,搜索所走过的路径称为引用链)(ReferenceChain)。如果目标对象没有在引用链上,则表示对象不是可达的,就意味着该对象已经死亡,可以标记为垃圾对象。
即在可达性分析算法中,只有引用链上的对象才是存活对象。
14.2 GC Roots 集合
14.2.1 GC Roots
在可达性分析算法中使用了 GC Root,那么GCRoots集合中就是一组必须活跃的引用。那么哪些对象的引用需要放到 GC Roots 集合呢?
在 Java 语言中,GC Roots 集合中的对象引用包括以下几种类型——
- 虚拟机栈中对象的引用,比如,各个线程被调用的方法中使用到的引用数据类型的参数、局部变量等。
- 本地方法栈内JNI(本地方法)对象的引用。
- 方法区中引用数据类型的静态变量。
- 方法区中常量对象的引用,比如字符串常量池(String able)里的引用。
- 所有被同步锁synchronized 持有的对象引用。
- JVM内部的引用。基本数据类型对应的Class对象引用【?】,系统类加载器对象引用等。
- 反映 JVM 内部情况的 JMXBean、JVMTI中注册的回调、本地代码缓存对象的引用等.
14.2.2GC Roots内存指向图
GC Roots 内存引用示例如图 14-4所示。左侧表示GC Roots,右侧分为 Reachable Objects可达对象)和Unreachable Obiects(不可达对象),其中不可达对象就是所谓的垃圾对象。
除了这些固定的GCRoots集合以外,根据用户所选用的垃圾收集器以及当前回收的内存
区域不同,还可以有其他对象“临时性”地加入,共同构成完整的GC Roots集合。
【为什么会STW】
如果要使用可达性分析算法来判断内存是否可回收,那么分析工作必须在一个能保障一致性的快照中进行。这点不满足的话分析结果的准确性就无法保证,这也是导致垃圾回收时必须STW(Stop The World,整个应用程序暂停一段时间)的一个重要原因。即使是号称不会发生停顿的 CMS 收集器中,枚举根节点时也是必须要停顿的。
💖💖💖💖💖💖💖💖💖💖💖💖💖💖💖💖💖💖
热门专栏推荐
🌈🌈计算机科学入门系列 关注走一波💕💕
🌈🌈CSAPP深入理解计算机原理 关注走一波💕💕
🌈🌈微服务项目之黑马头条 关注走一波💕💕
🌈🌈redis深度项目之黑马点评 关注走一波💕💕
🌈🌈JAVA面试八股文系列专栏 关注走一波💕💕
🌈🌈JAVA基础试题集精讲 关注走一波💕💕
🌈🌈代码随想录精讲200题 关注走一波💕💕
总栏
🌈🌈JAVA基础要夯牢 关注走一波💕💕
🌈🌈JAVA后端技术栈 关注走一波💕💕
🌈🌈JAVA面试八股文 关注走一波💕💕
🌈🌈JAVA项目(含源码深度剖析) 关注走一波💕💕
🌈🌈计算机四件套 关注走一波💕💕
🌈🌈数据结构与算法 关注走一波💕💕
🌈🌈必知必会工具集 关注走一波💕💕
🌈🌈书籍网课笔记汇总 关注走一波💕💕
📣非常感谢你阅读到这里,如果这篇文章对你有帮助,希望能留下你的点赞👍 关注❤收藏✅ 评论💬,大佬三连必回哦!thanks!!!
📚愿大家都能学有所得,功不唐捐!