深入理解java虚拟机第二部分.内存自动管理机制.3.垃圾收集器与内存分配策略

翔鹤岭      2022-04-27     349

关键词:

1、学习目的

当需要排查各种内存溢出、 内存泄漏问题时,当垃圾收集成为系统达到更高并发量的瓶颈时,我们就需要对这些自动化的技术实施必要的监控和调节。

Java内存运行时区域的各个部分,其中程序计数器、 虚拟机栈、 本地方法栈3个区域随线程而生,随线程而灭;栈中的栈帧随着方法的进入和退出而有条不紊地执行着出栈和入栈操作。 
因此这几个区域的内存分配和回收都具备确定性,在这几个区域内就不需要过多考虑回收的问题,因为方法结束或者线程结束时,内存自然就跟随着回收了。 
Java堆和方法区则不一样,一个接口中的多个实现类需要的内存可能不一样,一个方法中的多个分支需要的内存也可能不一样,我们只有在程序处于运行期间时才能知道会创建哪些对象,这部分内存的分配和回收都是动态的,垃圾收集器所关注的是这部分内存,本章后续讨论中的内存分配与回收也仅指这一部分内存。

 

2、对象生命周期 

 

判断对象是否存活的方法

1、引用计数算法 

给对象中添加一个引用计数器,每当有一个地方引用它时,计数器值就加1;当引用失效时,计数器值就减1;任何时刻计数器为0的对象就是不可能再被使用的。 
主流的Java虚拟机里面没有选用引用计数算法来管理内存,其中最主要的原因是它很难解决对象之间相互循环引用的问题。 

 

2、可达性分析法

 通过一系列的称为“GC Roots”的对象作为起始点,从这些节点开始向下搜索,搜索所走过的路径称为引用链(Reference Chain),当一个对象到GC Roots没有任何引用链相连(用图论的话来说,就是从GC Roots到这个对象不可达)时,则证明此对象是不可用的。 

Java语言中,可作为GC Roots的对象包括下面几种:

虚拟机栈(栈帧中的本地变量表)中引用的对象。
方法区中类静态属性引用的对象。
方法区中常量引用的对象。
本地方法栈中JNI(即一般说的Native方法)引用的对象。 

引用的分类 

强引用:就是指在程序代码之中普遍存在的,类似“Object obj=new Object()这类的引用,只要强引用还存在,垃圾收集器永远不会回收掉被引用的对象。 
软引用:是用来描述一些还有用但并非必需的对象。 对于软引用关联着的对象,在系统将要发生内存溢出异常之前,将会把这些对象列进回收范围之中进行第二次回收。 如果这次回收还没有足够的内存,才会抛出内存溢出异常。 在JDK 1.2之后,提供了SoftReference类来实现软引用。 
弱引用:也是用来描述非必需对象的,但是它的强度比软引用更弱一些,被弱引用关联的对象只能生存到下一次垃圾收集发生之前。 当垃圾收集器工作时,无论当前内存是否足够,都会回收掉只被弱引用关联的对象。 在JDK 1.2之后,提供了WeakReference类来实现弱引用。 虚引用也称为幽灵引用或者幻影引用,它是最弱的一种引用关系。 一个对象是否有虚引用的存在,完全不会对其生存时间构成影响,也无法通过虚引用来取得一个对象实例。 为一个对象设置虚引用关联的唯一目的就是能在这个对象被收集器回收时收到一个系统通知。 在JDK 1.2之后,提供了PhantomReference类来实现虚引用。 

 

两次标记挽救死亡者

1、finalize 方法完成自救,但不建议使用这种方法。

2、finalize 对于一个对象,只会执行一次。第二次GC时必回收。

 

回收方法区

永久代的垃圾收集主要回收两部分内容:废弃常量和无用的类。 

判定一个常量是否是废弃常量比较简单,而要判定一个类是否是无用的类的条件则相对苛刻许多。 类需要同时满足下面3个条件才能算是无用的类

该类所有的实例都已经被回收,也就是Java堆中不存在该类的任何实例。
加载该类的ClassLoader已经被回收。
该类对应的java.lang.Class对象没有在任何地方被引用,无法在任何地方通过反射访问该类的方法。 

 

 3、垃圾回收算法

分代收集思想

不论哪种虚拟机,都会再不通的内存代,使用不同的收集算法。

标记-清除算法 

算法分为标记清除两个阶段:首先标记出所有需要回收的对象,在标记完成后统一回收所有被标记的对象。  

主要不足有两个:

一个是效率问题,标记和清除两个过程的效率都不高;

另一个是空间问题,标记清除之后会产生大量不连续的内存碎片,空间碎片太多可能会导致以后在程序运行过程中需要分配较大对象时,无法找到足够的连续内存而不得不提前触发另一次垃圾收集动作。 

复制算法 

