• 七年开发经验详解JVM的GC 算法


    概述

    GC 是 JVM 自带的功能,它能够自动回收对象,清理内存,这是 Java 语言的一大优势,但是GC绝不仅伴随着Java,相反,GC历史比Java更悠久。关于GC,我认为有四个问题需要解决:

    • 为什么了解 GC?
    • 哪些内存需要回收?
    • 什么时候回收?
    • 如何回收?

    为什么了解 GC

    GC 已经比较成熟,绝大部分情况下都“自动化”运行。之所以还需要了解GC,是因为当需要排查各种内存溢出、内存泄露问题时,当垃圾收集成为系统达到更高并发量的瓶颈时,我们就需要对这些“自动化”的技术实施必要的监控和调节。

    哪些内存需要回收

    判定哪些内存需要回收,不是靠 JVM 去猜,也不是随机,而是 JVM 靠一系列算法得到结果,当然,算法也是人写的,虽然不能做到百分之百地符合所有开发者的要求,但这已经是最好的了。下面介绍一种判定内存回收的算法——可达性分析算法,这是我暂时能理解的算法。

    可达性分析算法

    七年开发经验详解JVM的GC 算法

     

    这个算法的基本思路是通过一系列的称为 “GC Roots” 的对象作为起点,从这些起点开始向下搜索,搜索走过的路径称为引用链,当一个对象到 GC Roots 没有任何引用链相连时,则证明此对象是不可用的,也就是待回收的。例如,上图中的 Object 5、Object 6 虽然两者相互关联,但是它们任何一个都和 GC Roots 不可达,所以 Object 5 和 Object 6 将会被判定为可回收的对象。

     

    GC Roots

    至于什么是 GC Roots 对象,解释如下:

    • 虚拟机栈(栈帧中的本地变量表)引用的对象
    • 方法区中类静态变量引用的对象
    • 方法区中常量引用的对象
    • 本地方法栈 JNI 引用的变量

    什么时候回收

    当通过“可达性分析”等算法标记好需要回收的对象后,等待它们的不是即可问斩,而是宣告“缓刑”。最后的回收条件是此对象是否有必要执行 finalize() 方法。

    finalize() 方法

    当对象没有覆盖 finalize() 方法,或者 finalize() 方法已经被虚拟机调用过,虚拟机都将视作“没有必要执行”。如果这个对象呗判定为有必要执行 finalize() 方法,那么这个对象将会放置在一个叫作 F-Queue 的队列中,这个队列在后期会被某个JVM自动创建的线程执行,如果一个对象在finalize()方法中执行缓慢或者发生了死循环,将可能导致 F-Queue 队列中其他对象永久处于等待状态,甚至导致整个内存回收系统崩溃,幸运的是任何一个对象的 finalize() 方法只会被系统调用一次。

    在 《深入理解 JVM 虚拟机》中,作者建议尽量避免使用 finalize() 方法,它不是c++ 中的析构函数,更像是java为适应c++程序员而作出的让步。我觉得是finalize()方法是一根鸡肋,一根如果运用不当将会引发灾难的鸡肋,如同 goto 语句。它的运行代价极高,不确定性大,无法保证各个对象的调用顺序。它的功能经常会被误以为类似 try-finally,然而 finalize() 能做的工作, try-finally 都能做,而且做得更好、更及时。

    如何回收

    标记-清楚法

    “标记-清除”(Mark-Sweep)法是最基础的收集算法。算法分为两个阶段——“标记”和“清除”:首先标记出所有需要被回收的对象,在标记完成后统一回收所有标记了的对象,图如篇首。

    它有两个不足之处:

    • 效率不高
    • 标记和清除两个过程的效率都不高
    • 产生大量不连续碎片
    • 虽然对象被回收,但是剩下的内存很有可能不连续,在这种情况下,当需要为系统分配一个较大对象时,会因为无法找到足够的连续的内存而不得不提前触发另一次垃圾收集动作。这样,又会造成效率问题

    针对上述两个缺点,后面两种算法对此进行了改进。

    复制法

    “复制”(Copying)是为了解决“标记-清除”的效率不高问题而被发明。它将内存按容量划分为等量的两块。每次只使用其中的一块。当使用的这一块内存用完了,就将还存活的对象复制到另一块(被称作“保留区”)上面,然后再把已使用的内存空间一次清理掉。每次都对整个半区进行回收,再也不用担心内存碎片化问题,图如下所示。

    七年开发经验详解JVM的GC 算法

     

    但是“复制”法也有缺点,每次都将内存缩小为一半,会导致内存利用率不高。并且在对象存活率高时进行复制操作,效率就会变低(因为存活的对象要复制到“保留区”)。当遇上极端情况,对象存活率百分百(以原内存一半为单位),那就需要另外的百分之五十的空间作为分配担保。

    标记-整理法

    “标记-整理”(Mark-Compact)法适合对象存活率高的情况使用。“标记”过程同“标记-清除”法一样,但后续步骤不是直接对可回收对象进行清理,而是让所有存活的对象都向一端移动,然后直接清理掉端边界以外的内存,图如下所示:

    七年开发经验详解JVM的GC 算法

     

    分代收集法

    据知,当前商业虚拟机都采用“分代收集”(Generational Collection)法,根据对象的存活周期的不同将内存划分为几块。一般是把 Java 堆分成新生代和老年代,这样可以根据更年代的特点采用最适当的收集算法。

    新生代

    在新生代中,每次垃圾收集时都会发现有大量对象死去,只有少量存活,那就选用复制算法,只需要复制少量的对象就可以完成收集,成本小。

    老年代

    老年代中的对象存活率高、没有额外的空间对它进行分配担保,就必须使用“标记-清除”、和“标记-整理”法来进行回收。

    写在最后:欢迎留言讨论,加关注,持续更新!!!

  • 相关阅读:
    【教程】利用OBS+腾讯会议进行线上考试
    【Python】Pygame入门
    【站长】视频解析接口大全 – 站长必备
    【Python】GUI编程(Tkinter)教程
    2017年Unity开发环境与插件配置安装(总体介绍)
    如何开发AR增强现实应用与产品
    红透半边天的VR(虚拟现实)产业
    VR就是下一个浪潮_2016 (GMGC) 全球移动游戏大会观后感
    《Unity3D/2D游戏开发从0到1》正式出版发行
    AR增强现实开发介绍(续)
  • 原文地址:https://www.cnblogs.com/Ti1077/p/9635722.html
Copyright © 2020-2023  润新知