【JVM】从i++到JVM栈帧

2024-04-27 11:36
文章标签 java jvm 栈帧

本文主要是介绍【JVM】从i++到JVM栈帧,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

【JVM】从i++到JVM栈帧

本篇博客将用两个代码例子,简单认识一下JVM与栈帧结构以及其作用

从i++与++i说起

先不急着看i++和++i,我们来看看JVM虚拟机(请看VCR.JPG)

我们初学JAVA的时候一定都听到过JAVA“跨平台”的特性,也就是说,我们的代码可以直接在windows上运行,也可以直接在Linux上运行,而这种特性与虚拟机(也就是JVM)息息相关。

image-20240426203210582

那么JVM这么强大,其内部内存结构是怎样的?笔者将在后面向大家简单介绍。

光知道跨平台与JVM息息相关,便足够了吗?

​ ——鲁迅

正如鲁迅所说,写程序不能只知其然而不知其所以然,我们来看看JVM的内存模型(运行时数据区)。

image-20240426205754646

由于篇幅限制(其实是笔者没学过),本篇博客将会暂时忽略其中的部分内容,重点将会放在虚拟机栈,即栈帧的介绍中。

浅析运行时数据区各个功能区的作用

1. 堆(Heap)

堆是JVM中最大的一块内存区域,主要用于存储所有类实例(对象)和数组。

2. 方法区(Method Area)

方法区是所有线程共享的内存区域,用于存储每个类的结构如运行时常量池、字段和方法数据、构造函数和普通方法的字节码内容。它类似于永久代,但是随着时间的推移,它已经和永久代分开,并且可以是堆的一个逻辑部分,也可以是虚拟机自己的内存(非堆)。

3. 虚拟机栈(Stack)

Java虚拟机的栈是一组私有的执行栈,每个线程有自己的执行栈。每个方法执行的同时都会创建一个栈帧用于存储局部变量表, 操作数栈, 动态链接, 方法返回等信息。一个 Java 方法从调用到执行完的过程, 就对应着一个栈帧从虚拟机栈入栈到出栈的过程。

4. 程序计数器(Program Counter Register)

程序计数器是一块较小的内存空间,它存储当前线程正在执行的字节码的地址,即当前指令的地址。

5. 本地方法栈(Native Method Stack)

本地方法栈用于存储本地方法(如用C或C++编写的方法)的局部变量和参数。它与Java栈类似,其区别只是虚拟机栈为 JVM 执行 Java 方法服务, 而本地方法栈则是为虚拟机使用到的本地 (Native) 方法服务

栈帧

还记得我们刚刚略过的i++吗,现在回到正题,我们都知道i++与++i的机制:

  • i++:首先返回i的当前值,然后i的值加1。
  • ++i:先将i的值加1,然后返回新值。

为了理解i++++i在JVM层面的实现,我们需要了解JVM栈帧的结构。当一个方法被调用时,JVM为这个方法创建一个栈帧,它包含了以下关键部分:

  1. 局部变量表
  2. 操作数栈
  3. 动态链接
  4. 方法返回地址
  5. 附加信息

我们先简单从字面意义上了解一下前两个部分的作用。

局部变量表:主要用于存储方法参数和定义在方法体内的局部变量。

操作数栈:主要用于保存计算过程的中间结果,同时作为计算过程中变量临时的存储空间。相当于一个工作区。

以下内容配图观看(以i++为例):

image-20240426212511587

而后压一个1进入操作数栈中,执行加一操作。

image-20240426212552157

最后将i值赋值回局部变量表中。

image-20240426212635740

i++

对于后缀递增操作,JVM需要先提供变量i的当前值,然后再将其值增加一。在栈帧层面,这通常意味着以下步骤:

  1. 加载变量:将变量i的值加载到操作数栈上。
  2. 返回当前值:由于需要返回当前值,因此这一步加载的值就是表达式i++的值。
  3. 增加一:将一个常量1推送到操作数栈上,然后执行iadd(整数加法)指令,将i的值与1相加。
  4. 存储结果:将加法的结果存储回局部变量表中的i

在字节码层面,可能是这样:

iload_0       // 加载局部变量i到栈上
dup            // 复制栈顶的值(i的当前值)
iconst_1       // 将常量1压入栈
iadd           // 执行加法操作,栈顶的两个整数相加
istore_0       // 将相加的结果存储回局部变量i

++i

对于前缀递增操作,JVM首先将i的值增加一,然后再提供新值。这在字节码层面的实现通常如下:

  1. 加载变量:将变量i的值加载到操作数栈上。
  2. 增加一:将一个常量1推送到操作数栈上,然后执行iadd指令,将i的值与1相加。
  3. 存储结果:将加法的结果存储回局部变量表中的i
  4. 返回新值:此时,操作数栈上的值已经是增加后的值,可以直接使用。

对应的字节码可能如下:

