JVM指令分析实例一(常量、局部变量、for循环)

Java虚拟机的指令由一个字节长度的、表明着某种特定操做含义的操做码以及跟随其后的零至多个表明此操做所需参数的操做数所构成。虚拟机中许多指令并不包含操做数,只有一个操做码。java

Java虚拟机限制操做码的长度为1个字节,所以最多只能有256个指令。数组

指令格式

如下指令格式,是基于Oracle JDK编译后,经过javap工具生成的指令描述格式。bash

<index> <opcode> [<operand1> [<operand2>...]] [<comment>]
复制代码

<index>工具

指令操做码在方法字节码指令数组中的索引,也能够认为是相对于方法起始处的字节偏移量。其中,指令数组指方法对应的Code属性的code[]数组,该数组用于存放方法的字节码指令。oop

该索引能够做为控制转移指令的跳转目标。例如,goto 8指令表示跳转到索引为8的指令上继续执行。spa

<opcode>3d

指令的操做码助记符。例如,iconst_0、istore_一、iload_1和return等。code

<operandN>cdn

指令操做数,一条指令能够有0至多个操做数。例如,iconst_0没有操做数,bipush有1个操做数,iinc有2个操做数。blog

<comment>

指令行尾的注释。注释内容一般以//开始。

每一行中,表示运行时常量池索引的操做数前,会有一个井号。在指令后的注释中,会带有对这个操做数的描述,例如:

1: invokespecial #8 // Method java/lang/Object."<init>":()V 
10: ldc2_w        #19 // double 100.0d
复制代码

实例分析

如下实例均使用JDK 1.8编译,并使用javap生成字节码指令清单。

代码1

void spin() {
	int i;
	for (i = 0; i < 100; i++) {
		; // Loop body is empty
	}
}
复制代码

字节码指令序列

iinc用于实现局部变量的自增操做。在全部字节码指令中,只有该指令可直接用于操做局部变量。

对于非-1至5的int类型常量(对应指令iconst_N),使用bipush来将单字节常量值推至栈顶。

JVM对int类型提供了比较和跳转相结合的if指令,例如该例子中的if_icmplt指令。而对于long、float和double,则须要先经过各自的cmp比较指令计算出int类型结果,再结合int类型的if指令判断后再进行跳转。

代码2

void dspin() {
	double i;
	for (i = 0.0; i < 100.0; i++) {
		; // Loop body is empty
	}
}
复制代码

字节码指令序列

其中,double类型占用局部变量的2个Slot,局部变量索引号从0开始,所以dstore_1对应的局部变量索引为1和2。

因为iinc只针对int类型进行自增操做,JVM并无提供相应的指令来操做double类型。所以,须要借助dadd来实现double类型的自增操做。

一样,以if开头的比较跳转指令,都只用于int类型。但JVM另外提供了dcmpg、dcmpl来比较两个double类型数值的大小,而后将比较结果(1,0,-1)压入栈顶。最后,再使用int类型的if判断指令来进行判断跳转。

dcmpg与dcmpl的区别仅在于,当比较的其中一个值为NaN时,dcmpg将1压入栈顶,而dcmpl将-1压入栈顶。

ldc相关指令都是将常量值从常量池中推至栈顶。

代码3

void sspin() {
	short i;
	for (i = 0; i < 100; i++) {
		; // Loop body is empty
	}
}
复制代码

字节码指令序列

short类型一样须要经过多条指令来实现i++操做,对应于索引号为5至9的指令。首先,使用iadd实现2个int类型数值相加,再使用i2s指令将int类型结果强制转换为short类型,最后使用istore_1指令将结果存回局部变量i。

对于byte、char和short类型数据,JVM并未提供像int类型同样丰富的直接操做指令。然而,因为byte、char和short类型数据均可以自动宽化转换为int类型,所以都可经过int类型的指令来操做。惟一额外的代价是要将操做结果截短至它们的有效范围内

参考

《Java虚拟机规范》(Java SE 8版)

《深刻理解Java虚拟机 JVM高级特性与最佳实践》

我的公众号

更多文章,请关注公众号:二进制之路

二进制之路
相关文章
相关标签/搜索