JVM——虚拟机字节码执行引擎

第8章 虚拟机字节码执行引擎

8.1 概述

虚拟机的执行引擎由软件自行实现的，可以不受物理条件制约地定制指令集与执行引擎的结构体系，能够执行那些不被硬件直接支持的指令集格式
不同的虚拟机实现，执行引擎分为：解释执行（通过解释器执行）和编译执行（通过即时编译器产生本地代码执行）
所有的Java虚拟机的执行引擎输入、输出都是一致的：输入字节码二进制流，处理过程是字节码解析执行的等效过程，输出执行结果

8.2 运行时栈帧结构

虚拟机最基本的执行单位是方法，一个方法对应一个栈帧
而对于执行引擎来讲，在活动线程中，只有位于栈顶的方法才是在运行的，只有位于栈顶的栈帧才是生效的，其被称为“当前栈帧”（Current Stack Frame），与这个栈帧所关联的方法被称为“当前方法”（Current Method）。
执行引擎只针对当前栈帧运行字节码指令。

8.2.1 局部变量表

• 局部变量表（Local Variables Table）是一组变量值的存储空间，用于存放方法参数和方法内部定义的局部变量。
• 局部变量表的容量以变量槽（Variable Slot）为最小单位，一个变量槽可以存放一个 32位以内的数据类型
  对于64位的数据类型，Java虚拟机会以高位对齐的方式为其分配两个连续的变量槽空间
• 由于局部变量表是建立在线程堆栈中的，属于线程私有的数据，无论读写两个连续的变量槽是否为原子操作，都不会引起数据竞争和线程安全问题。
• Java虚拟机通过索引定位的方式使用局部变量表，索引值的范围是从0开始至局部变量表最大的变量槽数量。
• 当一个方法被调用时，Java虚拟机会使用局部变量表来完成参数值到参数变量列表的传递过程，即实参到形参的传递。
  变量槽分配：先this（第0位），然后按参数表顺序排参数，再根据方法体内部定义的变量顺序和作用域分配其余的变量槽
• 变量槽可以重用：如果当前字节码PC计数器的值已经超出了某个变量的作用域，那这个变量对应的变量槽就可以交给其他变量来重用。
• 如果一个局部变量定义了但没有赋初始值，那它是完全不能使用的（字节码校验失败，类加载失败）

8.2.2 操作数栈

• 方法刚开始执行时，这个方法的操作数栈为空，在方法的执行过程中，会有各种字节码指令往操作数栈中写入和提取内容，也就是出栈和入栈操作。

• 操作数栈中元素的数据类型必须与字节码指令的序列严格匹配（类校验阶段验证）

• 两个栈之间的数据共享：
  

• Java虚拟机的解释执行引擎被称为“基于栈的执行引擎”，里面的“栈”就是操作数栈。

8.2.3 动态连接

为支持方法调用中的动态连接，每个栈帧都包含一个引用，指向运行时常量池中该栈帧所属方法
符号引用在类加载阶段或者第一次使用的时候就被转化为直接引用，称为静态解析
符号引用在每一次运行期间转化为直接引用，称为动态连接

8.2.4 方法返回地址

方法退出：当前栈帧出栈，返回值入栈
退出方式：
1）正常调用完成：执行引擎遇到返回指令；
2）异常调用完成：异常
在方法退出之后，都必须返回到最初方法被调用时的位置：主调方法的PC计数器的值

8.3 方法调用：确定被调用方法的版本

8.3.1 解析调用

• 所有方法调用的目标方法在Class文件里面都是一个常量池中的符号引用
• 调用版本编译时已经确定的方法的调用被称为解析调用，这部分符号引用在类加载的解析阶段会转化为直接引用。
• 只要能被invokestatic和invokespecial指令调用的方法，都可以在解析阶段中确定唯一的调用版本。 Java语言里符合这个条件的方法共有静态方法、私有方法、实例构造器、父类方法4种，再加上被final修饰的方法（尽管它使用invokevirtual指令调用），这5种方法调用会在类加载的时候就可以把符号引用解析为该方法的直接引用。这些方法统称为“非虚方法”（Non-Virtual Method），与之相反，其他方法就被称为“虚方法”（Virtual Method）

8.3.2 分派调用：揭示多态

• 1.静态分派：所有依赖静态类型来决定方法执行版本的分派动作
  最典型应用：方法重载
  虚拟机（或者准确地说是编译器）在重载时是通过参数的静态类型而不是实际类型作为判定依据的
  由于静态类型在编译期可知，所以在编译阶段，Javac编译器就根据参数的静态类型决定了会使用哪个重载版本
  需要注意Javac编译器虽然能确定出⽅法的重载版本，但在很多情况下这个重载版本并不是“唯⼀”的，往往只能确定⼀个“相对更合适的”版本； 产⽣这种模糊结论的主要原因是字⾯量天⽣的模糊性；
• 2.动态分派：在运行期根据实际类型确定方法执行版本的分派过程
  应用：方法重写
  Invokevirtual指令执行的第一步是在运行期确定接收者的实际类型，invokevirtual指令并不是把常量池中方法的符号引用解析到直接引用上就结束了，还会根据方法接收者的实际类型来选择方法版本，这个过程就是Java语言中方法重写的本质
  多态性的根源在于虚方法调用指令invokevirtual的执行逻辑，只对方法有效，因为字段不使用这条指令，字段永远不参与多态
• 3.单分派与多分派
  方法的接收者与方法的参数统称为方法的宗量
  单分派是根据一个宗量对目标方法进行选择，多分派则是根据多于一个宗量对目标方法进行选择
• 4.虚拟机动态分派的实现
  动态分派的方法版本选择过程需要运行时在接收者类型的方法元数据中搜索合适的目标方法
  为类型在方法区中建立一个虚方法表（vtable）
  虚方法表中存放着各个方法的实际入口地址
  相同签名的方法：在父类、子类的虚方法表中都应当具有一样的索引序号，这样当类型变换时，仅需要变更查找的虚方法表，就可以从不同的虚方法表中按索引转换出所需的入口地址
  虚方法表一般在类加载的连接阶段进行初始化，在类的变量初始化之后