java解析dxf文件_浅析JVM方法解析、创建和链接

一:前言

上周末写了一篇文章《你知道Java类是如何被加载的吗?》,分析了HotSpot是如何加载Java类的,干脆趁热打铁,本周末再来分析下Hotspot又是如何解析、创建和链接类方法的。

二:Class文件中的Java方法

Java类在编译后会被编译成 Class 文件,在几年前写的《Jvm之用java解析class文件》中,我对 Class 文件的结构进行了分析,里面已经讲过了Java 方法在 Class 文件中的结构,今天就再温故而知新下。

先来看下 Class 文件的结构:

ClassFile 
  • methods_count 记录了 Class 文件中一共有多少方法。
  • methods 是个数组,包含 Class 文件的所有方法。

methods 的数组类型为 method_info,每个 method_info 对应一个 Java 方法。

method_info {u2 access_flags;u2 name_index;u2 descriptor_index;u2 attributes_count;attribute_info attributes[attributes_count];
}
  • access_flags 是方法的访问权限。
  • name_index 是方法名在常量池中的索引。
  • descriptor_index 是方法描述符在常量池中的索引。
  • attributes_count 记录了方法一共有多少属性。
  • attributes是个数组,包含了方法的所有属性。

attributes 中的每一项都是方法的一个属性,其中代表字节码的属性为 Code_attribute:

Code_attribute {u2 attribute_name_index; u4 attribute_length;u2 max_stack;u2 max_locals;u4 code_length;u1 code[code_length];u2 exception_table_length; {u2 start_pc;u2 end_pc;u2 handler_pc;u2 catch_type;} exception_table[exception_table_length];u2 attributes_count;attribute_info attributes[attributes_count];
}
  • max_stack 表示当前方法操作数栈的最大深度。
  • max_locals 表示当前方法局部变量的最大个数。
  • code[code_length] 记录了方法中的字节码指令

总的来说,Class 文件中对方法的描述还是很简洁清晰的。

三:HotSpot 如何解析 Java 方法

Class 文件相当于 Java 类的模板,JVM 在读取 Class 文件后,会根据这个模板,建立 Java 类在虚拟机中的模型。

在上篇文章《你知道Java类是如何被加载的吗?》中,我提到了 ClassFileParser,它是HotSpot 加载类所需要的一员大将,通过名字我们就能猜出它的作用:类文件解析器。

还记得Class在JVM中对应的 InstanceKlass 是如何创建的吗?不记得话看一下下面这段代码来回忆下。

ClassFileParser 

上面这段代码主要是创建了一个ClassFileParser,并调用了其create_instance_klass()来创建 InstanceKlass。但是对于Class文件的解析,是在 create_instance_klass()之前就完成了的。当经过一系列初始化操作后,ClassFileParser 便在其构造函数的末尾,调用 parse_stream(stream, CHECK),开始了 Class 文件的解析之旅。

在 parse_stream()中,ClassFileParser 会对整个Class文件解析解析,包括常量池、字段、父类、接口等信息,当然也包括类方法。用来解析所有类方法的函数为:parse_methods()。

void 

ClassFileParser 对于 Class文件的解析是流式的,parse_methods()先通过 cfs->get_u2_fast() 拿到方法数量,接着便开始进行遍历,调用 parse_method()依次解析每个类方法。

从Class文件中method_info的定义可知,method 基本上所有信息都存储在method_info中的attributes[] 数组中,所以对于method的解析,基本上也就是在遍历attributes[] 数组。

method_info 中的attributes[] 数组是用来存放方法的各个属性的,其中包括Code属性、Exception属性、MethodParameters属性、Synthetic属性。parse_method()要做的主要工作,就是遍历attributes[] 数组,解析每个属性。

下面我们来便来各个击破,看看上面这些属性是如何被解析的。

3.1 解析 Code 属性

(1)获取maxStacks、maxLocals 和 code length

if 

(2)获取字节码指令首地址

code_start 

(3)解析方法中的异常处理表

exception_table_length 

(4)解析Code属性中的属性表,如 LineNumberTables、LocalVariableTables、LocalVariableTypeTables。主要是用于记录一些调试信息。

3.2 解析 Exception 属性

Exception 属性记录了方法可能抛出的异常。

checked_exceptions_start 

3.3 解析 MethodParameters 属性

MethodParameters 属性记录了方法的参数信息。

method_parameters_seen 

3.4 解析 Synthetic 属性

