JVM——垃圾回收算法

目录

垃圾回收算法

评价标准:

标记-清除算法:

复制算法:

标记-整理算法:

分代GC:

arthas查看分代之后的内存情况:


垃圾回收算法

  • java是如何实现垃圾回收的呢?简单来说,垃圾回收要做的有两件事:
  1. 找到内存中存活的对象
  2. 释放不再存活对象的内存,使得程序能再次利用这部分空间。
    Java垃圾回收过程会通过单独的GC线程来完成,但是不管使用哪一种GC算法,都会有部分阶段需要停止所有的用户线程。这个过程被称之为Stop The World 简称 STW,如果STW时间过长则会影响用户的使用。
评价标准:

判断GC算法是否优秀,可以从三个方面来考虑:

  1. 吞吐量:
    1. 吞吐量指的是CPU用于执行用户代码的时间与CPU总执行时间的比值,即吞吐量=执行用户代码时间/(执行用户代码时间+GC时间)。吞吐量数值越高,垃圾回收的效率就越高。
  2. 最大暂停时间
  3. 最大暂停时间指的是所有在垃圾回收过程中的STW时间最大值。比如如下的图中,黄色部分的STW就是最大暂停时间,显而易见上面的图比下面的图拥有更少的最大暂停时间。最大暂停时间越短,用户使用系统时收受到的影响就越短。
  4. 堆使用效率
  5. 不同的垃圾回收算法,对堆内存的使用方式是不同的。比如标记清除算法,可以使用完整的堆内存。而复制算法会将堆内存一分为二,每次只能使用一半的内存。从堆使用效率上来说,标记-清除算法要优于复制算法。
    上述三种评价标准:堆使用效率、吞吐量,以及最大暂停时间不可兼得。
    一般来说,对内存越大,最大暂停时间就会越长。想要减少最大暂停时间,就会降低吞吐量。
标记-清除算法:

【GC算法几人知?】二、标记清除法 全解析-CSDN博客
标记清楚算法的核心思想分为两个阶段:

  1. 标记阶段,将所有存活的对象进行标记。java中使用可达性分析算法,从GC Root开始通过引用链遍历出所有存活对象。
  2. 清除阶段,从内存中删除没有被标记也就是非存活对象。
  • 优点:
  • 实现简单,只需要再第一阶段给每个对象维护标志位,第二阶段删除对象即可。
  • 缺点:
复制算法:

复制算法的核心思想是:

  1. 堆中准备两块空间From空间和To空间,每次在对分配阶段,只能使用其中一块空间(From空间)。
  2. 在垃圾回收GC阶段,将From中存活的对象复制到To空间。
  3. 将两块空间的From和To名字呼唤。
    完整的例子:
  4. 将堆内存分割成两块From空间和To空间,对象分配阶段,创建对象。
  5. GC阶段开始,将GCRoot搬运到To空间
  6. 将GCRoot关联的对象,搬运到To空间
  7. 清理From空间,并将名称互换。
    优点:
  8. 吞吐量高
    1. 复制算法只需要遍历一次存活对象复制到To空间即可,比标记-整理算法少了一次遍历的过程,因而性能较好,但是不如标记-清除算法,因为标记清除算法不需要进行对象的移动。
  9. 不会发生碎片化
  10. 复制算法在复制之后就会将对象按顺序放入To空间中,所以对象以外的区域都是可用空间,不存在碎片化内存空间。
    缺点:
  11. 内存使用效率低
    1. 每次只能让一半的内存空间来为创建对象使用
标记-整理算法:

标记整理算法也叫做标记压缩算法,是对标记清理算法中容易产生内存碎片问题的一种解决方案。

  1. 标记阶段,将所有存活的对象进行标记。java中使用可达性分析算法,从GCRoot开始通过引用链遍历出所有存活的对象。
  2. 整理阶段,将存活对象移动到堆的一端。清理掉存活对象的内存空间。

    优点:
  3. 内存使用效率高
    1. 整个堆内存都可以使用,不会像复制算法只能使用半个堆内存
  4. 不会发生碎片化
  5. 在整理阶段可以将对象往内存的一次进行移动,剩下的空间都是可以分配对象的有效空间。
    缺点:
  6. 整理阶段的效率不高
    1. 整理算法有很多种,比如Lisp2整理算法需要对整个堆中的对象搜索3次,整体性能不佳。可以通过Two-Finger、表格算法、ImmisGC等高效的整理算法优化此阶段的性能。
