【JVM】第六章_2 指令简介

字节码指令简介：

一、字节码与数据类型

i代表对int类型的数据操作，l代表long，s代表short，b代表byte，c代表char，f代表float，d代表double，a代表reference。

 

二、加载和存储指令

加载和存储指令用于将数据在栈帧中的局部变量表和操作数栈之间来回的数据传输。

a. 将一个局部变量加载到操作栈的指令：iload, iload_<n>, lload, lload_<n>, fload, fload_<n>, dload, dload_<n>, aload, aload_<n>

b. 将一个数值从操作数栈存储到局部变量表的指令：istore, istore_<n>, lstore lstore_<n>, fstore, fstore_<n>, dstore, dstore_<n>, astore, astore_<n>

c. 将一个常量加载到操作数栈的指令：bipush, sipush, ldc, ldc_w,l dc2_w, aconst_null, iconst_m1, iconst_<i>, lconst_<l>, fconst_<f>, dconst_<d>

d. 扩充局部变量表的访问索引的指令：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

注意：

1. Java虚拟机在处理浮点数运算时，不会抛出任何运行时异常，当一个操作产生溢出时，将会使用有符号的无穷大来表示。操作结果没有明确的数学定义的话，将会时候NaN值来表示。

2. 在处理整型数据时，只有除法指令（idiv和ldiv）以及求余指令（irem和lrem）出现除数为零时会导致虚拟机抛出异常

 

四、 类型转换指令

Java虚拟机直接支持（无需显式转换指令）以下数值的宽化类型转换（小范围类型向大范围类型的安全转换）：

a. int类型到long、float或者double类型

b. long类型到float、double类型

c. float类型到double类型

宽化类型转换指令包括：i2l, i2f, i2d, l2f, l2d, f2d

窄化类型转换:指令包括有：i2b、i2c、i2s、l2i、f2i、f2l、d2i、d2l和d2f。窄化类型转换可能会导致转换结果产生不同的正负号、不同的数量级，转换过程很可能会导致数值丢失精度。

 

五、对象创建与访问指令　　

虽然类实例和数组都是对象，但Java虚拟机对类实例和数组的创建与操作使用了不同的字节码指令

1）创建类实例的指令：new

2）创建数组的指令：newarray，anewarray，multianewarray

3）访问类字段（static字段，或者称为类变量）和实例字段（非static字段，或者成为实例变量）的指令：getfield、putfield、getstatic、putstatic

4）把一个数组元素加载到操作数栈的指令：baload、caload、saload、iaload、laload、faload、daload、aaload

5）将一个操作数栈的值储存到数组元素中的指令：bastore、castore、sastore、iastore、fastore、dastore、aastore

6）取数组长度的指令：arraylength

7）检查类实例类型的指令：instanceof、checkcast

 

六、操作数栈管理指令

java虚拟机提供了一些用于直接操作操作数栈的指令

1）将操作数栈的栈顶一个或两个元素出栈：pop、pop2

2) 复制栈顶一个或两个数值并将复制值或双份的复制值重新压入栈顶：dup、dup2、dup_x1、dup2_x1、dup_x2、dup2_x2

3) 将栈最顶端的两个数值互换：swap

 

七、控制转移指令

控制转移指令可以让Java虚拟机有条件或无条件地从指定指令而不是控制转移指令的下一条指令继续执行程序。控制转移指令包括有：

1) 条件分支：ifeq、iflt、ifle、ifne、ifgt、ifge、ifnull、ifnonnull、if_icmpeq、if_icmpne、if_icmplt, if_icmpgt、if_icmple、if_icmpge、if_acmpeq和if_acmpne。

2) 复合条件分支：tableswitch、lookupswitch

3) 无条件分支：goto、goto_w、jsr、jsr_w、ret

 

八、方法调用和返回值指令

1) 方法调用：

invokevirtual指令：调用对象的实例方法，根据对象的实际类型进行分派（虚方法分派），这也是Java语言中最常见的方法分派方式。

invokeinterface指令：调用接口方法，它会在运行时搜索一个实现了这个接口方法的对象，找出适合的方法进行调用。

invokespecial指令：调用一些需要特殊处理的实例方法，包括实例初始化方法（2.9）、私有方法和父类方法。

invokestatic指令：调用类方法（static方法）。

2) 返回值指令：

包括有ireturn（当返回值是boolean、byte、char、short和int类型时使用）、lreturn、freturn、dreturn和areturn，另外还有一条return指令供声明为void的方法、实例初始化方法、类和接口的类初始化方法使用。

 

九、抛出异常

在程序中显式抛出异常的操作会由athrow指令实现，除了这种情况，还有别的异常会在其他Java虚拟机指令检测到异常状况时由虚拟机自动抛出。

 

十、 同步

Java虚拟机可以支持方法级的同步和方法内部一段指令序列的同步，这两种同步结构都是使用管程（Monitor）来支持的。

同步一段指令集序列通常是由Java语言中的synchronized块来表示的，Java虚拟机的指令集中有monitorenter和monitorexit两条指令来支持synchronized关键字的语义.