进阶课程1:jvm内存模型

简介: jvm内存模型

JVM内存结构

JVM内部由线程栈和堆内存组成。

简单描述就是我们的原生类型的局部变量,然后我们常见的对象,引用类型等都是在堆上。

每个线程都只能访问自己的线程栈。

每个线程都不能访问 (看不见) 其他线程的局部变量。

所有原生类型的局部变量都存储在线程栈中,因此对其他线程是不可见的。

线程可以将一个原生变量值的副本传给另一个线程,但不能共享原生局部变量本身。

堆内存中包含了 Java 代码中创建的所有对象,不管是哪个线程创建的。 其中也涵盖了包装类型(例如 Byte,Integer, Long 等)。

不管是创建一个对象并将其赋值给局部变量,还是赋值给另一个对象的成员变量, 创建的对象都会被保存到堆内存中。

如果是原生数据类型的局部变量,那么它的内容就全部保留在线程栈上o

如果是对象引用,则栈中的局部变量槽位中保存着对象的引用地址,而实际的对象内容保存在堆中。

对象的成员变量与对象本身一起存储在堆上,不管成员变量的类型是原生数值,还是对象引用。

类的静态变量则和类定义一样都保存在堆中。

需要注意的是,这里有新手弄混,下面举例说明下变量在栈堆的变化。拿int来说:

当一个int类型的变量从局部变量变成成员变量时,它的存储方式也会发生变化。具体来说,如果一个int类型的变量是局部变量,那么它在方法调用时会在栈上创建一个新的栈帧,并在该栈帧中存储该变量的值。当该方法执行完毕时,该栈帧会被弹出,该变量的值也会被销毁。

相反,如果一个int类型的变量是成员变量,那么它会被存储在堆上,而不是栈上。当一个对象被创建时,该对象的成员变量会在堆上分配空间,并被初始化为默认值(0或null)。当该对象被引用时,该成员变量的值会被加载到栈上,以供方法使用。当该方法执行完毕时,该值会被存回堆中,以供其他方法或线程使用。

因此,当一个int类型的变量从局部变量变成成员变量时,它的存储方式会从栈变为堆,它的访问方式也会从局部变量变为对象成员变量。

总结一下:

方法中使用的原生数据类型和对象引用地址在栈上存储;对象、对象成员与类定义、静态变量在堆上。

堆内存又称为“共享堆”,堆中的所有对象,可以被所有线程访问,只要他们能拿到对象的引用地址。

如果一个线程可以访问某个对象时也就可以访问该对象的成员变量。如果两个线程同时调用某个对象的同一方法,则它们都可以访问到这个对象的成员变量,但每个线程的局部变量副本是独立的。

功能方面:堆是用来存放对象的,栈是用来执行程序的。共享性:堆是线程共享的,栈是线程私有的。空间大小:堆大小远远大于栈。

JVM整体结构

方法是怎么做到资源的隔离和相互之间不影响的:

每启动一个线程,JVM 就会在栈空间栈分配对应的 线程栈。

线程栈也叫做 Java 方法栈。 如果使用了JNI 方法,则会分配一个单独的本地方法栈Native Stack).

线程执行过程中,一般会有多个方法组成调用栈 (Stack Trace),比如 A 调用 B,B 调用 C...每执行到一个方法,就会创建对应的 栈帧 (Frame)。

JVM栈内存结构

栈帧

是一个逻辑上的概念,具体的大小在一个方法编写完成后基本上就能确定。

比如返回值需要有一个空间存放,每个局部变量都需要对应的地址空间,此外还有给指令使用的操作数栈,以及 class 指针(标识这个栈帧对应的是哪个类的方法,指向非堆里面的 Class 对象)。

操作数栈

JVM中的操作数栈是一种用于存储和执行操作数的数据结构。它是JVM运行时数据区域的一部分,用于进行方法调用和方法执行时的数据传递。操作数栈使用先进后出(LIFO)的方式,类似于一个栈的结构。

当方法被调用时,JVM会为该方法创建一个栈帧,栈帧中包含了局部变量表、操作数栈以及其他与方法执行相关的信息。操作数栈用于存储方法执行过程中所需的操作数,例如常量、变量的值等。方法中的指令会从操作数栈中弹出操作数进行计算,并将结果再次压入操作数栈中。

