JVM_4_字节码指令

最新推荐文章于 2024-07-24 21:47:59 发布
最新推荐文章于 2024-07-24 21:47:59 发布
阅读量485 收藏 1
点赞数 2
分类专栏： jvm 文章标签： java jvm
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Fine____/article/details/120476676
版权

字节码指令

入门

接着上一节，研究一下两组字节码指令，一个是

public cn.itcast.jvm.t5.HelloWorld(); 构造方法的字节码指令

image-20210917110912675

  1. 2a => aload_0 加载 slot 0 的局部变量，即 this，做为下面的 invokespecial 构造方法调用的参数

  2. b7 => invokespecial 预备调用构造方法，哪个方法呢？

  3. 00 01 引用常量池中 #1 项，即【 Method java/lang/Object.""😦)V 】

  4. b1 表示返回

另一个是 public static void main(java.lang.String[]); 主方法的字节码指令

image-20210917111213650

  1. b2 => getstatic 用来加载静态变量，哪个静态变量呢？

  2. 00 02 引用常量池中 #2 项，即【Field java/lang/System.out:Ljava/io/PrintStream;】

  3. 12 => ldc 加载参数，哪个参数呢？

  4. 03 引用常量池中 #3 项，即 【String hello world】

  5. b6 => invokevirtual 预备调用成员方法，哪个方法呢？

  6. 00 04 引用常量池中 #4 项，即【Method java/io/PrintStream.println:(Ljava/lang/String;)V】

  7. b1 表示返回

请参考

https://docs.oracle.com/javase/specs/jvms/se8/html/jvms-6.html#jvms-6.5

javap工具

image-20210923153557134

image-20210923153623601

image-20210923153708752

图解方法执行流程

原始java代码

image-20210924111210754

编译后的字节码文件

image-20210924111241397

image-20210924111316540

image-20210924111340332

image-20210924111409302

常量池载入运行时常量池

image-20210924111440781

方法字节码载入方法区

image-20210924111506534

main线程开始运行，分配栈帧内存

（stack=2，local=4）

image-20210924111608159

  • stack 操作数栈深度，即只允许栈内两个操作数
  • local即本地变量表，即能为本地变量分配四个槽位

执行引擎开始执行字节码

bipush10

  • 将一个 byte 压入操作数栈（其长度会补齐 4 个字节），类似的指令还有

  • sipush 将一个 short 压入操作数栈（其长度会补齐 4 个字节）

  • ldc 将一个 int 压入操作数栈

  • ldc2_w 将一个 long 压入操作数栈（分两次压入，因为 long 是 8 个字节）

  • 这里小的数字都是和字节码指令存在一起，超过 short 范围的数字存入了常量池

image-20210924112034863

istore_1

  • 将操作数栈顶数据弹出，存入局部变量表的 slot 1

image-20210924112215894

image-20210924112234290

ldc #3

  • 从常量池加载 #3 数据到操作数栈

  • 注意 Short.MAX_VALUE 是 32767，所以 32768 = Short.MAX_VALUE + 1 实际是在编译期间计算好的

image-20210924112356501

istore_2

image-20210924112955648

iload_1

image-20210924113031356

iload_2

image-20210924113108640

iadd

image-20210924113139808

istore_3

image-20210924113229028

getstatic #4

image-20210924113302422

image-20210924113321963

iload_3

image-20210924113350170

invokevirtual #5

  • 找到常量池 #5 项

  • 定位到方法区 java/io/PrintStream.println:(I)V 方法

  • 生成新的栈帧（分配 locals、stack等）

  • 传递参数，执行新栈帧中的字节码

image-20210924113452774

  • 执行完毕，弹出栈帧

  • 清除 main 操作数栈内容

image-20210924113515490

return

  • 完成 main 方法调用，弹出 main 栈帧

  • 程序结束

练习：分析i++

源码

image-20210924165626742

字节码

image-20210924165651480

image-20210924165704812

分析

  • 注意 iinc 指令是直接在局部变量 slot 上进行运算

  • a++ 和 ++a 的区别是先执行 iload 还是 先执行 iinc

image-20210924165807165

image-20210924165908486

image-20210924170057846