Synthetic 属性表示成员是在编译期自动为Class生成,如内部类提供给外部类用来访问内部成员的 access()方法。

access_flags

如果在解析到该属性,直接调用 set_is_synthetic()标志下即可。

由上面的解析过程可知,ClassFileParser 主要就是按照Java虚拟机规范对Class文件结构的定义进行流式解析。

四:HotSpot 如何创建 Java 方法

经过第三节的解析,ClassFileParser 已经从Class文件中获取到了方法的所有信息。接下来要做的,便是通过读取的信息,创建 Java 方法在 JVM 中的数据模型。

在HotSpot中,Java方法对应的数据结构为 Method,定义在 method.hpp 中

class 

创建 Method 主要分为下面几步。

4.1 分配方法对应的 Method

Method

4.2 将解析方法时读取到信息填充到 Method 中

m->set_constants(_cp);
m->set_name_index(name_index);
m->set_signature_index(signature_index);
......
// Fill in code attribute information
m->set_max_stack(max_stack);
m->set_max_locals(max_locals);
......
// Copy byte codes
m->set_code((u1*)code_start);
......
// Copy exception table
if (exception_table_length > 0) {Copy::conjoint_swap_if_needed<Endian::JAVA>(exception_table_start,m->exception_table_start(),exception_table_length * sizeof(ExceptionTableElement),sizeof(u2));
}
......

Method 中将一些只读数据都存放到了它的 _constMethod 中,_constMethod 类型为ConstMethod,定义在 constMethod.hpp 中。

举个例子,方法的字节码指令就存放在 ConstMethod 中,不过这么说不太严谨,字节码指令并不是直接存放在 ConstMethod 内部,而是紧跟着 ConstMethod 存放在内存中。

我们再看看上面的填充逻辑,调用了 m->set_code((u1*)code_start) 来存放字节码指令首地址,Method 其实是直接调用了 ConstMethod 的 set_code():

void    

ConstMethod的set_code()也很简单:

void    

首先调用code_base()获取存放字节码的地址,接着便调用memcpy(),将字节码指令从 code 处拷贝到code_base()处。

code_base()代码如下:

address 

因为 this 本身是指针,所以 this + 1 获取的地址为:

constMethod 首地址 + sizeOf(ConstMethod)

所以字节码指令存放在ConstMethod之后:

bef626a0bff7f182f1478c6670fb5154.png

存放好字节码指令后,以后当调用该方法时,就可以从 ConstMethod 中获取到字节码指令首地址,从而进行取指执行了。

五:HotSpot 如何链接 Java 方法

上面只是在加载Class文件时对Java方法进行了解析和创建,而Java 方法的链接是发生在所属InstanceKlass 的初始化时期。

一般来说,Class文件在被加载成 InstanceKlass 后不会立即初始化,而是等到实例化 Obejct、反射获取字段、方法信息,或者调用static方法等时机才会初始化。

InstanceKlass在初始化时会调用 link_class()对类进行链接,在类的链接过程中,便会调用 InstanceKlass的 link_methods()方法,对类的所有方法进行链接。

对单个 Method 进行链接的方法为:Method::link_method(const methodHandle& h_method, TRAPS),方法链接主要就是做的事就是设置 Method 的 interpreter_entry:

address 

上面首先通过 entry_for_method(h_method)获取方法的入口例程,关于这个例程是干什么的,可以看看之前写的《JVM方法执行的来龙去脉》,简单来说,HotSpot对于Java方法的执行不是简单的从方法字节码首地址处进行取指执行即可,在进行字节码指令执行之前,需要为Java方法创建栈帧、局部变量表等事情,而这些事情是通用的,所以HotSpot将这些事情统一到一起,对Java方法的执行做了一层封装,而例程便是这个封装的入口。

HotSpot 提前为各种类型的方法创建好了一系列例程,所以 entry_for_method(h_method)便是根据方法类型,从例程表中查询到对应类型的例程。

查询到例程后,便调用set_interpreter_entry(entry),将例程的入口地址保存到Method中:

void 

保存例程的入口地址后,以后调用Java方法时,便可以从Method中获取例程的入口地址,跳到此处执行。

六:总结

通过上面的分析,我们了解了Java方法在Class文件中的结构,以及方法的解析、创建及链接。

解析过程主要是流式读取Class文件,获取方法在Class文件中的信息。

创建过程主要是创建Java方法对应的Method,并将解析过程读取的信息填充到Method中。

