Java虚拟机的指令由一个字节长度的、代表着某种特定操作含义的数字（称为操作码，Opcode）以及跟随其后的零至多个代表此操作所需的参数（称为操作数，Operand）构成。因为只有一个字节的长度，所以指令总数不能超过256个。

在Java虚拟机的指令集中，大多数指令都包含其操作所对应的数据类型信息，如：i代表对int类型的数据操作，l代表long，s代表short，b代表byte，c代表char，f代表float，d代表double，a代表reference。

解释器的执行模型

Java虚拟机的解释器的执行模型：

do {
    自动计算PC寄存器的值加1;
    根据PC寄存器指示的位置，从字节码流中取出操作码;
    if (字节码存在操作数) 从字节码流中取出操作数;
    执行操作码所定义的操作;
} while (字节码流长度 > 0);

常量入栈指令

局部变量值转载到栈中指令

将栈顶值保存到局部变量中指令

通用（无类型）栈操作指令

整数和浮动点数运算

逻辑运算 - 移位运算

逻辑运算 - 位运算

类型转换指令

控制流指令 - 比较指令

控制流指令 - 条件跳转指令

控制流指令 - 无条件跳转指令

控制流指令 - 表跳转指令

控制流指令 - 异常和finally

对象操作指令

数组操作指令

方法调用指令

方法返回指令

线程同步指令

wide指令

方法的执行示例

Java源码：

public int inc() {
    int x;
    try {
        x = 1;
        return x;
    } catch (Exception e) {
        x = 2;
        return x;
    } finally {
        x = 3;
    }
}

编译后的ByteCode字节码及异常表：

public int inc();
    Code:
        Stack=1, Locals=5, Args_size=1
        0:   iconst_1           // try块中的x=1
        1:   istore_1
        2:   iload_1    // 保存x到returnValue中，此时x=1
        3:   istore  4
        5:   iconst_3   // finaly块中的x=3
        6:   istore_1
        7:   iload   4  // 将returnValue中的值放到栈顶，准备给ireturn返回
        9:   ireturn
        10:  astore_2   // 给catch中定义的Exception e赋值，存储在变量槽 2中
        11:  iconst_2   // catch块中的x=2
        12:  istore_1
        13:  iload_1    // 保存x到returnValue中，此时x=2
        14:  istore  4
        16:  iconst_3   // finaly块中的x=3
        17:  istore_1
        18:  iload 4    // 将returnValue中的值放到栈顶，准备给ireturn返回
        20:  ireturn
        21:  astore_3   // 如果出现了不属于java.lang.Exception及其子类的异常才会走到这里
        22:  iconst_3   // finaly块中的x=3
        23:  istore_1
        24:  aload_3    // 将异常放置到栈顶，并抛出
        25:  athrow
    Exception table:
    from   to  target type
        0     5    10   Class java/lang/Exception
        0     5    21   any
        10    16   21   any

编译器为这段Java源码生成了三条异常表记录，对应三条可能出现的代码执行路径。从Java代码的语义上讲，这三条执行路径分别为：

• 如果try语句块中出现属于Exception或其子类的异常，转到catch语句块处理；
• 如果try语句块中出现不属于Exception或其子类的异常，转到finally语句块处理；
• 如果catch语句块中出现任何异常，转到finally语句块处理。

参考

《深入理解JAVA虚拟机》

https://www.cnblogs.com/honger/p/6815198.html