分代GC:

现代优秀的垃圾回收算法,会将上述描述的垃圾回收算法组合进行使用,其中应用最广泛的就是分代垃圾回收算法。
分代垃圾回收将整个内存区域划分为年轻代和老年代:

  • 年轻代:(新生代)Young区,存放存活时间比较短的对象
  • 老年代:old区,存放存活时间比较长的对象
arthas查看分代之后的内存情况:
  • 在JDK8中,添加-XX:+UseSerialGC参数使用分代回收的垃圾回收器,运行程序。
  • 在arthas中使用memory命令查看内存,显示出三个区域的内存情况。

    分代回收时,创建出来的对象,首先会被放入Eden伊甸园区。
    随着对象在Eden去越来越多,如果Eden区满,新创建的对象已经无法放入,就会触发年轻代的GC,称为Minor GC或者Young GC。
    Minor GC会把需要eden中和From需要回收的对象回收,把没有回收的对象放入To区。
    接下来,S0会变成To区,S1变成From区。当eden区满时再往里放入对象,依然会发生Minor GC。此时会回eden区和S1(from)中的对象,并把eden和from区中剩余的对象放入S0。
    注意:每次Minor GC中都会为对象记录他的年龄,初始值为0,每次GC完加1。
    如果Minor GC后对象的年龄达到阈值(最大15,默认值和垃圾回收器有关),对象就会被晋升至老年代。
    当老年代中空间不足,无法放入新的对象时,先尝试minor gc如果还是不足,就会触发Full GC,Full GC会对整个堆进行垃圾回收。
    如果FullGC依然无法回收掉老年代的对象,那么当对象继续放入老年代时,就会抛出Out Memory异常。
    问题:下图中的程序为什么会出现OutOfMemory?

    从上图可以看到,Full GC 无法回收掉老年代的对象,那么当对象继续放入老年代时,就会抛出Out Of Memory异常。
    问题:分代GC算法要把堆分为年轻代和老年代?
  • 系统中的大部分对象,都是创建出来之后很快就不再使用可以被回收,比如用户获取订单数据,订单数据返回给用户之后就可以释放了。
  • 老年代中会存放长期存活的对象,比如Spring的大部分bean对象,在程序启动之后就不会被回收了
  • 在虚拟机的默认设置中,新生代大小要远小于老年代的大小。
    问题:分代GC算法将堆分成年轻代和老年代的主要原因有:
  1. 可以通过调整年轻代和老年代的比例老师应不同类型的应用程序,提高内存的利用率和性能。
  2. 新生代和老年代时用不同的垃圾回收算法,新生代一般选择复制算法,老年代可以选择标记-清除和标记-整理算法,由程序员来选择灵活度较高。
  3. 分代的设计中允许只回收新生代,如果能满足对象分配的要求就不需要对整个堆进行回收(full GC),STW时间就会减少。
相关推荐
無限進步D5 小时前
Java 运行原理
java·开发语言·入门
難釋懷5 小时前
安装Canal
java
是苏浙5 小时前
JDK17新增特性
java·开发语言
不光头强5 小时前
spring cloud知识总结
后端·spring·spring cloud
GetcharZp8 小时前
告别 Python 依赖!用 LangChainGo 打造高性能大模型应用,Go 程序员必看!
后端
阿里加多8 小时前
第 4 章:Go 线程模型——GMP 深度解析
java·开发语言·后端·golang
likerhood8 小时前
java中`==`和`.equals()`区别
java·开发语言·python
小小李程序员9 小时前
Langchain4j工具调用获取不到ThreadLocal
java·后端·ai
IronMurphy9 小时前
【算法三十九】994. 腐烂的橘子
算法