JVM内存模型详解,看不懂你明天就不用来了!

字节码指令集的定义都是基于栈类型的,栈的深度在方法元信息的stack属性中。

操作栈与局部变量表交互

详细的字节码操作顺序如下:

没人看?华为技术专家首次分享JVM内存模型详解,网友直呼:真香

第1处说明:局部变量表就像个中药柜,里面有很多抽屉,依次编号为0, 1, 2,3,.,. n字节码指令istore_ 1就是打开1号抽屉,把栈顶中的数13存进去,栈是一个很深的竖桶,任何时候只能对桶口元素进行操作,所以数据只能在栈顶进行存取.

某些指令可以直接在抽屉里进行,比如inc指令,直接对抽屉里的数值进行+1操作

程序员面试过程中,常见的i++和++i的区别,可以从字节码上对比出来

  • iload_ 1 从局部变量表的第1号抽屉里取出一个数,压入栈顶,下一步直接在抽屉里实现+1的操作,而这个操作对栈顶元素的值没有影响,所以istore_ 2只是把栈顶元素赋值给a

  • 表格右列,先在第1号抽屉里执行+1操作,然后通过iload_ 1 把第1号抽屉里的数压入栈顶,所以istore_ 2存入的是+1之后的值,i++并非原子操作。即使通过volatile关键字进行修饰,多个线程同时写的话,也会产生数据互相覆盖的问题。

动态连接

每个栈帧中包含一个在常量池中对当前方法的引用,目的是支持方法调用过程的动态连接。

方法返回地址

方法执行时有两种退出情况:

  • 正常退出

正常执行到任何方法的返回字节码指令,如RETURN、IRETURN、ARETURN等。

  • 异常退出

无论何种,都将返回至方法当前被调用的位置。方法退出的过程相当于弹出当前栈帧。

退出可能有三种方式:

  • 返回值压入,上层调用栈帧

  • 异常信息抛给能够处理的栈帧

  • PC计数器指向方法调用后的下一条指令

Java虚拟机栈是描述Java方法运行过程的内存模型。Java虚拟机栈会为每一个即将运行的Java方法创建“栈帧”。用于存储该方法在运行过程中所需要的一些信息。

  • 局部变量表:存放基本数据类型变量、引用类型的变量、returnAddress类型的变量

  • 操作数栈

  • 动态链接

  • 当前方法的常量池指针

  • 当前方法的返回地址

  • 方法出口等信息

每一个方法从被调用到执行完成的过程,都对应着一个个栈帧在JVM栈中的入栈和出栈过程

注意:人们常说,Java的内存空间分为“栈”和“堆”,栈中存放局部变量,堆中存放对象。

这句话不完全正确!这里的“堆”可以这么理解,但这里的“栈”就是现在讲的虚拟机栈,或者说Java虚拟机栈中的局部变量表部分.

真正的Java虚拟机栈是由一个个栈帧组成,而每个栈帧中都拥有:局部变量表、操作数栈、动态链接、方法出口信息.

特点

局部变量表的创建是在方法被执行的时候,随栈帧创建而创建。

表的大小在编译期就确定,在创建的时候只需分配事先规定好的大小即可。在方法运行过程中,表的大小不会改变。Java虚拟机栈会出现两种异常:

StackOverFlowError

若Java虚拟机栈的内存大小不允许动态扩展,那么当线程请求的栈深度大于虚拟机允许的最大深度时(但内存空间可能还有很多),就抛出此异常

栈内存默认最大是1M,超出则抛出StackOverflowError

OutOfMemoryError

若Java虚拟机栈的内存大小允许动态扩展,且当线程请求栈时内存用完了,无法再动态扩展了,此时抛出OutOfMemoryError异常

Java虚拟机栈也是线程私有的,每个线程都有各自的Java虚拟机栈,而且随着线程的创建而创建,随线程的死亡而死亡。

没人看?华为技术专家首次分享JVM内存模型详解,网友直呼:真香

4 Java堆(Java Heap)

==================

JVM启动时创建,存放对象的实例。垃圾回收器主要就是管理堆内存。

Heap是OOM故障最主要的发源地,它存储着几乎所有的实例对象,堆由垃圾收集器自动回收,堆区由各子线程共享使用

通常情况下,它占用的空间是所有内存区域中最大的,但如果无节制地创建大量对象,也容易消耗完所有的空间

堆的内存空间既可以固定大小,也可运行时动态地调整,通过如下参数设定初始值和最大值,比如

-Xms256M. -Xmx1024M