image-20210924170221454

image-20210924170548957

image-20210924170650885

image-20210924170740778

image-20210924170906586

image-20210924170954460

image-20210924171036917

image-20210924171109858

条件判断指令

二进制字节码含义
0x99ifeq判断是否 == 0
0x9aifne判断是否 !=0
0x9biflt判断是否 < 0
0x9cifge判断是否 >= 0
0x9difgt判断是否 > 0
0x9eifle判断是否 <= 0
0x9fif_icmpeq两个int是否 ==
0xa0if_icmpne两个int是否 !=
0xa1if_icmplt两个int是否 <
0xa2if_icmpge两个int是否 >=
0xa3if_icmpgt两个int是否 >
0xa4if_icmple两个int是否 <=
0xa5if_acmpeq两个引用是否 ==
0xa6if_acmpne两个引用是否 !=
0xc6ifnull判断是否 == null
0xc7ifnonnull判断是否 != null

几点说明：

  • byte，short，char 都会按 int 比较，因为操作数栈都是 4 字节

  • goto 用来进行跳转到指定行号的字节码

源码

image-20210925105301625

字节码

image-20210925105352387

循环控制指令

while循环

源码

image-20210925105448736

字节码

image-20210925105516430

do while循环

源码

image-20210925105600444

字节码

image-20210925110919606

  • 之前案例的a++先iload在iinc，是因为在自增之前有赋值操作，需要放如操作数栈
  • a = a++，由于先有 = 的赋值操作，所以先把a的值放到操作数栈，iload，iinc
  • 此处只是a++，所以只是iinc
  • 只是由于后面有 < 比较操作，所以有iload操作

for循环

源码

image-20210925105642347

for循环字节码

image-20210925105657311

注意

比较 while 和 for 的字节码，你发现它们是一模一样的，殊途也能同归

练习-判断结果

源码

image-20210925105819870

  • x = 0，会将0赋值给x所在本地变量表的某个槽位
  • 由于是x++，所以是先把x的值从槽位拷贝到操作数栈；然后x再在槽位上执行自增变成1
  • 在操作数栈中，对x进行赋值操作 x = x++，操作数栈中x++的值是0，再重新赋值给x
  • x的值从自增的1，被赋值操作覆盖成了0
  • 所以不管循环赋值多少次，都是0

构造方法

< cinit >()V

静态代码块和静态成员变量的初始化

image-20210925162751694

编译器会按从上至下的顺序，收集所有 static 静态代码块和静态成员赋值的代码，合并为一个特殊的方法 < cinit >()V ：

image-20210925162904136

< cinit >()V 方法会在类加载的初始化阶段被调用

< init >()V

代码块和成员变量初始化

image-20210925163022085

image-20210925163034579

编译器会按从上至下的顺序，收集所有 {} 代码块和成员变量赋值的代码，形成新的构造方法，但原始构造方法内的代码总是在最后

image-20210925163202818

方法调用

image-20210925163503713

字节码

image-20210925163526434

  • new 是创建【对象】，给对象分配堆内存，执行成功会将【对象引用】压入操作数栈

  • dup 是赋值操作数栈栈顶的内容，本例即为【对象引用】，为什么需要两份引用呢，一个是要配合 invokespecial 调用该对象的构造方法 “< init >”😦)V （会消耗掉栈顶一个引用），另一个要配合 astore_1 赋值给局部变量

  • 最终方法（final），私有方法（private），构造方法都是由 invokespecial 指令来调用，属于静态绑定

  • 普通成员方法是由 invokevirtual 调用，属于动态绑定，即支持多态

  • 成员方法与静态方法调用的另一个区别是，执行方法前是否需要【对象引用】

  • 比较有意思的是 d.test4(); 是通过【对象引用】调用一个静态方法，可以看到在调用invokestatic 之前执行了 pop 指令，把【对象引用】从操作数栈弹掉了

  • 还有一个执行 invokespecial 的情况是通过 super 调用父类方法

多态的原理

image-20210925170159436

1）运行代码

停在 System.in.read() 方法上，这时运行 jps 获取进程 id

2）运行 HSDB 工具

进入 JDK 安装目录，执行

