JVM字节码执行引擎和动态绑定原理
1.执行引擎
- 所有Java虚拟机的执行引擎都是一致的: 输入的是字节码文件,处理过程就是解析过程,最后输出执行结果。
- 在整个过程不同的数据在不同的结构中进行处理。
2.栈帧
- jvm进行方法调用和方法执行的数据结构,是虚拟机栈的元素。
(图片来自网络)
- 栈帧包括:局部变量表、操作数栈、动态链接、方法返回地址等
- 编译期就确定了需要多大的局部变量表,多深的操作数栈,这些信息全在字节码中。
- 只有位于栈顶的栈帧才有效,称为当前栈帧,所对应的方法就是当前正在执行的方法。
2.1 局部变量表
- 存放方法参数和方法内部定义的局部变量。
- 容量以变量槽slot为单位,slot内存大小随着需求而变化并且不固定。
- 方法执行时jvm使用局部变量表完成参数值到参数列表的传递过程。
- slot可以被其他变量复用。
- 局部变量不存在准备阶段,所以不会赋予系统初始值,如果不初始化那么他就不能使用。
- jvm通过索引定位的方式定位slot,从0到最大slot数量。0位索引slot是用来存放方法所属对象实例的引用(this),之后按参数列表分配slot,再后按照局部变量顺序分配slot。
2.2操作数栈
- 方法刚刚开始执行时为空,在执行过程中会有各种字节码指令往操作数栈中写入和提取内容,也就是入栈/出栈操作。
- 概念上两个栈帧相互独立,但大多数虚拟机会存在一些优化,让下面栈帧的操作数栈部分区域和上面栈帧的部分局部变量表重合,成为共享区域。
2.3动态链接
- 保存 指向运行时常量池中 该栈帧所属方法的 引用。
- 作用就是 运行期间将符号引用转化为直接引用。
2.4方法返回地址
- 保留一些退出方法时 上层方法执行状态 的信息
3.方法的调用,动态绑定过程。
- 编译过程不包括传统的连接,class文件中只是存符号引用,而不是直接引用。
- 方法调用就是确定该方法是哪个类的哪个方法换个说法就是绑定,这不同于方法执行。
解析
- 符号引用转化为直接引用,因为编译器并不知道分配内存后某个变量具体内存位置,所以编译时使用一个符号代替,分配内存后该变量所在的内存位置就等于这个符号,解析阶段找到这个符号对应的内存位置然后指向她,这就是符号引用转化为直接引用。
- 类加载的解析阶段会把 部分符号引用转化为直接引用,但这种解析的前提条件就是:方法在程序执行之前就有一个就可以确定的版本,并且在运行期间不可变。
- 编译期可知运行期不可变这种方法有static和private方法,想想也是,这两种方法只有定义他们的类才能调用,他们一出生就确定了唯一的主人。他们不可能被继承或者重写其他版本。
- 实例构造器,父类方法这2中也能确定唯一的版本,所以这些方法也是在类加载阶段解析为直接引用。
- 静态方法,私有方法,实例构造器,父类方法这些方法可确定唯一版本所以统称为 非虚方法,final方法也是非虚方法。
分派调用
- 分派调用就是多态特征的体现,在重载重写的方法中正确确定版本。
- 静态类型和动态类型
- Human man = new Man();
- Human 就是变量man 的静态类型, Man 就是man 的实际类型。
- 静态类型在编译期可知,动态类型在运行期才能确定
- 静态分派:根据参数的静态类型确定该方法使用的版本
- 方法被重载了好几个版本,确定要使用哪一个版本就是通过当前调用方法传入参数的静态类型确定版本。
- 静态分派会找到一个和参数静态类型最适合的版本,如 int 类型传入多个没有int的重载版本中还会找到float版本。
- 静态分派在编译期确定调用哪一个版本,并把符号引用记录下来。
- 注意静态分派只确定了方法的版本,如果一个类没有继承其他类当前方法也不是覆写了父类方法,那么他就只有这一个版本可用,如果重写了父类方法,那么就由动态分派来确定使用哪个重写方法。
- 动态分派:运行期间根据调用方法的对象的实际类型确定使用哪个类的方法,也就是确定使用哪个重写方法。编译期间无法确定实际类型
- 找到调用当前方法的对象的实际类型
- 在实际类型中由静态分派确定方法版本。
- 如果找到对应版本则检查访问权限如果通过则返回此方法的引用。
- 如果找不到则从下往上在父类中找,如果找不到则抛出异常。
- 单分派多分派
- 方法的接收者和参数统称为综量
- 静态分派是根据方法参数确定的,方法参数可以有多个所以是多个宗量,属于多分派。
- 动态分派是根据一个实际类型确定的所以属于单宗量,所以是单分派。
- Java 目前是一门静态多分派,动态单分派的语言。
- 静态分派和动态分派的区别
- 静态分派通过参数类型查找重载版本,并且是参数的静态类型。
- 动态分派通过调用方法的对象查找重写版本,并且是对象的实际类型。
4. 字段的调用和方法的调用不同
- 当一个引用变量它的编译时的类型和运行是的类型不一样时:
- 通过引用调用字段则调用的是 编译时类型(静态类型 )对象的字段,也就是父类的字段。
- 通过引用调用方法则是通过动态分派调用实际类型的方法,如果没有就去父类中查找。
JVM字节码执行引擎和动态绑定原理的更多相关文章
- JVM总结(五):JVM字节码执行引擎
JVM字节码执行引擎 运行时栈帧结构 局部变量表 操作数栈 动态连接 方法返回地址 附加信息 方法调用 解析 分派 –“重载”和“重写”的实现 静态分派 动态分派 单分派和多分派 JVM动态分派的实现 ...
- 一夜搞懂 | JVM 字节码执行引擎
前言 本文已经收录到我的 Github 个人博客,欢迎大佬们光临寒舍: 我的 GIthub 博客 学习导图 一.为什么要学习字节码执行引擎? 代码编译的结果从本地机器码转变为字节码,是存储格式发展的一 ...
- 深入理解JVM—字节码执行引擎
原文地址:http://yhjhappy234.blog.163.com/blog/static/3163283220122204355694/ 前面我们不止一次的提到,Java是一种跨平台的语言,为 ...
- JVM字节码执行引擎
一.概述 在不同的虚拟机实现里面,执行引擎在执行Java代码的时候可能会有解释执行(通过解释器执行)和编译器执行(通过即时编译器产生本地代码执行)两种选择,所有的Java虚拟机的执行引擎都是一致的:输 ...
- 图解JVM字节码执行引擎之栈帧结构
一.执行引擎 “虚拟机”的概念是相对于“物理机”而言的,这两种“机器”都有执行代码的能力.物理机的执行引擎是直接建立在硬件处理器.物理寄存器.指令集和操作系统层面的:而“虚拟机”的执行引擎是 ...
- 深入理解JVM虚拟机5:虚拟机字节码执行引擎
虚拟机字节码执行引擎 转自https://juejin.im/post/5abc97ff518825556a727e66 所谓的「虚拟机字节码执行引擎」其实就是 JVM 根据 Class 文件中给 ...
- JVM学习笔记:字节码执行引擎
JVM学习笔记:字节码执行引擎 移步大神贴:http://rednaxelafx.iteye.com/blog/492667
- JVM基础结构与字节码执行引擎
JVM基础结构 JVM内部结构如下:栈.堆. 栈 JVM中的栈主要是指线程里面的栈,里面有方法栈.native方法栈.PC寄存器等等:每个方法栈是由栈帧组成的:每个栈帧是由局部变量表.操作数栈等组成. ...
- 深入理解Java虚拟机(类文件结构+类加载机制+字节码执行引擎)
目录 1.类文件结构 1.1 Class类文件结构 1.2 魔数与Class文件的版本 1.3 常量池 1.4 访问标志 1.5 类索引.父索引与接口索引集合 1.6 字段表集合 1.7 方法集合 1 ...
随机推荐
- BZOJ1591 & 洛谷2924:[USACO2008 DEC]Largest Fence 最大的围栏——题解
http://www.lydsy.com/JudgeOnline/problem.php?id=1591 https://www.luogu.org/problemnew/show/P2924#sub ...
- CentOS安装pip
环境 操作系统:CentOS 6.7 32-bit Python:2.6.6 安装 先安装setuptools和wget yum -y install wget wget https://pypi.p ...
- 阐述ArrayList、Vector、LinkedList的存储性能和特性?
ArrayList 和Vector他们底层的实现都是一样的,都是使用数组方式存储数据,此数组元素数大于实际存储的数据以便增加和插入元素,它们都允许直接按序号索引元素,但是插入元素要涉及数组元素移动等内 ...
- mysql的concat用法
问题提出:mybatis的mapper文件中的模糊查询: mysql CONCAT()函数用于将多个字符串连接成一个字符串,是最重要的mysql函数之一,下面就将为您详细介绍mysql CONCAT( ...
- book_notes
http://139.196.8.158/ https://caomall.worktile.com/tasks/projects/58fd73047619c44427c0d719 http://lo ...
- java获去json所有对象
public static void main(String args[]){ JSONObject json1=JSONObject.fromObject("{'username' : ' ...
- JavaScript中this的用法详解
JavaScript中this的用法详解 最近,跟身边学前端的朋友了解,有很多人对函数中的this的用法和指向问题比较模糊,这里写一篇博客跟大家一起探讨一下this的用法和指向性问题. 1定义 thi ...
- tortoise svn冲突解决
Tortoiese svn 冲突解决 当文件被别人修改并提交到SVN服务器后,如果自己本地的文件没有被更新为最新的版本,而且已经做了修改,这时候提交将会被成功,系统会提示你的版本已经过期,并要求你先进 ...
- python检测硬盘脚本
#!/usr/bin/env python # _*_coding:utf-8_*_ import os import sys import statvfs def main(): '''deamon ...
- 知问前端——Ajax表单插件
传统的表单提交,需要多次跳转页面,极大的消耗资源也缺乏良好的用户体验.而这款form.js表单的Ajax提交插件将解决这个问题. 一.核心方法 官方网站:http://malsup.com/jquer ...