一晚上搞懂 | JVM 字节码执行引擎

前言

本文已经收录到个人 Github 我的博客，欢迎大佬们光临寒舍：

个人 GIthub 博客

学习导图

一.为何要学习字节码执行引擎？

代码编译的结果从本地机器码转变为字节码，是存储格式发展的一小步，倒是编程语言发展的一大步

首先，抛出灵魂三问：

• 虚拟机在执行代码的时候，如何找到正确的方法呢？
• 如何执行方法内的字节码呢？
• 执行代码时涉及的内存结构有哪些呢？

若是你对上述问题理解得还不是特别透彻的话，能够看下这篇文章；若是理解了，你能够关闭网页，打开游戏放松了hhh

下面，笔者将带你探究 JVM 核心的组成部分之一——执行引擎。

二.核心知识点概括

2.1 概述

Q1：虚拟机与物理机的异同

• 相同点：都有代码执行能力
• 不一样点：

• 物理机的执行引擎是直接创建在处理器、硬件、指令集和操做系统层面上的
• 虚拟机的执行引擎是由自定义的，可自行制定指令集与执行引擎的结构体系，且可以执行不被硬件直接支持的指令集格式

Q2：有关 JVM 字节码执行引擎的概念模型

• 外观上：全部 JVM 的执行引擎都是一致的。输入的是字节码文件，处理的是字节码解析的等效过程，输出的是执行结果

• 从实现上，执行引擎有多种执行 Java 代码的选择

• 解释执行：经过解释器执行
• 编译执行：经过即时编译器产生本地代码执行
• 二者兼备，甚至还会包含几个不一样级别的编译器执行引擎

2.2 运行时栈帧结构

2.2.1 基本概念

笔者以前在 一文洞悉 JVM 内存管理机制 中就谈到过虚拟机栈，相信看过的读者都有印象

• 栈帧：用于支持虚拟机进行方法调用和方法执行的数据结构，是虚拟机栈的栈元素
• 存储内容：方法的局部变量表、操做数栈、动态链接、方法返回地址和一些额外的附加信息
• 每个方法从调用直至执行完成的过程，就对应着一个栈帧在虚拟机栈中入栈到出栈的过程
• 一个栈帧须要分配多少内存在程序编译期就已肯定，而不会受到程序运行期变量数据的影响
• 对于执行引擎来讲，只有位于栈顶的栈帧（当前栈帧）才是有效的，即全部字节码指令只对当前栈帧进行操做，与当前栈帧相关联的方法称为当前方法

2.2.2 局部变量表

• 定义：局部变量表是一组变量值存储空间
• 做用：存放方法参数和方法内部定义的局部变量
• 分配时期：Java 程序编译为 Class 文件时，会在方法的 Code 属性的 max_locals 数据项中肯定了该方法所须要分配的局部变量表的最大容量
• 最小单位：变量槽

• 大小：虚拟机规范中没有明确指明一个变量槽占用的内存空间大小，容许变量槽长度随着处理器、操做系统或虚拟机的不一样而发生变化
  1. 对于 32 位之内的数据类型（boolean、byte、char、short、int、float、reference、returnAddress ），虚拟机会为其分配一个变量槽空间
  2. 对于 64 位的数据类型（long、double ），虚拟机会以高位对齐的方式为其分配两个连续的变量槽空间
• 特色：可重用。为了尽量节省栈帧空间，若当前字节码 PC 计数器的值已超出了某个变量的做用域，则该变量对应的变量槽可交给其余变量使用

• 访问方式：经过索引定位。索引值的范围是从 0 开始至局部变量表最大的变量槽数量

• 局部变量表第一项是名为 this 的一个当前类引用，它指向堆中当前对象的引用（由反编译获得的局部变量表可知）

  

2.2.3 操做数栈

• 操做数栈是一个后入先出栈

• 做用：在方法执行过程中，写入（进栈）和提取（出栈）各类字节码指令

• 分配时期：同上，在编译时会在方法的 Code 属性的 max_stacks 数据项中肯定操做数栈的最大深度

• 栈容量：操做数栈的每个元素能够是任意的 Java 数据类型 ——32 位数据类型所占的栈容量为 1，64 位数据类型所占的栈容量为 2

• 注意：操做数栈中元素的数据类型必须与字节码指令的序列严格匹配，在编译时编译器须要验证一次、在类校验阶段的数据流分析中还要再次验证

2.2.4 动态链接

• 定义：每一个栈帧都包含一个指向运行时常量池中该栈帧所属方法的引用，持有这个引用是为了支持方法调用过程当中的动态链接
• 静态解析和动态链接区别：

Class 文件的常量池中存有大量的符号引用，字节码中的方法调用指令就以常量池中指向方法的符号引用做为参数，这些符号引用：

• 一部分会在类加载阶段或者第一次使用的时候就转化为直接引用（静态解析）
• 另外一部分会在每一次运行期间转化为直接引用（动态链接）

