JVM如何确定方法调用

方法调用并不等同于方法执行，方法调用阶段唯一的任务就是确定调用哪一个方法，不涉及方法内部的具体运行过程。在程序运行时，进行方法调用是最普遍、最频繁的操作，但Class文件的编译过程中不包含传统编译中的连接步骤，一切方法调用只是符号引用，而不是方法在实际运行时内存布局中的入口地址（相当于之前所说的直接引用）。这个特性给Java带来了更强大的动态扩展能力，但也使得Java方法的调用过程变得相对复杂起来，需要在类加载期间甚至到运行期间才能确定目标方法的直接引用。好比多态

了解JVM如何确定方法的调用能够帮助我们去更加深入认识Java多态，在了解JVM如何确定方法调用之前，我们需要先声明两个概念名词：解析、分派。
声明：以下的内容适用于JDK8及更小版本，高版本并未实验所以不提供高版本的参考依据

1.解析

如果一个方法在编译器就可以确定调用的哪个方法→也就是调用目标在程序代码写好、编译器进行编译时就必须确定下来，这类方法的调用称为解析。这类方法再类加载的时候就会把方法的符号引用转换为方法的直接引用地址。

这类方法JVM提供了两条方法调用字节码指令：

  1. invokestatic：调用静态方法
  2. invokesepecial：调用特殊方法(调用实例构造方法<init>，私有方法，和父类方法)
    静态方法：因为静态方法更多被我们称为类方法，它是属于类的，所以一旦通过类去调用其静态方法是能够确定一个唯一的方法的。

特殊方法：

  • 构造方法是属于一个类的，且可以通过以下方法调用：this()、子类的super()、new Construct()，不管是哪种调用，都是能够确定到某一个类的构造方法的。
  • 私有方法是不能被子类重写的同时不能被外部调用，因为子类访问不了被private修饰的方法，所以访问不了也就无法重写(即使强制重写也会被编译器提示)。所以一个私有方法的调用是能够确定一个唯一方法的。
  • 父类方法调用能确定唯一一个方法是因为一个类只能继承一个父类，所以如果调用super.xxx()那么就能确定调用一个父类的xxx方法

除了上面的两个方法调用字节码外还需要注意的是final方法属于invokevirtual方法，但是又因为它无法被覆盖→实现多态，或者说对于多态的选择的结果是唯一的，所以final并不是虚方法，且可以再编译器就可以将符号引用转换为直接引用。

2.分派

除了解析这个概念，还有一个概念是分派，我们知道解析就是再编译器就确定方法的引用，而分派则是即可能是静态也可能是动态，它是根据宗量数可分为单分派和多分派。每种分派有可以分为静态和动态，所以一共有4种。分派将会揭露多态性的特征的一些最基本的体现，如重载，重写。

  • 宗量：方法的接收者与方法的参数的统称。
  • 宗量数：一次方法调用中未知具体引用的数量。

静态分派

静态分派（Static Dispatch）是指在编译时确定方法或函数调用的实际执行版本。在静态分派中，编译器根据引用对象的静态类型（即声明时的类型，而不考虑对象的运行时类型）来确定调用哪个方法或函数。

  • 静态分派的一个典型应用场景是方法重载（Overloading）。方法重载中，编译器会根据方法参数的静态类型来选择调用哪个版本的方法。虽然在编译时就确定了调用的方法，但实际执行的是符合参数动态类型的版本。
  • 编译器在选择静态分派目标时会根据静态类型的优先级来决定重载的，在一些情况下编译器虽然能确定出方法的重载版本，但是当重载版本不唯一时，往往只能确定一个更加合适的版本。一个字面量的的静态类型只能通过语言上的规则去理解和推断。

方法重载案例