通过操作数栈,JVM可以实现各种操作,例如数值运算、类型转换、方法调用等。操作数栈的大小是固定的,可以在JVM启动时通过参数进行设置。当操作数栈超过其最大容量时,会抛出StackOverflowError异常。所以在编写Java程序时,要注意不要让操作数栈溢出

局部变量表

JVM(Java虚拟机)局部变量表是一种存储局部变量的数据结构,它被用于在方法执行期间保存方法中定义的局部变量。

在JVM中,每个方法被调用时,都会创建一个新的栈帧(stack frame)来保存方法的参数和局部变量。局部变量表是栈帧中的一部分,用于存储方法中定义的局部变量。

局部变量表的结构与方法中的局部变量声明顺序一致,它是按照索引来访问局部变量的。在方法执行期间,局部变量表的大小是固定的,它根据方法的字节码指令和变量的作用域来确定。

局部变量表中可以存储各种类型的变量,包括基本类型(如int、float等)和对象引用。局部变量表还可以存储方法的参数和临时变量,但是不包括实例变量和静态变量,它们存储在对象的实例数据和类数据中。

通过局部变量表,JVM可以快速访问和操作方法中的局部变量,从而实现方法的正常执行。

JVM堆内存结构

堆内存是所有线程共用的内存空间,JVM 将Heap 内存分为年轻代(Young generation) 和老年代 (Old generation,也叫 Tenured) 两部分。年轻代还划分为 3 个内存池,新生代 (Eden在大部分space) 和存活区(Survivor space)GC 算法中有 2个存活区(SO.S1),在我们可以观察到的任何时刻,SO 和 S1 总有一个是空的,但一般较小,也不浪费多少空间。

Non-Heap 本质上还是 Heap,只是一般不归 GC管理,里面划分为 3 个内存池。

Metaspace(元数据区),以前叫持久代 (永久代,Permanentgeneration),Java8 换了个名字叫 Metaspace。

CCS,Compressed Class Space,存放 class 信息的,和 Metaspace 有交叉。

Code Cache存放 JIT 编译器编译后的本地机器代码。

非堆存放的数据:类的相关描述数据进行压缩指针后的数据。这么做的原因在于,一个数据压缩后就会变小,节省内存空间。

有些数据里没有非堆的概念,但是某些官方工具有。

.

JMM

JMM 规范对应的是“[JSR-133.JavaMemorv Model and ThreadSpecification]”,《Java 语言规范》的[$17.4.Memory Model章节]

JMM 规范明确定义了不同的线程之间,通过哪些方式,在什么时候可以看见其他线程保存到共享变量中的值;以及在必要时,如何对共享变量的访问进行同步。这样的好处是屏蔽各种硬件平台和操作系统之间的内存访问差异,实现了 Java 并发程序真正的跨平台。

内容:

所有的对象 (包括内部的实例成员变量),static 变量,以及数组,都必须存放到堆内存中。

局部变量,方法的形参/入参,异常处理语句的入参不允许在线程之间共享,所以不受内存模型的影响。

多个线程同时对一个变量访问时[读取/写入] ,这时候只要有某个线程执行的是写操作,那么这种现象就称之为“冲突”。可以被其他线程影响或感知的操作,称为线程间的交互行为,可分为: 读取、写入、同步操作、外部操作等等。 其中同步操作包括: 对 volatile 变量的读写,对管程 (monitor) 的锁定与解锁,线程的起始操作与结尾操作,线程启动和结束等等。 外部操作则是指对线程执行环境之外的操作,比如停止其他线程等等。

JMM 规范的是线程间的交互操作,而不管线程内部对局部变量进行的操作。

讲解

JMM 是Java内存模型( Java Memory Model),简称JMM。它本身只是一个抽象的概念,并不真实存在,它描述的是一种规则或规范,是和多线程相关的一组规范。通过这组规范,定义了程序中对各个变量(包括实例字段,静态字段和构成数组对象的元素)的访问方式。需要每个JVM 的实现都要遵守这样的规范,有了JMM规范的保障,并发程序运行在不同的虚拟机上时,得到的程序结果才是安全可靠可信赖的。如果没有JMM 内存模型来规范,就可能会出现,经过不同 JVM 翻译之后,运行的结果不相同也不正确的情况。

