栈帧之操作数栈(Operand Stack)和动态链接(Dynamic Linking)解读(上)

简介: 栈帧之操作数栈(Operand Stack)和动态链接(Dynamic Linking)解读

操作数栈

概念

每一个独立的栈帧除了包含局部变量表以外,还包含一个后进先出(Last-In-First-Out)的 操作数栈,也可以称之为表达式栈(Expression Stack)

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

  • 某些字节码指令将值压入操作数栈,其余的字节码指令将操作数取出栈。使用它们后再把结果压入栈
  • 比如:执行复制、交换、求和等操作

代码举例

1. public void testAddOperation(){
2. byte i = 15; 
3. int j = 8; 
4. int k = i + j;
5. }

字节码指令信息

1. public void testAddOperation(); 
2.     Code:
3. 0: bipush 15
4. 2: istore_1 
5. 3: bipush 8
6. 5: istore_2 
7. 6:iload_1 
8. 7:iload_2 
9. 8:iadd
10. 9:istore_3 
11. 10:return

0:将15进入操作数栈

2:将15进入局部变量表

3:将8进入操作数栈

5:将15进入局部变量表

6 7: 将15和8进入操作数栈

8:对二者进行运算放在操作数栈

9:将二者的运算结果进入局部变量表

分析

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

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

每一个操作数栈都会拥有一个明确的栈深度用于存储数值,其所需的最大深度在编译期就定义好了,保存在方法的Code属性中,为max_stack的值。

栈中的任何一个元素都是可以任意的Java数据类型

  • 32bit的类型占用一个栈单位深度
  • 64bit的类型占用两个栈单位深度

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

如果被调用的方法带有返回值的话,其返回值将会被压入当前栈帧的操作数栈中,并更新PC寄存器中下一条需要执行的字节码指令。

操作数栈中元素的数据类型必须与字节码指令的序列严格匹配,这由编译器在编译器期间进行验证,同时在类加载过程中的类检验阶段的数据流分析阶段要再次验证。

另外,我们说Java虚拟机的解释引擎是基于栈的执行引擎,其中的栈指的就是操作数栈。

图解代码追踪

1. public void testAddOperation() {
2.     byte i = 15;
3.     int j = 8;
4.     int k = i + j;
5. }

使用javap 命令反编译class文件:javap -v 类名.class

1. public void testAddoperation(); 
2.    Code:
3.  0: bipush 15
4.  2: istore_1 
5.  3: bipush 8
6.  5: istore_2
7.  6: iload_1
8.  7: iload_2
9.  8: iadd
10.   9: istore_3
11. 10: return

栈顶缓存技术(Top Of Stack Cashing)技术

前面提过,基于栈式架构的虚拟机所使用的零地址指令更加紧凑,但完成一项操作的时候必然需要使用更多的入栈和出栈指令,这同时也就意味着将需要更多的指令分派(instruction dispatch)次数和内存读/写次数。

由于操作数是存储在内存中的,因此频繁地执行内存读/写操作必然会影响执行速度。为了解决这个问题,HotSpot JVM的设计者们提出了栈顶缓存(Tos,Top-of-Stack Cashing)技术,将栈顶元素全部缓存在物理CPU的寄存器中,以此降低对内存的读/写次数,提升执行引擎的执行效率。

动态链接(Dynamic Linking)

概念

动态链接、方法返回地址、附加信息 : 有些地方被称为帧数据区

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

在Java源文件被编译到字节码文件中时,所有的变量和方法引用都作为符号引用(Symbolic Reference)保存在class文件的常量池里。比如:描述一个方法调用了另外的其他方法时,就是通过常量池中指向方法的符号引用来表示的,那么动态链接的作用就是为了将这些符号引用转换为调用方法的直接引用。


