前言
Java虚拟机指令是由一个字节长度的、代表着某种特定操作含义的数字(称为操作码)以及跟随其后的零至多个代表此操作的参数(称为操作数)构成。Java虚拟机采用的时面向操作数栈的架构,所以大多数指令不包含操作数,只有一个操作码,指令参数存放在操作数栈中。
在不考虑异常的情况下,Java虚拟机的操作模型如下:
do{
自动计算PC寄存器的值加1;
根据PC寄存器指示的位置,从字节码流中取出操作码;
if(字节码存在操作数)从字节码流中取出操作数;
执行操作码所定义的操作
}while(字节码流长度 > 0)
一、字节码和数据类型
大多数操作码都有其对应的数据类型信息,大部分与数据类型有关的字节码指令他们的操作助记码都有特殊的字符:i代表对整型的操作、s代表short、b代表byte、c代表char、f代表float、d代表double、a代表reference。下表列举了Java虚拟机所支持的与数据类型有关的字节码指令,把opcode列指令模板中的T替换为数据类型列代表的特殊字符就得到具体的字节码指令。
opcode | byte | short | int | long | float | double | char | reference |
---|---|---|---|---|---|---|---|---|
Tipush | bipush | sipush | ||||||
Tconst | iconst | lconst | fconst | dconst | aconst | |||
Tload | iload | lload | fload | dload | aload | |||
Tstore | istore | lstore | fstore | dstore | astore | |||
Tinc | iinc | |||||||
Taload | baload | saload | iaload | laload | faload | daload | caload | aaload |
Tastore | bsatore | sastore | isatore | lsatore | fsatore | dsatore | csatore | asatore |
Tadd | iadd | ladd | fadd | dadd | ||||
Tsub | isub | lsub | fsub | dsub | ||||
Tmul | imul | lmul | fmul | dmul | ||||
Tdiv | idiv | ldiv | fdiv | ddiv | ||||
Trem | irem | lrem | frem | drem | ||||
Tneg | ineg | lneg | fneg | dneg | ||||
Tshl | ishl | lshl | ||||||
Tshr | ishr | lshr | ||||||
Tushr | iushr | lushr | ||||||
Tand | iand | land | ||||||
Tor | ior | lor | ||||||
Txor | ixor | lxor | ||||||
i2T | i2b | i2s | i2l | i2f | i2d | |||
l2T | l2i | l2f | l2d | |||||
f2T | f2i | f2l | f2d | |||||
d2T | d2i | d2l | d2f | |||||
Tcmp | lcmp | |||||||
Tcmpl | fcmpl | dcmpl | ||||||
Tcmpg | fcmpg | dcmpg | ||||||
if_TcmpOP | if_icmpOp | if_campOP | ||||||
Treturn | ireturn | lreturn | freturn | dreturn | areturn |
从表中可以看出大部分指令不支持整数类型byte、char和short,甚至没有任何指令支持boolean。编译器会在编译期或运行期将byte和short类型的数据带符号扩展到int数据类型,将boolean和char数据类型零位扩展到为相应的int类型。处理byte、char、short和boolean数组的时候,也会转化为对应的int类型的字节码指令处理。
二、 加载和存储指令
- 将一个局部变量加载到操作栈:iload、iload_、lload、lload_、fload、fload_、dload、dload_、aload、aload_。
- 讲一个数值从操作数栈存贮到局部变量表:istore、istore_、lstore、lstore_、fstore、fstore_、dstore、dstore_、astore、astore_
- 将一个常量加载到操作数栈:bipush、sipush、ldc、ldc_w、ldc2_w、aconst_null、iconst_m1、iconst_、lconst_、fconst_、dsonst_
- 扩充局部变量表的访问索引的指:wide
三、运算指令
运算指令用于对两个操作数栈上的值进行某种特定的运算,并把结果重新存入到操作栈顶。所用运算指令如下:
- 加法指令:iadd、ladd、fadd、dadd
- 减法指令:isub、lsub、fsub、dsub
- 乘法指令:imul、lmul、fmul、dmul
- 除法指令:idiv、ldiv、fdiv、ddiv
- 求余指令:irem、lrem、frem、drem
- 取反指令:ineg、lneg、fneg、dneg
- 位移指令:ishl、ishr、iushr、lshl、lshr、lushr
- 按位或指令:ior、lor
- 按位与指令:iand、land
- 按位异或指令:ixor、lxor
- 局部变量自增指令:iinc
- 比较指令:dcmpg、dcmpl、fcmpg、fcmpl、lcmp
四、类型装换指令
类型转换指令可以将两种不同类型相互装换。小范围类型向大范围类型的转换,虚拟机直接支持,无需显式的转换指令。如下面的转换:
- int类型到long、float或者double类型
- long类型到float、double类型
- float类型到double类型
大范围类型向小范围类型转换需要显式使用转换指令,包含:i2b、i2c、i2s、l2i、f2i、f2l、d2i、d2l和d2f;
五、对象创建和访问指令
- 创建类实例的指令:new
- 创建数组指令:newarray、anewarray、multianewarray
- 访问类字段和实例字段指令:getfield、putfield、getstatic、putstatic
- 把一个数组元素加载到操作数栈的指令:baload、caload、saload、iaload、laload、faload、daload、aaload
- 将一个操作数栈的值存储到数组元素中的指令:bastore、castore、sastore、iastore、fastore、dastore、aastore
- 取数组长度的指令:arraylength
- 检查类实例类型的指令:instanceof、checkcast
六、操作数栈管理指令
- 将操作数栈的栈顶一个或两个元素出栈:pop、pop2
- 复制栈顶一个或两个数值并将复制值或双份的复制值重新压入栈顶:dup、dup2、dup_x1、dup2_x1、dup_x2、dup2_x2
- 将栈最顶端的两个数值互换:swap
七、控制转移指令
- 条件分支指令:ifeq、iflt、ifle、ifne、ifgt、ifge、ifnull、ifnotnull、if_icmpeq、if_icmpeq、if_icmplt、if_icmpgt、if_icmple、if_icmpge、if_icmpeq和ic-icmpne.
- 符合条件分支:tableswitch、lookupswitch
- 无条件分支:goto、goto_w、jsr、jsr_w、ret
八、方法调用和返回指令
- invokevirtual指令:用于调用对象实例方法,根据对象的实际类型进行分派(虚方法分派),这也是Java最常见的方法分派。
- invokeinterface指令:用于调用接口方法,它会在运行时搜索一个实现了这个接口的方法对象,找出合适的方法进行调用。
- invokespecial:用于调用一些需要特殊处理的实例方法,包括实例初始化方法、私有方法和父类方法。
- invokestatic:用于调用静态方法
- invokeddynamic:用于在运行时动态解析出调用点限定符所引用的方法。并执行该方法
九、异常处理指令
在Java中显示抛出异常操作(throw)都由athrow指令来完成。处理异常(catch)采用异常表。
10、同步指令
Java虚拟机指令值中使用monitorenter和monitorexit指令来支持synchronized。