链接过程主要是根据方法类型,获取并保存方法对应的入口例程的地址。

我的文章只是个引子,毕竟短短篇幅无法囊括JVM浩瀚如烟的源码。如果想对 HotSpot 如何处理 Java 方法的细节深入了解的话,想必最好的方式还是自己去阅读和调试 OpenJDK,

罢了,写完,关灯,睡觉!

听说喜欢点关注的同学都长得帅

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

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

相关文章

python解释器的提示符是shell嘛_python解释器怎么运行

python解释器怎么运行&#xff1f; 在Python可用的机器上&#xff0c;Python解释器通常放在 /usr/local/bin/python3.7 ; 把 /usr/local/bin 放到你 Unix shell 的搜索路径当中 , 这样就能键入命令:python3.7 就能运行了。安装时可以选择安装目录&#xff0c;所以解释器也可能在…

我的iOS学习历程 - OC第九天

今天主要讲的是内存的管理方法 1.IOS的内存管理中 Mac是使用的垃圾回收(gc) 有轮询延迟 手机用的是 引用计数 2.引用计数的方法: ( 1 ) alloc alloc 开辟空间引用计数 从0 ->1 Person *p1 [[Person alloc]initWithName:"wanglong" age:18]; ( 2 ) retainretain 使…

判断运营商_三大通信运营商步调一致,大流量互联网套餐陆续成绝版

此前笔者就发过一篇文章“预警”三大通信运营商的大流量互联网资费套餐面临调整&#xff0c;很可能一直流行的200G定向流量套餐都将会大幅缩减&#xff0c;不过未引起大家的注意。当初的判断&#xff0c;是基于卡商渠道和内部传言消息分析&#xff0c;同时也基于此前通信运营商…

python实现图形旋转_Python3+OpenCV2实现图像的几何变换

几何变换可以看成图像中物体&#xff08;或像素&#xff09;空间位置改变&#xff0c;或者说是像素的移动。 几何运算需要空间变换和灰度级差值两个步骤的算法&#xff0c;像素通过变换映射到新的坐标位置&#xff0c;新的位置可能是在几个像素之间&#xff0c;即不一定为整数坐…

【LINUX/UNIX网络编程】之使用消息队列,信号量和命名管道实现的多进程服务器(多人群聊系统)...

RT&#xff0c;使用消息队列&#xff0c;信号量和命名管道实现的多人群聊系统。 本学期Linux、unix网络编程的第三个作业。 先上实验要求&#xff1a; 实验三 多进程服务器 【实验目的】 1、熟练掌握进程的创建与终止方法&#xff1b; 2、熟练掌握进程间通信方法&#xff1b; …

图像 pipeline_多面体优化,Pipeline与深度学习编译器

有幸参与了MICRO2020&#xff0c;见识到了很多优秀的论文&#xff0c;其中最让我惊艳的是华为的在多面体优化上做优化的文章 <Optimizing the Memory Hierarchy by Compositing Automatic Transformations on Computations and Data>&#xff08;https://www.di.ens.fr/~…

python不同数据的读入_python读写不同编码txt文件_python读写txt文件

python读写不同编码txt文件_python读写txt文件 以后整理规范 [python] view plaincopy import os import codecs filenamesos.listdir(os.getcwd()) outfile(“name.txt”,“w”) for filename in filenames: out.write(filename.decode(“gb2312”).encode(“utf-8”)) out.cl…

Java06动手动脑

1. 子类的构造函数如果要引用super的话&#xff0c;必须把super放在函数的首位如果想用super继承父类构造的方法&#xff0c;但是没有放在第一行的话&#xff0c;那么在super之前的语句&#xff0c;肯定是为了满足自己想要完成某些行为的语句&#xff0c;但是又用了super继承父…

rs485接口上下拉_RS485接口EMC电路设计方案

一、原理图1. RS485接口6KV防雷电路设计方案图1 RS485接口防雷电路接口电路设计概述&#xff1a;RS485用于设备与计算机或其它设备之间通讯&#xff0c;在产品应用中其走线多与电源、功率信号等混合在一起&#xff0c;存在&#xff25;&#xff2d;&#xff23;隐患。本方案从…

python可以在linux运行_服务器(Linux)上运行python总结

跑实验换了几次服务器了&#xff0c;每次遇到相似问题都要重新百度&#xff0c;而且每次百度搜索出的顺序都不一样&#xff0c;又得重新找半天&#xff0c;这次把遇到的问题都总结一下。 1.准备 PuTTY和FileZilla FileZilla使用FTP传输时&#xff0c;实验室的服务器可能是出于安…

