乐趣区

关于jvm:十个问题弄清JVMGC二

简介: 每个 java 开发同学不论是日常工作中还是面试里,都会遇到 JDK、JVM 和 GC 的问题。本文会从以下 10 个问题为切入点,带着大家一起全面理解一下 JVM 的方方面面。

每个 java 开发同学不论是日常工作中还是面试里,都会遇到 JDK、JVM 和 GC 的问题。本文会从以下 10 个问题为切入点,带着大家一起全面理解一下 JVM 的方方面面。

  1. JVM、JRE 和 JDK 的区别和分割
  2. JVM 是什么?以及它的次要作用
  3. JVM 的外围性能有哪些
  4. 类加载机制和过程
  5. 运行时数据区的逻辑构造
  6. JVM 的内存模型
  7. 如何确定对象是垃圾
  8. 垃圾收集的算法有哪些
  9. 各种问世的垃圾收集器
  10. JVM 调优的参数配置

上一篇文章结尾时咱们谈到,就 JVM 的设计规范,从应用用处角度 JVM 的内存大体的分为:线程公有内存区 和 线程共享内存区。

线程公有内存区在类加载器编译某个 class 文件时就确定了执行时须要的“程序计数器”和“虚构栈帧”等所需的空间,并且会随同着以后执行线程的产生而产生,执行线程的沦亡而沦亡,因而“线程公有内存区”并不需要思考内存治理和垃圾回收的问题。线程共享内存区在虚拟机启动时创立,被所有线程共享,是 Java 虚拟机所治理内存中最应该关注的和最大的一块。首先咱们来一起看一下“线程共享内存区”的内存模型是什么样的?

6、JVM 的内存模型

如图所示,JVM 的内存构造分为堆和非堆两大块区域。

  • 其中“非堆”就是上篇文章咱们提到的办法区或叫元数据区,用来存储 class 类信息的。
  • 而“堆”是用来存储 JVM 各线程执行期间所创立的实例对象或数组的。堆辨别为两大块,一个是 Old 区,一个是 Young 区。Young 辨别为两大块,一个是 Survivor 区(S0+S1),一块是 Eden 区 S0 和 S1 一样大,也能够叫 From 和 To。

之所以这样划分,设计者的目标无非就是为了内存治理,也就是咱们说的垃圾回收。那么什么样的对象是垃圾?垃圾回收算法有哪些?目前罕用的垃圾回收器又有哪些?这篇文章咱们一起弄清楚这些问题和知识点。

7、如何确定一个对象是垃圾?

要想进行垃圾回收,得先晓得什么样的对象是垃圾。目前确认对象是否为垃圾的算法次要有两种:援用计数法和可达性分析法。

  • 1、援用计数法:在对象中增加了一个援用计数器,当有中央援用这个对象时,援用计数器的值就加 1,当援用生效的时候,援用计数器的值就减 1。当援用计数器的值为 0 时,JVM 就开始回收这个对象。

对于某个对象而言,只有应用程序中持有该对象的援用,就阐明该对象不是垃圾,如果一个对象没有任何指针对其援用,它就是垃圾。这种办法尽管很简略、高效,然而 JVM 个别不会抉择这个办法,因为这个办法会呈现一个弊病:当对象之间互相指向时,两个对象的援用计数器的值都会加 1,而因为两个对象时互相指向,所以援用不会生效,这样 JVM 就无奈回收。

  • 2、可达性分析法:针对援用计数算法的弊病,JVM 采纳了另一种算法,以一些 ”GC Roots” 的对象作为起始点向下搜寻,搜寻所走过的门路称为援用链(Reference Chain),当一个对象到 GC Roots 没有任何援用链相连时,则证实此对象是不可用的,即能够进行垃圾回收。否则,证实这个对象有用,不是垃圾。


上图中的 obj7 和 obj8 尽管它们相互援用,但从 GC Roots 登程这两个对象不可达,所以会被标记为垃圾。JVM 会把以下几类对象作为 GC Roots:

  • (1)虚拟机栈(栈帧中本地变量表)中援用的对象;
  • (2)办法区中类动态属性援用的对象;
  • (3)办法区中常量援用的对象;
  • (4)本地办法栈中 JNI(Native 办法)援用的对象。

注:在可达性剖析算法中不可达的对象,并不是间接被回收,这时它们处于缓刑状态,至多须要进行两次标记才会确定该对象是否被回收:

第一次标记:如果对象在进行可达性剖析后发现没有与 GC Roots 相连接的援用链,那它将会被第一次标记;

