六、Class字节码指令解释执行

JVM指令主要包含了一下几种类型:加载和存储指令、运算指令、类型转换指令、对象创建与访问指令、操作数栈管理指令、控制转移指令、方法调用和返回指令、异常处理指令、同步指令等。
基于栈的解释器执行过程
下面看一下一个简单的代码片段,如下所示:

public class StackTest {
 
    public int calc() {
        int a = 100;
        int b = 200;
        int c = 300;
        return (a + b) * c;
    }
 
}

通过jclasslib工具或者javap -verbose命令,可以得到calc()方法的字节码指令。如下所示:

 0 bipush 100
 2 istore_1
 3 sipush 200
 6 istore_2
 7 sipush 300
10 istore_3
11 iload_1
12 iload_2
13 iadd
14 iload_3
15 imul
16 ireturn

下面来具体的说明一下整个方法的执行过程:


image.png

image.png

image.png

image.png

image.png

image.png

image.png

上面的指令执行过程只是一个概念模型,JVM会对过程做一些优化来提高性能,JVM在实际运行时可能执行过程差距比较大,并且不同虚拟机的执行也不尽相同。

加载和存储指令
加载和存储指令用于数据在栈帧中的局部变量表和操作数栈之间的来回传输。
将一个局部变量加载到操作数栈: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_ml、iconst_、lconst_、fconst_、dconst_。
扩充局部变量表的访问索引的指令:wide。

运算指令
运算指令作用于操作数栈上面的2个值的特定运算,并且把结果重新存入操作数栈顶。大体上可以分为2类:对整型、浮点型数值运算。因为JVM指令集中没有byte、short、char和boolean类型的算术运算,所以都使用了对应的int类型的指令代替。
加法指令: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

类型转换指令
类型转换指令可以将2种不同类型的数值相互转换,这些转换一般实现于代码中的显示类型转换,主要有以下类型:
int类型到long、float或者double类型
long类型到float、double类型
float类型到double类型
对于显示的类型转换,一般情况下都是窄化类型转换(也就是丢失精度的转化,如:long转为int等)。常见的转换指令有:i2b、i2c、i2s、l2i、f2i、f2l、d2i、d2l、d2f等。

对象创建与访问指令
对于普通对象和数组的创建,JVM分别使用了不同的指令去处理。
创建普通对象的指令:new
创建数组的指令:newarray、anewarray、multianewarray
访问类变量(static类型)和实例变量(非static类型)的指令:getstatic、putstatic、getfield、putfield
把一个数组加载到操作数栈的指令:baload、caload、saload、iaload、laload、faload、daload、aaload
将一个操作数栈的值存储到数组元素中的指令:bastore、castore、sastore、iastore、fastore、dastore、aastore
取数组长度的指令:arraylength
检查普通对象类型的指令:instanceof、checkcast

操作数栈管理指令
如同一个普通的堆栈一样,JVM提供了直接操作操作数栈的指令。
将操作数栈顶的1个或2个元素出栈:pop1、pop2
复制栈顶1个或2个元素,并将副本的1份或者2份重新入栈:dup、dup2、dup_x1、dup2_x1、dup_x2、dup2_x2
将栈顶的两个数值互换:swap

控制转移指令
控制转移指令可以让JVM,跳转到指定的偏移地址的字节码执行。从上面的模型图看来,就是修改程序计数器的值。
分支条件:ifeq、iflt、ifle、ifne、ifgt、ifge、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指令:用于调用类方法(static方法)。
invokedynamic指令:用于在运行时动态解析出调用点限定符所引用的方法,并执行。
上述的前4条指令都是固化在JVM内部的,invokedynamic的分派逻辑是由用户所设定的引导方法决定的。
方法的调用指令与数据类型无关,而方法的返回指令是根据返回值区分的。包括:ireturn(当返回值是boolean、byte、char、short、int)、lreturn、freturn、dreturn和areturn。return指令提供给:返回值为void的指令、实例方法初始化、接口类方法初始化。

异常处理指令
Java程序中显示抛出异常的操作都是由athrow指令实现的。

同步指令
JVM可以支持方法级的同步和方法内的同步,这两种同步结构都是由管程(Monitor)来实现的。
方法级的同步是隐式的,无需通过字节码指令来控制。JVM可以从方法常量池的方法表结构中的ACC_SYNCHRONIZED访问标志,得到其是否为同步方法。
对于方法中的同步块,JVM中使用monitorenter和monitorexit两条指令来支持。下面参见一个代码清单:

public class SyncInstruction {
    
    void onlyMe(Object f) {
        synchronized (f) {
            System.out.println("synchronized control.");
        }
    }
 
}

对应的指令序列如下:

 0 aload_1          // 将对象f入栈
 1 dup              // 复制栈顶元素(即f的引用)
 2 astore_2         // 将栈顶元素存储到局变量表Slot 2中
 3 monitorenter     // 以栈顶元素(f)作为锁,开始同步
 4 getstatic #2 <java/lang/System.out>      // 访问System的静态属性out
 7 ldc #3 <synchronized control.>       // 将字符串常量"synchronized control."压入操作数栈顶
 9 invokevirtual #4 <java/io/PrintStream.println>       // 调用PrintStream.println()方法
12 aload_2      // 将局部变量表Slot 2的元素(f)入栈
13 monitorexit  // 退出同步
14 goto 22 (+8) // 方法正常退出,跳转到22行
17 astore_3     // 这里开始是异常路径,它的偏移量记录在异常表中,如下图所示
18 aload_2      // 将局部变量表Slot 2的元素(f)入栈
19 monitorexit  // 退出同步
20 aload_3      // 将局变量表Slot 3的元素(异常对象)入栈
21 athrow       // 把异常重新抛出给onlyMe()方法的调用者
22 return       // 方法正常返回

异常表如下所示:


image.png
最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 213,417评论 6 492
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,921评论 3 387
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 158,850评论 0 349
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,945评论 1 285
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 66,069评论 6 385
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,188评论 1 291
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,239评论 3 412
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,994评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,409评论 1 304
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,735评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,898评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,578评论 4 336
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,205评论 3 317
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,916评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,156评论 1 267
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,722评论 2 363
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,781评论 2 351