深入理解JAVA虚拟机学习笔记13——字节码指令4(其他指令)
每天进步一点点!
指令这块的相关信息我们在前几篇的文章中已经有了基本了解,这一篇不过多解释了,将剩下的指令列出来,作为记录(节选自《深入理解JAVA虚拟机》)。
1、对象创建与访问指令
JVM对类实例和数组创建和操作使用了不同的字节码指令,包括:
创建类实例的指令:new
创建数组的指令:newarray , anewarray , multianewarray
访问类字段(static 字段,或者称为类变量)和实例字段(非static 字段,或者称为实例变量)的指令:getfield , putfield , getstatic , putstatic
把一个数组元素加载到操作数栈的指令:baload , caload , saload , iaload , laload , faload , daload , aaload
将一个操作数栈的值存储到数组元素中的指令:bastore , castore , sastore , iastore , fastore , dastore , aastore
取数组长度的指令:arraylength
检查类实例类型的指令:instanceof,checkcast
2.操作数栈管理指令
操作数栈的栈顶一个或两个元素出栈:pop , po2
复制栈顶一个或两个元素并将复制值或双份值重新压入栈顶:dup ,dup2,duo_x1,dup_x2,dup2_x2
将栈最顶端的两个数值交换:swap
3.控制转移指令
用于让JVM有条件或无条件地从指定的位置指令(而不是控制转移指令的下一条指令)继续执行程序,即有条件或无条件地修改PC寄存器的值。
控制转移指令如下:
3.1、条件分支:ifeq、iflt、ifle、ifgt、ifge、ifnull、ifnonnull、empeq、if_icmpne、if_icmplt、if_icmpgt、if_icmple、if_icmpge、if_acmpeq和if_acmpne;
3.2、复合条件分支:tableswitch、lookupswitch;
3.3、无条件分支:goto、goto_w、jsr、jsr_w、ret;
JVM有专门处理int、reference类型和检测null值的指令:
对boolean、byte、char和short类型的条件分支比较操作,都是使用int类型的比较操作指令;
对long、float和double类型的条件分支比较操作,则先会执行相应类型的比较运算指令(dempg、dempl、fempg、fempl、lemp),然后返回一个整型值到操作数栈中,再执行int类型的条件分支比较操作完成跳转;
所以java虚拟机提供的int类型的条件分支指令是最为丰富和强大的。
4.方法调用和返回指令
方法调用指令主要是的以下5条:
1、invokevirtual指令:用于调用对象的实例方法,根据实际类型进行分派(虚方法分派),最常见的分派方式;
2、invokeinterface指令:用于调用对象接口方法,运行时会搜索一个实现了该接口方法的对象,找出适合的方法进行调用;
3、invokespecial指令:用于调用一些需要特殊处理的实例方法,包括实例初始化方法、私有方法和父类方法;
4、invokestatic指令:用于调用类方法(static方法);
5、invokedynamic指令:用于在运行时动态解析出调用点限定符所引用的方法,并执行该方法;
前面4条指令的分派逻辑都固化在JVM内,而invokedynamic指令的分派逻辑是由用户所设定的引导方法决定的。
方法调用指令与数据类型无关,而方法返回指令是根据返回值类型区分的,包括:
1、ireturn、lreturn、freturn、dreturn、areturn;
2、return:void方法、实例初始化方法以及类和接口的类初始化方法使用。
5.异常处理指令
Java程序中显式抛出异常的操作(throw语句)都是由athrow指令来实现的;
还有许多运行时异常,会在JVM指令检测到异常时自动抛出,如idiv或ldiv指令除数为零时,自动抛出ArithmeticException异常;
另外,处理异常(catch语句)不是由字节码指令实现的,而是采用异常表来完成(Code属性中的异常)。
6.同步指令
Java虚拟机可以支持方法级的同步和方法内部一段指令序列的同步。这两种同步结构都是使用管理(Monitor)来支持的。
方法级的同步是隐含的,既无需通过字节码指令来控制,也实现在方法调用和返回操作之中。
同步一段指令序列通常是由Java语言中的synchronize语句块来表示的,Java虚拟机的指令集中有monitorenter和monitorexit两条指令来支持synchronize关键字的语义,正确实现synchronized关键字需要Java编译器与Java虚拟机两者共同协作支持。
喜欢文章或想一起学习的朋友可以关注我,给我点赞,我将会持续更新,有什么疑问或文中有不当之处请给我留言,真诚地希望能与大家一起交流探讨,学习进步。