java -cp ./lib/sa-jdi.jar sun.jvm.hotspot.HSDB

进入图形界面 attach 进程 id

3）查找某个对象

打开 Tools -> Find Object By Query

输入 select d from cn.itcast.jvm.t3.bytecode.Dog d 点击 Execute 执行

image-20210925170422238

4）查看对象内存结构

点击超链接可以看到对象的内存结构，此对象没有任何属性，因此只有对象头的 16 字节，前 8 字节是MarkWord，后 8 字节就是对象的 Class 指针，但目前看不到它的实际地址

image-20210925170554237

5）查看对象 Class 的内存地址

可以通过 Windows -> Console 进入命令行模式，执行

mem 0x00000001299b4978 2

mem 有两个参数，参数 1 是对象地址，参数 2 是查看 2 行（即 16 字节）

结果中第二行 0x000000001b7d4028 即为 Class 的内存地址

image-20210925170802243

6）查看类的 vtable

  • 方法1：Alt+R 进入 Inspector 工具，输入刚才的 Class 内存地址，看到如下界面

image-20210925170842197

  • 方法2：或者 Tools -> Class Browser 输入 Dog 查找，可以得到相同的结果

image-20210925170914079

无论通过哪种方法，都可以找到 Dog Class 的 vtable 长度为 6，意思就是 Dog 类有 6 个虚方法（多态相关的，fifinal，static 不会列入）

那么这 6 个方法都是谁呢？从 Class 的起始地址开始算，偏移 0x1b8 就是 vtable 的起始地址，进行计算得到：

image-20210925170950898

通过 Windows -> Console 进入命令行模式，执行

mem 0x000000001b7d41e0 6

image-20210925171027439

就得到了 6 个虚方法的入口地址

7）验证方法地址

通过 Tools -> Class Browser 查看每个类的方法定义，比较可知

image-20210925171108398

对号入座，发现

  • eat() 方法是 Dog 类自己的

  • toString() 方法是继承 String 类的

  • fifinalize() ，equals()，hashCode()，clone() 都是继承 Object 类的

8）小结

当执行 invokevirtual 指令时，

  1. 先通过栈帧中的对象引用找到对象

  2. 分析对象头，找到对象的实际 Class

  3. Class 结构中有 vtable，它在类加载的链接阶段就已经根据方法的重写规则生成好了

  4. 查表得到方法的具体地址

  5. 执行方法的字节码

异常处理

try-catch

源码

image-20210925193148430

字节码

image-20210925193304497

image-20210925193317991

  • 可以看到多出来一个 Exception table 的结构，[from, to) 是前闭后开的检测范围，一旦这个范围内的字节码执行出现异常，则通过 type 匹配异常类型，如果一致，进入 target 所指示行号
  • 8 行的字节码指令 astore_2 是将异常对象引用存入局部变量表的 slot 2 位置

多个single-catch块的情况

源码

image-20210925193411730

字节码

image-20210925193438077

image-20210925193450388

  • 因为异常出现时，只能进入 Exception table 中一个分支，所以局部变量表 slot 2 位置被共用

multi-catch的情况

源码

image-20210925193530484

字节码

image-20210925193553253

image-20210925193605329

finally

源码

image-20210925193627842

字节码

image-20210925193652990

image-20210925193705582

可以看到 fifinally 中的代码被复制了 3 份，分别放入 try 流程，catch 流程以及 catch 剩余的异常类型流程

练习-finally面试题

finally出现了return

源码

image-20210925193812575

  • 输出20

字节码

image-20210925193839362

image-20210925193851730

  • 输出20

  • 由于 finally 中的 ireturn 被插入了所有可能的流程，因此返回结果肯定以 finally 的为准

  • 至于字节码中第 2 行，似乎没啥用，且留个伏笔，看下个例子

  • 跟上例中的 fifinally 相比，发现没有 athrow 了，这告诉我们：如果在 fifinally 中出现了 return，会吞掉异常，可以试一下下面的代码

image-20210925193952176

finally对返回值的影响

源码

image-20210925194018660

字节码

image-20210925194154627

synchronized

源码

image-20210925194245536

  • 如何保证synchronize在遇到异常时也能正常解锁（通过异常处理）

