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

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

运行时栈帧结构

栈帧是虚拟机运行时数据区的java虚拟机栈的基本单位。栈帧是支持虚拟机进行方法调用和方法执行的数据结构，栈帧中存储了方法的局部变量表和操作数占、动态链接、方法返回地址等信息。每一个java方法从开始调用到执行结束，都对应着一个栈帧在虚拟机栈里面的入栈到出栈的过程。

栈帧中需要多大的局部变量表、多深的操作数栈，在编译期间都已经完全确定下来了。与运行期间的变量数据无关。

在活动的当前线程中，只有位于栈顶的栈帧才是有效地，被称为当前栈帧，这个栈帧相关联的方法是当前方法，执行引擎运行的字节码指令都只针对当前栈帧进行操作。

局部变量表

是一组变量存储空间，用于存放方法参数和方法内部定义的局部变量。在java程序编译class文件的时候，就已经确定了局部变量表的大小。

slot（变量槽）

虚拟机中没有直接说明一个slot确切的空间大下。但规定了Slot中可以存放boolean、byte、char、short、int、float、reference、returnAddress这八种数据类型。

实例方法（非static方法）的局部变量表的空间分配

• 在方法执行时，虚拟机使用局部变量表完成参数值到参数变量列表的传递。
• 局部变量表的第0个索引的Slot默认是传递方法所属对象实例的引用。即this
• 方法参数表开始一次排列
• 方法体内部定义的变量，按顺序分配。

操作数栈

• 操作数栈的最大深度也在编译的时候就被确定下来。
• 操作数栈中的元素可以是java的任意一种类型，32位的栈容量为1,64位栈容量为2。
• 基于栈的执行引擎，栈就是操作数栈

动态链接

方法返回地址

两种退出方法的方式

• return语句
• 异常

退出方法时可能执行的操作：

• 恢复上层方法的局部变量表和操作数栈；
• 把返回值压入调用者栈帧的操作数栈；
• 调整 PC 计数器指向方法调用后面的指令。

方法调用

简介

方法调用并不等同于方法执行，方法调用的唯一目的就是确定要调用哪个方法，但并不涉及方法内部的执行。一切方法调用在class文件存储的都只是符号引用，而不是方法实际执行的直接引用。符号引用转换成直接引用，需要到类加载阶段甚至是运行阶段才能确定下来。

方法调用主要分为两种，解析调用和分派调用。

字节码调用指令

• invokestatic：调用静态方法；

• invokespecial：调用构造器方法、私有方法、父类方法；

• invokevirtual：调用所有虚方法，除了静态方法、构造器方法、私有方法、父类方法、final 方法的其他方法叫虚方法；

• invokeinterface：调用接口方法，会在运行时确定一个该接口的实现对象；

• invokedynamic：在运行时动态解析出调用点限定符引用的方法，再执行该方法。

其中，只要是被invokestatic、invokespecial两种指令调用的方法，都可以在解析阶段唯一确定调用版本，也就是调用那个方法。主要包括静态方法、私有方法、实例构造器、父类方法，这些方法在类加载的时候，会直接把符号引用解析为方法的直接引用

这些方法我们称之为非虚方法，除了final修饰的方法外，其余方法被称为虚方法，final方法也是一种非虚方法，但是并不和上四类方法一起讨论。

分派

分派又分为动态分派和静态分派，静态分派主要体现在重载，动态分派可以在方法重写上体现。

• 静态分派：所有依赖静态类型来定位方法执行版本的分派动作成为静态分派

  • 主要体现：方法重载

  • 期间：编译期间

  • 代码体现：

    • package com.wangye.Test;
      public class Main {
          static abstract class Human{}
          static  class Man extends Human{}
          static  class Woman extends Human{}
          public void sayHello(Human human){
              System.out.println("Human");
          }
          public void sayHello(Man man){
              System.out.println("Man");
          }
          public void sayHello(Woman woman){
              System.out.println("Woman");
          }
          public static void main(String[] args) {
              Human man = new Man();
              Human woman = new Woman();
              Main main = new Main();
              main.sayHello(man);
              main.sayHello(woman);
          }
      }
      

      输出

      Human
      Human
      

      • 上述代码中，我们将Human作为静态类型或者可以成为外观类型，Man、Woman都是实际类型
      • 类的方法重载机制，在选择哪个方法时，主要考虑传入的参数和数据类型，而虚拟机在重载的时候，是根据参数的静态类型做出判断依据，不是实际类型。

• 动态分派

  • 根据静态分派的定义和性质，我们可以知道，动态分派肯定是根据实际类型来做出判断的

  • 动态分派主要体现在方法的重写上。

  • 期间：运行期间

  • 代码体现：

    • package com.wangye.Test;
      public class Override {
          static abstract class Human{
              protected abstract void sayHello();
          }
          static class Man extends Human{
              @java.lang.Override
              protected void sayHello() {
                  System.out.println("man hello");
              }
          }
          static class Woman extends Human{
              @java.lang.Override
              protected void sayHello() {
                  System.out.println("Woman hello");
              }
          }
          public static void main(String[] args) {
              Human man  = new Man();
              Human woman = new Woman();
              man.sayHello();
              woman.sayHello();
              man =woman;
              man.sayHello();
          }
      }
      

      输出：

      man hello
      Woman hello
      Woman hello
      

    • 可以看到，sayHello方法的运行，实际上是根据实际类型决定的。

总结

解析一定是静态的过程，并且在编译期间就完全确定，在类加载的解析阶段就会把涉及的符号引用全部转为直接引用，不会延迟到运行期间。

分派分为静态分派和动态分派，静态分派是在编译期间完成的，但是动态分派是在运行期间完成的。

```
- 可以看到，sayHello方法的运行，实际上是根据实际类型决定的。

总结

解析一定是静态的过程，并且在编译期间就完全确定，在类加载的解析阶段就会把涉及的符号引用全部转为直接引用，不会延迟到运行期间。

分派分为静态分派和动态分派，静态分派是在编译期间完成的，但是动态分派是在运行期间完成的。