为了解决效率问题,一种称为复制Copying)的收集算法出现了,它将可用内存按容量划分为大小相等的两块,每次只使用其中的一块。 当这一块的内存用完了,就将还存活着的对象复制到另外一块上面,然后再把已使用过的内存空间一次清理掉。 

现在的商业虚拟机都采用这种收集算法来回收新生代 。

IBM公司的专门研究表明,新生代中的对象98%朝生夕死的,所以并不需要按照1:1的比例来划分内存空间,而是将内存分为一块较大的Eden空间和两块较小的Survivor空间,每次使用Eden和其中一块Survivor[1]。当回收时,将EdenSurvivor中还存活着的对象一次性地复制到另外一块Survivor空间上,最后清理掉Eden和刚才用过的Survivor空间。 HotSpot虚拟机默认EdenSurvivor的大小比例是8:1,也就是每次新生代中可用内存空间为整个新生代容量的90%80%+10%),只有10%的内存会被浪费。 当然,98%的对象可回收只是一般场景下的数据,我们没有办法保证每次回收都只有不多于10%的对象存活,当Survivor空间不够用时,需要依赖其他内存(这里指老年代)进行分配担保(Handle Promotion)。 

标记-整理算法 

根据老年代的特点,有人提出了另外一种标记-整理Mark-Compact)算法,标记过程仍然与标记-清除算法一样,但后续步骤不是直接对可回收对象进行清理,而是让所有存活的对象都向一端移动,然后直接清理掉端边界以外的内存 。

 

4、HotSpot的算法实现 

枚举根节点 

由于目前的主流Java虚拟机使用的都是准确式GC:当执行系统停顿下来后,并不需要一个不漏地检查完所有执行上下文和全局的引用位置,虚拟机应当是有办法直接得知哪些地方存放着对象引用。 
HotSpot的实现中,是使用一组称为OopMap的数据结构来达到这个目的的,在类加载完成的时候,HotSpot就把对象内什么偏移量上是什么类型的数据计算出来,在JIT编译过程中,也会在特定的位置记录下栈和寄存器中哪些位置是引用。 这样,GC在扫描时就可以直接得知这些信息了。 

安全点 

OopMap内容变化的指令非常多,如果为每一条指令都生成对应的OopMap,那将会需要大量的额外空间,这样GC的空间成本将会变得很高。 
实际上,HotSpot也的确没有为每条指令都生成OopMap,前面已经提到,只是在特定的位置记录了这些信息,这些位置称为安全点(Safepoint),即程序执行时并非在所有地方都能停顿下来开始GC,只有在到达安全点时才能暂停。

实现方法:
1、抢先式中断 :GC发生时,首先把所有线程全部中断,如果发现有线程中断的地方不在安全点上,就恢复线程,让它到安全点上。   -- 现在几乎没有虚拟机实现采用抢先式中断来暂停线程从而响应GC事件。 
2、主动式中断 :GC需要中断线程的时候,不直接对线程操作,仅仅简单地设置一个标志,各个线程执行时主动去轮询这个标志,发现中断标志为真时就自己中断挂起。 

安全区域

安全区域是指在一段代码片段之中,引用关系不会发生变化。 在这个区域中的任意地方开始GC都是安全的。 我们也可以把Safe Region看做是被扩展了的Safepoint。 

 

6、垃圾收集器

 

深入理解java虚拟机第二部分.内存自动管理机制.3.垃圾收集器与内存分配策略

1、学习目的当需要排查各种内存溢出、内存泄漏问题时,当垃圾收集成为系统达到更高并发量的瓶颈时,我们就需要对这些“自动化”的技术实施必要的监控和调节。Java内存运行时区域的各个部分,其中程序计数器、虚... 查看详情

深入理解java虚拟机:jvm内存管理与垃圾收集理论(代码片段)

文章目录阅读的疑问???第二部分自动内存管理第2章Java内存区域与内存溢出异常1.程序计数器2.Java虚拟机栈3.本地方法栈4.Java堆5.方法区6.直接内存(我理解就是堆外内存吧)HotSpot虚拟机对象探秘1.对象的创... 查看详情

深入理解jvm自动内存管理机制

2.1C、C++内存管理是由开发人员管理,而Java则交给了JVM进行自动管理2.2JVM运行时数据区:方法区、堆(运行时线程共享),虚拟机栈、本地方法栈、程序计数器(运行时线程隔离,私有)  2.2.1程序计数器(ProgramCounterRegister):每一... 查看详情

深入理解java虚拟机—内存管理机制

前面说过了类的加载机制,里面讲到了类的初始化中时用到了一部分内存管理的知识,这里让我们来看下Java虚拟机是如何管理内存的。先让我们来看张图有些文章中对线程隔离区还称之为线程独占区,其实是一个意思了。下面... 查看详情

深入理解java虚拟机的目录

