java字节码指令简介（仅了解）

【0】README

0.1）本文全文转自 “深入理解jvm”， 旨在 了解 java字节码指令 的基础知识；

【1】写在前面

1）由于jvm 采用面向操作数栈而不是寄存器的结构，所以大多数的指针都不包含操作数，只有一个操作码；

2）由于限制了jvm操作码的长度为一个字节（0~255），这意味着指令集的操作码总数不可能操作256个；

【2】字节码与数据类型

1）下表列举了jvm 所支持的与数据类型相关的字节码指令，通过使用数据类型列所代表的特殊字符替换opcode列的指令模板中的T，就可以得到一个具体的字节码指令。如果在表中指令模板与数据类型两列共同确定的格为空，则说明虚拟机不支持对这种数据类型；

【3】加载和存储指令

1）作用：用于将数据在栈帧中的局部变量表和操作数栈之间来回传输，这类指令包括如下内容：

• 1.1）将一个局部变量加载到操作数栈：iload, iload_n, lload, lload_n, fload, fload_n, dload, dload_n, aload, aload_n；
• 1.2）将一个数值从操作数栈存储到局部变量表：istore, istore_n, lstore_, lstore_n, fstore， fstore_n, dstore_, dstore_n, astore, astore_n；
• 1.3）将一个常量加载到操作数栈： bipush, sipush, ldc, ldc_w, ldc2_w， aconst_null, iconst_m1, iconst_i, lconst_l, fconst_f, dconst_d；
• 1.4）扩充局部变量表的访问索引的指令：wide；

2）存储数据的操作数栈和局部变量表：主要就是由加载和存储指令进行操作；

【4】运算指令

1）作用：运算指令用于对两个操作数栈上的值进行某种特定运算，并把结果重新存入到操作栈顶；

2）算术指令汇总如下：

• 2.1）加法指令：iadd, ladd, fadd, dadd;
• 2.2）减法指令：isub, lsub, fsub, dsub; 
• 2.3）乘法指令：imul, lmul, fmul, dmul;
• 2.4）除法指令：idiv, ldiv, fdiv, ddiv; 
• 2.5）求余指令：irem, lrem, frem, drem;
• 2.6）取反指令：ineg, lneg, fneg, dneg;
• 2.7）位移指令：ishl, ishr, iushr, lshl, lshr, lushr; 
• 2.8）按位或指令：ior, lor;
• 2.9）按位与指令：iand, land; 
• 2.10）按位异或指令：ixor, lxor
• 2.11）局部变量自增指令：iinc;
• 2.12）比较指令：dcmpg, dcmpl, fcmpg, fcmpl, lcmp;

3）向最接近数舍入模式： jvm 要求在进行浮点数计算时， 所有的运算结果都必须舍入到适当的精度，非精确结果必须舍入为可被表示的最接近的精确值，如果有两种可表示的形式与该值一样接近，将优先选择最低有效位为零的；

4）向零舍入模式：将浮点数转换为整数时，采用该模式， 该模式将在目标数值类型中选择一个最接近但是不大于原值的数字作为最精确的舍入结果；

5）NaN值：当一个操作产生溢出时，将会使用有符号的无穷大表示，如果某个操作结果没有明确的数学定义的话，将会使用 NaN值来表示；而且所有使用NaN值作为操作数的算术操作，结果都会返回 NaN； （干货——这里提到了NaN值）

【5】类型转换指令

1）宽化类型转换：jvm 支持以下数值类型的宽化类型转换，即小范围类型向大范围类型的安全转换；

• 1.1）int到long， float或double；
• 1.2）long到float或double；
• 1.3）float到double；

2）窄化类型转换：转换过程仅仅是丢弃除最低位N个字节外的内容， N是类型T 的数据类型长度，这将可能导致转换结果与输入值有不同的正负号；

3）将一个浮点值转换为int类型时，遵循如下的转换规则（rules）：

• r1）如果浮点值是NaN， 那转换结果是int 或 long类型的0；
• r2）如果浮点值不是无穷大的话，浮点值使用 向零舍入模式取整，获得整数值v，且v在目标类型T（int或double）的表示范围内；
• r3）否则，根据v的符号，转换为T所能表示的最大或最小整数；