第二次标记:第一次标记后接着会进行一次筛选,筛选的条件是此对象是否有必要执行 finalize()办法(该办法可将此对象与 GC Roots 建立联系)。在 finalize()办法中没有从新与援用链建设关联关系的,将被进行第二次标记。

第二次标记胜利的对象将真的会被回收,如果对象在 finalize()办法中从新与援用链建设了关联关系,那么将会逃离本次回收,持续存活。

8、垃圾收集的算法有哪些

晓得了如何 JVM 确定哪些对象是垃圾后,上面咱们来看一下,面对这些垃圾对象,JVM 的回收算法都有哪些。

1、标记 - 革除算法(Mark-Sweep)

  • 第一步“标记”,如下图所示把堆里所有的对象都扫描一遍,找出哪些是垃圾须要回收的对象,并且把它们标记进去。

  • 第二步“革除”,把第一步标记为“UnReference Object”(无援用或不可达)的对象革除掉,开释内存空间。

这种算法的毛病次要有两点:

(1)标记和革除两个过程都比拟耗时,效率不高

(2)革除后会产生大量不间断的内存碎片空间,碎片空间太多可能会导致当程序后续须要创立较大对象时,无奈找到足够间断的内存空间而不得不再次触发垃圾回收。

2、标记 - 复制算法(Mark-Copying)

将内存划分为两块区域,每次应用其中一块,当其中一块用满,触发垃圾回收的时候,将存活的对象复制到另一块下来,而后把之前应用的那一块进行格式化,一次性革除洁净。

(革除前)

(革除后)

“标记 - 复制”算法的毛病不言而喻,就是内存空间利用率低。

3、标记 - 整顿算法(Mark-Compact)

标记整顿算法标记过程依然与 ” 标记 - 革除 ” 算法一样,然而后续步骤不是间接对可回收对象进行清理,而是让所有存活的对象都向一端挪动,而后间接清理掉端边界以外的内存。

将所有存活的对象向一边挪动,清理掉存活边界以外的全副内存空间。

联合这三种算法咱们能够看到,

  • “标记 - 复制”算法的长处是回收效率高,但空间利用率上有肯定的节约。
  • 而“标记 - 整顿”算法因为须要向一侧挪动等一系列操作,其效率绝对低一些,但对内存空间治理上非常优异。
  • 因而,“标记 - 复制”算法实用于那些生命周期短、回收频率高的内存对象,
  • 而标记 - 整顿”算法实用于那些生命周期长、回收频率低,但重视回收一次内存空间失去足够开释的场景。

因而 JVM 的设计者将 JVM 的堆内存,分为了两大块区域 Young 区和 Old 区,Young 区存储的就是那些生命周期短,应用一两次就不再应用的对象,回收一次基本上该区域十之有八的对象全副被回收清理掉,因而 Young 区采纳的垃圾回收算法也就是“标记 - 复制”算法。Old 区存储的是那些生命周期长,通过屡次回收后依然存活的对象,就把它们放到 Old 区中,平时不再去判断这些对象的可达性,直到 Old 区不够用为止,再进行一次对立的回收,开释出足够的间断的内存空间。

9、各种问世的垃圾收集器

鉴于 Young 区和 Old 区须要采纳不同的垃圾回收算法,因而在 JVM 的整个垃圾收集器的演进各个时代里,针对 Young 区和 Old 区每个时代都是不同的垃圾收集机制。从 JDK1.3 开始到目前,JVM 垃圾收集器的演进大体分为四个时代:串行时代、并行时代、并发时代和 G1 时代。

1、串行时代:Serial(Young 区)+ Serial Old(Old 区)

JDK3(1.3)的时候,大略是 2000 年左右,那个时代根本计算机都是单核一个 CPU 的,因而垃圾回收最后的设计实现也是基于单核单线程工作的。并且垃圾回收线程的执行绝对于失常业务线程执行来说还是 STW(stop the world)的,应用一个 CPU 或者一条收集线程去实现垃圾收集工作,这个线程执行的时候其它线程须要进行。

串行收集器采纳单线程 stop-the-world 的形式进行收集。当内存不足时,串行 GC 设置进展标识,待所有线程都进入平安点 (Safepoint) 时,利用线程暂停,串行 GC 开始工作,采纳单线程形式回收空间并整顿内存。单线程也意味着复杂度更低、占用内存更少,但同时也意味着不能无效利用多核优势。因而,串行收集器特地适宜堆内存不高、单核甚至双核 CPU 的场合。