前言致谢第一部分走近Java第1章走近Java/21.1概述/21.2Java技术体系/31.3Java发展史/51.4展望Java技术的未来/91.4.1模块化/91.4.2混合语言/91.4.3多核并行/111.4.4进一步丰富语法/121.4.564位虚拟机/131.5实战:自己编译JDK/131.5.1获取JDK源码/131.5.2系... 查看详情

深入理解java虚拟机走进java

1.JDK:java程序设计语言、java虚拟机、javaAPI二、自动内存管理机制-----------------------------------------------------  1.运行时数据区域:    (1)java虚拟机在执行java程序的过程中会把所管理的内存划分为若干个不同的数据区域。这些... 查看详情

深入理解java虚拟机:jvm高级特性与最佳实践的内容简介

参考技术A作为一位java程序员,你是否也曾经想深入理解java虚拟机,但是却被它的复杂和深奥拒之门外?没关系,《深入理解java虚拟机:jvm高级特性与最佳实践》极尽化繁为简之妙,能带领你在轻松中领略java虚拟机的奥秘。《深... 查看详情

深入理解java虚拟机-垃圾回收机制(gc)

垃圾回收机制(GC)是java常重要特性之一。它让开发者无需关注内存的创建和释放,而是通过GC自动回收垃圾(无用对象)。哪些内存需要回收java堆和方法区是垃圾回收的主要内存区域,程序计数器、虚拟机栈、本地方法栈这几个内... 查看详情

深入理解jvm虚拟机:java运行时数据区域

概述JVM是Java语言的精髓所在,因为它Java语言实现了跨平台运行,以及自动内存管理机制等,本文将从概念上介绍JVM内存的各个区域,说明个区域的作用。JVM运行时数据区模型Java虚拟机在执行Java程序的过程中会把它所管理的内... 查看详情

深入理解java虚拟机垃圾回收机制

本文内容来源于《深入理解Java虚拟机》一书,非常推荐大家去看一下这本书。本系列其他文章:【深入理解Java虚拟机】Java内存区域模型、对象创建过程、常见OOM1、垃圾回收要解决的问题垃圾收集(GarbageCollection,GC),要设计... 查看详情

深入理解java虚拟机类加载机制

本文内容来源于《深入理解Java虚拟机》一书,非常推荐大家去看一下这本书。本系列其他文章:【深入理解Java虚拟机】Java内存区域模型、对象创建过程、常见OOM【深入理解Java虚拟机】垃圾回收机制1、类加载机制概述虚拟机把... 查看详情

深入理解java虚拟机

java内存区域Java虚拟机执行java程序时会将管理的内存划分为若干个区域:   1. 程序计数器    程序计数器是一个”线程私有“的内存区域,用于获取下一条需要执行的字节码指令,如分支、循环、跳转等。  2.Ja... 查看详情

深入理解java虚拟机第二版虚拟机性能监控与故障处理工具(代码片段)

JDK的命令行工具(jps:虚拟机进程状况工具,jstat:虚拟机统计信息监视工具,jinfo:Java配置信息工具,jmap:Java内存映像工具,jhat:虚拟机堆转储快照分析工具,jstack:Java堆栈跟踪工具);可视化工具(JConsole,VisualVM) ... 查看详情

深入理解java虚拟机第二版类文件结构

一.class类文件的结构Class文件是一组以8位字节为基础单位的二进制流,各个数据项目严格按照顺序紧凑地排列在Class文件之中,中间没有添加任何分隔符,这使得整个Class文件中存储的内容几乎全部是程序运行的必要数据,没有... 查看详情

深入理解java虚拟机第三部分.虚拟机执行子系统.1.类文件结构

无关性无关性的体现有两个方面:  1、平台无关性:可在不同的操作系统和机器指令集上执行,可在不同厂商的虚拟机平台上执行。  2、语言无关性:用不同编程语言写出的代码编译生成的文件都可以运行。实现思想: ... 查看详情

jvm|第2部分:虚拟机执行子系统《深入理解java虚拟机》#yyds干货盘点#

...第2部分:虚拟机执行子系统)</font>前言参考资料:《深入理解Java虚拟机-JVM高级特性与最佳实践》第1部分主题为自动内存管理,以此延伸出Java内存区域与内存溢出、垃圾收集器与内存分配策略、参数配置与性能调优等相关... 查看详情

使用java语言深入理解程序逻辑——方法(第二部分)

使用Java语言深入理解程序逻辑——方法(第二部分)  一、有参数无返回值的方法定义和调用   1.有参数无返回值的方法       (1)语法:                 访问修饰符void方法名(形式参数列表)... 查看详情

使用java语言深入理解程序逻辑——方法(第二部分)

使用Java语言深入理解程序逻辑——方法(第二部分)  一、有参数无返回值的方法定义和调用   1.有参数无返回值的方法       (1)语法:                 访问修饰符void方法名(形式参数列表)... 查看详情