【6】对象创建和访问指令

1）对象创建后，就可以通过对象访问指令获取对象实例或数组实例中的字段或者数组元素，这些指令（instruction）如下：

• i1）创建类实例的指令：new；
• i2）创建数组的指令：newarray, anewarray, multianewarray;
• i3）访问类字段（static字段或称为类变量）和实例字段的指令： getfield, putfield, getstatic, putstatic;
• i4）把一个数组元素加载到操作数栈的指令： baload, caload, saload, iaload, laload, faload, daload, aaload;
• i5）将一个操作数栈的值存储到数组元素中的指令： bastore, castore, sastore, iastore, fastore, dastore, aastore;
• i6）取数组长度指令： arrayLength;
• i7）检查类实例类型的指令： instanceof， checkcast；

【7】操作数栈管理指令

1）如同操作一个普通数据结构中的堆栈那样，jvm提供了一些用于直接操作操作数栈的指令，包括：

• 1.1）将一个或两个元素出栈： pop，pop2；
• 1.2）复制栈顶一个或两个数值并将复制值或双份的复制值重新压入栈顶：dup, dup2, dup_x1, dup2_x1, dup_x2, dup2_x2；
• 1.3）将栈最顶端的两个数值交换： swap；

【8】控制转移指令

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;

【9】方法调用和返回指令

1）方法调用指令

• 1.1）invokevirtual：用于调用对象的实例方法， 根据对象的实际类型进行分派（虚方法分派），这也是java中最常见的方法分派方式；
• 1.2）invokeinterface：用于调用接口方法， 它会在运行时搜索一个实现了这个接口方法的对象，找出合适的方法进行调用；
• 1.3）invokespecial：用于调用一些需要特殊处理的实例方法， 包括实例初始化方法，私有方法和父类方法；
• 1.4）invokestatic：用于调用类方法（static方法）；
• 1.5）invokedynamic：用于在运行时动态解析出调用点限定符所引用的方法，并执行该方法，前面4条调用指令的分派逻辑都固化在 java 虚拟机内部，而 invokedynamic指令的分派逻辑是由用户所设定的引导方法决定的；

2）返回指令（根据返回值的类型区分的），包括

• 2.1）ireturn, lreturn, freturn, dreturn, areturn，另外还有一条return 指令供声明为 void 的方法，实例初始化方法以及类和接口的类初始化方法使用；

【10】异常处理指令

1）athrow指令；

【11】同步指令

1）java虚拟机支持两种同步结构：方法级的同步和　方法内部一段指令序列的同步，这两种同步都是使用管程（monitor）来支持的；

2）方法级的同步是隐式的： 即无须通过字节码指令来控制，它实现在方法调用和返回操作之中。虚拟机可以从方法常量池的方法表结构中的 ACC_SYNCHRONIZED 访问标志得知一个方法是否声明为同步方法；

3）synchronized语句块：同步一段指令集序列通常是由java 中的synchronized语句块来表示的，jvm的指令集有 monitorenter 和 monitorexit 两条指令来支持 synchronized关键字的语义；

4）看个荔枝：

// 测试 synchronized关键字的虚拟机指令集（字节码指令）
public class SynchronizedTest {
	public void func(CandyMachine machine) {
		synchronized (machine) {
			machine.count++;
		}
	}
	
	class CandyMachine {
		private int count = 0;
		
		public int getCount() {
			return count;
		}
	}
}

对以上代码的分析（Analysis）：编译器必须确保无论方法通过何种方式完成，方法中调用过的每条 monitorenter指令都必须执行其对应的 monitorexit指令，而无论这个方法是正常ending 还是 异常ending；

【12】公有设计和私有实现

1）jvm 规范描述了jvm 应有的共同程序存储格式： Class 文件格式以及字节码指令集；

2）虚拟机实现的方式有两种（type）：

• type1）将输入的java虚拟机代码在加载或执行时翻译成另一种虚拟机的指令集；
• type2）将输入的java虚拟机代码在加载或执行时翻译成宿主机CPU 的本地指令集， 即JIT代码生成技术（jit==just in time 即时）