当前位置:首页 > Java技术 > JVM中栈的frames详解

JVM中栈的frames详解

2022年09月16日 23:13:26Java技术4

简介

我们知道JVM运行时数据区域专门有一个叫做Stack Area的区域,专门用来负责线程的执行调用。那么JVM中的栈到底是怎么工作的呢?快来一起看看吧。

JVM中的栈

小师妹:F师兄,JVM为每个线程的运行都分配了一个栈,这个栈到底是怎么工作的呢?

小师妹,我们先看下JVM的整体运行架构图:

JVM中栈的frames详解 _ JavaClub全栈架构师技术笔记

我们可以看到运行时数据区域分为5大部分。

堆区是存储共享对象的地方,而栈区是存储线程私有对象的地方。

因为是栈的结构,所以这个区域总是LIFO(Last in first out)。我们考虑一个方法的执行,当方法执行的时候,就会在Stack Area中创建一个block,这个block中持有对本地对象和其他对象的引用。一旦方法执行完毕,则这个block就会出栈,供其他方法访问。

Frame

JVM中的stack area是由一个个的Frame组成的。

Frame主要用来存储数据和部分结果,以及执行动态链接,方法的返回值和调度异常。

每次调用方法时都会创建一个新Frame。当Frame的方法调用完成时,无论该方法是正常结束还是异常结束(它引发未捕获的异常),这个frame都会被销毁。

Frame是从JVM中的stack area中分配的。

每个frame都由三部分组成,分别是自己的local variables数组,自己的operand stack,以及对当前方法的run-time constant pool的引用。

在线程的执行过程中,任何一个时刻都只有一个frame处于活动状态。这个frame被称为current frame,它的方法被称为current 方法,定义当前方法的类是当前类。

如果frame中的方法调用另一个方法或该frame的方法结束,那么这个frame将不再是current frame。

每次调用新的方法,都会创建一个新的frame,并将控制权转移到调用新的方法生成的框架。

在方法返回时,当前frame将其方法调用的结果(如果有的话)传回上一个frame,并结束当前frame。

请注意,由线程创建的frame只能有该线程访问,并且不能被任何其他线程引用。

JVM中栈的frames详解 _ JavaClub全栈架构师技术笔记

Local Variables本地变量

每个frame都包含一个称为其本地局部变量的变量数组。frame的局部变量数组的长度是在编译的时候确定的。

单个局部变量可以保存以下类型的值:boolean, byte, char, short, int, float, reference, 或者 returnAddress。

如果对于long或double类型的值需要使用一对局部变量来存储。

局部变量因为存储在数组中,所以直接通过数字的索引来定位和访问。

注意,这个数组的索引值是从0开始,到数组长度-1结束。

单个局部变量直接通过索引来访问就够了,那么对于占用两个连续局部变量的long或者double类型来说,怎么访问呢?

比如说一个long类型占用数组中的n和n+1两个变量,那么我们可以通过索引n值来访问这个long类型,而不是通过n+1来访问。

注意,在JVM中,并不一定要求这个n是偶数。

那么这些局部变量有什么用呢?

Java虚拟机使用局部变量在方法调用时传递参数。

我们知道在java中有两种方法,一种是类方法,一种是实例方法。

在类方法调用中,所有参数都从局部变量0开始在连续的局部变量中传递。

在实例方法调用中,局部变量0始终指向的是该实例对象,也就是this。也就是说真实的参数是从局部变量1开始存储的。

Operand Stacks

在每个frame内部,又包含了一个LIFO的栈,这个栈叫做Operand Stack。

刚开始创建的时候,这个Operand Stack是空的。然后JVM将local variables中的常量或者值加载到Operand Stack中去。

然后Java虚拟机指令从操作数堆栈中获取操作数,对其进行操作,然后将结果压回操作数堆栈。

比如说,现在的Operand Stack中已经有两个值,1和2。

这个时候JVM要执行一个iadd指令,将1和2相加。那么就会先将stack中的1和2两个数取出,相加后,将结果3再压入stack。

最终stack中保存的是iadd的结果3。

注意,在Local Variables本地变量中我们提到,如果是long或者double类型的话,需要两个本地变量来存储。而在Operand Stack中,一个值可以表示任何Java虚拟机类型的值。也就是说long和double在Operand Stack中,使用一个值就可以表示了。

Operand Stack中的任何操作都必须要确保其类型匹配。像之前提到的iadd指令是对两个int进行相加,如果这个时候你的Operand Stacks中存储的是long值,那么iadd指令是会失败的。

在任何时间点,操作数堆栈都具有关联的深度,其中long或double类型的值对该深度贡献两个单位,而任何其他类型的值则贡献一个单位深度。

Dynamic Linking动态链接

什么是动态链接呢?

我们知道在class文件中除了包含类的版本、字段、方法、接口
等描述信息外,还有一项信息就是常量池(constant pool table),用于存放编译器生成的各种字面量(Literal)和符号引用(Symbolic References)。

所谓字面量就是常说的常量,可以有三种方式,分别是:文本字符串,八种基本类型和final类型的常量。

而符号引用是指用符号来描述所引用的目标。

符号引用和直接引用有什么区别呢? 我们举个例子。

比如我们定义了String name=“jack”, 其中jack是一个字面量,会在字符串常量池(String Pool)中保存一份。

如果我们存储的时候,存的是name,那么这个就是符号引用。

如果我们存储的是jack在字符串常量池中地址,那么这个就是直接引用。

