window更新产生的垃圾_11JVM垃圾回收（上）

引用计数法和可达性分析

垃圾回收&＃xff0c;就是将已经分配出去的&＃xff0c;但却不在使用的内存回收回来&＃xff0c;以便再次分配。在 Java 虚拟机语境下&＃xff0c;垃圾指的是死亡的对象所占据的堆空间。下面就总结一下如何如何辨别一个对象是否死亡。

引用计数法&＃xff1a;为每一个对象添加一个引用计数器&＃xff0c;用来统计指向该对象的引用个数。如果某个对象的引用计数器为 0&＃xff0c;则说明该对象已经死亡&＃xff0c;便可以被回收了。

通过引用计数法来标记对象的死亡和存活的过程中&＃xff0c;我们需要截获所有引用更新操作&＃xff0c;并且相应的增减目标对象的引用计数器。这种方式除了需要额外的空间来存储计数器&＃xff0c;以及繁琐的更新操作&＃xff0c;引用计数法还有一个重大的漏洞&＃xff1a;无法处理循环引用对象。比如&＃xff1a;对象 A&＃xff0c;B 互相引用&＃xff0c;但是除此之外没有其他引用指向 A 或者 B。这种情况下 A&＃xff0c;B 其实已经死亡&＃xff0c;但是因为存在引用&＃xff0c;所以不会被垃圾回收&＃xff0c;造成内存泄露。

可达性分析&＃xff1a;将一系列 GC Roots 作为初始存活对象集合&＃xff0c;然后从该集合出发&＃xff0c;探索所有能够被该集合引用的对象&＃xff0c;并将其加入到该集合中&＃xff0c;这个过程就是标记。标记的对象就是存活对象&＃xff0c;未标记到的就是死亡的对象。

什么是 GC Roots 呢&＃xff1f;可以暂时理解为由堆外指向堆内的引用&＃xff0c;常见的有以下几种&＃xff1a; 1&＃xff1a;Java 方法栈帧中的局部变量 2&＃xff1a;已加载的类的静态变量 3&＃xff1a;JNI handles 4&＃xff1a;已启动且未停止的 Java 线程

可达性分析解决了引用计数法无法检测循环引用的问题&＃xff0c;但是本身也有自己的问题需要解决。比如在多线程环境下&＃xff0c;其他线程可能会更新已经访问过的对象中的引用&＃xff0c;从而造成误报&＃xff08;将引用设置为 null&＃xff09;或者漏报&＃xff08;将引用设置为未被访问过的对象&＃xff09;。

误报&＃xff1a;导致新产生的垃圾对象未被回收。 漏报&＃xff1a;导致原程序访问已经被回收的对象&＃xff0c;可能导致 Java 虚拟机直接崩溃。

Stop-the-world 以及安全点

为了解决上述问题&＃xff0c;在 Java 虚拟机里&＃xff0c;采用 Stop-the-world 方式&＃xff0c;停止其他非垃圾回收线程的工作&＃xff0c;直到完成垃圾回收。这也造就了垃圾回收所谓的暂停时间 GC pause。

Java 虚拟机中的 Stop-the-world 是通过安全点&＃xff08;safepoint&＃xff09;机制来实现的。当 Java 虚拟机收到 Stop-the-world 请求时&＃xff0c;它便会等待所有的线程到达安全点&＃xff0c;才允许请求 Stop-the-world 的线程进行独占的工作。

安全点的作用不是让线程停下&＃xff0c;而是找到让线程找到一个稳定的执行状态。在这个状态下&＃xff0c;Java 虚拟机的堆栈不会发生变化。这样&＃xff0c;垃圾回收期便能够安全地执行可行性分析。

垃圾回收的三种方式

第一种&＃xff1a;清除。 把死亡对象所占据的内存标记为空闲内存&＃xff0c;并记录在一个空闲列表中。当需要创建对象时&＃xff0c;内存管理块便会从该空闲列表中寻找空闲内存&＃xff0c;并划分给新建对象。

这种方式简单明了&＃xff0c;但是却有两个缺点。第一&＃xff1a;造成内存碎片。由于 Java 虚拟机的堆中对象必须是连续分布的&＃xff0c;因此可能出现总空闲内存足够&＃xff0c;但是无法分配的极端情况。第二&＃xff1a;分配效率低。如果是连续的内存空间&＃xff0c;可以通过指针加法来做分配。而对于这种空闲列表&＃xff0c;Java 虚拟机则需要住个访问列表中的项&＃xff0c;来查找能够存放入新建对象的空闲内存。

第二种&＃xff1a;压缩。 把存活的对象聚集到内存区域的起始位置&＃xff0c;从而留下一段连续的内存空间。这种做法解决了内存碎片化的问题&＃xff0c;但是代价却是压缩算法的性能开销。

第三种&＃xff1a;复制。 内存区域分为两等分&＃xff0c;分别用两个指针 from 和 to 来维护&＃xff0c;并且只是用 from 指针指向的内存区域来分配内存。当发生垃圾回收时&＃xff0c;把存活的对象复制到 to 指针指向的内存区域&＃xff0c;并且交换 from 指针和 to 指针的内容。这种方法同样解决了内存碎片化的问题&＃xff0c;但是堆空间的使用效率及其地下&＃xff0c;只用到了一半。

问答

Q&＃xff1a;可达性分析a与b互为引用&＃xff0c;这不是死循环了吗&＃xff0c;为什么能被回收的

因为可达性分析只标记可达的&＃xff0c;如果a和b都不可达&＃xff0c;那么可达性分析标记不到&＃xff0c;就当成垃圾回收了。

Q&＃xff1a;对于为什么需要stw机制的解释还是有的困惑。假如一个对象已经被标记为垃圾了&＃xff0c;其它线程怎么还会有机会引用它呢&＃xff1f;就算通过stw&＃xff0c;把它标记并回收了&＃xff0c;那想引用它的线程重新恢复执行了会发生什么&＃xff1f;

GC标记的是活着的(能够被引用到的)对象&＃xff0c;剩下的是垃圾。如果没有STW&＃xff0c;其他线程在垃圾回收过程中产生了垃圾(某对象不再被引用)&＃xff0c;那么会被漏掉。

总结

本文创作灵感来源于 极客时间 郑雨迪老师的《深入拆解 Java 虚拟机》课程&＃xff0c;通过课后反思以及借鉴各位学友的发言总结&＃xff0c;现整理出自己的知识架构&＃xff0c;以便日后温故知新&＃xff0c;查漏补缺。

关注本人公众号&＃xff0c;第一时间获取最新文章发布&＃xff0c;每日更新一篇技术文章。