如下我们通过重载来演示静态分派选择方法调用。我们定义一个父类Human，同时两个类同时继承这个Human，当我们调用sayHello方法时，无论实际类型是Man还是Woman，最终调用的都是以Human类型为参数的sayHello方法。所以静态分派是能够在编译期间就能确定方法的调用的。

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");}public static void main(String[] args) {Human man = new Man();Human woman = new Woman();StaticDispatch sc = new StaticDispatch();sc.sayHello(man);        // 最终输出 hello,humansc.sayHello(woman);        // 最终输出 hello,human}
}

更加合适版本推断

如下的代码就是当一个输入在选择重载方法时有多种选择时，会如何选择更加版本的案例。

  • 下面的代码执行时会选择char类型的重载版本，当注释了char类型的方法，会执行int类型，…
  • 主要遵循的优先级就是char->int->long->Character->Serializable->Object->char…
    • 可以看出可变参的优先级最低，需要注意的是，Character的实现接口还有一个Comparable，所以当Serializable和Comparable两个类型的重载都出现时，编译器会拒绝编译，因为它猜不出来你想重载哪一个方法。除非你在调用方法时指定类型->sayHello((Serializable)‘a’);

public class Overload {public static void sayHello(Object arg) {System.out.println("hello,Object");}public static void sayHello(int arg) {System.out.println("hello,int");}public static void sayHello(long arg) {System.out.println("hello,long");}public static void sayHello(Character arg) {System.out.println("hello,Character");}public static void sayHello(char arg) {System.out.println("hello,char");}public static void sayHello(char... arg) {System.out.println("hello,char ...");}public static void sayHello(Serializable arg) {System.out.println("hello,Serializable");}public static void main(String[] args) {sayHello('a');}}

动态分派

动态分派（Dynamic Dispatch）是指在运行时根据对象的实际类型来确定调用哪个方法或函数的版本。在动态分派中，方法的实际执行版本是根据对象的运行时类型来决定的，而不是根据编译时类型。动态分派通常与面向对象编程中的多态性相关联。

动态分派的工作原理是：当调用一个方法时，虚拟机会首先检查对象的实际类型，然后根据该类型确定调用哪个方法版本。这种机制使得程序能够根据对象的实际状态动态地选择执行的方法，从而实现多态性。

方法重写

动态分派的一个典型应用场景是方法重写（Overriding）。在方法重写中，子类可以重写父类的方法，当调用该方法时，实际执行的是子类中的版本，而不是父类中的版本。

接下来的案例将会展示动态分派在方法重写中的案例，当一个Human父类，被Man和Woman继承后，被重写sayHello方法，当我们分别new Man和Woman对象时，去调用sayHello方法，实际上调用的就是对象的实际类型的重写后的sayHello方法

public class DynamicDispatch {static abstract class Human {protected abstract void sayHello();}static class Man extends Human {@Overrideprotected void sayHello() {System.out.println("hello man");}}static class Woman extends Human {@Overrideprotected void sayHello() {System.out.println("hello woman");}}public static void main(String[] args) {Human man = new Man();Human woman = new Woman();man.sayHello(); // out: hello manwoman.sayHello(); // out: hello womanman = new Woman();man.sayHello(); // out: hello woman}}
JVM如何知道要调用的是哪个类型的方法

我们可以通过字节码去了解JVM是如何知道我们要调用的方法的。

new #2 <xxx/DynamicDispatch$Man>
dup
invokespecial #3 <xxx/DynamicDispatch$Man.<init> : ()V>
astore_0
new #4 <xxx/DynamicDispatch$Woman>
dup
invokespecial #5 <xxx/DynamicDispatch$Woman.<init> : ()V>
astore_1
aload_0
invokevirtual #6 <xxx/DynamicDispatch$Human.sayHello : ()V>
aload_1
invokevirtual #6 <xxx/DynamicDispatch$Human.sayHello : ()V>
new #4 <xxx/DynamicDispatch$Woman>
dup
invokespecial #5 <xxx/DynamicDispatch$Woman.<init> : ()V>
astore_0
aload_0
invokevirtual #6 <xxx/DynamicDispatch$Human.sayHello : ()V>
return

实际调用方法的指令为invokevirtual，造成两个对象man和woman的调用结果不一样的原因就是invokevirtual的多态查找过程：

