【JVM】虚拟机字节码执行引擎
概念模型上,典型的帧栈结构如下(栈是线程私有的,也就是每个线程都会有自己的栈)。
- 局部变量表
存放方法参数和方法内部定义的局部变量。在编译阶段,就在Class文件的Code属性的max_locals数据项中确定了该方法所需要分配的局部变量表的最大容量。(仅仅是变量,不包括具体的对象)。</br>
局部变量表内部以变量槽(Variable Slot)为最小单位。对于byte
、char
、float
、int
、short
、boolean
、reference
、returnAddress
等长度不超过32位的数据类型,每个局部变量占用一个Slot,double和long这两种64位的数据类型则需要两个Slot</br>
在方法执行时,虚拟机是使用局部变量表完成参数值到参数变量列表的传递的,如果执行的是实例方法(非static
方法),则局部变量表中第0位索引的Slot默认是用于传递方法所属对象实例的引用,在方法中通过this
来访问这个隐含的参数。</br>
局部变量表中的Slot是可重用的,如果当前字节码PC计数器的值已经超出了某变量的作用域,则这个变量对应的Slot可以交给其它变量重用。重用可以节省栈空间,但也会带来副作用:(为虚拟机设置运行参数加上-verbose:gc
即可输出gc
日志信息)
//--------------------------测试1---------------------------//
public static void main(String[] args){
byte[] placeholder = new byte[64*1000*1000];
System.gc();
}
//查看日志,并未回收
[GC (System.gc()) 69437K->63438K(251392K), 0.0012879 secs]
[Full GC (System.gc()) 63438K->63277K(251392K), 0.0058505 secs]
//------------------------测试2-----------------------------//
public static void main(String[] args) {
{
byte[] placeholder = new byte[64 * 1000 * 1000];
}
System.gc();
}
//查看日志,并未回收
[GC (System.gc()) 69437K->63420K(251392K), 0.0011785 secs]
[Full GC (System.gc()) 63420K->63277K(251392K), 0.0058676 secs]
//------------------------测试3-----------------------------//
public static void main(String[] args) {
{
byte[] placeholder = new byte[64 * 1000 * 1000];
}
int a = 0;
System.gc();
}
//查看日志,回收了
[GC (System.gc()) 69437K->63454K(251392K), 0.0011921 secs]
[Full GC (System.gc()) 63454K->777K(251392K), 0.0056915 secs]
测试1中在System.gc()
时,变量placeholder
还处在作用于之内,不会回收;测试2在System.gc()
时,变量placeholder
虽然已经不在作用域,但是placeholder
原本所占用的Slot还没有被复用,所以作为GC Root一部分的局部变量表仍然保持着对它的关联,所以也没有回收。这种关联没有被及时打破的影响在绝大部分
下都很轻微,但假如有一个方法,后面的代码有一些耗时很长的操作,而前面又定义了占用大量内存、实际已经不会再使用的变量,则手动将其设为null是有意义的。</br>
还有一点就是,局部变量不像类变量(仅指被static修饰的变量,不包括实例变量)一样存在准备阶段,它不存在系统默认值。所以必须为局部变量定义初始值。(不指定,编译也会报错)。
操作数栈
操作数栈,也叫操作栈,是先入后出的栈。其中的元素是任意的Java数据类型,包括long
和double
。32位数据类型所占容量为1,64位为2。在方法执行的任何时刻,操作数栈的最大深度都不会超过Code属性中max_stacks
数据项所设定的最大值。</br>
当一个方法开始执行的时候,操作栈是空的,在方法的执行过程中,会有各种字节码指令出栈/入栈。例如,在做算术运算的时候,是通过操作栈来进行的,调用其他方法的时候是通过操作栈来进行参数传递的。</br>
例如,整数加法的字节码指令iadd
在运行的时候,操作栈中最接近栈顶的两个元素已经存入了两个int型数值,当执行这个指令时,会将这两个int值出栈并相加,然后将相加的结果入栈。</br>
在概念模型中,两个帧栈作为虚拟机栈的元素是完全独立的,但是在大多数虚拟机实现中都会做优化,将两个帧栈出现一部分重叠:让下面帧栈的部分操作栈与上面帧栈的部分局部变量表重叠,以便在方法调用时共用一部分数据,避免不必要的参数复制传递。动态连接
每个帧栈都包含一个指向运行时常量池中该帧栈所属方法的引用。持有这个引用是为了支持方法调用过程中的动态连接。字节码中的方法调用指令(这里,“方法调用”是指令的修饰词,不要理解错了)以常量池中指向方法的符号引用作为参数。这些符号引用一部分会在类加载阶段或者第一次使用的时候就转化为直接引用,这种转化称为静态解析。另外一部分将在每一次运行期间转化为直接引用,这部分称为动态连接。
方法返回地址
当一个方法开始执行后,有两种方式退出这个方法:正常完成出口
执行引擎遇到方法返回的字节码指令,此时将返回值传递给上层的方法调用者(是否有返回值以及返回值的类型由方法返回指令来决定)异常完成出口
方法执行过程中出现异常,并且该异常没有在方法体中处理(可能是Java虚拟机内部产生的异常,也可能代码中使用athrow
字节码指令产生的异常)。</br>
方法退出实际就是当前帧出栈,因此退出时可能执行的操作有:恢复上层方法的局部变量表和操作数栈,把返回值(如果有)压入调用者帧栈的操作数栈中,调整PC计数器的值以指向方法调用指令后面的一条指令。附加信息:规范之外的,取决于具体虚拟机实现。
方法调用
方法调用并不等同于方法执行,方法调用阶段的唯一目的就是确定被调用的方法的版本(即调用哪个方法)。一切方法调用在Class文件里存储的都是符号引用,而不是方法的直接引用(方法在实际运行时内存布局中的入口地址)。
在虚拟机中,有5条方法调用字节码指令:
①invokestatic
:调用静态方法;
②invokespecial
:调用实例构造器<init>
方法、私有方法和父类方法;
③invokevirtual
:调用所有的虚方法;
④invokeinterface
:调用接口方法,在运行时再确定一个实现此接口的对象;
⑤invokedynamic
:先在运行时动态解析出调用点限定符所引用的方法,然后再执行该方法。
方法的调用可以分为解析调用和分派调用。
解析调用
在类加载中的解析阶段,会将方法调用中的目标方法的一部分符号引用转化为直接引用,这部分可以转化的前提是:方法在程序运行之前就有一个可确定的调用版本,并且这个方法的调用版本在运行期间是不可改变的。这类方法的调用称为解析(或解析调用)。
在Java中,符合上述特点(编译器可知,运行期不可变)的方法:静态方法和私有方法。与对应方法调用指令,只要能被invokestatic
和invokespecial
指令调用的方法,都是可以在解析阶段确定唯一调用版本的。这类方法称为非虚方法,其他方法都称为虚方法。
在Java中,非虚方法除了invokestatic
和invokespecial
指令能调用的方法外,还包括final
方法。</br>
解析调用一定是静态的过程,在编译期间就可以完全确定,在类加载的解析阶段就可以把方法的符号引用转变为直接引用,不会延迟到运行期间再去完成。分派调用
分派调用是理解继承、封装和多态(尤其是重载和重写)的关键。对它的理解,可以更清楚虚拟机是如何确定正确的目标方法的。静态分派
首先来理解两个概念:静态类型和实际类型。
Human human = new Man();//这里假设Man是Human的子类
上述代码中:Human
为变量的静态类型,Man
为变量的实际类型。
虚拟机(准确地说是编译器)在重载时,是通过参数的静态类型而不是实际类型作为判定依据的。
public class StaticDispatch {
static abstract class Human{}
static class Man extends Human{}
static class Woman extends Human{}
public void sayHello(Human human){
System.out.println("hello, human");
}
public void sayHello(Man man){
System.out.println("hello, man");
}
public void sayHello(Woman woman){
System.out.println("hello, woman");
}
@Test
public void test(){
Human man = new Man();
Human woman = new Woman();
StaticDispatch dispatch = new StaticDispatch();
dispatch.sayHello(man);
dispatch.sayHello(woman);
}
}
//最终的打印结果如下:(重载时是以静态类型判断的)
hello, human
hello, human
编译器虽然可以确定方法的重载版本,但在很多情况下这个重载版本并不是“唯一的”,往往只能确定一个“更加合适的”版本。这种情况的产生的主要原因是字面量不需要定义,所以字面量没有显示的静态类型,它的静态类型只能通过语言上的规则去理解和推测。
public class OverLoad {
public static void sayHello(Object object){
System.out.println("hello Object");
}
public static void sayHello(int a){
System.out.println("hello int");
}
public static void sayHello(long a){
System.out.println("hello long");
}
public static void sayHello(Character character){
System.out.println("hello Character");
}
public static void sayHello(char c){
System.out.println("hello char");
}
public static void sayHello(char... c){
System.out.println("hello char...");
}
public static void sayHello(Serializable serializable){
System.out.println("hello Serializable");
}
@Test
public void test(){
sayHello('a');
}
}
以上代码,将打印出hello char
;
①将sayHello(char c)
注释掉,将打印出:hello int
,
②继续将sayHello(int a)
注释掉,将打印出:hello long
,
这两步的原因是字符a
发生自动类型转换(char->int->long->float->double)
③继续将sayHello(long a)
注释掉,将打印出:hello Character
原因是字符a
被自动装箱为Character
类型
④继续将sayHello(Character character)
注释掉,将打印出:hello Serializable
原因是a
被自动装箱为Character
类型后仍然找不到方法,继续自动转型,Character
实现了Serializable
接口。
⑤继续将sayHello(Serializable serializable)
注释掉,将打印出:hello Object
原因是char装箱后转型为父类了,如果有多个父类,将在继承关系中从下往上搜索,约接近上层优先级越低。
⑥继续将sayHello(Object object)
注释掉,将打印出:hello char...
可见:可变长参数的重载优先级是最低的。
- 动态分派
在运行期间,根据参数实际类型来确定方法执行版本的过程。主要对应Java中的重写。
public class DynamicDispatch {
static abstract class Human {
abstract void sayHello();
}
static class Man extends Human {
@Override
void sayHello() {
System.out.println("man say hello");
}
}
static class Woman extends Human {
@Override
void sayHello() {
System.out.println("woman say hello");
}
}
@Test
public void test() {
Human man = new Man();
Human woman = new Woman();
man.sayHello();
woman.sayHello();
}
}
//将会打印
man say hello
woman say hello
通过以上可知,静态分派与动态分派是不同情况下方法调用所采取的不同的分派方式,两者并不是非此即彼的,还可能出现一个方法调用在确定直接引用时,既用到静态分派,又用到动态分派。确定重载方法的时候用到的是静态分派,确定重写方法的时候用到的是动态分派。即重载看参数静态类型,重写看参数实际类型。这里的参数,重载时是指方法的参数列表中那个参数,重写时是指该方法的调用者。
单分派与多分派
方法的接受者和方法的参数统称为方法的宗量,根据分派基于多少种宗量,可以将分派划分为单分派和多分派两种。
Java语言属于静态多分派、动态单分派的语言。虚拟机动态分派的实现
动态类型语言支持:TODO
基于栈的字节码解释执行引擎//TODO
主要探讨虚拟机如何执行方法中的字节码指令。许多Java虚拟机的执行引擎在执行Java代码的时候都有解释执行(通过解释器执行)和编译执行(通过即时编译器生成本地代码执行)两种选择,这里进讨论解释执行。
解释执行
基于栈的指令集和基于寄存器的指令集
基于栈的解释器执行过程
作者:maxwellyue
链接:https://www.jianshu.com/p/3f427d7476b3
来源:简书
【JVM】虚拟机字节码执行引擎的更多相关文章
- 深入理解JVM虚拟机5:虚拟机字节码执行引擎
虚拟机字节码执行引擎 转自https://juejin.im/post/5abc97ff518825556a727e66 所谓的「虚拟机字节码执行引擎」其实就是 JVM 根据 Class 文件中给 ...
- 【java虚拟机系列】从java虚拟机字节码执行引擎的执行过程来彻底理解java的多态性
我们知道面向对象语言的三大特点之一就是多态性,而java作为一种面向对象的语言,自然也满足多态性,我们也知道java中的多态包括重载与重写,我们也知道在C++中动态多态是通过虚函数来实现的,而虚函数是 ...
- java虚拟机字节码执行引擎
定义 java虚拟机字节码执行引擎是jvm最核心的组成部分之一,它做的事情很简单:输入的是字节码文件,处理过程是字节码解析的等效过程,输出的是执行结果.在不同的虚拟机实现里,执行引擎在执行java代码 ...
- 《深入理解Java虚拟机》-----第8章 虚拟机字节码执行引擎——Java高级开发必须懂的
概述 执行引擎是Java虚拟机最核心的组成部分之一.“虚拟机”是一个相对于“物理机”的概念 ,这两种机器都有代码执行能力,其区别是物理机的执行引擎是直接建立在处理器.硬件.指令集和操作系统层面上的,而 ...
- Java虚拟机--虚拟机字节码执行引擎
Java虚拟机--虚拟机字节码执行引擎 所有的Java虚拟机的执行引擎都是一致的:输入的是字节码文件,处理过程是字节码解析的等效过程,输出的是执行结果. 运行时栈帧结构 用于支持虚拟机进行方法调用和方 ...
- Java虚拟机-字节码执行引擎
概述 Java虚拟机规范中制定了虚拟机字节码执行引擎的概念模型,成为各种虚拟机执行引擎的统一外观(Facade).不同的虚拟机引擎会包含两种执行模式,解释执行和编译执行. 运行时帧栈结构 栈帧(Sta ...
- JAVA虚拟机:虚拟机字节码执行引擎
“虚拟机”是一个相对“物理机”的概念,这两种机器都有代码执行能力. 物理机的执行引擎是直接建立在处理器.硬件.指令集和操作系统层面上的. 虚拟机的执行引擎由自己实现,自行制定指令集与执行引擎的结构体系 ...
- 深入了解java虚拟机(JVM) 第十三章 虚拟机字节码执行引擎
一.概述 执行引擎是java虚拟机最核心的组成部件之一.虚拟机的执行引擎由自己实现,所以可以自行定制指令集与执行引擎的结构体系,并且能够执行那些不被硬件直接支持的指令集格式.所有的Java虚拟机的执行 ...
- 深入理解JVM - 虚拟机字节码执行引 - 第八章
概述从外观上看起来,所有的 Java 虚拟机的执行引擎都是一致的:输入的是字节码文件,处理过程是字节码解析的等效过程,输出的是执行结果.主要从概念模型的角度来讲解虚拟机的方法调用和字节码执行. 运行时 ...
- 【Java】JVM(六)虚拟机字节码执行引擎
一.概述 执行引擎是虚拟机中最核心的部分之一, 虚拟机自己实现引擎,自己定义指令集和执行引擎的结构体系. 二.栈帧 栈帧包含(1)局部变量表.(2)操作数栈.(3)动态链接.(4)方法返回地址.(5) ...
随机推荐
- npm 安装 react-devtools
由于不能科学的上网.网上看资料装上了这个插件,装的过程有点坑.记录一下,希望能帮到和我一样的新手. 1.第一步,克隆下远程仓库的东西. 桌面右键,git-bash.然后输入: git clone ht ...
- fastjson反序列化漏洞研究(下)
之前的文章显示字符太多 拒绝显示 只好分为两篇了 这样我们只需要找到可以利用的类,构造poc链就好了,这个和以前的java反序列化漏洞类似,先不说.网上最早的poc是使用com.sun.org.ap ...
- Python学习笔记【1】
1.%r和%s的区别 (1)stackflow 上面的一个解答 (2) x = "There are %d types of people." %10 binary = " ...
- Sqlite常用命令及基本知识
sqlite菜鸟教程:http://www.runoob.com/sqlite/sqlite-tutorial.html 常用命令: .sqlite3 --从dos命令模式进入sqlite命令 ...
- 【hbase】hbase理论学习
HBase用途: 基于Hadoop Distributed File System,是一个开源的,基于列存储模型的分布式数据库. HBase简介: HBase是一个分布式的.多版本的.面向列的开源数据 ...
- mysql8.x 新版本jdbc连接方式
旧版本,MySQL Connector/J 5.x 版本的连接方式:url = jdbc:mysql://localhost:3306/thrcloud_db01?useUnicode=true&am ...
- [nginx][tls] nginx配置https与ssl/tls的sni的方法
一 https的sni配置方法 http { } server { listen 443 ssl; server_nam ...
- Linux命令——readlink、realpath
参考:Linux命令——ln Linux readlink and realpath Command Tutorial for Beginners (with Examples) 简介 ln命令允许你 ...
- HTML&CSS基础-伪类选择器
HTML&CSS基础-伪类选择器 作者:尹正杰 版权声明:原创作品,谢绝转载!否则将追究法律责任. 一.html源代码 <!DOCTYPE html> <html> & ...
- 《奋斗吧!菜鸟》 第九次作业:Beta冲刺 Scrum meeting 1
项目 内容 这个作业属于哪个课程 任课教师链接 作业要求 https://www.cnblogs.com/nwnu-daizh/p/11056511.html 团队名称 奋斗吧!菜鸟 作业学习目标 掌 ...