2.2.5 方法返回地址

• 方法退出的两种方式：

• 正常退出：执行中遇到任意一个方法返回的字节码指令
• 异常退出：执行中遇到异常、且在本方法的异常表中没有搜索到匹配的异常处理器区处理

• 做用：在方法返回时均可能在栈帧中保存一些信息，用于恢复上层方法调用者的执行状态

• 正常退出时，调用者的 PC 计数器的值能够做为返回地址
• 异常退出时，经过异常处理器表来肯定返回地址

• 方法退出的执行操做：

• 恢复上层方法的局部变量表和操做数栈
• 如有返回值把它压入调用者栈帧的操做数栈中
• 调整 PC 计数器的值以指向方法调用指令后面的一条指令等

在实际开发中，通常会把动态链接、方法返回地址与其余附加信息所有一块儿称为栈帧信息

2.3 方法调用

• 方法调用是最广泛且频繁的操做
• 任务：肯定被调用方法的版本，即调用哪个方法，不涉及方法内部的具体运行过程

下面笔者将为你们详细讲解方法调用的类型

2.3.1 解析调用

笔者以前在 一晚上搞懂 | JVM 类加载机制中就谈到过解析，感受有点混淆的，能够回去看下

• 特色：
  1. 是静态过程
  2. 在编译期间就彻底肯定，在类装载的解析阶段就会把涉及的符号引用所有转变为可肯定的直接引用，而不会延迟到运行期再去完成，即编译期可知、运行期不变
• 适用对象：private 修饰的私有方法，类静态方法，类实例构造器，父类方法

2.3.2 分派调用

Q1：什么是静态类型？什么是实际类型？

A1：这个用代码来讲比较简便， Talk is cheap ! Show me the code !

//父类
public class Human {
}
复制代码

//子类
public class Man extends Human {
}
复制代码

public class Main {

    public static void main(String[] args) {
        //这里的 Human 是静态类型，Man 是实际类型
        Human man=new Man();
    }

}
复制代码

1.静态分派

• 依赖静态类型来定位方法的执行版本
• 典型应用是方法重载
• 发生在编译阶段，不禁 JVM 来执行

单纯说未免有些许抽象，因此特意用下面的 DEMO 来帮助了解

public class Father {
}
public class Son extends Father {
}
public class Daughter extends Father {
}
复制代码

public class Hello {
    public void sayHello(Father father){
        System.out.println("hello , i am the father");
    }
    public void sayHello(Daughter daughter){
        System.out.println("hello i am the daughter");
    }
    public void sayHello(Son son){
        System.out.println("hello i am the son");
    }
}
复制代码

public static void main(String[] args){
    Father son = new Son();
    Father daughter = new Daughter();
    Hello hello = new Hello();
    hello.sayHello(son);
    hello.sayHello(daughter);
}
复制代码

输出结果以下：

hello , i am the father

hello , i am the father

咱们的编译器在生成字节码指令的时候会根据变量的静态类型选择调用合适的方法。就咱们上述的例子而言：

2.动态分派

• 依赖动态类型来定位方法的执行版本

• 典型应用是方法重写

• 发生在运行阶段，由 JVM 来执行

  单纯说未免有些许抽象，因此特意用下面的 DEMO 来帮助了解

public class Father {
    public void sayHello(){
        System.out.println("hello world ---- father");
    }
}

//继承 + 方法重写
public class Son extends Father {
    @Override
    public void sayHello(){
        System.out.println("hello world ---- son");
    }
}

复制代码

public static void main(String[] args){
    Father son = new Son();
    son.sayHello();
}

复制代码

输出结果以下：

hello world ---- son

咱们接着来看一下字节码指令调用状况

疑惑来了，咱们能够看到，JVM 选择调用的是静态类型的对应方法，可是为何最终的结果却调用了是实际类型的对应方法呢？

当咱们将要调用某个类型实例的具体方法时，会首先将当前实例压入操做数栈，而后咱们的 invokevirtual 指令须要完成如下几个步骤才能实现对一个方法的调用：

所以，疑惑天然解决了

3.单分派

• 含义：根据一个宗量对目标方法进行选择（方法的接受者与方法的参数统称为方法的宗量）

4.多分派

• 含义：根据多于一个宗量对目标方法进行选择

想了解 静态多分派，动态单分派 的能够看下这篇文章：Java 中的静态单多分派与动态单分派

三.碎碎念

恭喜你！已经看完了前面的文章，相信你对JVM字节码执行引擎已经有必定深度的了解！你能够稍微放松奖励本身一下，能够睡一个美美的觉，明天起来继续冲冲冲！！！

---

若是文章对您有一点帮助的话，但愿您能点一下赞，您的点赞，是我前进的动力

本文参考连接：

• 《深刻理解Java虚拟机》第3版
• Java 中的静态单多分派与动态单分派
• 要点提炼 | 理解 JVM 之字节码执行引擎
• 虚拟机字节码执行引擎