虚拟机字节码执行引擎

虚拟机字节码执行引擎

1.概述

      执行引擎是java虚拟机最核心的组成部分之一，虚拟机区别于物理机的一点是，物理机的执行引擎是直接建立于硬件，处理器和操作系统的层面上的，但是虚拟机的执行引擎是由自己实现的，因此可以自己去定义指令集和执行引擎的结构体系。java虚拟机在执行Java代码的时候有两种方式：解析执行和编译执行。

2.栈帧结构

      栈帧是用于支持虚拟机进行方法调用和方法执行的数据结构，每一个栈帧都包括了局部变量表，操作数栈，动态连接，方法返回地址和一些额外的附加信息。一个栈帧分配多少内存完全是由虚拟机决定的，不受运行时变量数据的影响。

          

      在活动线程中，只有位于栈顶的线程才是有效的，称为当前栈帧，与当前栈帧相关联的方法称为当前方法。

  2.1局部变量表

      局部变量表，是一组变量值存储空间，用于存放方法参数变量和方法内定义的局部变量。局部变量表的容量以变量槽Slot为最小单位，虚拟机规范中没有明确的表明Slot的大小，但是很有导向性的说到每个Slot都可以存放boolean，int，long，double，float，reference和returnAddress。

    2.2操作数栈

       操作数栈也称为操作栈，他是一个先进先出的栈结构，跟局部变量表一样，操作数栈每一个元素都是任意的java数据类型，包括long和double类型，32位的数据类型所占的栈容量为1,64位的数据类型所占的栈容量为2。

        当一个方法开始执行的时候，栈是空的，随着方法的执行，各种字节码指令会往操作数栈中进行写入和提取内容的操作。

         ps：在概念模型中，两个栈帧作为虚拟机栈的元素，是完全独立的，但是大多数的虚拟机的实现都会做一些优化处理，令两个栈帧出现一部分重叠，这样在进行方法调用的时候可以共用一部分数据，省去了额外的参数复制的开销。Java虚拟机引擎也称为“基于栈的执行引擎”

    2.3动态连接

         每个栈帧都包含一个在运行时常量池中指向该栈帧所属方法的引用，持有这个引用是为了支持方法调用过程中的动态连接，Class文件的常量池中有大量的符号引用，这些符号引用一部分会在类加载阶段或者是第一次使用的时候就转化为直接引用，这种转化就称为是静态解析。而另一部分将在每一次运行期期间就转化为直接引用，这部分称为动态连接。

    2.4方法调用

        方法调用并不等同于方法执行，方法调用阶段唯一的任务就是确定被调用的方法的版本，暂时还不涉及方法内部的具体运行过程。

        2.5分派

        2.5.1静态分派

          所有依赖静态类型来定位方法执行版本的分派动作称为静态分派，典型的静态分派例子就是重载。静态分派发生在编译阶段，因此确定确定静态分派不是由虚拟机来执行的。java语言的静态分派属于多分派类型

        2.5.2动态分派
          动态分派的典型例子就是重写。

3.虚拟机动态分派的实现

在方法区中建立一个虚方法表，使用虚方法表中的索引来替代元数据查找以提高性能，虚方法表中存放着各个方法的实际入口地址，如果某个方法在子类中没有被重写，那么子类的虚方法表中的入口地址与父类的是一致的，如果子类重写了这个方法，那么子类虚方法表中的地址就会被替换成新的入口地址。

           方法表一般在类加载的连接阶段进行初始化，准备了类的变量初始值后，虚拟机会把该类的方法表也初始化完毕。

   除了使用方法表实现虚拟机的动态分派，还可以使用内联缓存和基于类型继承关系分析技术守护内联。