  1. 找到操作数栈顶的第一个元素所指向的对象的实际类型，记作C
  2. 如果在类型C种找到与常量种描述符和简单名称都符合的方法，则进行访问权限校验，如果通过则返回这个方法直接引用，查找过程结束，不通过则返回java.lang.IllegalAccessError异常
  3. 否则，按照继承关系从下往上一次对C的各个父类进行第二步的搜索和验证。
  4. 如果始终没有找到合适的方法，则抛出java.lang.AbstractMethodError异常。

可以从第一步中看出，因为两个对象的实际类型不一样，从而找到了两个方法的重写的直接引用返回。我们将这个运行期根据实际类型确定方法版本的分派称为动态分派

单分派与多分派

根据分派基于多少种宗量，可以将分派分为单分派和多分派。宗量的概念我们在前面提到过。

  • 单分派：根据一个宗量对目标方法进行选择。
  • 多分派：根据多于一个的宗量对目标方法进行选择。

通过如下代码可以确定：

  • 编译阶段编译器的选择过程，即静态分派的过程。这时候选择目标方法的依据有两点：一是静态类型是Father还是Son,二是方法参数是Man还是Woman。这次选择结果的最终产物是产生了两条指令，参数分别为常量池中指向Father.hardChoice(Man)及Father.hardChoice(Woman)方法的符号引用。因为是根据两个宗量进行选择，所以Java语言的静态分派属于多分派类型。
  • 运行阶段虚拟机的选择，即动态分派的过程。在执行son.hardChoice(new Man())这句代码时，由于编译期已经决定目标方法的签名必须为hardChoice(Man)，因为在传递参数的时候就已经确定了一个重载方法(因为参数的静态类型Man)，唯一可以影响虚拟机选择的因素只有此方法的接收者的实际类型是Father还是Son。因为只有一个宗量作为选择依据，所以Java语言的动态分派属于单分派类型。
public class Dispatch {static class Man{}static class Woman{}public static class Father {public void hardChoice(Man arg) {System.out.println("father choose man");}public void hardChoice(Woman arg) {System.out.println("father choose woman");}}public static class Son extends Father{@Overridepublic void hardChoice(Man arg) {System.out.println("son choose man");}@Overridepublic void hardChoice(Woman arg) {System.out.println("son choose woman");}}public static void main(String[] args) {Father father = new Father();Father son = new Son();father.hardChoice(new Woman());// out:father choose womanson.hardChoice(new Man());// out:son choose man}}

虚拟机动态分派的实现

动态分派是非常频繁的动作，而且动态分派的方法版本选择过程需要运行时在类的方法元数据中搜索合适的目标方法
所以虚拟机在实际现实中基于性能考虑，大部分实现都不会真的进行如此频繁的搜索。
最常用的"稳定优化"手段就是为类在方法区建立一个虚方法表(vtable->Virtual Method Table)。与此对应在invokeinterface执行时也会用到接口的方法表–Interface Method Table，检查itable，使用虚方法表索引来替代元数据查找以提高性能。
在这里插入图片描述

