当前位置: 首页 > news >正文

用Java手写jvm之模拟方法调用指令invokexxx和方法返回指令xreturn

写在前面

源码 。
本文一起看下方法调用相关的指令invokexxx以及方法返回(栈帧弹出线程栈)相关的指令xReturn 。

1:正文

因为invokexxx指令和普通的指令不同,会创建一个新的栈帧,并压倒操作数栈中,所以我们首先需要来定义一个公共的创建栈帧的方法来让ivvokestatic,invokeinterface等使用,如下:

public class MethodInvokeLogic {public static void invokeMethod(Frame invokerFrame, Method method) {if (method.name.equalsIgnoreCase("returnALong")) {System.out.println("------invoke xxxx 指令,做如下的事情;------");System.out.println("1:从当前栈帧中获取对应的执行线程");System.out.println("2:为要执行的方法创建对应的栈帧,并将栈帧压倒线程栈,作为当前栈帧");System.out.println("3:如果是有入参的话,则从调用栈帧的操作数栈中弹出入参,并设置到新栈帧的局部变量表中,这样被调用方法执行时就可以通过load指令从局部变量中获取操作");}Thread thread = invokerFrame.thread();Frame newFrame = thread.newFrame(method);thread.pushFrame(newFrame);// 将方法需要的参数设置到新栈帧的局部变量表中int argSlotCount = method.argSlotCount();if (argSlotCount > 0) {for (int i = argSlotCount - 1; i >= 0; i--) {Slot slot = invokerFrame.operandStack().popSlot();newFrame.localVars().setSlot(i, slot);}}//hackif (method.isNative()) {if ("registerNatives".equals(method.name())) {thread.popFrame();} else {throw new RuntimeException("native method " + method.name());}}}}

这里我们以invokestatic指令和lreturn指令为例来看下对应的模拟代码,invokestatic指令:

public class INVOKE_STATIC extends InstructionIndex16 {@Overridepublic void execute(Frame frame) {RunTimeConstantPool runTimeConstantPool = frame.method().clazz().constantPool();MethodRef methodRef = (MethodRef) runTimeConstantPool.getConstants(this.idx);Method resolvedMethod = methodRef.ResolvedMethod();if (!resolvedMethod.isStatic()) {throw new IncompatibleClassChangeError();}Class clazz = resolvedMethod.clazz();// 确保初始化完成(加载,链接,初始化中的初始化,即类加载的最后一步)if (!clazz.initStarted()) {frame.revertNextPC();ClassInitLogic.initClass(frame.thread(), clazz);return;}// 执行方法(即生成栈帧并压入到线程栈)MethodInvokeLogic.invokeMethod(frame, resolvedMethod);}
}

lreturn:

public class LRETURN extends InstructionNoOperands {@Overridepublic void execute(Frame frame) {System.out.println("------lreturn 指令执行,做如下的事情:------");System.out.println("1:弹出当前的方法栈帧");System.out.println("2:获取上一个方法");System.out.println("3:从当前方法的操作数栈中获取执行结果,并推送到上一个方法的操作数栈中");Thread thread = frame.thread();Frame currentFrame = thread.popFrame();Frame invokerFrame = thread.topFrame();long val = currentFrame.operandStack().popLong();// 获取上一个方法,并将结果压倒其操作数栈的栈顶,这样,上一个就可以通过pop指令获取结果invokerFrame.operandStack().pushLong(val);}}

main类:

/*** -Xthejrepath     D:\programs\javas\java1.8/jre -Xthetargetclazz     D:\test\itstack-demo-jvm-master\tryy-too-simulate-classload-load-clazz\target\test-classes\org\itstack\demo\test\HelloWorld*/
public class Main {public static void main(String[] args) {Cmd cmd = Cmd.parse(args);if (!cmd.ok || cmd.helpFlag) {System.out.println("Usage: <main class> [-options] class [args...]");return;}if (cmd.versionFlag) {//注意案例测试都是基于1.8,另外jdk1.9以后使用模块化没有rt.jarSystem.out.println("java version \"1.8.0\"");return;}startJVM(cmd);}private static void startJVM(Cmd cmd) {// 创建classpathClasspath cp = new Classpath(cmd.thejrepath, cmd.classpath);
//        System.out.printf("classpath:%s class:%s args:%s\n", cp, cmd.getMainClass(), cmd.getAppArgs());System.out.printf("classpath:%s parsed class:%s \n", cp, cmd.thetargetclazz);//获取className
//        String className = cmd.getMainClass().replace(".", "/");try {
//            byte[] classData = cp.readClass(className);/*byte[] classData = cp.readClass(cmd.thetargetclazz.replace(".", "/"));System.out.println(Arrays.toString(classData));System.out.println("classData:");for (byte b : classData) {//16进制输出System.out.print(String.format("%02x", b & 0xff) + " ");}*/// 创建类加载器准备加载类/*** 加载3个阶段* 1:加载*      找到字节码,并将其存储到原元空间(<=7方法区),然后该类,该类父类,父接口也加载并在堆中生成对应的Class对象* 2:链接*      验证:验证文件内容的合法性,如是否cafebabe打头,结构是否符合定义*      准备:主要是给静态变量申请内存空间,以及赋初始值,如int,short这种则给默认值0*      解析:符号引用(指向类或者方法的一个字符串)转换为直接引用(jvm的内存地址)* 3:初始化*      执行<init>,<clinit>方法,完成静态变量的赋值*/ClassLoader classLoader = new ClassLoader(cp);String clazzName = cmd.thetargetclazz.replace(".", "/");Class mainClass = classLoader.loadClass(clazzName);Method mainMethod = mainClass.getMainMethod();new Interpreter(mainMethod, true);/*// 创建className对应的ClassFile对象ClassFile classFile = loadClass(clazzName, cp);MemberInfo mainMethod = getMainMethod(classFile);if (null == mainMethod) {System.out.println("Main method not found in class " + cmd.classpath);return;}// 核心重点代码:通过解释器来执行main方法new Interpreter(mainMethod);*/} catch (Exception e) {System.out.println("Could not find or load main class " + cmd.getMainClass());e.printStackTrace();}}/*** 获取main函数,这里我们要模拟是执行器执行main函数的过程,当然其他方法也是一样的!!!* @param classFile* @return*/private static MemberInfo getMainMethod(ClassFile classFile) {if (null == classFile) return null;MemberInfo[] methods = classFile.methods();for (MemberInfo m : methods) {if ("main".equals(m.name()) && "([Ljava/lang/String;)V".equals(m.descriptor())) {return m;}}return null;}/*** 生成class文件对象* @param clazzName* @param cp* @return*/private static ClassFile loadClass(String clazzName, Classpath cp) {try {// 获取类class对应的byte数组byte[] classData = cp.readClass(clazzName);return new ClassFile(classData);} catch (Exception e) {System.out.println("无法加载到类: " + clazzName);return null;}}}

定义需要加载的类:

public class HelloWorld {public static void main(String[] args) {/*  long x = fibonacci(10);System.out.println(x);*/returnALong();}public static long returnALong() {long longResult = 99;return longResult;}//斐波那契数列(Fibonacci sequence)/*private static long fibonacci(long n) {if (n <= 1) {return n;} else {return fibonacci(n - 1) + fibonacci(n - 2);}}*/}

定义main的program argument:

-Xthejrepath
D:\programs\javas\java1.8/jre
-Xthetargetclazz
D:\test\itstack-demo-jvm-master\tryy-too-simulate-invokexxx-and-xreturn\target\test-classes\org\itstack\demo\test\HelloWorld

在这里插入图片描述
最后运行:
在这里插入图片描述

写在后面

参考文章列表

JVM 虚拟机字节码指令表 。

jvm方法调用指令invokestatic,invokespecial,invokeinterface,invokevirutal分析 。

相关文章:

用Java手写jvm之模拟方法调用指令invokexxx和方法返回指令xreturn

写在前面 源码 。 本文一起看下方法调用相关的指令invokexxx以及方法返回&#xff08;栈帧弹出线程栈&#xff09;相关的指令xReturn 。 1&#xff1a;正文 因为invokexxx指令和普通的指令不同&#xff0c;会创建一个新的栈帧&#xff0c;并压倒操作数栈中&#xff0c;所以我…...

自定义枚举类型检查

/*** 工单状态&#xff0c;使用字典&#xff1a;order_item_state*/ CheckEnum(nullAble true, enumType OrderItemStateEnum.class) private String workState; 注解类 package com.gdyunst.core.tool.validation;import javax.validation.Constraint; import javax.valid…...

探索四川财谷通抖音小店:安全与信赖的购物新体验

在数字经济蓬勃发展的今天&#xff0c;抖音平台凭借其庞大的用户基础和强大的内容生态&#xff0c;逐渐成为了电商领域的一股不可忽视的力量。其中&#xff0c;四川财谷通抖音小店作为这一浪潮中的佼佼者&#xff0c;不仅以其丰富的商品种类和独特的品牌魅力吸引了众多消费者的…...

systemd-manage系统服务图形化管理工具使用教程

1. systemd-manage介绍 systemd-manage是一个开源的基于systemd服务管理的图形化工具&#xff0c;使用qt图形库进行开发&#xff0c;可以提供服务管理&#xff0c;用户会话&#xff0c;配置文件修改&#xff0c;日志查询&#xff0c;性能分析&#xff0c;进程管理等功能。图形…...

移除元素(LeetCode)

题目 给你一个数组 和一个值 &#xff0c;你需要 原地 移除所有数值等于 的元素&#xff0c;并返回移除后数组的新长度。 不要使用额外的数组空间&#xff0c;你必须仅使用 额外空间并 原地 修改输入数组。 元素的顺序可以改变。你不需要考虑数组中超出新长度后面的元素。 解…...

代码随想录27期|Python|Day38|509斐波那契|738.爬楼梯|746.746. 使用最小花费爬楼梯

贴一下动态规划的步骤&#xff08;5步&#xff09;&#xff0c;就像是之前递归一样&#xff0c;需要每次落实到位。 确定dp数组&#xff08;dp table&#xff09;以及下标的含义确定递推公式dp数组如何初始化确定遍历顺序举例推导dp数组 ​​​​​509. 斐波那契 注意到n的范…...

windows docker容器部署前端项目

一、介绍 Docker 是一个开源的平台&#xff0c;旨在简化应用程序的开发、部署和运行。它通过使用容器&#xff08;containers&#xff09;来实现这一点。容器是一种轻量级、可移植的虚拟化方式&#xff0c;可以在不同的环境中一致地运行软件。 Docker 的主要作用和优点包括&a…...

科普文:微服务之全文检索ElasticSearch 集群的搭建

一、集群有什么用 1.1 群集的含义与产生 群集&#xff08;或称为集群&#xff09;是由多台主机构成&#xff0c;但对外&#xff0c;只表现为一个整体&#xff0c;只提供一个访问入口&#xff08;域名或IP&#xff09;&#xff0c;相当于一台大型计算机。互联网应用中&#xf…...

QtObject是干什么的?

QtObject 是 Qt Quick 中的一个基类&#xff0c;用于创建非视觉对象。这意味着 QtObject 不渲染任何视觉内容&#xff0c;它主要用于定义数据和逻辑&#xff0c;而不是用户界面元素。你可以把 QtObject 看作是 QML 中的一个基础组件&#xff0c;用于创建和管理不需要显示的对象…...

锐捷RCNA | 远程登录与路由技术

锐捷RCNA | 远程登录与路由技术 一、远程登录配置1. Telnet远程登录介绍2. 案例1--设置远程登录密码实现远程登录3. 案例2--定义不同用户账户实现远程用户权限隔离4. SSH远程登录介绍5. 案例--通过SSH功能远程管理设备 二、路由技术1. 直连路由的数据通信2. 间接路由的数据通信…...

实现Vue-tiny-diff算法

前言 前面我们实现了基本的数据更新到视图渲染的逻辑,但是这种方式(innerHTML)是极其低效的, 因此,我们相应引入 dom 和 diff 算法, 数据到视图的过程变为: state -> vdom -> dom vNode 层 所谓 vNode, 就是一个表示 dom 结构的轻量对象 {tag, props, children; }为…...

正则表达式测试工具

前言 正则表达式测试工具可供您输入正则表达式和测试文本&#xff0c;立即查看匹配结果. 下面是离线的HTML文件,同样可以提供相同的服务. 目录 使用说明 HTML代码 正则表达式的编写经验和方法 总结 使用说明 1.先将HTML代码存储成.html为后缀的文件; 2.然后用浏览器打开这个…...

Github 2024-08-02 开源项目日报 Top9

根据Github Trendings的统计,今日(2024-08-02统计)共有9个项目上榜。根据开发语言中项目的数量,汇总情况如下: 开发语言项目数量Python项目4Go项目1C项目1Rust项目1Shell项目1Dockerfile项目1TypeScript项目1Dart项目1Docker-OSX: 在Docker容器中运行Mac OS X 创建周期:152…...

重生之我 学习【数据结构之顺序表(SeqList)】

⭐⭐⭐ 新老博友们&#xff0c;感谢各位的阅读观看 期末考试&假期调整暂时的停更了两个多月 没有写博客为大家分享优质内容 还容各位博友多多的理解 美丽的八月重生之我归来 继续为大家分享内容 你我共同加油 一起努力 ⭐⭐⭐ 数据结构将以顺序表、链表、栈区、队列、二叉树…...

前端day4-表单标签

<!DOCTYPE html> <html lang"en"> <head><meta charset"UTF-8"><meta name"viewport" content"widthdevice-width, initial-scale1.0"><title>day4-表单</title> </head> <body&g…...

vue3-print-nb 表格打印分页,第一页有空白的情况出现解决方法(两种:一种原生,一种基于element表格)

第一种&#xff1a;基于element表格分页 <template><!-- element分组打印 --><div class"hello"><button v-print"printContent">打印</button><div id"printDiv"><p>工资统计表</p><p>…...

搜维尔科技:借助 Xsens中的远程人体录制功能,可以在任何位置以无限量同时捕捉无限数量演员的身体动作

借助 Xsens中的远程人体录制功能&#xff0c;可以在任何位置以无限量同时捕捉无限数量演员的身体动作 搜维尔科技&#xff1a;借助 Xsens中的远程人体录制功能&#xff0c;可以在任何位置以无限量同时捕捉无限数量演员的身体动作...

2024/08 近期关于AI的阅读和理解[笔记]

#Cohere 就像商业能力很强的云数仓公司 Snowflake 一样&#xff0c;Cohere 也采用了按需付费模式而不是按月或按年付费&#xff0c;而且它的付费模式很精细。Cohere 按照模型的不同能力&#xff0c;包括文本生成&#xff0c;文本总结&#xff0c;重新排名&#xff0c;文本分类…...

SmartEDA:解锁设计新境界,从工具到灵感的飞跃之旅!

在这个数据驱动的时代&#xff0c;每一次点击、每一次滑动都蕴含着无限的可能与洞察。然而&#xff0c;在众多数据分析工具中&#xff0c;SmartEDA不仅仅是一把解锁数据奥秘的钥匙&#xff0c;它更是一座桥梁&#xff0c;连接着冰冷的数据世界与创意无限的设计灵感之源。今天&a…...

解决Minizip压缩后解压时的头部错误问题

最近&#xff0c;在处理文件压缩的任务时&#xff0c;我遇到了一个有趣的问题。使用Minizip库进行文件压缩后&#xff0c;在解压过程中收到了一个关于"头部错误"的警告。尽管这个警告看似令人担忧&#xff0c;但解压操作最终仍然能够成功完成文件的解压。这引发了我的…...

基于算法竞赛的c++编程(28)结构体的进阶应用

结构体的嵌套与复杂数据组织 在C中&#xff0c;结构体可以嵌套使用&#xff0c;形成更复杂的数据结构。例如&#xff0c;可以通过嵌套结构体描述多层级数据关系&#xff1a; struct Address {string city;string street;int zipCode; };struct Employee {string name;int id;…...

DockerHub与私有镜像仓库在容器化中的应用与管理

哈喽&#xff0c;大家好&#xff0c;我是左手python&#xff01; Docker Hub的应用与管理 Docker Hub的基本概念与使用方法 Docker Hub是Docker官方提供的一个公共镜像仓库&#xff0c;用户可以在其中找到各种操作系统、软件和应用的镜像。开发者可以通过Docker Hub轻松获取所…...

Redis相关知识总结(缓存雪崩,缓存穿透,缓存击穿,Redis实现分布式锁,如何保持数据库和缓存一致)

文章目录 1.什么是Redis&#xff1f;2.为什么要使用redis作为mysql的缓存&#xff1f;3.什么是缓存雪崩、缓存穿透、缓存击穿&#xff1f;3.1缓存雪崩3.1.1 大量缓存同时过期3.1.2 Redis宕机 3.2 缓存击穿3.3 缓存穿透3.4 总结 4. 数据库和缓存如何保持一致性5. Redis实现分布式…...

MODBUS TCP转CANopen 技术赋能高效协同作业

在现代工业自动化领域&#xff0c;MODBUS TCP和CANopen两种通讯协议因其稳定性和高效性被广泛应用于各种设备和系统中。而随着科技的不断进步&#xff0c;这两种通讯协议也正在被逐步融合&#xff0c;形成了一种新型的通讯方式——开疆智能MODBUS TCP转CANopen网关KJ-TCPC-CANP…...

css3笔记 (1) 自用

outline: none 用于移除元素获得焦点时默认的轮廓线 broder:0 用于移除边框 font-size&#xff1a;0 用于设置字体不显示 list-style: none 消除<li> 标签默认样式 margin: xx auto 版心居中 width:100% 通栏 vertical-align 作用于行内元素 / 表格单元格&#xff…...

MySQL用户和授权

开放MySQL白名单 可以通过iptables-save命令确认对应客户端ip是否可以访问MySQL服务&#xff1a; test: # iptables-save | grep 3306 -A mp_srv_whitelist -s 172.16.14.102/32 -p tcp -m tcp --dport 3306 -j ACCEPT -A mp_srv_whitelist -s 172.16.4.16/32 -p tcp -m tcp -…...

【Java学习笔记】BigInteger 和 BigDecimal 类

BigInteger 和 BigDecimal 类 二者共有的常见方法 方法功能add加subtract减multiply乘divide除 注意点&#xff1a;传参类型必须是类对象 一、BigInteger 1. 作用&#xff1a;适合保存比较大的整型数 2. 使用说明 创建BigInteger对象 传入字符串 3. 代码示例 import j…...

比较数据迁移后MySQL数据库和OceanBase数据仓库中的表

设计一个MySQL数据库和OceanBase数据仓库的表数据比较的详细程序流程,两张表是相同的结构,都有整型主键id字段,需要每次从数据库分批取得2000条数据,用于比较,比较操作的同时可以再取2000条数据,等上一次比较完成之后,开始比较,直到比较完所有的数据。比较操作需要比较…...

C语言中提供的第三方库之哈希表实现

一. 简介 前面一篇文章简单学习了C语言中第三方库&#xff08;uthash库&#xff09;提供对哈希表的操作&#xff0c;文章如下&#xff1a; C语言中提供的第三方库uthash常用接口-CSDN博客 本文简单学习一下第三方库 uthash库对哈希表的操作。 二. uthash库哈希表操作示例 u…...

C++--string的模拟实现

一,引言 string的模拟实现是只对string对象中给的主要功能经行模拟实现&#xff0c;其目的是加强对string的底层了解&#xff0c;以便于在以后的学习或者工作中更加熟练的使用string。本文中的代码仅供参考并不唯一。 二,默认成员函数 string主要有三个成员变量&#xff0c;…...