相关文章
|
缓存 关系型数据库 MySQL
MySQL Binlog--事务日志和BINLOG落盘参数对磁盘IO的影响
MySQL Binlog--事务日志和BINLOG落盘参数对磁盘IO的影响
323 0
|
移动开发 安全 物联网
HaaS100低功耗蓝牙体验
HaaS100主芯片是一块高性能SoC,其内置了蓝牙4.2双模芯片,支持BLE低功耗蓝牙。HaaS100的提供低功耗蓝牙host协议栈组件---ble_host。 ble_host组件支持BLE低功耗蓝牙的中心与外设角色,支持GATT连接与数据交互的同时也支持SMP安全机制以增强安全性,另外蓝牙标准profile诸如电池服务(BAS),设备信息服务(DIS),人机交互服务(HIDS)等等也都已集成,属于功能完备的蓝牙Host协议栈。
HaaS100低功耗蓝牙体验
|
3月前
|
存储 SQL Cloud Native
热烈祝贺 Flink 2.0 存算分离入选 VLDB 2025
Apache Flink 2.0架构实现重大突破,论文《Disaggregated State Management in Apache Flink® 2.0》被VLDB 2025收录。该研究提出解耦式状态管理架构,通过异步执行框架与全新存储引擎ForSt,实现状态与计算分离,显著提升扩展性、容错能力与资源效率,推动Flink向云原生演进,开启流计算新时代。
622 1
热烈祝贺 Flink 2.0 存算分离入选 VLDB 2025
|
8月前
|
SQL 数据可视化 BI
VeryReport和FastReport两款报表软件深度分析对比
VeryReport和FastReport两款报表软件深度分析对比
|
10月前
|
搜索推荐 数据挖掘 双11
淘宝运营进阶秘籍:从业余到专业
淘宝运营涉及市场分析、产品定位、店铺装修、营销推广、客户服务、数据分析等多环节。要脱颖而出,需掌握进阶秘籍。本文从精准定位、店铺装修、定价策略、流量获取、客户服务、数据分析及跨平台合作七大方面深入探讨,助商家实现从平凡到卓越的蜕变。通过目标受众分析、优化店铺形象、合理定价、多种促销手段、提升客户体验、利用数据反馈调整策略以及拓展销售渠道,商家可逐步提升运营能力,在竞争激烈的电商环境中取得成功。
1255 4
|
10月前
|
算法 UED
如何利用体育直播平台进行内容变现
随着互联网的发展,体育赛事的商业化日益多元化,成为推动体育行业发展的关键动力。熊猫比分体育赛事直播平台凭借精准的商业模式和运营策略,在行业中脱颖而出。其直播运营、私域变现和专家推荐等功能,不仅提升了用户体验,还实现了高效变现。通过熊猫比分提供的成熟源码,搭建和运营效率显著提高,助力平台在体育市场中占据一席之地。
354 13
|
人工智能 测试技术 iOS开发
微软Phi-3,3.8亿参数能与Mixtral 8x7B和GPT-3.5相媲美,量化后还可直接在IPhone中运行
Phi-3系列是微软推出的一系列高效语言模型,旨在在移动设备上实现高性能。该系列包括 Phi-3-mini(38亿参数)、Phi-3-small 和 Phi-3-medium,它们在保持紧凑的同时,性能媲美GPT-3.5和Mixtral。模型通过精心筛选的数据集和优化训练策略,如数据最优化和阶段训练,实现高效能。 Phi-3-mini可在iPhone 14上运行,占用约1.8GB内存。这些模型在多个基准测试中展现出色性能,推动了AI在移动设备上的应用,增强了用户隐私和体验。虽然目前仅发布技术报告,但源代码和权重即将开放下载。
353 1
|
消息中间件 Cloud Native Java
带你读《2022龙蜥社区全景白皮书》——5.4.2 Alibaba Dragonwell
带你读《2022龙蜥社区全景白皮书》——5.4.2 Alibaba Dragonwell
448 91
|
SQL 新零售 移动开发
分享77个Java源码,总有一款适合您
分享77个Java源码,总有一款适合您
642 0
|
机器学习/深度学习 算法
基于粒子群优化算法的BP神经网络预测模型(Matlab代码实现)
基于粒子群优化算法的BP神经网络预测模型(Matlab代码实现)
331 0