JAVA虚拟机学习笔记5-虚拟机字节码执行引擎

5.1 概述

Java虚拟机规范中制定虚拟机字节码执行引擎的概念模型。不同虚拟机可能采用解释执行或者编译执行两种选择。

运行时栈帧结构

栈帧是用于支持虚拟机进行方法调用和方法执行的数据结构，它是虚拟机运行时数据区中的虚拟机栈的栈元素。包括：局部变量表、操作数栈、动态连接、方法返回地址、附件信息。

局部变量表

是一组变量值存储空间，用于存放方法参数和方法内部定义的变量。Code属性的max_locals数据项中确定了该方法所需要分配的局部变量表的最大容量。最小单位为slot。

操作数栈

是一个后入先出栈。Code属性的max_stacks数据项中确定最大值。

动态连接

每一个栈帧都包含一个指向运行时常量池中该栈帧所属方法的引用，持有这个引用的为了支持方法调用过程中的动态连接。

方法返回地址

方法退出有2种方式。
第一种是执行引擎遇到任意一个方法返回的字节码指令，这种退出方法的方式称为正常完成出口。
另一种是方法执行过程中遇到异常，并且这个异常没有在方法体内得到处理，导致方法退出，这种退出方法的方式称为异常完成出口。

附加信息

一些规范里没有描述的信息称为栈帧信息。

5.2 方法调用

方法调用并不等同于方法执行，方法调用阶段唯一的任务就是确定被调用方法的版本。

解析调用

非虚方法：在类加载的时候就会把符合引用解析为该方法的直接引用。包括静态方法、使用方法、实例构造器、父方法4类和被final修饰的方法。
虚方法：除去非虚方法的都是虚方法。
解析调用一定是静态的过程。

分派调用

分派调用实现了java的多态性（重载和重写）。
静态分派
所有依赖静态类型来定位方法执行版本的分派动作。典型应用就是重载。
动态分派
运行期根据实际类型确定方法执行版本的分派动作。典型应用就是重写。
单分派
根据一个宗量对目标方法进行选择。
多分派
根据多个宗量对目标方法进行选择。
JAVA语言是一门静态多分派、动态单分派的语言。
虚拟机通过虚方法表来实现动态分派的功能。

动态类型语言支持

在运行时确定类型的语言称为动态类型语言。Java1.7开始支持动态类型java.lang.invoke。

Reflection和MethodHandle的区别：

1. Reflection是模拟java层次的方法调用，MethodHandle是模拟字节码层次的方法调用。
2. Reflection是重量级，MethodHandle是轻量级
3. MethodHandle理论上虚拟机做的各种优化，性能会好一点。