其中-X表示它是JVM运行参数

  • ms是memorystart的简称 最小堆容量

  • mx是memory max的简称 最大堆容量

但是在通常情况下,服务器在运行过程中,堆空间不断地扩容与回缩,势必形成不必要的系统压力,所以在线上生产环境中,JVM的Xms和Xmx设置成一样大小,避免在GC后调整堆大小时带来的额外压力

堆分成两大块:新生代和老年代

对象产生之初在新生代,步入暮年时进入老年代,但是老年代也接纳在新生代无法容纳的超大对象

新生代= 1个Eden区+ 2个Survivor区

绝大部分对象在Eden区生成,当Eden区装填满的时候,会触发Young GC。垃圾回收的时候,在Eden区实现清除策略,没有被引用的对象则直接回收。依然存活的对象会被移送到Survivor区,这个区真是名副其实的存在

Survivor 区分为S0和S1两块内存空间,送到哪块空间呢?每次Young GC的时候,将存活的对象复制到未使用的那块空间,然后将当前正在使用的空间完全清除,交换两块空间的使用状态

如果YGC要移送的对象大于Survivor区容量上限,则直接移交给老年代

假如一些没有进取心的对象以为可以一直在新生代的Survivor区交换来交换去,那就错了。每个对象都有一个计数器,每次YGC都会加1。

-XX:MaxTenuringThreshold

参数能配置计数器的值到达某个阈值的时候,对象从新生代晋升至老年代。如果该参数配置为1,那么从新生代的Eden区直接移至老年代。默认值是15,可以在Survivor 区交换14次之后,晋升至老年代

若Survivor区无法放下,或者超大对象的阈值超过上限,则尝试在老年代中进行分配;

如果老年代也无法放下,则会触发Full Garbage Collection(Full GC);

如果依然无法放下,则抛OOM.

堆出现OOM的概率是所有内存耗尽异常中最高的

出错时的堆内信息对解决问题非常有帮助,所以给JVM设置运行参数-

XX:+HeapDumpOnOutOfMemoryError

让JVM遇到OOM异常时能输出堆内信息

在不同的JVM实现及不同的回收机制中,堆内存的划分方式是不一样的

存放所有的类实例及数组对象

除了实例数据,还保存了对象的其他信息,如Mark Word(存储对象哈希码,GC标志,GC年龄,同步锁等信息),Klass Pointy(指向存储类型元数据的指针)及一些字节对齐补白的填充数据(若实例数据刚好满足8字节对齐,则可不存在补白)

特点

Java虚拟机所需要管理的内存中最大的一块.

堆内存物理上不一定要连续,只需要逻辑上连续即可,就像磁盘空间一样.

堆是垃圾回收的主要区域,所以也被称为GC堆.

堆的大小既可以固定也可以扩展,但主流的虚拟机堆的大小是可扩展的(通过-Xmx和-Xms控制),因此当线程请求分配内存,但堆已满,且内存已满无法再扩展时,就抛出OutOfMemoryError.

线程共享

整个Java虚拟机只有一个堆,所有的线程都访问同一个堆.

它是被所有线程共享的一块内存区域,在虚拟机启动时创建.

而程序计数器、Java虚拟机栈、本地方法栈都是一个线程对应一个

没人看?华为技术专家首次分享JVM内存模型详解,网友直呼:真香

5 方法区

=====

5.1 定义

======

Java虚拟机规范中定义方法区是堆的一个逻辑区划部分,具体实现根据不同虚拟机来实现,如: HotSpot在Java7中方法区放在永久代,Java8放在元数据空间,并且通过GC机制对这个区域进行管理。

别名Non-Heap(非堆),以与Java堆区分。方法区中存放已经被虚拟机加载的:

  • 类信息

  • 常量

常量存储在【运行时常量池】

  • 静态变量

即时编译器(JIT)编译后的代码等数据

5.2 特点

======

  • 线程共享

方法区是堆的一个逻辑部分,因此和堆一样,都是线程共享的.整个虚拟机中只有一个方法区.

  • 永久代

方法区中的信息一般需要长期存在,而且它又是堆的逻辑分区,因此用堆的划分方法,我们把方法区称为永久代.

  • 内存回收效率低

Java虚拟机规范对方法区的要求比较宽松,可以不实现垃圾收集.

方法区中的信息一般需要长期存在,回收一遍内存之后可能只有少量信息无效.

对方法区的内存回收的主要目标是:对常量池的回收和对类型的卸载