iload_0       // 加载局部变量i到栈上
iconst_1       // 将常量1压入栈
iadd           // 执行加法操作
istore_0       // 将相加的结果存储回局部变量i

Java栈帧

小栗子(finally)

我们再来看一个小栗子:

image-20240426213609990

不是这个,是这个:

image-20240426213636409

注:这段代码示例借鉴自:

【Java】异常基本知识点-CSDN博客

我们知道try-catch-finally模板主要用于异常的抓取,如果try块中识别到异常,则执行catch块中的代码,而无论有无异常,都会执行finally块。

这段代码首先将10传入number方法中,而后进入try语句块,发现并未捕捉到异常,正想要返回,却发现还有个finally语句,于是跳转至finally语句,执行两行语句之后,欣然返回main方法。

目前看来,执行的顺序大概是这样:

image-20240426214419185

这时问题出现了,最后print出的num应该是多少?如果从执行顺序来看,似乎应该是11,毕竟是先执行的++num,再运行的return num。

不卖关子,直接运行。

image-20240426214110587

这是为什么呢?疑惑龙.jpg:

image-20240426214543911

掏出我们刚学的栈帧,来看看这段代码:

main方法的栈帧
  1. 方法调用main方法调用number(10)方法。
  2. 创建栈帧:JVM为number方法创建一个新的栈帧。
  3. 参数传递number方法的参数num被设置为10,并存储在新栈帧的局部变量表中。
number方法的栈帧
  1. 局部变量表num的初始值设置为10。
  2. 操作数栈System.out.println("开始")执行,将字符串"开始"推送到操作数栈上,随后调用系统输出方法。
  3. 返回值return num;执行,num的值(10)被推送到操作数栈上,准备返回给main方法。
catch

尽管number方法中有一个try-catch语句,但在这个例子中,并没有抛出NumberFormatException,因此catch块不会被执行。

finally
  1. 执行finally:无论是否发生异常,finally块中的代码都会执行。
  2. 局部变量更新++num;执行,num的值从10增加到11,但这个改变只在number方法的栈帧中有效。
返回main方法
  1. 方法返回number方法返回,操作数栈上的返回值(10)传递给main方法。
  2. 输出结果main方法中的System.out.println使用这个返回值打印"num = 10"。
  3. finally块完成:尽管main方法已经接收到返回值,但number方法的finally块仍然会执行,输出"运行完成"。

正式介绍一下栈帧

由于笔者才疏学浅,对动态链接具体的机制不甚清楚,故而放到日后的博客中详细记述。

把上面的栈帧结构搬过来~

  1. 局部变量表(Local Variables)
  2. 操作数栈(Operand Stack)
  3. 动态链接(Dynamic Linking)
  4. 方法返回地址(Return Address)
  5. 附加信息

img

局部变量表

局部变量表也被称为局部变量数组或本地变量表。

定义为一个数字数组,主要用于存储方法参数和定义在方法体内的局部变量。

操作数栈

操作数栈,也可称为表达式栈,它是存放字节码操作指令的栈,存在于每一个独立的栈帧中。

在方法执行过程中,根据字节码指令,往栈中写入数据或提取数据,即入栈(push)/出栈(pop)。

某些字节码指令将值压入操作数栈,其余的字节码指令将操作数取出栈。使用它们之后再把结果压入栈。

比如:执行复制、交换、求和等操作。

注:

· 操作数栈,主要用于保存计算过程的中间结果,同时作为计算过程中变量临时的存储空间。

· 操作数栈就是JVM执行引擎的一个工作区,当一个方法刚开始执行的时候,一个新的栈帧也会随之被创建出来,这个方法的操作数栈是空的。

· 操作数栈并非采用访问索引的方式来进行数据访问,而是只能通过标准的入栈和出栈操作来完成一次数据访问。

动态链接

每一个栈帧内部都包含一个指向运行时常量池中该栈帧所属方法的引用。包含这个引用的目的就是为了支持当前方法的代码能够实现动态链接。

在Java源文件被编译到字节码文件中时,所有的变量和方法引用都作为符号引用(Symbolic Reference)保存在class文件的常量池里

比如:描述一个方法调用了另外的其他方法时,就是通过常量池中指向方法的符号引用来表示的,那么动态链接的作用就是为了将这些符号引用转换为调用方法的直接引用。

方法返回地址

存储下一条指令的地址:当一个方法被调用时,JVM会将调用下一条指令的地址压入调用者方法的栈帧中。这个地址是方法调用后应该继续执行的地方。

方法返回时恢复执行:当方法执行完毕并准备返回时,JVM会从当前栈帧中弹出返回地址,并将其放入程序计数器(Program Counter Register)中。这样,当控制权从当前方法返回到调用者方法时,JVM就知道接下来应该执行哪一条指令。

方法返回的两种方式:

1)执行引擎遇到任意一个方法返回的指令(return),会有返回值传递给上层的方法调用者,简称正常完成出口