从上面的介绍我们可以知道,为了实现最终的程序正常运行,所有的符号引用都需要转换成为直接引用才能正常执行。

而这个转换的过程,就叫做动态链接。

动态链接将这些符号方法引用转换为具体的方法引用,根据需要加载类以解析尚未定义的符号,并将变量访问转换为与这些变量的运行时位置关联的存储结构中的适当偏移量。

方法执行完毕

方法执行完毕有两种形式,一种是正常执行完毕,一种是执行过程中抛出了异常。

正常执行完毕的方法可以值返回给调用方。

这种情况下frame的作用就是恢复调用程序的状态,包括其局部变量和操作数堆栈,并适当增加调用程序的程序计数器以跳过方法调用指令。

如果方法中抛出了异常,那么该方法将不会有值返回给调用方。

本文已收录于:http://www.flydean.com/jvm-thread-stack-frames/

最通俗的解读,最深刻的干货,最简洁的教程,众多你不知道的小技巧等你来发现!

欢迎关注我的公众号:「程序那些事」,懂技术,更懂你!

JVM中栈的frames详解 _ JavaClub全栈架构师技术笔记

作者:flydean程序那些事
来源链接:https://blog.csdn.net/superfjj/article/details/107242349

版权声明:
1、JavaClub(https://www.javaclub.cn)以学习交流为目的,由作者投稿、网友推荐和小编整理收藏优秀的IT技术及相关内容,包括但不限于文字、图片、音频、视频、软件、程序等,其均来自互联网,本站不享有版权,版权归原作者所有。

2、本站提供的内容仅用于个人学习、研究或欣赏,以及其他非商业性或非盈利性用途,但同时应遵守著作权法及其他相关法律的规定,不得侵犯相关权利人及本网站的合法权利。
3、本网站内容原作者如不愿意在本网站刊登内容,请及时通知本站(javaclubcn@163.com),我们将第一时间核实后及时予以删除。


本文链接:https://www.javaclub.cn/java/42242.html

分享给朋友:

“JVM中栈的frames详解” 的相关文章

OpenWrite技术自媒体界的JVM一次编辑、随处发布

OpenWrite技术自媒体界的JVM一次编辑、随处发布

原文 :https://mp.weixin.qq.com/s/KUtJ2dwhBRuJ2G_-PkQFEA 最懂你的科技自媒体管理平台 【实用小工具推荐】给科技或技术同学们推荐一款比较好用的工具,可以实现一稿多发,主流的技术渠道基本涵...

JVM 从入门到精通(二)JVM和Java体系结构

JVM 从入门到精通(二)JVM和Java体系结构

写在前面:我是「云祁」,一枚热爱技术、会写诗的大数据开发猿。昵称来源于王安石诗中一句 [ 云之祁祁,或雨于渊 ] ,甚是喜欢。 写博客一方面是对自己学习的一点点总结及记录,另一方面则是希望能够帮助更多对大数据感兴趣的朋友。如果你也对 数据中台...

JVM学习1--数字存储,内存模型,指令重排

JVM学习1--数字存储,内存模型,指令重排

一、数字在计算机中的存储   整数:以补码形式存储。     补码:正数的补码是自身,负数的补码是取反码加1(取反码时符号位还是1)   浮点型:以float类型表示            注意一下,这八位指数实际上是(127...

JVM——JVM大厂面试问题与解答

JVM——JVM大厂面试问题与解答

摘要 本博文主要分享在JVM中的大厂面试问题。总结相关面试问题与yu解答。帮助大家更好的学习与理解JVM的原理。同时也是分享一些有关于JVM实战的经验,帮助大家在工作中排查错误。 一、JVM的内存模型 1.1 JVM1.8内存模型 1.2 JVM内存模型中...

jvm性能调优实战 - 31从测试到上线

jvm性能调优实战 - 31从测试到上线

文章目录 Pre 开发好系统之后的预估性优化 系统压测时的JVM优化 对线上系统进行JVM监控 Pre 前面两篇文章,已经给大家介绍...

java jvm设置

2. 如何分配JVM内存设置: (1)当在命令提示符下启动并使用JVM时(只对当前运行的类Test生效):     java -Xmx128m -Xms64m -Xmn32m -Xss16m Test     (2)当在集...

JVM学习笔记——java内存模型

JVM学习笔记——java内存模型

概述 JVM规范希望定义一套java内存模型(java memory model,JMM),使得java程序在不同的硬件平台下面都能展现出一致的内存访问机制。 java内存模型规定所有变量保存在主内存中,每个线程有自己的工作内存。线程的工作内存中保存了该线程使用到的变量的主内存拷...

JVM-五大区

JVM-五大区

Java程序执行流程: 谈一谈Java内存区域的划分实际上是指JVM内存区域的划分,首先Java先介绍一下Java程序具体执行的过程 如上图所示,首先Java源代码们(.java后缀)会被Java编译器编译为字节码文件(.class后缀),然...

jvm查看full gc频率

jdk版本1.8 查看java进程 ]#jps 24019 user.jar 25885 Jps 26958 Main 目标进程24019 监控jvm,每5秒打印一次 ]# jstat -gc 24019 5000 S0C S...

浅析JVM(一)

浅析JVM(一)

算是对自己最近这段时间学习JVM的一个总结吧。 不说废话,开整!   一、Java虚拟机的内存模型 首先,我们创建一个简单类: public class HelloWorld { public static void main(Stri...

发表评论

访客

◎欢迎参与讨论,请在这里发表您的看法和观点。