2、并行时代:Parallel Scavenge(Young 区)+ Parallel Old(Old 区)

并行收集器是以关注吞吐量为指标的垃圾收集器,也是 server 模式下的默认收集器配置,对吞吐量的关注次要体现在年老代 Parallel Scavenge 收集器上。

并行收集器与串行收集器工作模式类似,都是 stop-the-world 形式,只是暂停时并行地进行垃圾收集。年老代采纳复制算法,老年代采纳标记 - 整顿,在回收的同时还会对内存进行压缩。关注吞吐量次要指年老代的 Parallel Scavenge 收集器,通过两个指标参数 -XX:MaxGCPauseMills 和 -XX:GCTimeRatio,调整新生代空间大小,来升高 GC 触发的频率。并行收集器适宜对吞吐量要求远远高于提早要求的场景,并且在满足最差延时的状况下,并行收集器将提供最佳的吞吐量。

3、并发时代:CMS(Old 区)

并发标记革除 (CMS) 是以关注提早为指标、非常优良的垃圾回收算法,CMS 是针对 Old 区的垃圾回收实现。

老年代 CMS 每个收集周期都要经验:初始标记、并发标记、从新标记、并发革除。其中,初始标记以 STW 的形式标记所有的根对象;并发标记则同利用线程一起并行,标记出根对象的可达门路;在进行垃圾回收前,CMS 再以一个 STW 进行从新标记,标记那些由 mutator 线程 (指引起数据变动的线程,即利用线程) 批改而可能错过的可达对象;最初失去的不可达对象将在并发革除阶段进行回收。值得注意的是,初始标记和从新标记都已优化为多线程执行。CMS 非常适合堆内存大、CPU 核数多的服务器端利用,也是 G1 呈现之前大型利用的首选收集器。

– 但 CMS 有以下两个缺点:

  • (1)因为它是标记 - 革除不是标记 - 整顿,因而会产生内存碎片,Old 区会随着工夫的推移而究竟被耗尽或产生无奈调配大对象的状况。最初不得不通过底层的担保机制(CMS 背地有串行的回收作为兜底)进行一次 Full GC,并进行内存压缩。
  • (2)因为标记和革除都是通利用线程并发进行,两类线程同时执行时会减少堆内存的占用,一旦某一时刻内存不够用,就会触发底层担保机制,又采纳串行回收进行一次 STW 的垃圾回收。

4、G1 时代:Garbage First

G1 收集器时代,Java 堆的内存布局与就与其余收集器有很大差异,它将整个 Java 堆划分为多个大小相等的独立区域(Region),尽管还保留有新生代和老年代的概念,但新生代和老年代不再是物理隔离的了,它们都是一部分 Region(不须要间断)的汇合。

如上图所示,每一个 Region(分区)大小都是一样的,1~32M 之间的数值,但必须是 2 的指数。设置 Region 大小通过以下参数:-XX:G1HeapRegionSize=M。
G1 收集器的原理或特点次要有以下三点:

(1)内存逻辑上仍保留的分代的概念,每一个 Region 同一时间要么被标记为新生代,要么被标记为老年代,要么处于闲暇;

(2)整体上采纳了“标记 - 整顿算法”,不会产生内存碎片

(3)可预测的进展,G1 整体采纳的策略是“筛选回收”,也就是回收前会对各个待回收的 Region 的回收价值和老本进行排序,依据 G1 配置所冀望的回收工夫,抉择排在后面的几个 Region 进行回收。

其实之所以叫 G1(Garbage First)就是因为它优先选择回收垃圾比拟多的 Region 分区。
整体 G1 的垃圾回收工作步骤分为:初始标记、并发标记、最终标记和筛选回收。

5、ZGC:Zero GC

这篇文章简略提一下这个最新问世的垃圾收集器,之所以叫“Zero GC”是因为它谋求的是更低的 GC 进展工夫,谋求的指标是:反对 TB 级堆内存(最大 4T)、最大 GC 进展 10ms。JDK11 新引入的 ZGC 收集器,不论是物理上还是逻辑上,ZGC 中曾经不存在新老年代的概念了会分为一个个 page,当进行 GC 操作时会对 page 进行压缩,因而没有碎片问题。因为其是 JDK11 和只能在 64 位的 linux 上应用,因而目前用得还比拟少。

结语

以上总体两篇文章七千字,就是我从 JVM 的作用、设计框架到 JVM 内存治理的整体的体系化了解。感激。

拓展浏览:十个问题弄清 JVM&GC(二)

作者:宜信技术学院 谭文涛

退出移动版