  • 虚方法表存放着各个方法的实际入口地址，如果某个方法在子类中没有被重写，那么子类的虚方法表中的地址入口会和父类的地址入口一致。若重写了，则子类指向重写的现实版本的入口地址。
    • 如图Son重写了的两个方法指向了Son的类型数据，而Father类指向了Father的类型数据，并且Son和Father都继承自Object但并没有重写其方法，所以方法都指向了Object类型数据。
  • 方法表一般在类加载的连接阶段进行初始化，准备了类的变量初始值后，虚拟机会把该类的方法表也初始化完毕。
  • JVM除了使用方法表这种"稳定优化"的手段外，还会使用内联缓存和基于类型继承关系分析(CHA)技术的守护内联两种稳定的"激化优化"来获取更高的性能。

内联缓存和机遇类型继承关系分析技术守护内联

由于本篇主要是介绍分派的实现原理，并不展开讲内联缓存和基于类型继承关系分析(CHA)技术的守护内联，所以只做解释

内联缓存（Inline Cache）
  • 这是一种用于提高方法调用性能的技术。在Java中，方法调用通常是通过虚方法表（Virtual Method Table，VMT）实现的，即在运行时根据对象的实际类型来确定调用哪个方法。然而，这种动态的方法调用会带来一定的性能开销。
  • 为了提高方法调用的性能，JVM会对频繁调用的方法做内联优化。内联是将被调用的方法的字节码直接嵌入到调用处，避免了方法调用的开销。而内联缓存则用于缓存已经内联的方法的调用位置和目标方法，以便在下次调用时能够快速定位并直接执行目标方法，而不需要再次查找虚方法表。

内联缓存的优点在于能够减少方法调用的开销，提高程序的性能。然而，它也存在一定的限制，例如内联缓存的大小和命中率会影响性能，过大的缓存可能会导致内存占用过多。

基于类型继承关系分析(CHA)技术的守护内联(Guarded Inlining)
  • 这是一种静态分析技术，用于分析程序中类之间的继承关系。通过CHA分析，JVM可以在编译时确定方法调用的可能的接收者类型，并根据这些信息进行优化。
  • 守护内联是基于CHA分析的一种优化技术，它通过判断方法调用的接收者类型是否唯一，以及方法是否被重写等信息，来确定是否进行内联优化。如果接收者类型唯一，并且方法未被重写，则可以安全地进行内联优化。否则，可能需要保留动态调度的方式来处理。

守护内联的优点在于可以根据静态分析的结果来进行更加精确的内联决策，提高内联的命中率和性能。然而，它也需要进行更复杂的分析和判断，可能会增加编译器的复杂度和开销。

本文来自互联网用户投稿，该文观点仅代表作者本人，不代表本站立场。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如若转载，请注明出处：http://www.mzph.cn/pingmian/28362.shtml

如若内容造成侵权/违法违规/事实不符，请联系多彩编程网进行投诉反馈email:809451989@qq.com，一经查实，立即删除！

相关文章

医学人工智能项目如何申请基金？

医学人工智能项目如何申请基金？

小罗碎碎念 本期推文面向的群体 青年教师有志硕博/博后 尤其适合一直认真追小罗推文的老师/同学&#xff0c;你们会发现自己在看这篇推文的时候&#xff0c;遇到自己领域的项目时&#xff0c;文思如泉涌&#xff0c;仿佛马上就能把本子写好&#xff0c;哈哈。&#xff08;运用…
阅读更多...
命令词：引导行动的语言工具

命令词：引导行动的语言工具

人不走空 &#x1f308;个人主页&#xff1a;人不走空 &#x1f496;系列专栏&#xff1a;算法专题 ⏰诗词歌赋&#xff1a;斯是陋室&#xff0c;惟吾德馨 目录 &#x1f308;个人主页&#xff1a;人不走空 &#x1f496;系列专栏&#xff1a;算法专题 ⏰诗词歌…
阅读更多...
App UI 风格打造独特体验

App UI 风格打造独特体验

App UI 风格打造独特体验
阅读更多...
通过Stream流对集合进行操作

通过Stream流对集合进行操作

Stream Api是JDK8提供的新特性&#xff0c;可以更为方便地对集合进行操作&#xff0c;比如我今天遇到的一个场景&#xff1a; 将本地的一个视频文件分成多块上传到Minio服务器&#xff0c;现在上传功能已经完成&#xff0c;需要调用minioClient对已经上传的文件重新合并成一个新…
阅读更多...
8086汇编 add指令学习

8086汇编 add指令学习

ADD&#xff0c;是Intel x86平台的汇编加法指令&#xff0c;MEM代指操作数为内存或寄存器&#xff0c;REG代指操作数为寄存器&#xff0c;IMM代指立即数&#xff0c;SEG代指操作数为段寄存器。 形式和示例如下&#xff1b; ADD MEM8,REG8 ADD DS:[BXSI],AL ADD MEM16,R…
阅读更多...
【ARM Coresight Debug 系列 -- ARMv8/v9 Watchpoint 软件实现地址监控详细介绍】

【ARM Coresight Debug 系列 -- ARMv8/v9 Watchpoint 软件实现地址监控详细介绍】

请阅读【嵌入式开发学习必备专栏 】 文章目录 ARMv8/v9 Watchpoint exceptionsWatchpoint 配置信息读取Execution conditionsWatchpoint data address comparisonsSize of the data accessWatchpoint 软件配置流程Watchpoint Type 使用介绍WT, Bit [20]: Watchpoint TypeLBN, B…
阅读更多...
vue技巧（十）全局配置使用（打包后可修改配置文件）

vue技巧（十）全局配置使用（打包后可修改配置文件）

1、背景 vue打包目前主流用的有webpack和vite两种&#xff0c;默认用的webpack。&#xff08;二者的区别大家可以各自上网查&#xff0c;我没用过vite&#xff0c;所以不过多介绍&#xff09;vue通过webpack打包后&#xff0c;源码会被压缩&#xff0c;但一些关键配置可…
阅读更多...
【新课程】PICO VR 交互开发指南

【新课程】PICO VR 交互开发指南

从PICO开始&#xff0c;迈向XR跨平台开发 Unity XR Interaction Toolkit &#xff08;简称XRI&#xff09;是一套跨平台的 XR 交互开发工具包&#xff0c;随着版本的更新与完善&#xff0c;逐渐获得了开发者的青睐。各 XR 平台逐步推荐开发者采用 XRI 作为首选的交互开发工具为…
阅读更多...
Pytest框架中fixture功能详解

Pytest框架中fixture功能详解

文章目录 1 定义 Fixture函数 2 Fixture 的函数参数 2.1 传入其他fixture函数作为参数 2.2 传入request对象参数 示例1&#xff1a;访问fixture的调用者 示例2&#xff1a;使用fixture的参数 3 Fixture 的作用域参数scope 3.1 scopeclass场景 3.2 scopesession场景 4…
阅读更多...
SwiftUI 6.0（iOS 18）新容器视图修改器漫谈

SwiftUI 6.0（iOS 18）新容器视图修改器漫谈

概览 本届 WWDC 2024 观影正如火如荼的进行中&#xff0c;一片鸟语花香、枝繁叶茂的苹果树上不时结出几颗令人垂涎欲滴的美味苹果让秃头码农们欲罢不能。 如您所愿&#xff0c;在界面布局“利器” SwiftUI 这根蔓藤也长出不少喜人的果实&#xff0c;其中在 iOS 18.0 中新添加的…
阅读更多...
rabbitMQ的简单使用

rabbitMQ的简单使用

rabbitMQ的介绍 RabbitMQ是一个开源的消息代理和队列服务器&#xff0c;主要用于在不同的应用程序之间传递消息。它基于AMQP&#xff08;Advanced Message Queuing Protocol&#xff09;协议&#xff0c;提供了一种可靠的方式来处理异步通信。RabbitMQ使用Erlang语言编写&…
阅读更多...
springboot 整合redis问题,缓存击穿，穿透，雪崩，分布式锁

springboot 整合redis问题,缓存击穿，穿透，雪崩，分布式锁

boot整合redis 压力测试出现失败 解决方案 排除lettuce 使用jedis <!-- 引入redis --><dependency><groupId>org.springframework.boot</groupId><artifactId>spring-boot-starter-data-redis</artifactId><exclusions><exclus…
阅读更多...
内存泄漏 内存溢出

内存泄漏 内存溢出

概念 内存泄漏&#xff1a;是程序没有正确的释放已分配的内存&#xff0c;造成系统内存的浪费。内存泄漏很难发现&#xff0c;因为他不会直接导致程序崩溃&#xff0c;而是会慢慢降低程序的性能。 内存溢出&#xff1a;系统中存在无法回收的内存或使用的内存过多&#xff0c;…
阅读更多...
【linux-imx6ull-定时器与中断】

【linux-imx6ull-定时器与中断】

目录 1. 前言2. Linux软件定时器2.1 内核频率选择2.2 重要的API函数2.3 Linux软件定时器的使用配置流程 4. Linux中断4.1 简单中断使用4.1.1 简要说明4.1.2 重要的API函数4.1.3 中断的简要配置流程 4.2. 中断的上半部和下半部4.2.1 tasklet实现下半部4.2.2 work实现下半部 1. 前…
阅读更多...
MySQL数据操作与查询- 聚合函数和分组查询

MySQL数据操作与查询- 聚合函数和分组查询

一、聚合函数 聚合函数主要用来进行数据 汇总 。 1、sum 返回选取的某列的总和。 语法&#xff1a; select sum(字段名) from 表名 where 条件表达式 2、max 返回选取的某列的最大值。 语法&#xff1a; select max(字段名) from 表名 where 条件表达式 3、min 返…
阅读更多...
【网络安全的神秘世界】AppScan安装及使用指南

【网络安全的神秘世界】AppScan安装及使用指南

&#x1f31d;博客主页&#xff1a;泥菩萨 &#x1f496;专栏&#xff1a;Linux探索之旅 | 网络安全的神秘世界 | 专接本 https://www.hcl-software.com/appscan AppScan是一种综合型漏洞扫描工具&#xff0c;采用SaaS解决方案&#xff0c;它将所以测试功能整合到一个服务中&a…
阅读更多...
样式的双向绑定的2种方式，实现样式交互效果

样式的双向绑定的2种方式，实现样式交互效果

与样式标签实现双向绑定 通过布尔值来决定样式是出现还是消失 show代表着布尔值&#xff0c;show的初始值是false所以文本不会有高亮的效果&#xff0c;当用户点击了按钮&#xff0c;就会调用shows这个函数&#xff0c;并将show的相反值true赋值并覆盖给show,此时show的值为tru…
阅读更多...
【秋招突围】2024届秋招笔试-小红书笔试题-第二套-三语言题解(Java/Cpp/Python)

【秋招突围】2024届秋招笔试-小红书笔试题-第二套-三语言题解(Java/Cpp/Python)

&#x1f36d; 大家好这里是清隆学长 &#xff0c;一枚热爱算法的程序员 ✨ 本系计划跟新各公司春秋招的笔试题 &#x1f4bb; ACM银牌&#x1f948;| 多次AK大厂笔试 &#xff5c; 编程一对一辅导 &#x1f44f; 感谢大家的订阅➕ 和 喜欢&#x1f497; &#x1f4e7; 清隆这边…
阅读更多...
诊断解决方案——CANdesc和MICROSAR

诊断解决方案——CANdesc和MICROSAR

文章目录 一、CANdesc二、MICROSAR一、CANdesc canbeded是Vector汽车电子开发软件Nun Autosar标准的工具链之一。 canbeded是以源代码的形式提供的可重用的组件，包括CAN Driver,交互层(IL),网络管理(NM),传输层(TP)，诊断层(CANdesc) , 通信测量和标定协议(CCP,XCP) 和 通信控…
阅读更多...
404 页面代码

404 页面代码

<template> <div class"container"><h1>404</h1> <div ><p class"text-center">当前页面无法访问,可能没有权限或已删除</p><p class"text-center"> 去别处看看吧</p> </div> <…
阅读更多...
推荐文章
最新文章

Copyright @ 2022~2023