字节码

image-20210925194342854

image-20210925194405057

奥义喷火恐龙
关注
  • 2
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
JVM字节码指令
cl66666666的博客
12-31 211
JVM字节码指令 字节码指令简介 Java虚拟机的指令由一个字节长度的，代表着某种特定操作含义的数字，称之为操作码，以及跟随其后的零至多个代表此操作所需参数的操作数而构成。 操作码的长度为1个字节，因此最大只有256条 基于栈的指令集架构 基于栈指令 0:iconst_1; 1:iconst_1; 2:iadd; 3:ireturn; 字节码与数据类型 在虚拟机的指令集中，大多数的指令都包含了其操作所对应的数据类型信息。 iload 将局部变量量表中int类型数据加载到操作数栈中 大多
JVM-字节码执行
birdswillbecomdragon的博客
04-29 148
物理机执行引擎直接建立在处理器、缓存、指令集和操作系统层面上的，而虚拟机的执行体系是由软件自行实现的，因此不受物理机条件制约地定制指令集与执行引擎的结构体系，能够执行那些不被硬件直接支持的指令集格式。在不同的虚拟机实现中，执行引擎在执行字节码的时候，通常会有解释执行（通过解释器执行）和编译执行（通过即时编译器产生本地代码执行）。最终输出的结果是一致的：字节码二进制流。 运行时栈帧结构 jvm...
汇编dup指令
热门推荐
wyyy2088511的博客
07-23 1万+
dup 要与dd，dw，db配合使用，用来重复定义数据 例子： db 3 dup (0) 定义了3个字节，它们都是0，相当于 db 0,0,0 db 3 dup (0,1,2) 定义了9个字节，它们是0、1、2、0、1、2、0、1、2 相当于 db 0,1,2,0,1,2,0,1,2 db 3 dup('abc','ABC') 定义了18个字符，它们是 ‘abcABCabcABCabcABC’ 相当于 db ‘abcABCabcABCabcABC’ ...
汇编指令 DUP指令
꧁༺ʚvv༒catɞ༻꧂的博客
06-17 7836
复制操作符DUP可以定义重复变量，其格式为： 变量名 伪指令指示符 nDUP(操作数) ; 其中 n 为重复变量的个数 例如：用重复操作符DUP定义变量。 assume cs:code, ds:data, ss:stack data segment db 100 dup(0) db 100 dup('12') dw 100 dup('1') db 256 dup(0) data ends stack segment stack db 128
java虚拟机指令dup的理解
yygr的博客
01-17 1651
参考：https://www.cnblogs.com/CLAYJJ/p/7698035.html   dup指令的作用：dup指令可以复制操作数栈栈顶的一个字，再将这个字压入栈。也就是对栈顶的内容做了个备份，此时操作数栈上有连续相同的两个对象地址。 大家知道，JAVA/CLR是完全基于栈的实现，任何操作都是入栈出栈，没有任何寄存器，所以如果要对某一操作数做两次连续操作，那就要复制两次栈顶操作数，比如...
汇编-DUP操作符
lm68140318的博客
11-06 908
DUP操作符使用整数表达式作为计数器， 为多个数据项分配存储空间。
JVM指令手册_jvm指令手册_
10-01
通过深入学习JVM指令，开发者可以更好地理解字节码层面的运行机制，从而编写出更高效、更稳定的Java程序。同时，对于JVM调优、内存泄漏检测、性能瓶颈定位等工作，掌握这些指令的含义和用法也是必不可少的。
JVM.rar_jvm_jvm 实现
09-23
为了实现这个简单的JVM，开发者可能需要定义一套自己的字节码格式，并编写解析器来读取和执行这些指令。此外，还需要构建一个模拟的操作数栈，以进行入栈、出栈和计算操作。同时，为了跟踪程序的执行流程，还需要...
jvm_jvm新手_jvm_
09-29
- **PC寄存器**：保存当前线程正在执行的字节码指令地址。 - **本地方法栈**：为Java方法调用的非Java代码（如C/C++）服务。 2. **垃圾收集（GC）**： - **新生代**：包括Eden和两个Survivor区，主要用于存放新...
java虚拟机指令dup详解
08-29
主要为大家详细介绍了java虚拟机指令dup，具有一定的参考价值，感兴趣的小伙伴们可以参考一下
JVM指令码表.zip
05-23
Java虚拟机（JVM）是Java程序运行的核心，它通过解析和执行字节码来实现程序的运行。字节码是一系列二进制指令，这些指令在类文件中以16进制形式表示，每条指令占据一个或多个字节。`JVM指令码表.zip`包含的`JVM指令...
JVM.rar_jvm_虚拟机
09-24
JVM虚拟机指令集是Java字节码的基石，它由一系列低级、简单的操作码组成，这些操作码负责执行基本的计算和控制任务。每条指令通常对应一个字节，并且有特定的含义和作用。例如： 1. **加载和存储指令**：如`iload`...
《深入理解Java虚拟机》 JAVA 字节码指令 基础
纸上得来终觉浅，绝知此事要躬行
05-18 842
然后调用bispush，将6压到栈顶…iconst 表示加载一个常量，常量的值范围在 -1 ~5 之间，bipush 加载一个字节所能表示的int值，sipush加载两个字节所能表示的int值，ldc 则能加载任意值。Java 虚拟机将局部变量区当成一个数组，如果是实例方法，那么局部变量表这个数组的0号下标位置就是就是this指针，1号下标位置就是 参数，后面依次存放局部变量。因为调用的是实例方法，所以本地变量表序号0的位置上是 this指针，1号上是 方法参数 i,后面依次是方法从上往下的局部变量。
Java虚拟机指令dup
ZERO
08-14 368
转载自：https://blog.csdn.net/Gabriel576282253/article/details/98968241 dup指令的作用：dup指令可以复制操作数栈栈顶的一个字，再将这个字压入栈。也就是对栈顶的内容做了个拷贝，此时操作数栈上有连续相同的两个对象地址。 JAVA是基于栈的实现，任何操作都是入栈出栈，没有任何寄存器，所以如果要对某一操作数做两次连续操作，那就要复制两次栈顶操作数，比如: public void test() { int x;
java指令集-dup
yuan5883052的博客
03-12 770
通过查看api文档，翻译可知： dup指令复制操作数堆栈的顶部值，并将复制的值压入操作数堆栈 dup只能用于操作value是第一类计算类型的值 我们通过一个例子具体学习一下这个指令，如图： 我们新建了一个JMMTest对象，语句为： JMMTest test = new JMMTest(); 对应字节码中的语句为： new #5 <com/xinyun/httpclent/test/jmm/test/JMMTest> dup invokespeci...
dup java_java虚拟机指令dup详解
weixin_35196629的博客
02-13 293
本文实例为大家介绍了java虚拟机指令dup，供大家参考，具体内容如下举个例子：public class ExceptionTest{void cantBeZero(int i) throws Exception{throw new Exception();}}上面代码编译后的字节码指令如下：void cantBeZero(int) throws java.lang.Exception;descr...
汇编语言之dup
qq_29983883的博客
10-23 1万+
dup是一个操作符，在汇编语言中同db,dw,dd等一样，也是汇编器处理的符号，他是同db、dw,dd等数据定义的伪指令配合使用，用来进行数据的重复 db 重复的次数 dup （重复的字节性数据） dw 重复的次数 dup （重复的字型数据） dd 重复的次数 dup （重复的双字性数据） ...
golang 接口
最新发布
m0_70982551的博客
07-24 933
接口定义了一组方法，这些方法没有具体的实现。接口类型的变量可以存储任何实现了这些方法的类型的值。// 更多方法...在Go语言中，接口值是指存储了实现某个接口的具体类型值的变量。接口值由两部分组成：1.动态类型：这是接口值当前存储的实际类型。2.动态值：这是实际存储的值，该值必须实现了接口中定义的所有方法。
JVM字节码执行原理与实践
本文将深入探讨JVM如何执行这些字节码指令，以及如何通过工具进行分析。 首先，让我们看看简单的字节码执行过程。以给出的Calc类的calc方法为例，我们可以看到其字节码如下： ```java 0: sipush 500 3: istore_1 4...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值