和堆一样,允许固定大小,也允许可扩展的大小,还允许不实现垃圾回收。

当方法区内存空间无法满足内存分配需求时,将抛出OutOfMemoryError异常.

5.3 运行时常量池(Runtime Constant Pool)

=================================

5.3.1 定义

========

方法区的一部分。

.java文件被编译之后生成的.class文件中除了包含:类的版本、字段、方法、接口等描述信息外,还有一项就是常量池。

常量池中存放编译时期产生的各种字面量和符号引用,.class文件中的常量池中的所有的内容在类被加载后存放到方法区的运行时常量池中。

没人看?华为技术专家首次分享JVM内存模型详解,网友直呼:真香

JDK6、7、8三个版本中, 运行时常量池的所处区域一直在不断地变化:

  • 6时,是方法区的一部分

  • 7时,又放到堆内存

  • 8时,出现了元空间,又回到了方法区

这也说明了官方对“永久代”的优化从7就已经开始了。

5.3.2 特性

========

运行时常量池相对于class文件常量池的另外一个特性是具备动态性,Java语言并不要求常量一定只有编译器才产生,也就是并非预置入class文件中常量池的内容才能进入方法区运行时常量池,运行期间也可能将新的常量放入池中。

String类的intern()方法就是采用了运行时常量池的动态性。当调用 intern 方法时,看池中已包含一个等于此 String 对象的字符串:

则返回池中的字符串

将此 String 对象添加到池中,并返回此 String 对象的引用

5.3.3 可能抛出的异常

=============

运行时常量池是方法区的一部分,所以会受到方法区内存的限制,因此当常量池无法再申请到内存时就会抛出OutOfMemoryError异常.

我们一般在一个类中通过public static final来声明一个常量。这个类被编译后便生成Class文件,这个类的所有信息都存储在这个class文件中。

当这个类被Java虚拟机加载后,class文件中的常量就存放在方法区的运行时常量池中。而且在运行期间,可以向常量池中添加新的常量。如:String类的intern()方法就能在运行期间向常量池中添加字符串常量。

当运行时常量池中的某些常量没有被对象引用,同时也没有被变量引用,那么就需要垃圾收集器回收。

6 直接内存(Direct Memory)

=====================

直接内存不是虚拟机运行时数据区的一部分,也不是JVM规范中定义的内存区域,但在JVM的实际运行过程中会频繁地使用这块区域.而且也会抛OOM

在JDK 1.4中加入了NIO(New Input/Output)类,引入了一种基于管道和缓冲区的IO方式,它可以使用Native函数库直接分配堆外内存,然后通过一个存储在堆里的DirectByteBuffer对象作为这块内存的引用来操作堆外内存中的数据.

这样能在一些场景中显著提升性能,因为避免了在Java堆和Native堆中来回复制数据.

综上看来

程序计数器、Java虚拟机栈、本地方法栈是线程私有的,即每个线程都拥有各自的程序计数器、Java虚拟机栈、本地方法区。并且他们的生命周期和所属的线程一样。

而堆、方法区是线程共享的,在Java虚拟机中只有一个堆、一个方法栈。并在JVM启动的时候就创建,JVM停止才销毁。

7 Metaspace (元空间)

=================

到了JDK8,元空间的前身Perm区(永久代)被淘汰,在JDK7及之前的版本中,只有Hotspot才有Perm区,它在启动时固定大小,很难进行调优,并且Full GC时会移动类元信息。

在某些场景下,若动态加载类过多,容易产生Perm区的OOM。比如某工程因为功能点较多,运行过程中,要不断动态加载很多类,经常出现错误:

没人看?华为技术专家首次分享JVM内存模型详解,网友直呼:真香

为解决该问题,需要设定运行参数

-XX:MaxPermSize= l280m

如果部署到新机器上,往往会因为JVM参数没有修改导致故障再现。不熟悉此应用的人排查问题时都苦不堪言。此外,永久代在GC过程中还存在诸多问题。

所以,JDK8使用元空间替换永久代。区别于永久代,元空间在本地内存中分配。即,

只要本地内存足够,它不会出现类似永久代的

java.lang.OutOfMemoryError: PermGen space

对永久代的设置参数 PermSize 和MaxPermSize也会失效。在JDK8及以上版本,设定MaxPermSize参数,JVM在启动时并不会报错,但会提示:

Java HotSpot 64Bit Server VM warning:ignoring option MaxPermSize=2560m; support was removed in 8.0