2)在方法执行的过程中遇到了异常(Exception),如果有异常处理器,则交给异常处理器,如果无,则抛出异常简称异常完成出口

结语

笔者对栈帧,对JVM的理解仍有许多不足之处,光是落笔的当下,就会生出许多问题,例如:动态链接机制是如何实现的?是否存在静态链接?GC垃圾回收机制如何实现,何为新生代和老生代?期待在日后的学习中,能自己一一解决。

参考资料:

一起来边打扫卫生边学习JVM运行时数据区_哔哩哔哩_bilibili

JVM-用栈帧来炼制i++丹药_哔哩哔哩_bilibili

Java高级面试题:栈帧结构以及动态链接是什么?_哔哩哔哩_bilibili

这篇关于【JVM】从i++到JVM栈帧的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/940398

相关文章

JVM 的类初始化机制

前言 当你在 Java 程序中new对象时,有没有考虑过 JVM 是如何把静态的字节码(byte code)转化为运行时对象的呢,这个问题看似简单,但清楚的同学相信也不会太多,这篇文章首先介绍 JVM 类初始化的机制,然后给出几个易出错的实例来分析,帮助大家更好理解这个知识点。 JVM 将字节码转化为运行时对象分为三个阶段,分别是:loading 、Linking、initialization

Spring Security 基于表达式的权限控制

前言 spring security 3.0已经可以使用spring el表达式来控制授权,允许在表达式中使用复杂的布尔逻辑来控制访问的权限。 常见的表达式 Spring Security可用表达式对象的基类是SecurityExpressionRoot。 表达式描述hasRole([role])用户拥有制定的角色时返回true (Spring security默认会带有ROLE_前缀),去

浅析Spring Security认证过程

类图 为了方便理解Spring Security认证流程,特意画了如下的类图,包含相关的核心认证类 概述 核心验证器 AuthenticationManager 该对象提供了认证方法的入口,接收一个Authentiaton对象作为参数; public interface AuthenticationManager {Authentication authenticate(Authenti

Spring Security--Architecture Overview

1 核心组件 这一节主要介绍一些在Spring Security中常见且核心的Java类,它们之间的依赖,构建起了整个框架。想要理解整个架构,最起码得对这些类眼熟。 1.1 SecurityContextHolder SecurityContextHolder用于存储安全上下文(security context)的信息。当前操作的用户是谁,该用户是否已经被认证,他拥有哪些角色权限…这些都被保

Spring Security基于数据库验证流程详解

Spring Security 校验流程图 相关解释说明(认真看哦) AbstractAuthenticationProcessingFilter 抽象类 /*** 调用 #requiresAuthentication(HttpServletRequest, HttpServletResponse) 决定是否需要进行验证操作。* 如果需要验证,则会调用 #attemptAuthentica

Spring Security 从入门到进阶系列教程

Spring Security 入门系列 《保护 Web 应用的安全》 《Spring-Security-入门(一):登录与退出》 《Spring-Security-入门(二):基于数据库验证》 《Spring-Security-入门(三):密码加密》 《Spring-Security-入门(四):自定义-Filter》 《Spring-Security-入门(五):在 Sprin

Java架构师知识体认识

源码分析 常用设计模式 Proxy代理模式Factory工厂模式Singleton单例模式Delegate委派模式Strategy策略模式Prototype原型模式Template模板模式 Spring5 beans 接口实例化代理Bean操作 Context Ioc容器设计原理及高级特性Aop设计原理Factorybean与Beanfactory Transaction 声明式事物

Java进阶13讲__第12讲_1/2

多线程、线程池 1.  线程概念 1.1  什么是线程 1.2  线程的好处 2.   创建线程的三种方式 注意事项 2.1  继承Thread类 2.1.1 认识  2.1.2  编码实现  package cn.hdc.oop10.Thread;import org.slf4j.Logger;import org.slf4j.LoggerFactory

JAVA智听未来一站式有声阅读平台听书系统小程序源码

智听未来,一站式有声阅读平台听书系统 🌟 开篇:遇见未来,从“智听”开始 在这个快节奏的时代,你是否渴望在忙碌的间隙,找到一片属于自己的宁静角落?是否梦想着能随时随地,沉浸在知识的海洋,或是故事的奇幻世界里?今天,就让我带你一起探索“智听未来”——这一站式有声阅读平台听书系统,它正悄悄改变着我们的阅读方式,让未来触手可及! 📚 第一站:海量资源,应有尽有 走进“智听

在cscode中通过maven创建java项目

在cscode中创建java项目 可以通过博客完成maven的导入 建立maven项目 使用快捷键 Ctrl + Shift + P 建立一个 Maven 项目 1 Ctrl + Shift + P 打开输入框2 输入 "> java create"3 选择 maven4 选择 No Archetype5 输入 域名6 输入项目名称7 建立一个文件目录存放项目,文件名一般为项目名8 确定