助记符(字节码指令)表
| 字节码 | 助记符 | 指令含义 |
|---|---|---|
| 0x00 | nop | None |
| 0x01 | aconst_null | 将null推送至栈顶 |
| 0x02 | iconst_m1 | 将int型-1推送至栈顶 |
| 0x03 | iconst_0 | 将int型0推送至栈顶 |
| 0x04 | iconst_1 | 将int型1推送至栈顶 |
| 0x05 | iconst_2 | 将int型2推送至栈顶 |
| 0x06 | iconst_3 | 将int型3推送至栈顶 |
| 0x07 | iconst_4 | 将int型4推送至栈顶 |
| 0x08 | iconst_5 | 将int型5推送至栈顶 |
| 0x09 | lconst_0 | 将long型0推送至栈顶 |
| 0x0a | lconst_1 | 将long型1推送至栈顶 |
| 0x0b | fconst_0 | 将float型0推送至栈顶 |
| 0x0c | fconst_1 | 将float型1推送至栈顶 |
| 0x0d | fconst_2 | 将float型2推送至栈顶 |
| 0x0e | dconst_0 | 将double型0推送至栈顶 |
| 0x0f | dconst_1 | 将double型1推送至栈顶 |
| 0x10 | bipush | 将单字节的常量值(-128~127)推送至栈顶 |
| 0x11 | sipush | 将一个短整型常量(-32768~32767)推送至栈顶 |
| 0x12 | ldc | 将int,float或String型常量值从常量池中推送至栈顶 |
| 0x13 | ldc_w | 将int,float或String型常量值从常量池中推送至栈顶(宽索引) |
| 0x14 | ldc2_w | 将long或double型常量值从常量池中推送至栈顶(宽索引) |
| 0x15 | iload | 将指定的int型本地变量推送至栈顶 |
| 0x16 | lload | 将指定的long型本地变量推送至栈顶 |
| 0x17 | fload | 将指定的float型本地变量推送至栈顶 |
| 0x18 | dload | 将指定的double型本地变量推送至栈顶 |
| 0x19 | aload | 将指定的引用类型本地变量推送至栈顶 |
| 0x1a | iload_0 | 将第一个int型本地变量推送至栈顶 |
| 0x1b | iload_1 | 将第二个int型本地变量推送至栈顶 |
| 0x1c | iload_2 | 将第三个int型本地变量推送至栈顶 |
| 0x1d | iload_3 | 将第四个int型本地变量推送至栈顶 |
| 0x1e | lload_0 | 将第一个long型本地变量推送至栈顶 |
| 0x1f | lload_1 | 将第二个long型本地变量推送至栈顶 |
| 0x20 | lload_2 | 将第三个long型本地变量推送至栈顶 |
| 0x21 | lload_3 | 将第四个long型本地变量推送至栈顶 |
| 0x22 | fload_0 | 将第一个float型本地变量推送至栈顶 |
| 0x23 | fload_1 | 将第二个float型本地变量推送至栈顶 |
| 0x24 | fload_2 | 将第三个float型本地变量推送至栈顶 |
| 0x25 | fload_3 | 将第四个float型本地变量推送至栈顶 |
| 0x26 | dload_0 | 将第一个double型本地变量推送至栈顶 |
| 0x27 | dload_1 | 将第二个double型本地变量推送至栈顶 |
| 0x28 | dload_2 | 将第三个double型本地变量推送至栈顶 |
| 0x29 | dload_3 | 将第四个double型本地变量推送至栈顶 |
| 0x2a | aload_0 | 将第一个引用型本地变量推送至栈顶 |
| 0x2b | aload_1 | 将第二个引用型本地变量推送至栈顶 |
| 0x2c | aload_2 | 将第三个引用型本地变量推送至栈顶 |
| 0x2d | aload_3 | 将第四个引用型本地变量推送至栈顶 |
| 0x2e | iaload | 将int型数组指定索引的值推送至栈顶 |
| 0x2f | laload | 将long型数组指定索引的值推送至栈顶 |
| 0x30 | faload | 将float型数组指定索引的值推送至栈顶 |
| 0x31 | daload | 将double型数组指定索引的值推送至栈顶 |
| 0x32 | aaload | 将引用型数组指定索引的值推送至栈顶 |
| 0x33 | baload | 将boolean或byte型数组指定索引的值推送至栈顶 |
| 0x34 | caload | 将char型数组指定索引的值推送至栈顶 |
| 0x35 | saload | 将short型数组指定索引的值推送至栈顶 |
| 0x36 | istore | 将栈顶int型数值存入指定本地变量 |
| 0x37 | lstore | 将栈顶long型数值存入指定本地变量 |
| 0x38 | fstore | 将栈顶float型数值存入指定本地变量 |
| 0x39 | dstore | 将栈顶double型数值存入指定本地变量 |
| 0x3a | astore | 将栈顶引用型数值存入指定本地变量 |
| 0x3b | istore_0 | 将栈顶int型数值存入第一个本地变量 |
| 0x3c | istore_1 | 将栈顶int型数值存入第二个本地变量 |
| 0x3d | istore_2 | 将栈顶int型数值存入第三个本地变量 |
| 0x3e | istore_3 | 将栈顶int型数值存入第四个本地变量 |
| 0x3f | lstore_0 | 将栈顶long型数值存入第一个本地变量 |
| 0x40 | lstore_1 | 将栈顶long型数值存入第二个本地变量 |
| 0x41 | lstore_2 | 将栈顶long型数值存入第三个本地变量 |
| 0x42 | lstore_3 | 将栈顶long型数值存入第四个本地变量 |
| 0x43 | fstore_0 | 将栈顶float型数值存入第一个本地变量 |
| 0x44 | fstore_1 | 将栈顶float型数值存入第二个本地变量 |
| 0x45 | fstore_2 | 将栈顶float型数值存入第三个本地变量 |
| 0x46 | fstore_3 | 将栈顶float型数值存入第四个本地变量 |
| 0x47 | dstore_0 | 将栈顶double型数值存入第一个本地变量 |
| 0x48 | dstore_1 | 将栈顶double型数值存入第二个本地变量 |
| 0x49 | dstore_2 | 将栈顶double型数值存入第三个本地变量 |
| 0x4a | dstore_3 | 将栈顶double型数值存入第四个本地变量 |
| 0x4b | astore_0 | 将栈顶引用型数值存入第一个本地变量 |
| 0x4c | astore_1 | 将栈顶引用型数值存入第二个本地变量 |
| 0x4d | astore_2 | 将栈顶引用型数值存入第三个本地变量 |
| 0x4e | astore_3 | 将栈顶引用型数值存入第一个本地变四 |
| 0x4f | iastore | 将栈顶int型数值存入指定数组的指定索引位置 |
| 0x50 | lastore | 将栈顶long型数值存入指定数组的指定索引位置 |
| 0x51 | fastore | 将栈顶float型数值存入指定数组的指定索引位置 |
| 0x52 | dastore | 将栈顶double型数值存入指定数组的指定索引位置 |
| 0x53 | aastore | 将栈顶引用型数值存入指定数组的指定索引位置 |
| 0x54 | bastore | 将栈顶boolean或byte型数值存入指定数组的指定索引位置 |
| 0x55 | castore | 将栈顶char型数值存入指定数组的指定索引位置 |
| 0x56 | sastore | 将栈顶short型数值存入指定数组的指定索引位置 |
| 0x57 | pop | 将栈顶数值弹出(数值不能是long或double类型的) |
| 0x58 | pop2 | 将栈顶的一个(对于非long或double类型)或两个数值(对于非long或double的其他类型)弹出 |
| 0x59 | dup | 复制栈顶数值并将复制值压入栈顶 |
| 0x5a | dup_x1 | 复制栈顶数值并将两个复制值压入栈顶 |
| 0x5b | dup_x2 | 复制栈顶数值并将三个(或两个)复制值压入栈顶 |
| 0x5c | dup2 | 复制栈顶一个(对于long或double类型)或两个(对于非long或double的其他类型)数值并将复制值压入栈顶 |
| 0x5d | dup2_x1 | dup_x1指令的双倍版本 |
| 0x5e | dup2_x2 | dup_x2指令的双倍版本 |
| 0x5f | swap | 将栈顶最顶端的两个数值互换(数值不能是long或double类型) |
| 0x60 | iadd | 将栈顶两int型数值相加并将结果压入栈顶 |
| 0x61 | ladd | 将栈顶两long型数值相加并将结果压入栈顶 |
| 0x62 | fadd | 将栈顶两float型数值相加并将结果压入栈顶 |
| 0x63 | dadd | 将栈顶两double型数值相加并将结果压入栈顶 |
| 0x64 | isub | 将栈顶两int型数值相减并将结果压入栈顶 |
| 0x65 | lsub | 将栈顶两long型数值相减并将结果压入栈顶 |
| 0x66 | fsub | 将栈顶两float型数值相减并将结果压入栈顶 |
| 0x67 | dsub | 将栈顶两double型数值相减并将结果压入栈顶 |
| 0x68 | imul | 将栈顶两int型数值相乘并将结果压入栈顶 |
| 0x69 | lmul | 将栈顶两long型数值相乘并将结果压入栈顶 |
| 0x6a | fmul | 将栈顶两float型数值相乘并将结果压入栈顶 |
| 0x6b | dmul | 将栈顶两double型数值相乘并将结果压入栈顶 |
| 0x6c | idiv | 将栈顶两int型数值相除并将结果压入栈顶 |
| 0x6d | ldiv | 将栈顶两long型数值相除并将结果压入栈顶 |
| 0x6e | fdiv | 将栈顶两float型数值相除并将结果压入栈顶 |
| 0x6f | ddiv | 将栈顶两double型数值相除并将结果压入栈顶 |
| 0x70 | irem | 将栈顶两int型数值作取模运算并将结果压入栈顶 |
| 0x71 | lrem | 将栈顶两long型数值作取模运算并将结果压入栈顶 |
| 0x72 | frem | 将栈顶两float型数值作取模运算并将结果压入栈顶 |
| 0x73 | drem | 将栈顶两double型数值作取模运算并将结果压入栈顶 |
| 0x74 | ineg | 将栈顶int型数值取负并将结果压入栈顶 |
| 0x75 | lneg | 将栈顶long型数值取负并将结果压入栈顶 |
| 0x76 | fneg | 将栈顶flaot型数值取负并将结果压入栈顶 |
| 0x77 | dneg | 将栈顶double型数值取负并将结果压入栈顶 |
| 0x78 | ishl | 将int型数值左移指定位数并将结果压入栈顶 |
| 0x79 | lshl | 将long型数值左移指定位数并将结果压入栈顶 |
| 0x7a | ishr | 将int型数值右(带符号)移指定位数并将结果压入栈顶 |
| 0x7b | lshr | 将long型数值右(带符号)移指定位数并将结果压入栈顶 |
| 0x7c | iushr | 将int型数值右(无符号)移指定位数并将结果压入栈顶 |
| 0x7d | lushr | 将long型数值右(无符号)移指定位数并将结果压入栈顶 |
| 0x7e | iand | 将int型数值右(无符号)移指定位数并将结果压入栈顶 |
| 0x7f | land | 将long型数值右(无符号)移指定位数并将结果压入栈顶 |
| 0x80 | ior | 将栈顶两int型数值”按位或”并将结果压入栈顶 |
| 0x81 | lor | 将栈顶两long型数值”按位或”并将结果压入栈顶 |
| 0x82 | ixor | 将栈顶两int型数值”按位异或”并将结果压入栈顶 |
| 0x83 | lxor | 将栈顶两long型数值”按位异或”并将结果压入栈顶 |
| 0x84 | iinc | 将指定int型变量增加指定值(如i++, i—, i+=2等) |
| 0x85 | i2l | 将栈顶int型数值强制转换为long型数值并将结果压入栈顶 |
| 0x86 | i2f | 将栈顶int型数值强制转换为float型数值并将结果压入栈顶 |
| 0x87 | i2d | 将栈顶int型数值强制转换为double型数值并将结果压入栈顶 |
| 0x88 | l2i | 将栈顶long型数值强制转换为int型数值并将结果压入栈顶 |
| 0x89 | l2f | 将栈顶long型数值强制转换为float型数值并将结果压入栈顶 |
| 0x8a | l2d | 将栈顶long型数值强制转换为double型数值并将结果压入栈顶 |
| 0x8b | f2i | 将栈顶float型数值强制转换为int型数值并将结果压入栈顶 |
| 0x8c | f2l | 将栈顶float型数值强制转换为long型数值并将结果压入栈顶 |
| 0x8d | f2d | 将栈顶float型数值强制转换为double型数值并将结果压入栈顶 |
| 0x8e | d2i | 将栈顶double型数值强制转换为int型数值并将结果压入栈顶 |
| 0x8f | d2l | 将栈顶double型数值强制转换为long型数值并将结果压入栈顶 |
| 0x90 | d2f | 将栈顶double型数值强制转换为float型数值并将结果压入栈顶 |
| 0x91 | i2b | 将栈顶int型数值强制转换为byte型数值并将结果压入栈顶 |
| 0x92 | i2c | 将栈顶int型数值强制转换为char型数值并将结果压入栈顶 |
| 0x93 | i2s | 将栈顶int型数值强制转换为short型数值并将结果压入栈顶 |
| 0x94 | lcmp | 比较栈顶两long型数值大小, 并将结果(1, 0或-1)压入栈顶 |
| 0x95 | fcmpl | 比较栈顶两float型数值大小, 并将结果(1, 0或-1)压入栈顶; 当其中一个数值为NaN时, 将-1压入栈顶 |
| 0x96 | fcmpg | 比较栈顶两float型数值大小, 并将结果(1, 0或-1)压入栈顶; 当其中一个数值为NaN时, 将1压入栈顶 |
| 0x97 | dcmpl | 比较栈顶两double型数值大小, 并将结果(1, 0或-1)压入栈顶; 当其中一个数值为NaN时, 将-1压入栈顶 |
| 0x98 | dcmpg | 比较栈顶两double型数值大小, 并将结果(1, 0或-1)压入栈顶; 当其中一个数值为NaN时, 将1压入栈顶 |
| 0x99 | ifeq | 当栈顶int型数值等于0时跳转 |
| 0x9a | ifne | 当栈顶int型数值不等于0时跳转 |
| 0x9b | iflt | 当栈顶int型数值小于0时跳转 |
| 0x9c | ifge | 当栈顶int型数值大于等于0时跳转 |
| 0x9d | ifgt | 当栈顶int型数值大于0时跳转 |
| 0x9e | ifle | 当栈顶int型数值小于等于0时跳转 |
| 0x9f | if_icmpeq | 比较栈顶两int型数值大小, 当结果等于0时跳转 |
| 0xa0 | if_icmpne | 比较栈顶两int型数值大小, 当结果不等于0时跳转 |
| 0xa1 | if_icmplt | 比较栈顶两int型数值大小, 当结果小于0时跳转 |
| 0xa2 | if_icmpge | 比较栈顶两int型数值大小, 当结果大于等于0时跳转 |
| 0xa3 | if_icmpgt | 比较栈顶两int型数值大小, 当结果大于0时跳转 |
| 0xa4 | if_icmple | 比较栈顶两int型数值大小, 当结果小于等于0时跳转 |
| 0xa5 | if_acmpeq | 比较栈顶两引用型数值, 当结果相等时跳转 |
| 0xa6 | if_acmpne | 比较栈顶两引用型数值, 当结果不相等时跳转 |
| 0xa7 | goto | 无条件跳转 |
| 0xa8 | jsr | 跳转至指定的16位offset位置, 并将jsr的下一条指令地址压入栈顶 |
| 0xa9 | ret | 返回至本地变量指定的index的指令位置(一般与jsr或jsr_w联合使用) |
| 0xaa | tableswitch | 用于switch条件跳转, case值连续(可变长度指令) |
| 0xab | lookupswitch | 用于switch条件跳转, case值不连续(可变长度指令) |
| 0xac | ireturn | 从当前方法返回int |
| 0xad | lreturn | 从当前方法返回long |
| 0xae | freturn | 从当前方法返回float |
| 0xaf | dreturn | 从当前方法返回double |
| 0xb0 | areturn | 从当前方法返回对象引用 |
| 0xb1 | return | 从当前方法返回void |
| 0xb2 | getstatic | 获取指定类的静态域, 并将其压入栈顶 |
| 0xb3 | putstatic | 为指定类的静态域赋值 |
| 0xb4 | getfield | 获取指定类的实例域, 并将其压入栈顶 |
| 0xb5 | putfield | 为指定类的实例域赋值 |
| 0xb6 | invokevirtual | 调用实例方法 |
| 0xb7 | invokespecial | 调用超类构建方法, 实例初始化方法, 私有方法 |
| 0xb8 | invokestatic | 调用静态方法 |
| 0xb9 | invokeinterface | 调用接口方法 |
| 0xba | invokedynamic | 调用动态方法 |
| 0xbb | new | 创建一个对象, 并将其引用引用值压入栈顶 |
| 0xbc | newarray | 创建一个指定的原始类型(如int, float, char等)的数组, 并将其引用值压入栈顶 |
| 0xbd | anewarray | 创建一个引用型(如类, 接口, 数组)的数组, 并将其引用值压入栈顶 |
| 0xbe | arraylength | 获取数组的长度值并压入栈顶 |
| 0xbf | athrow | 将栈顶的异常抛出 |
| 0xc0 | checkcast | 检验类型转换, 检验未通过将抛出 ClassCastException |
| 0xc1 | instanceof | 检验对象是否是指定类的实际, 如果是将1压入栈顶, 否则将0压入栈顶 |
| 0xc2 | monitorenter | 获得对象的锁, 用于同步方法或同步块 |
| 0xc3 | monitorexit | 释放对象的锁, 用于同步方法或同步块 |
| 0xc4 | wide | 扩展本地变量的宽度 |
| 0xc5 | multianewarray | 创建指定类型和指定维度的多维数组(执行该指令时, 操作栈中必须包含各维度的长度值), 并将其引用压入栈顶 |
| 0xc6 | ifnull | 不为null时跳转 |
| 0xc7 | ifnonnull | 不为null时跳转 |
| 0xc8 | goto_w | 无条件跳转(宽索引) |
| 0xc9 | jsr_w | 跳转至指定的32位offset位置, 并将jsr_w的下一条指令地址压入栈顶 |
一条Java虚拟机指令由一个指令要完成的操作的操作码和表示待操作值得零或多个操作数构成。
- 操作码
- 操作数(零或多个)
字节码指令简介
Java虚拟机的指令由一个字节长度的、代表某种特定操作含义的数字(称为操作码,Opcode)以及跟随其后的零至多个代表此操作所需参数(称为操作数,Operands)而构成。由于JVM采用面向操作数栈而不是寄存器的架构,所以大多数指令只有操作码,不包含操作数。
基于栈的指令集主要优点:
- 可移植。寄存器由硬件直接提供,程序直接依赖这些硬件寄存器则不可避免地受到硬件的约束。比如不同的CPU架构上提供的寄存器可能是不一样的;
- 代码相对更加紧凑。每个字节对应一条指令,多地址指令中还需要存放参数;
- 编译器实现更加简单。不需要考录空间分配问题,所需空间都在栈上操作
基于栈的指令集主要缺点:
- 完成相应功能的指令数量远远大于基于寄存器的指令集,因为频繁的进栈出栈操作就会产生不少的指令;
- 访问速度相对较慢。访问指令便相当于内存访问,内存的访问速度始终是不及寄存器的访问速度的
字节码与数据类型
在Java虚拟机的指令集中,大多数指令都包含了其操作对应的类型信息。例如:iload,fload分别表示从局部变量表中加载int、float类型数据到栈顶。
Java 虚拟机的操作码只有一个字节长度
字节码操作按用途分类
加载与存储指令
- iload、iload
、lload、lload 、fload、fload 、dload、dload 、aload、aload_
表示将一个局部变量加载到栈顶
- istore、istore
、lstore、llstore 、fstore、fstore 、dstore、dstore 、astore、astore_
表示将一个数值从操作数栈存储到局部变量表
- bipush、sipush、idc、ldcw、ldc2_w、aconst_null、iconst_m1、iconst、lconst
、fconst 、dconst_
表示将一个常量加载到栈顶
- 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、iushl、iushr、lshl、lshr
位移指令
- ior、lor
按位或指令
- iand、land
按位与指令
- ixor、lxor
按位异或指令
- iinc
局部变量自增指令
- dcmpg、dcmpl、fcmpg、fcmpl、lcmp
比较指令
类型转换指令
- Java虚拟机直接支持小范围向大范围的安全转换(宽化类型转换)
- 大范围向小范围转换时(窄化类型转换),必须指明转换指令
- i2b、i2c、i2s、l2i、f2i、d2i、d2f、d2l
注意:窄化类型转换可能会导致转化符号产生不同的正负号、不同量级的情况以及精度丢失的情况
int或long类型窄化转换为整数类型T的时候,转化过程仅仅是简单的丢弃除最低位N个字节以外的内容,N时类型T的数据类型长度(例如,T为short,则N为16),这可能导致转换结果与输入之不同的正负号。因为原来符号位处于数值的最高位,高位被丢弃之后,转化结果的符号就取决于低N个字节的首位。例如: ```java int hex = 0x00008321; System.out.println(hex); // 33569 short s = (short) hex; // 相当于 0x8321,最高位为1,为负数
System.out.println(s); // 31967 System.out.println(s & 0xFFFF); // 33569
问题来了?那么为什么通过`s & 0xFFFF`之后可以得到原来的数值呢?其实很简单,Java虚拟机指令大多数不支持char、short、byte 类型的运算指令,在对这些类型的数据运算的时候,其实底层是将它们转换为`int`类型进行运算的。也就是说,计算 `s & 0xFFFF` 的时候,其实相当于计算 `0x80008321 & 0x0000FFFF = 0x00008321` ,得到的是一个最高位为 `0` 的`int`值,当然与原数值一样大了。- 将一个浮点数转换为整数类型数据`T`(`T`限于`int`和`long`类型之一)的时候,将遵循以下转换规则:1. 如果浮点数是`NaN`,那么转换结果为`0`;1. 如果浮点数不是无穷大,浮点数使用 `IEEE 754` 的向零舍入模式取整,获得整数值`v`,如果`v`在目标类型`T(int 或 long)`的表示范围内,那么转换结果就为`v`;1. 否则,根据`v`的符号,转换为`T`所能表示的为最大或最小正数```javafloat f = Float.NaN;int iF = (int) f;long lf = (long) f;System.out.println(iF); // 0System.out.println(lf); // 0float f = 234343.3;int iF = (int) f;long lf = (long) f;System.out.println(iF); // 234343System.out.println(lf); // 234343double f = Double.MAX_VALUE;int iF = (int) f;long lf = (long) f;System.out.println(iF); // 2147483647System.out.println(lf); // 9223372036854775807System.out.println(Double.MAX_VALUE); // 1.7976931348623157E308System.out.println(Long.MAX_VALUE); // 9223372036854775807double f = Double.MIN_VALUE;int iF = (int) f;long lf = (long) f;System.out.println(iF); // 0System.out.println(lf); // 0System.out.println(Double.MIN_VALUE); // 4.9E-324System.out.println(Long.MIN_VALUE); // -9223372036854775808
对象创建与访问指令
java虚拟机创建、操作类实例和数组实例使用了不同的字节码指令。
- 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
将操作数栈栈顶1个或2个元素出栈
- dup、dup2、dup_x1、dup2_x1、dup_x2、dup2_x2
复制栈顶1个或2个数值并将复制值或2份复制值重新压入栈顶
- swap
将栈顶的两个数值交换
控制转移指令
- ifeq、iflt、ifle、ifne、ifgt、ifnull、ifnonnull、if_icmpeq、if_icmpne、if_icmplt、if_icmpgt、if_icmple、if_icmpge、if_acmpeq、if_acmpne
条件分支
- tableswitch、lookupswitch
复合条件分支
- goto、goto_w、jsr、jsr_w、ret
无条件分支
方法调用与返回指令
- invokevirtual
调用对象的实例方法,根据对象的实际类型进行分配(虚方法分配)
- invokeinterface
调用接口方法,运行时找到实现该接口的对象,并调用合适的方法调用
- invokespecial
调用一些需要特殊处理的实例方法,包括实例初始化方法、私有方法和父类方法
- invokestatic
调用类方法
- invokedynamic
在运行时动态地解析出调用点限定符所引用的方法,并执行该方法。前面4条调用指令的分派逻辑都固化在java虚拟机内部,而invokedynamic 指令的分派逻辑是由用户所设定的引导方法决定的。
- return、ireturn、freturn、dreturn、lreturn、areturn
返回指令
异常处理指令
- athrow
处理代码中显示抛出异常的操作(throw语句)
同步指令
java虚拟机可以支持方法级的同步和方法内部一段指令序列的同步,这两种同步都是使用管程来支持的。
方法级的同步是使用 ACC_SYNCHRONIZED 访问标志来实现的。执行线程要求先要获得管程,然后才能执行方法,执行完成之后释放管程。假设执行期间发生了异常,管程也会被释放。
方法内部指令序列的同步是使用java语言中的synchronized 语句块来实现的,Java虚拟机的指令集中 monitorenter 和 monitorexit 指令来支持synchronized 关键字的语义。
指令描述格式
助记符
| 操作 | 该指令功能的简要描述 |
|---|---|
| 格式 | 助记符 操作数1 操作数2 …… |
| 结构 | 助记符 = 操作码 |
| 操作数栈 | …,value1,value2 ——> …,values |
| 描述 | 详述了该指令对操作数栈的内容和常量池项所施加的限制,该指令所执行的操作,以及执行结果的类型等 |
| 链接时异常 | 如果执行该指令可以抛出任何链接时异常,那么每一个抛出的异常都需要按他们可能抛出的顺序在这里进行描述,每一个异常占一行内容 |
| 运行时异常 | 如果执行该指令可以抛出任何运行时异常,那么每一个抛出的异常都需要按他们可能抛出的顺序在这里进行描述,每一个异常占一行内容。 除了在此已列出的链接时异常、运行时异常以及VirtualMachineError或其子类之外,指令不得再抛出任何异常 |
| 注意 | 某些注释不是JVM规范对此指令所施加的强制约束,这些注释将会放在指令描述信息的最后 |
- 【格式】:每一行表示一个字节,表格名称就是这个指令的
助记符- 操作码等于助记符,表格中将同时使用十进制和十六进制表示
- 操作数表示Java虚拟机指令执行时所需要的参数值。操作数隐式地从操作数栈中获取,会比显式地通过额外的操作数字节及寄存器编号等形式生成到编译后的代码中更利于保持字节码的紧凑型。
在字节码解析过程中,应该根据每条指令对应的 指令描述格式表 进行处理。举例:
invokespecial
| 操作 | 调用实例方法,专门用来调用父类方法,私有方法和实例初始化方法 |
|---|---|
| 格式 | invokespecial indexbyte1 indexbyte2 |
| 结构 | invokespecial = 183(0xb7) |
| 操作数栈 | …,objectref,[arg1,[arg2…]] ——> … |
| 描述 | 无符号数indexbyte1 和 indexbyte2 用于构建一个指向当前类的运行时常量池的索引。构建方法为(indexbyte1 << 8)| indexbyte2,该索引所指向的运行时常量池的项应该是对某个方法或接口方法的符号索引。其中包含了方法名称及描述符,以及指向该方法所在类或接口的符号引用。 如果调用的方法时protected 的,并且这个方法是当前类的父类成员,而这个方法又没有在同一个运行时包中声明过,那么objectref所指向的就是当前类或当前类的子类。 在下列条件都成立的情况下,将当前类的直接父类标记为C: - 解析出来的方法不是实例初始化方法 - 如果符号引用指向的是类而不是接口,那么所指向的类应该是当前类的父类 - class文件的ACC_SUPER标志位true |
如果这3个条件都为真,则符号引用所指向的类是当前类的父类;否则指向的就是当前类或接口。
JVM会根据下面的规则查找具体执行的方法:
- 如果C中包含了名字与描述符都与要调用的方法一致的方法,那么这个方法就会被调用,查找终止;
- 如果C是类,并且有父类,那么查找过程将按顺序递归搜索C的父类,以及父类的父类,直至搜索到名称与描述符都与要调用的实例方法一致的方法,如果找到,则该方法就会被调用;
- 如果C是接口切Object中声明了一个与解析出来的方法具有相同名称及描述符的public方法,那么该方法会被调用;
- 如果C的超接口中有且仅有一个与解析出来的方法具有相同名称及描述符,而又不是abstract 的方法,那么该方法就是待调用方法。
objectref是一个reference类型数据,在操作数栈中,objectref之后还跟随着多个参数值,这些参数值的数量、数据类型以及顺序都必须遵循实例方法的描述符。
如果要调用的时同步方法,那么与objectref相关的管程同步锁将进入或者重入,就如同当前线程执行了 monitorenter 一样
如果要调用的不是本地方法,那么那个参数值和objectref将从操作数栈中出栈。方法调用的时候,将在Java虚拟机中创建中一个新的栈帧,objectref和那个参数值将存储到新的栈帧的局部变量表中,objectref存为局部变量0,arg1 存为局部变量1(如果arg1时long或double类型,那么将占用局部变量表1和2两个位置),以此类推。参数中的浮点类型数据存储到局部变量表之前将进行数值集合转换,新栈帧创建后将成为当前栈帧,Java虚拟机的PC寄存器指向待调用方法的首条指令,程序就从这里开始执行。
如果要调用的是本地方法,并且这些平台相关的代码并未绑定到虚拟机中,那么要先完成绑定动作。指令执行时,n个参数值和objectref对象将从操作数栈中出栈作为参数传递给实现此方法的代码。参数中的浮点类型数据在传递给调用具体方法之前会进行数值集合转换。参数传递与代码执行都会以和具体虚拟机实现相关的方法进行。当这些平台相关的代码返回时:
- 如果这个本地方法是同步方法,那么将更新于objectref相关的同步锁状态,也可能退出同步锁,就如同当前线程执行了 monitorexit 指令一般
- 如果这个本地方法有返回值,那么与平台相关的代码所返回的数据必须通过某种事项相关的方式装换成本地方法所定义的Java数据类型,并入栈到操作数栈中
|
| 链接时异常 | |
| 运行时异常 | |
| 注意 | |