默认情况下,“元空间”的大小可以动态调整,或者使用新参数MaxMetaspaceSize来限制本地内存分配给类元数据的大小。

在JDK8里,Perm 区所有内容中

  • 字符串常量移至堆内存

  • 其他内容包括类元信息、字段、静态属性、方法、常量等都移动至元空间

比如上图中的Object类元信息、静态属性System.out、整型常量000000等

没人看?华为技术专家首次分享JVM内存模型详解,网友直呼:真香

图中显示在常量池中的String,其实际对象是被保存在堆内存中的。

元空间特色

  • 充分利用了Java语言规范:类及相关的元数据的生命周期与类加载器的一致

  • 每个类加载器都有它的内存区域-元空间

  • 只进行线性分配

  • 不会单独回收某个类(除了重定义类 RedefineClasses 或类加载失败)

  • 没有GC扫描或压缩

  • 元空间里的对象不会被转移

  • 如果GC发现某个类加载器不再存活,会对整个元空间进行集体回收

GC

  • Full GC时,指向元数据指针都不用再扫描,减少了Full GC的时间

  • 很多复杂的元数据扫描的代码(尤其是CMS里面的那些)都删除了

  • 元空间只有少量的指针指向Java堆

  • 这包括:类的元数据中指向java.lang.Class实例的指针;数组类的元数据中,指向java.lang.Class集合的指针。

  • 没有元数据压缩的开销

  • 减少了GC Root的扫描(不再扫描虚拟机里面的已加载类的目录和其它的内部哈希表)

  • G1中,并发标记阶段完成后就可以进行类的卸载

元空间内存分配模型

  • 绝大多数的类元数据的空间都在本地内存中分配

  • 用来描述类元数据的对象也被移除

  • 为元数据分配了多个映射的虚拟内存空间

  • 为每个类加载器分配一个内存块列表

  • 块的大小取决于类加载器的类型

  • Java反射的字节码存取器(sun.reflect.DelegatingClassLoader )占用内存更小

  • 空闲块内存返还给块内存列表

  • 当元空间为空,虚拟内存空间会被回收

  • 减少了内存碎片

最后,从线程共享的角度来看

  • 堆和元空间是所有线程共享的

  • 虚拟机栈、本地方法栈、程序计数器是线程内部私有的

没人看?华为技术专家首次分享JVM内存模型详解,网友直呼:真香

从这个角度看一下Java内存结构

8 从GC角度看Java堆

最后

自我介绍一下,小编13年上海交大毕业,曾经在小公司待过,也去过华为、OPPO等大厂,18年进入阿里一直到现在。

深知大多数Java工程师,想要提升技能,往往是自己摸索成长,自己不成体系的自学效果低效漫长且无助。

因此收集整理了一份《2024年Java开发全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友,同时减轻大家的负担。

既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,基本涵盖了95%以上Java开发知识点,不论你是刚入门Android开发的新手,还是希望在技术上不断提升的资深开发者,这些资料都将为你打开新的学习之门!

如果你觉得这些内容对你有帮助,需要这份全套学习资料的朋友可以戳我获取!!

由于文件比较大,这里只是将部分目录截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频,并且会持续更新!
8862959dd22625a95b2944fd.png)

从这个角度看一下Java内存结构

8 从GC角度看Java堆

最后

自我介绍一下,小编13年上海交大毕业,曾经在小公司待过,也去过华为、OPPO等大厂,18年进入阿里一直到现在。

深知大多数Java工程师,想要提升技能,往往是自己摸索成长,自己不成体系的自学效果低效漫长且无助。

因此收集整理了一份《2024年Java开发全套学习资料》,初衷也很简单,就是希望能够帮助到想自学提升又不知道该从何学起的朋友,同时减轻大家的负担。

[外链图片转存中…(img-RS1E2iBt-1715513537290)]

[外链图片转存中…(img-twYMPbP6-1715513537291)]

[外链图片转存中…(img-7gLjHs0x-1715513537291)]

既有适合小白学习的零基础资料,也有适合3年以上经验的小伙伴深入学习提升的进阶课程,基本涵盖了95%以上Java开发知识点,不论你是刚入门Android开发的新手,还是希望在技术上不断提升的资深开发者,这些资料都将为你打开新的学习之门!

如果你觉得这些内容对你有帮助,需要这份全套学习资料的朋友可以戳我获取!!

由于文件比较大,这里只是将部分目录截图出来,每个节点里面都包含大厂面经、学习笔记、源码讲义、实战项目、讲解视频,并且会持续更新!

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值