计算机在执行程序时,每条指令都是在CPU中执行的。而执行指令的过程中,势必涉及到数据的读取和写入。由于程序运行过程中的临时数据是存放在主存(物理内存)当中的,这时就存在一个问题,由于CPU执行速度很快,而从内存读取数据和向内存写入数据的过程,跟CPU执行指令的速度比起来要慢的多(硬盘 < 内存 <缓存cache < CPU)。因此如果任何时候对数据的操作都要通过和内存的交互来进行,会大大降低指令执行的速度。因此在CPU里面就有了高速缓存。也就是当程序在运行过程中,会将运算需要的数据从主存复制一份到CPU的高速缓存当中,那么CPU进行计算时,就可以直接从它的高速缓存中读取数据或向其写入数据了。当运算结束之后,再将高速缓存中的数据刷新到主存当中。

JMM 抽象出主存储器(Main Memory)和工作存储器(Working Memory)两种。

·主存储器是实例对象所在的区域,所有的实例都存在于主存储器内。比如,实例所拥有的字段即位于主存储器内,主存储器是所有的线程所共享的。

·工作存储器是线程所拥有的作业区,每个线程都有其专用的工作存储器。工作存储器存有主存储器中必要部分的拷贝,称之为工作拷贝(Working Copy)。

所以,线程无法直接对主内存进行操作,此外,线程A想要和线程B通信,只能通过主存进行。

JMM的三大特性

1.原子性

一个或多个操作,要么全部执行,要么全部不执行(执行的过程中是不会被任何因素打断的)。

2.可见性

只要有一个线程对共享变量的值做了修改,其他线程都将马上收到通知,立即获得最新值。

3.有序性

有序性可以总结为:在本线程内观察,所有的操作都是有序的;而在一个线程内观察另一个线程,所有操作都是无序的。前半句指 as-if-serial 语义:线程内似表现为串行,后半句是指:“指令重排序现象”和“工作内存与主内存同步延迟现象”。处理器为了提高程序的运行效率,提高并行效率,可能会对代码进行优化。编译器认为,重排序后的代码执行效率更优。这样一来,代码的执行顺序就未必是编写代码时候的顺序了,在多线程的情况下就可能会出错。

在代码顺序结构中,我们可以直观的指定代码的执行顺序, 即从上到下按序执行。但编译器和CPU处理器会根据自己的决策,对代码的执行顺序进行重新排序,优化指令的执行顺序,提升程序的性能和执行速度,使语句执行顺序发生改变,出现重排序,但最终结果看起来没什么变化(在单线程情况下)。

有序性问题 指的是在多线程的环境下,由于执行语句重排序后,重排序的这一部分没有一起执行完,就切换到了其它线程,导致计算结果与预期不符的问题。这就是编译器的编译优化给并发编程带来的程序有序性问题。

Java 语言提供了 volatile 和 synchronized 两个关键字来保证线程之间操作的有序性,volatile 是因为其本身包含“禁止指令重排序”的语义,synchronized 是由“一个变量在同一个时刻只允许一条线程对其进行 lock 操作”这条规则获得的,此规则决定了持有同一个对象锁的两个同步块只能串行进入。

3.关于同步的规定:

1.线程解锁前,必须把共享变量的值刷新回主内存。

2.线程加锁前,必须将主内存的最新值读取到自己的工作内存。

3.加锁解锁是同一把锁。

4.解释说明

在JVM中,栈负责运行(主要是方法),堆负责存储(比如new的对象)。由于JVM运行程序的实体是线程,而每个线程在创建时,JVM都会为其创建一个工作内存(有些地方称为栈空间),工作内存是每个线程的私有数据区域。而JAVA内存模型中规定,所有变量都存储在主内存中,主内存是共享内存区域,所有线程都可以访问。

但线程对变量的操作(读取赋值等)必须在自己的工作内存中进行。首先要将变量从主内存拷贝到自己的工作内存空间,然后对变量进行操作,操作完成后,再将变量写回到主内存。由于不能直接操作主内存中的变量,各个线程的工作内存中存储着主内存中的变量副本,因此,不同的线程之间无法直接访问对方的工作内存,线程间的通信(传值)必须通过主内存来完成。

视频

阿里云盘视频链接:https://www.aliyundrive.com/s/cUYaJcv54Qm

今天就到这里吧,感觉有用的小伙伴可以点个赞,你的支持就是我更新的最大动力!