第九周(11.02-11.08)学习笔记

一、学习目的 掌握系统编程和系统调用的概念掌握系统编程错误处理的方式掌握Unix/Linux系统级I/O:open close read write seek stat 4. 掌握RIO掌握I/O重定向的方法二、学习资源 教材&#xff1a;附录A&#xff0c;第10章《系统级I/O》课程资料&#xff1a;https://www.shiyanl…

bootice 此功能仅在uefi环境下可用_电脑新手必掌握基础知识:BIOS、EFI与UEFI详解!...

本文估计很多小白看不懂&#xff0c;但是还是建议你硬着头皮看完&#xff0c;这篇文章主要讲解了这几种“BIOS”的启动方式&#xff0c;对电脑启动问题判断的理解会有益处。BIOS是个程序&#xff0c;存储在BIOS芯片中&#xff0c;而现在的新式电脑用的基本都是UEFI启动&#xf…

xampp默认mysql数据库root密码的修改

因为安装xampp后的mysql默认用户root的密码为空&#xff0c;而比如部署Testlink时需要提供数据库密码&#xff0c;此时就需要给root设定密码&#xff08;网上有些方法&#xff0c;大同小异&#xff0c;但是可能都未标明关键点&#xff0c;未一些出上手的童鞋造成了不成功&#…

12c表空间不存在_一文看懂Oracle查询表空间的每日增长量和历史情况统计

概述今天主要总结一下Oracle表空间每日增长和历史情况统计的一些脚本&#xff0c;仅供参考。11g统计表空间的每日增长量SELECT a.snap_id, c.tablespace_name ts_name, to_char(to_date(a.rtime, mm/dd/yyyy hh24:mi:ss), yyyy-mm-dd hh24:mi) rtime, round(a.tablespace_size …

python如何对一个属性或方法进行封装_python 类、对象、方法、属性

在python中&#xff0c;一个对象的特征也称为属性&#xff08;attribute&#xff09;。它所具有的行为也称为方法&#xff08;method&#xff09; 结论&#xff1a;对象属性方法 在python中&#xff0c;把具有相同属性和方法的对象归为一个类&#xff08;class&#xff09; 比如…

交叉渡线道岔规格_交叉渡线铁路道岔的型号及选用

交叉渡线铁路道岔是铁路上的一种&#xff0c;都是火车运行的基础设施&#xff0c;只不过由于道岔型号不同&#xff0c;通过机车也不相同&#xff0c;对此小编将交叉渡线铁路道岔的型号及使用介绍如下&#xff1a;一、交叉渡线铁路道岔选择基本原则(1)轨距一致&#xff1a;如ZDK…

python3导入模块原理_Python模块导入机制与规范

&#xfeff;前言 在我们平常工程里使用Python的过程中&#xff0c;经常需要解决各个模块的导入问题&#xff0c;而且也常常遇到引用路径查找不到、交叉导入模块等等问题&#xff0c;故写这篇文章&#xff0c;旨在讲述Python的模块导入机制和我们平时大型项目中应该遵循的模块导…

canfd收不到数据_在AWR1642评估板上测试CAN-FD,能发送数据,不能接收数据

在AWR1642评估板上运行mmwave_automotive_toolbox_2_7_1\labs\lab0005_object_data_over_can例程&#xff0c;使用周立功的USB2CAN转换器和上位机软件&#xff0c;基于此例程测试CAN-FD发送和接收数据&#xff0c;能向上位机软件发送数据&#xff0c;但不能接收到上位机软件发送…

Shell脚本完成hadoop的集群安装

虽然整体实现的自动安装&#xff0c;但还是有很多需要完善的地方&#xff0c;比如说&#xff1a; 1. 代码目前只能在root权限下运行&#xff0c;否则会出错&#xff0c;这方面需要加权限判断&#xff1b; 2.另外可以增加几个函数&#xff0c;减少代码冗余&#xff1b; 3.还有一…

usb接口多少钱_工控机一般有多少个串口

工控机跟普通电脑特别明显的区别在于工控机的主板有各种丰富的槽位&#xff0c;可以插各种运动控制卡。比如工控机串口、USB口、网口和独立显卡等等。所以&#xff0c;有很多客户在沟通中&#xff0c;都会问我们你这款工控机一般有多少个串口&#xff1f;多少个USB口等等之类的…