内容简介:本篇为《JVM指令分析实例》的第四篇,相关实例均使用Oracle JDK 1.8编译,并使用javap生成字节码指令清单。前几篇传送门:
本篇为《JVM指令分析实例》的第四篇,相关实例均使用Oracle JDK 1.8编译,并使用javap生成字节码指令清单。
前几篇传送门:
数组
一维原始类型数组
void createBuffer() { int buffer[]; int bufsz = 100; int value = 12; buffer = new int[bufsz]; buffer[10] = value; value = buffer[11]; }
字节码指令序列
void createBuffer(): 0: bipush 100 // 将单字节int常量值100压入栈顶 2: istore_2 // 将栈顶int类型数值100存入第3个局部变量. bufsz = 100 3: bipush 12 // 将单字节int常量值12压入栈顶 5: istore_3 // 将栈顶int类型数值12存入第4个局部变量. value = 12 6: iload_2 // 将第3个int类型局部变量压入栈顶 7: newarray int // 创建int类型数组,并将数组引用值压入栈顶. new int[bufsz] 9: astore_1 // 将栈顶引用类型值存入第2个局部变量. buffer = new int[bufsz] 10: aload_1 // 将第2个引用类型局部变量压入栈顶 11: bipush 10 // 将单字节int常量10压入栈顶 13: iload_3 // 将第4个int类型局部变量压入栈顶 14: iastore // 将栈顶int类型数值存入数组的指定索引位置. buffer[10] = value 15: aload_1 // 将第2个引用类型值压入栈顶 16: bipush 11 // 将单字节int常量值11压入栈顶 18: iaload // 将int类型数组的指定元素压入栈顶 19: istore_3 // 将栈顶int类型数值存入第4个局部变量 20: return
newarray指令
创建一个指定 原始类型 (如int、float、char等)的数组,并将其引用值压入栈顶。
执行该指令后,将从操作数栈出栈1个参数count,类型为int,表示要创建数组的大小。
iastore指令
从操作数栈读取一个int类型数据并存入指定数组中。
执行该指令后,将从操作数栈出栈3个参数arrayref、index和value,在本例中分别对应于第10、11和13索引位置压入的值。
其中,arrayref是一个引用类型值,指向一个int类型的数组。index和value为int类型,index表示待存入数组位置的索引号,value表示待存入index索引位置的值。
iaload指令
从数组中加载一个int类型数据到操作数栈。
执行该指令后,将从操作数栈出栈2个参数arrayref和index,在本例中分别对应于第15和16索引位置压入的值。
其中,arrayref是一个引用类型值,指向一个int类型的数组。index为int类型,表示待加载数组数据的索引号。
一维引用类型数组
void createThreadArray() { Thread threads[]; int count = 10; threads = new Thread[count]; threads[0] = new Thread(); }
字节码指令序列
void createThreadArray(): 0: bipush 10 // 将单字节int类型值10压入栈顶 2: istore_2 // 将栈顶int类型值存入第3个局部变量. count = 10 3: iload_2 // 将第3个int类型局部变量压入栈顶 4: anewarray #15 // class java/lang/Thread. 创建Thread类型数组,并将数组引用值压入栈顶. new Thread[count] 7: astore_1 // 将栈顶引用类型值存入第2个局部变量 8: aload_1 // 将第2个引用类型局部变量压入栈顶 9: iconst_0 // 将int类型常量0压入栈顶 10: new #15 // class java/lang/Thread. 创建Thread对象,并将引用值压入栈顶 13: dup // 复制栈顶值并压入栈顶 14: invokespecial #17 // Method java/lang/Thread."<init>":()V. 调用实例初始化方法 17: aastore // 将栈顶引用类型值存入数组的指定索引位置. threads[0] = new Thread() 18: return
anewarray指令
创建一个 引用类型 (如类、接口、数组)数组,并将其引用值压入栈顶。 可用于创建一维引用数组,或者用于创建多维数组的一部分 。
执行该指令后,将从操作数栈出栈1个参数count,类型为int,表示要创建数组的大小。
aastore指令
(aastore指令与iastore指令作用类似)
从操作数栈读取一个引用类型数据并存入指定数组中。
执行该指令后,将从操作数栈出栈3个参数arrayref、index和value,在本例中分别对应于第8、9和10索引位置压入的值。
其中,arrayref是一个引用类型值,指向一个引用类型的数组。index为int类型,index表示待存入数组位置的索引号。value为引用类型,表示待存入index索引位置的值。
在运行时,value的实际类型必须与arrayref所代表的数组的组件类型相匹配。
多维数组
int[][][] create3DArray() { int grid[][][]; grid = new int[10][5][]; return grid; }
字节码指令序列
int[][][] create3DArray(): 0: bipush 10 // 将单字节int类型值10压入栈顶. 第1维 2: iconst_5 // 将int类型常量5压入栈顶. 第2维 3: multianewarray #16, 2 // class "[[[I". 创建int[][][]类型数组,并将引用值压入栈顶 7: astore_1 // 将栈顶引用类型值存入第2个局部变量 8: aload_1 // 将第2个引用类型局部变量压入栈顶 9: areturn // 从当前方法返回栈顶引用类型值
multianewarray指令
创建指定类型和指定维度的多维数组(执行该指令时,操作数栈中必须包含各维度的长度值),并将其引用值压入栈顶。 可以用于创建所有类型的多维数组 。
对于本实例,数组类型为[[[I,即#16对应的常量池中的符号引用。数组维度为2,两个维度的长度值分别为10和5。虽然int[][][]为3维数组,但由于仅指定了前2个维度的长度值,因此指令对应的维度值为2。
如果指定了第3个维度的长度值,那么在iconst_5之后还需要再将1个int类型长度值压入栈。
所有的数组都有一个与之关联的长度属性,可通过arraylength指令访问。
switch语句
编译器会使用tableswitch和lookupswitch指令来生成switch语句的编译代码。
Java虚拟机的tableswitch和lookupswitch指令都只能支持int类型的条件值。
tableswitch指令可以高效地从索引表中确定case语句块的分支偏移量。
当switch语句中的case分支条件值比较稀疏时,tableswitch指令的空间使用率偏低。这种情况下,可以使用lookupswitch指令来代替。
tableswitch指令
int chooseNear(int i) { switch(i) { case 0: return 0; case 1: return 1; case 2: return 2; default: return -1; } }
字节码指令序列
int chooseNear(int): 0: iload_1 // 将第2个int类型局部变量压入栈顶 1: tableswitch { // 0 to 2 0: 28 // 如果case条件值为0,则跳转到索引号为28的指令继续执行 1: 30 // 如果case条件值为1,则跳转到索引号为30的指令继续执行 2: 32 // 如果case条件值为2,则跳转到索引号为32的指令继续执行 default: 34 // 否则,则跳转到索引号为34的指令继续执行 } 28: iconst_0 // 将int类型常量0压入栈顶 29: ireturn // 从当前方法返回栈顶int类型数值 30: iconst_1 // 将int类型常量1压入栈顶 31: ireturn // 从当前方法返回栈顶int类型数值 32: iconst_2 // 将int类型常量2压入栈顶 33: ireturn // 从当前方法返回栈顶int类型数值 34: iconst_m1 // 将int类型常量-1压入栈顶 35: ireturn // 从当前方法返回栈顶int类型数值
tableswitch指令
用于switch条件跳转,case值连续(变长指令)。
根据索引值在跳转表中寻找配对的分支并进行跳转。
指令格式:tableswitch padbytes defaultbytes lowbytes highbytes jumptablebytes
- padbytes:0~3个填充字节,以使得defaultbytes与方法起始地址(方法内第一条指令的操作码所在的地址)之间的距离是4的位数。
- defaultbytes:32位默认跳转地址
- lowbytes:32位低值low
- highbytes:32位高值high
- jumptablebytes:(high-low+1)个32位有符号数值形成的一张零基址跳转表(0-based jump table)
由于采用了索引值定位的方式(可理解为数组随机访问),因此只需要检查索引是否越界,非常高效。
下面结合实例分析一下:
第1条指令的索引号为0,tableswitch指令索引号为1,为了使defaultbytes与方法起始地址之间的距离是4的位数,所以defaultbytes的开始索引号为4。
defaultbytes、lowbytes和highbytes分别占4个字节,总共12个字节。
case高低值分别为2和0,因此jumptablebytes占用(2-0+1)*4=12个字节。
由于defaultbytes的开始索引号为4,defaultbytes~jumptablebytes共占用24个字节,因此紧跟在tableswitch后面的下一条指令的索引号为4+24=28,对应于实例中的指令"28: iconst_0"。
这里顺便提一下, 一般情况下,普通的操作数占1个字节,指向常量池的索引值占2个字节 (ldc的常量池索引占1个字节,ldc_w、ldc2_w的常量池索引占2个字节)。所以, 方法的指令索引号之间有时不是连续的 。
lookupswitch指令
int chooseFar(int i) { switch(i) { case -100: return -1; case 0: return 0; case 100: return 1; default: return -1; } }
字节码指令序列
int chooseFar(int): 0: iload_1 1: lookupswitch { // 3 -100: 36 0: 38 100: 40 default: 42 } 36: iconst_m1 37: ireturn 38: iconst_0 39: ireturn 40: iconst_1 41: ireturn 42: iconst_m1 43: ireturn
lookupswitch指令
用于switch条件跳转,case值不连续(变长指令)。
根据键值(非索引)在跳转表中寻找配对的分支并进行跳转。
指令格式:lookupswitch padbytes defaultbytes npairsbytes matchoffsetbytes
- padbytes:0~3个填充字节,以使得defaultbytes与方法起始地址(方法内第一条指令的操作码所在的地址)之间的距离是4的位数。
- defaultbytes:32位默认跳转地址
- npairsbytes:32位匹配键值对的数量npairs
- matchoffsetbytes:npairs个键值对,每一组键值对都包含了一个int类型值match以及一个有符号32位偏移量offset。
由于case条件值是非连续的,因此无法采用像tableswitch直接定位的方式,必须对每个键值进行比较。然而,JVM规定,lookupswitch的跳转表必须根据键值排序,这样(如采用二分查找)会比线性扫描更有效率。
下面结合实例分析一下:
第1条指令的索引号为0,lookupswitch指令索引号为1,为了使defaultbytes与方法起始地址之间的距离是4的位数,所以defaultbytes的开始索引号为4。
defaultbytes、npairsbytes分别占4个字节,总共8个字节。
case有3个条件,共3个键值对(npairs为3)。由于每个键值对占8个字节(4字节match+4字节offset),因此matchoffsetbytes共占24个字节。
所以,紧跟在lookupswitch后面的下一条指令的索引号为4+8+24=36,对应于实例中的指令"36: iconst_m1"。
参考
《The Java Virtual Machine Specification, Java SE 8 Edition》
《Java虚拟机规范》(Java SE 8版)
转载请注明来源:http://zhanjia.iteye.com/blog/2431768
个人公众号
二进制之路
以上所述就是小编给大家介绍的《JVM指令分析实例四(数组、switch)》,希望对大家有所帮助,如果大家有任何疑问请给我留言,小编会及时回复大家的。在此也非常感谢大家对 码农网 的支持!
猜你喜欢:本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们。
Pro HTML5 and CSS3 Design Patterns
Michael Bowers / Apress / 2011-11-15 / GBP 35.50
Pro HTML5 and CSS3 Design Patterns is a reference book and a cookbook on how to style web pages using CSS3 and HTML5. It contains 350 ready--to--use patterns (CSS3 and HTML5 code snippets) that you ca......一起来看看 《Pro HTML5 and CSS3 Design Patterns》 这本书的介绍吧!