相关文章
|
28天前
|
缓存 Prometheus 监控
Elasticsearch集群JVM调优设置合适的堆内存大小
Elasticsearch集群JVM调优设置合适的堆内存大小
224 1
|
2月前
|
存储 安全 Java
jvm 锁的 膨胀过程?锁内存怎么变化的
【10月更文挑战第3天】在Java虚拟机(JVM)中,`synchronized`关键字用于实现同步,确保多个线程在访问共享资源时的一致性和线程安全。JVM对`synchronized`进行了优化,以适应不同的竞争场景,这种优化主要体现在锁的膨胀过程,即从偏向锁到轻量级锁,再到重量级锁的转变。下面我们将详细介绍这一过程以及锁在内存中的变化。
41 4
|
17天前
|
存储 监控 算法
深入探索Java虚拟机(JVM)的内存管理机制
本文旨在为读者提供对Java虚拟机(JVM)内存管理机制的深入理解。通过详细解析JVM的内存结构、垃圾回收算法以及性能优化策略,本文不仅揭示了Java程序高效运行背后的原理,还为开发者提供了优化应用程序性能的实用技巧。不同于常规摘要仅概述文章大意,本文摘要将简要介绍JVM内存管理的关键点,为读者提供一个清晰的学习路线图。
|
26天前
|
Java
JVM内存参数
-Xmx[]:堆空间最大内存 -Xms[]:堆空间最小内存,一般设置成跟堆空间最大内存一样的 -Xmn[]:新生代的最大内存 -xx[use 垃圾回收器名称]:指定垃圾回收器 -xss:设置单个线程栈大小 一般设堆空间为最大可用物理地址的百分之80
|
27天前
|
Java
JVM运行时数据区(内存结构)
1)虚拟机栈:每次调用方法都会在虚拟机栈中产生一个栈帧,每个栈帧中都有方法的参数、局部变量、方法出口等信息,方法执行完毕后释放栈帧 (2)本地方法栈:为native修饰的本地方法提供的空间,在HotSpot中与虚拟机合二为一 (3)程序计数器:保存指令执行的地址,方便线程切回后能继续执行代码
21 3
|
28天前
|
存储 缓存 监控
Elasticsearch集群JVM调优堆外内存
Elasticsearch集群JVM调优堆外内存
45 1
|
1月前
|
Arthas 监控 Java
JVM进阶调优系列(9)大厂面试官:内存溢出几种?能否现场演示一下?| 面试就那点事
本文介绍了JVM内存溢出(OOM)的四种类型:堆内存、栈内存、元数据区和直接内存溢出。每种类型通过示例代码演示了如何触发OOM,并分析了其原因。文章还提供了如何使用JVM命令工具(如jmap、jhat、GCeasy、Arthas等)分析和定位内存溢出问题的方法。最后,强调了合理设置JVM参数和及时回收内存的重要性。
|
1月前
|
Java Linux Windows
JVM内存
首先JVM内存限制于实际的最大物理内存,假设物理内存无限大的话,JVM内存的最大值跟操作系统有很大的关系。简单的说就32位处理器虽然可控内存空间有4GB,但是具体的操作系统会给一个限制,这个限制一般是2GB-3GB(一般来说Windows系统下为1.5G-2G,Linux系统下为2G-3G),而64bit以上的处理器就不会有限制。
20 1
|
2月前
|
缓存 算法 Java
JVM知识体系学习六:JVM垃圾是什么、GC常用垃圾清除算法、堆内存逻辑分区、栈上分配、对象何时进入老年代、有关老年代新生代的两个问题、常见的垃圾回收器、CMS
这篇文章详细介绍了Java虚拟机(JVM)中的垃圾回收机制,包括垃圾的定义、垃圾回收算法、堆内存的逻辑分区、对象的内存分配和回收过程,以及不同垃圾回收器的工作原理和参数设置。
80 4
JVM知识体系学习六:JVM垃圾是什么、GC常用垃圾清除算法、堆内存逻辑分区、栈上分配、对象何时进入老年代、有关老年代新生代的两个问题、常见的垃圾回收器、CMS
|
2月前
|
存储 缓存 算法
JVM核心知识点整理(内存模型),收藏再看!
JVM核心知识点整理(内存模型),收藏再看!
JVM核心知识点整理(内存模型),收藏再看!

相关实验场景

更多