JVM学习笔记9-Java字节码文件结构剖析

最新推荐文章于 2023-03-16 18:02:59 发布
最新推荐文章于 2023-03-16 18:02:59 发布
阅读量177 收藏
点赞数
分类专栏： JVM
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/lu322313/article/details/90531394
版权

java字节码结构

Class字节码中有两种数据类型

  • 字节数据直接量—基本的数据类型

    • u1—代表连续的1个字节组成的整体数据
    • u2—代表连续的2个字节组成的整体数据
    • u4—代表连续的4个字节组成的整体数据
    • u8—代表连续的8个字节组成的整体数据

  • 表(数组)
    是由多个基本数据或其他表,按照既定顺序组成的大的数据集合
    表是有结构的—体现在:组成表的成分所在的位置和顺序都是已经严格定义好的

       使用javap -verbose命令分析一个字节码文件时,将会分析该字节码文件的魔数,版本号,常量池,类信息,类的构造方法,类中的方法信息,类变量与成员变量信息

长度类型描述数量备注
u4Magic魔数值为CAFEBABE16进制1Java创始人James Gosling制定
u2minor_version次版本号1
u2major_version主版本号1
u2constant_pool_count常量池个数1
cp_infoconstant_pool常量池表constant_pool_count-1
u2access_flags类的访问控制权限1
u2this_class类名1
u2super_class父类名1
u2interfaces_count接口个数1
u2interfaces接口名interfaces_count
u2fields_count域个数
field_infofields域的表fields_count
u2methods_count方法个数1
method_infomethods方法表methods_count
u2attributes_count附加属性个数1
attribute_infoattributes附加属性的表attributes_count

完整的Java字节码结构

ClassFile{
	u4	magic;
	u2	minor_version;
	u2 	major_version;
	u2	constant_pool_count;
	cp_info	constant_pool[constant_pool_count - 1];
	u2	access_flags;
	u2	this_class;
	u2	super_class;
	u2	interfaces_count;
	u2	interfaces[interfaces_count];
	u2	fields_count;
	fields_info	fields[fields_count];
	u2	methods_count;
	method_info	methods[methods_count];
	u2	attributes_count;
	attribute_info	attributes[attributes_count];
}

1 魔数

所有.class文件的字节码文件的前4个字节都是魔数,魔数值为固定值—0xCAFEBABE

2 版本信息

分为主版本号和次版本号
以java version "1.8.0_131"为例

  • 1.8表示主版本号
  • 0表示次版本号
  • 131表示更新号

主版本号对应的字节码信息

主版本号字节码16进制
1.852
1.751
1.650
1.549
1.448
1.347
1.246

3 常量池

  • 一个Java类中定义的很多信息都是有常量池类维护和描述的,占据字节码文件内容的很大一部分
  • 可以将常量池看做是Class文件的资源仓库.比如Java类中定义的方法与变量信息都是存在在常量池中
  • 常量池中主要存储主要存储两类常量:
    • 字面量
      • 文本字符串
      • Java中声明为final的常量值等
    • 符号引用
      • 类和接口的全局限定名
      • 字段的名称和描述符
      • 方法的名称和描述符

3.1 常量池的总体结构

Java类所对应的常量池主要由常量池数量与常量池组这两部分构成

  • 常量池数量紧跟在主版本数量之后,占据两个字节
  • 常量池组则紧跟在常量池数据之后
    • 常量池数组中不同元素的类型,结构都是不同的,长度自然也不同
    • 每种元素的第一个数据都是U1类型—该字节是个标志位,占据一个字节
    • JVM在解析常量池时,会根据U1类型来获取元素的数据结构

值得注意的是,常量池数组中元素的个数=常量池数-1(其中0暂时不使用)

  • 目的是满足某些常量池索引值的数据在特定情况下需要表达不引用任何一个常量池的含义
  • 根本原因为索引为0也是一个常量,只不过它不位于常量表中,这个常量就对应null值,所以常量池的索引从1而非0开始

在JVM规范中,每个变量/字段都有描述信息

  • 描述信息主要的作用是描述字段的数据类型,方法的参数列表(包括数量,类型与顺序)和返回值

3.2 描述符规则

3.2.1 基本数据类型和对象类型描述符规则

根据描述符规则

  • 基本数据类型和代表无返回值的void类型都用一个大写字母来表示
  • 对象类型使用字符L+对象的全限定名称来表示

为了压缩字节码文件的体积,对于基本数据,JVM都只使用一个大写字母来表示,如下所示:

  • B—byte
  • C—char
  • D—double
  • F— float
  • I—int
  • J—long
  • S—short
  • Z—boolean
  • V—void
  • L—对象类型,如Ljava/lang/String
3.2.2 数组类型的描述符规则

对于数组类型来说,每个维度使用一个前置的[来表示,如

  • int[]被记录为[i
  • String[][]被记录为[[Ljava/lang/String
3.2.3 方法的描述符规则

用描述符描述方法时,按照先参数列表,后返回值的顺序来描述

  • 参数列表按照参数的严格顺序放在一组()之内
    如方法
String getUserInfoByIdAndName(int id, String name){}

其描述符为
(I,Ljava/lang/String) Ljava/lang/String

表1. Class文件结构中常量池中11中数据类型的结构总表
常量项目类型描述
CONSTANT_utf8_infotagU1值为1
lengthU2UTF-8编码的字符串长度
bytesU1长度为length的UTF-8编码的字符串
CONSTANT_integer_infotagU1值为3
bytesU4按照高位在前存储的int值
CONSTANT_float_infotagU1值为4
bytesU4按照高位在前存储的float值
CONSTANT_long_infotagU1值为5
bytesU8按照高位在前存储的long值
CONSTANT_Double_infotagU1值为6
bytesU8按照高位在前存储的long值
CONSTANT_class_infotagU1值为7
indexU2指向全限定名常量项的索引
CONSTANT_String_infotagU1值为8
indexU2指向字符串字面量的索引
CONSTANT_Fieldref_infotagU1值为9
indexU2指向声明字段的类或者接口描述符CONSTANT_Class_info的索引项
indexU2指向字段描述符CONSTANT_NameAndType_info的索引项
CONSTANT_Methodref_infotagU1值为10
indexU2指向声明方法的类描述符CONSTANT_Class_info的索引项
indexU2指向名称及类型描述符CONSTANT_NameAndType_info的索引项
CONSTANT_Methodref_infotagU1值为11
indexU2指向声明方法的接口描述符CONSTANT_Class_info的索引项
indexU2指向名称及类型描述符CONSTANT_NameAndType_info的索引项
CONSTANT_NameAndType_infotagU1值为12
indexU2指向该字段或方法名称常量项的索引
indexU2指向该字段或方法描述符常量项的索引

表2中描述了11中数据类型的结构,其实在JDK1.7之后又新增了三种

  • CONSTANT_MethodHandle_info
  • CONSTANT_MethodTypeInfo
  • CONSTANT_InvokeDynamic_info
    所以一共是14种

4 访问标志

长度为2个字节,访问标志信息包括

  • 该Class文件是类还是接口
  • 是否被定义为public
  • 是否是abstract
  • 如是类是否被声明成final

表3. Class access and property modifiers–类访问和属性修饰符

标志名值说明
ACC_PUBLIC0x0001声明为public,可以从其包外部访问
ACC_PRIVATE0x0002声明为private,仅共当前类访问
ACC_STATIC0x0008声明为static
ACC_FINAL0x0010声明为final,不允许被子类继承
ACC_SUPER0x0020当调用invokespecial指令时相应的去调用父类的构造方法
ACC_INTERFACE0x0200声明为interface接口,不是类
ACC_ABSTRACT0x0400声明为abstract,不能被实例化
ACC_SYNTHETIC0x1000声明为synthetic,源代码中不存在
ACC_ANNOTATION0x2000声明为annotation注解类型。
ACC_ENUM0x4000声明为enum枚举

5 字段表filed_info集合

字段表用于描述类和接口中声明的变量
这里的字段包含了

  • 类级别变量
  • 实例变量

但是不包括方法内部声明的局部变量
表4. 字段表filed_info结构

类型名称数量
u2access_flags—访问标志1
u2name_index—字段名索引1
u2descriptor_index—描述符索引1
u2attribute_count—附加属性个数1
attribute_infoattributesattribute_count

完整的filed_info字节码结构

field_info{
	u2	access_flags;
	u2	name_index;
	u2	descriptor_index;
	u2	attribute_count;
	attributes[attribute_count];
}

6 方法表method_info集合

表5. 方法表method_info结构

类型名称数量
u2access_flags—访问表示1
u2name_index—字段名索引1
u2descriptor_index—描述符索引1
u2attribute_count—附加属性个数1
attribute_infoattributesattribute_count

完整的method_info字节码结构

method_info{
	u2	access_flags;
	u2	name_index;
	u2	descriptor_index;
	u2	attribute_count;
	attributes[attribute_count];
}

6.1 附加属性表attribute_info集合

  • 方法中的每个属性都是一个attribute_info结构
  • JVM预定义了部分attribute,但是编译器自己也可以实现自己的attribute写入class文件里,共运行时使用
  • 不同的attribute通过attribute_name_index来区分

表6. 附加属性表attribute_info结构

类型名称数量
u2attribute_name_index—属性名索引1
u4attribute_length—属性名长度1
u2info[attribute_length]—属性信息attribute_length

完整的attribute_info字节码结构

attribute_info{
	u2	attribute_name_index;
	u4	attribute_length;
	u1	info[attribute_length];
}

6.2 Code attribute结构

Code attribute的作用是保存该方法的结构

表7. 代码属性表Code_attribute结构

类型名称数量
u2attribute_name_index—属性名索引1
u4attribute_length—attribute所包含的字节数.不包含attribute_name_index和attribute_length1
u2max_stack—最大栈深度,表示这个方法运行时的任何时刻所能到达的操作数栈的最大深度1
u2max_locals—最大局部变量数表示这个方法执行期间所创建的局部变量的数目,包含用来表示传入的参数的局部变量1
u4code_length–该方法所包含的字节码的字节数以及具体的指令码11
u1code[code_length]code_length
u2exception_table_length—异常表长度1
exception_tableexception_table[exception_table_length]异常表—存放的是处理异常的信息2exception_table_length
u2attributes_count—异常表长度1
attributesattributes[attributes_count]—异常表长度attributes_count

如所对应的字节码

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;
	attributes[attributes_count];
}
  • start_pc和end_pc表示在code数组中从 start_pc到 end_pc(包含前者,不包含后者)的指令抛出的异常会由这个表项来处理
  • handler_pc表示处理异常的代码的开始处.
  • catch_type表示会被处理的异常类型,它指向常量池里的一个类,当catch_type为0时,表示处理所有异常

Java字节码对异常的处理方式

  1. 统一采用异常表的方式来对异常进行处理
  2. 在JDK 1.4.2之前的版本中,并不是使用异常表的方式来对异常进行处理的,而是采用特定的指令方式
  3. 当异常存在finally语句块时,现代化的JVM采取的处理方式是将finally语句块的字节码拼接到每一个catch块后面,换句话说,程序中至少存在多个catch块,就会在每一个catch语句块后面重复多少个finally语句块的字节码

[1] 具体字节码即是该方法被调用时,虚拟机所执行的字节码
[2] 每个exception_table表项有start_pc, end_pc, handler_pc, catch_pc组成

6.3 LineNumberTable的结构

LineNumberTable{
	u2 	attribute_name_index;
	u4	attribute_length;
	u2	line_number_table_length;
	{
		u2	start_pc;
		u2	line_number;
	}line_number_table[line_number_table_length]
}

6.4 LocalVariableTable的结构

对于Java类的每一个实例方法(非static方法),其在编译后所生成的字节码当中,
方法参数的数量总是会比源代码中方法参数的数量多一个(this).

它位于方法的第一个参数位置处,这样我们就可以像Java的实例方法中使用this来访问当前对象的属性以及其他方法
这个操作是在编译期间完成的,即由javac编译器在编译时将对this的方法转化为对一个普通实例方法参数的访问

接下来在运行期间,由JVM在调用实例方法时,自动向实例方法传入该this参数.

所以.在实例方法的局部变量表中,至少会有一个指向当前对象的局部变量

LocalVariableTable{
	u2	attribute_name_index;
	u4 	attribute_length;
	u2 local_variable_table_length;
	{
		u2	start_pc;
		u2	length;
		u2	name_index;
		u2	descripor_index;
		u2	index
	}local_variable_table[local_variable_table_length]
}

7 SourceFile的结构

SourceFile{
	u2	attribute_name_index;
	u4	attribute_length;
	u2	sourcefile_index;
}
L.T.F.
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
JVM笔记：Java虚拟机的字节码指令详解
verzqli的博客
10-29 956
1.字节码 Java能发展到现在，其“一次编译，多处运行”的功能功不可没，这里最主要的功劳就是JVM和字节码了，在不同平台和操作系统上根据JVM规范的定制JVM可以运行相同字节码（.Class文件），并得到相同的结果。之所以被称之为字节码，是因为字节码文件由十六进制值组成，而JVM以两个十六进制值为一组，即以字节为单位进行读取。在Java中一般是用javac命令编译源代码为字节码文件，将java...
Spring注解的实现原理
热门推荐
u012345683的博客
08-11 2万+
要理解java注解首先要掌握几个概念，第一字节码中的attribute_info区域的作用，第二java反射，第三xml的解析。注解起作用的过程中，注解信息只起着配置信息的作用，注解没有行为，没有动作，就把它看成是存储在attribute_info中的一段字符串就行了。1.字节码中的attribute_info属性 如上图所示，显示的是java代码编译后字节码的结构，u2代表当前结构体占2个字
java字节码的结构及其类型解读
u012149894的专栏
04-12 517
一：字节码结构组成部分： 结构层 占用字节 说明 魔数 Magic Number 4 oxCAFEBABE 次版本号 minor version 2 主版本号 major version 2 java8对应52 常量池常量个数 constant pool count 2 常量池表...
JVM学习笔记11 - Java字节码初识
晨猫
05-06 308
bilibili-深入理解JVM 虚拟机 学习笔记 JVM学习笔记 1 JVM学习笔记 2 JVM学习笔记 3 JVM学习笔记 4 JVM学习笔记 5 JVM学习笔记 6 JVM学习笔记 7 JVM学习笔记 8 JVM学习笔记 9 JVM学习笔记 10 P37_Java字节码文件结构剖析(37) Java 之所以跨平台是因为 JVM 不是跨平台的；java 编译器在任何平台（Linux、Unix、...
JVM学习笔记 03 - 字节码
最新发布
Jomly Kellenda的博客
03-16 372
一句话概括 JVM 与操作系统之间的关系：JVM 上承开发语言，下接操作系统，它的中间接口就是。Java 字节码一般都比较容易读懂，这从侧面上证明 Java 语言的抽象程度比较高。你可以把 JVM 认为是一个翻译器，会持续不断的翻译执行 Java 字节码，然后调用真正的操作系统函数，这些操作系统函数是与平台息息相关的。使用 JDK 的工具 javac 进行编译后，会产生 HelloWorld 的字节码。
JVM学习笔记38-42——Java字节码内容剖析
yshuoo的博客
05-10 117
1、使用javap -verbose命令分析一个字节码文件时，将会分析该字节码文件的魔数、版本号、常量池、类信息、类的构造方法、类中的方法信息、类变量与成员变量等信息。 2、魔数：所有的.class字节码文件的前四个字节都是魔数，魔数值为固定值：0xCAFEBABE 3、魔数之后的4个字节为版本信息，前两个字节表示minor version (次版本号)，后两个字节表示major version（主版本号）。这里版本号为00 00 00 34，换算成十进制，表示次版本号为0，主版本号为52，所以该版本号
JVM学习笔记(5)之字节码文件剖析
qq_24286273的博客
11-06 93
使用javap -verbose命令分析一个字节码文件时，将会分析该字段的魔数、版本号、常量池、类信息、类的构造方法、类中的方法信息、类变量与成员变量等信息 魔数：所有的.class字节码文件的前4个字节都是魔数,魔数值为固定值:0xCAFEBABE 看一个简单的java文件MyTest1.java，如下: package com.zh.bytecode; /** * @a...
尚硅谷JVM学习笔记：1.JVM与Java体系结构
weixin_60347335的博客
10-19 399
开发人员如何看待上层框架一些有一定工作经验的开发人员，打心眼里觉得SSM、微服务等上层计算才是重点，基础技术并不重要，这其实是一种本末倒置的"病态"如果我们把核心类库的API比做数学公式的话，那么Java虚拟机的知识就好比公式的推导过程。字节码我们平时说的Java字节码，指的是用Java语言编译成字节码。准确的说任何能在jvm平台上执行的字节码格式都是一样的。所以应该称为jvm字节码不同的编译器，可以编译出相同的字节码文件，字节码文件也可以在不同的JVM上运行。
JVM学习笔记 04、类加载与字节码技术
每个人都是独一无二的，把握好自己的节奏，跟着自己的心走。
05-05 669
文章目录前言一、类加载1.1、java文件、字节码文件1.2、类加载与字节码技术1.3、原理分析多态原理异常sychronized二、字节码指令2.3、编译器处理（语法糖）2.3.1-2.3.9（精简）2.3.10、方法重写时的桥接方法2.3.11、匿名内部类（底层原理、引用常量值）2.4、类加载阶段2.4.1、加载阶段2.4.2、链接验证准备解析2.4.3、初始化初始化练习（包装类静态属性、懒惰初始化单例）2.5、类加载器2.5.1、启动类加载器2.5.2、扩展类加载器2.5.3、双亲委派模式2.5.4、
JVM学习笔记25-G1垃圾收集器三色标记算法和SATB
lu322313的博客
03-09 2016
1三色标记算法 对于并发标记,我们不得不了解并发标记的三色标算法 它是描述追踪式回收器的一种有效方法,利用它可以推演回收器的正确性 我们将对象分成三种类型: 黑色—根对象, 或者该对象与它的子对象都被扫描过(对象被标记了,且它的所有field都被标记完了) 灰色—对象本身被扫描,但还没扫描完该对象中的子对象(它的field还没有被标记或标记完) 白色—未被扫描对象,扫描完成所有对象之后,最终为白...
JVM学习笔记13-静态解析和动态链接
lu322313的博客
03-06 1261
1.静态解析 有些符号引用是在类加载阶段或是第一次使用时就会转换为直接引用,这种转换叫做静态解析 静态解析的四种情形: 静态方法 父类方法 构造方法 私有方法(无法被重写) 以上四种方法被称作非虚方法,他们是在类加载阶段就可以将符号引用转换为直接引用 2.动态链接 有些符号引用则是每次运行期间转化为直接引用,这种转换叫做动态链接.这体现为Java的多态性 3.相关字节码指令 invokein...
JVM学习笔记26-G1垃圾收集器停顿预测模型和最佳实践
lu322313的博客
03-10 628
G1收集器突出表现出来的一点是通过一个停顿预测模型根据用户配置的停顿时间来选择Cset的大小,从而达到用户期待的应用程序暂停时间 通过-XX:MaxGCPauseMillis参数来设置,这一点有点类似于Parallel Scavenge收集器.关于停顿时间的设置并不是越短越好 设置的时间越短意味着每次收集的Cset越小,导致垃圾逐步积累变多,最终不得不退化成Serial GC; 停顿时间设置的过...
JVM学习笔记24-G1垃圾收集器
lu322313的博客
03-09 330
G1收集器—Garbage First Collector 1 背景 吞吐量 吞吐量关注的是,在一个指定的时间内最大化一个应用的工作量 如下方式来衡量一个系统吞吐量的好坏 在一小时内同一个事务(或者任务, 请求)完成的次数(tps) 数据库一小时可以完成多少次查询 对于关注吞吐量的系统,卡顿是可以接受的,因为这个系统关注长时间的大量任务的执行能力,单次快速的响应并不值得考虑 响应能力 ...
JVM学习笔记19-常见GC算法
lu322313的博客
03-07 204
1.标记-清除算法–Mark-Sweep 2.标记-整理算法–Mark-Compact 3.复制算法–Copying 4.分代算法–Generational
JVM学习笔记18-垃圾判断算法
lu322313的博客
03-06 187
1 引用计数算法–Reference Counting 给对象添加一个引用计数器,规定如下 当有一个地方引用它,计数器+1 当引用失效,计数器-1 任何时刻计数器为0的对象就是不能再被使用的 引用计数器无法解决对象循环引用的问题 2 根搜索算法–Root Tracing 在实际的生产语言中(Java, C#等),都是使用根搜索的算法判定对象是否存活 算法的基本思路就是通过一系列的称为GC ...
JVM学习笔记16-基于栈的指令集与基于寄存器指令集之间的关系
lu322313的博客
03-06 175
基于栈的指令集的操作方法 JVM执行指令时所采用的方式是基于栈的指令集 基于栈的指令集主要的操作有两种 入栈 出栈 可移植性 基于站的指令集的优势在于它可以在不同平台间移植, 基于寄存器的指令集是与硬件架构紧密关联的,无法平台间移植 各自缺点 基于站的指令集的缺点在于完成相同的操作,指令数量通常要比基于指令集数量要多 指令完成区域 基于栈的指令集是在内存中完成操作的 ...
JVM学习笔记15-解释执行与编译执行
lu322313的博客
03-06 162
1. 解释执行与编译执行 现代JVM在执行Java代码的时候,通常都会将解释执行与编译执行二者结合起来进行 1.1解释执行 就是通过解释器来读取字节码,遇到相应的指令,就去执行该指令 1.2编译执行 就是通过及时编译器—JIT将字节码转换为本地机器码 现代JVM会根据代码热点来生成相应的本地机器码 ...
JVM学习笔记21-垃圾收集器
lu322313的博客
10-15 161
如果说收集算法是垃圾回收的方法论,那么垃圾收集器是内存回收的具体实现 主要的垃圾收集器有以下几种: Serial收集器 ParNew收集器 Parallel Scavenge收集器 Serial Old收集器 Parallel Old收集器 CMS收集器 G1收集器 ...
JVM发展历程与内存优化：实战笔记
一个Java程序经历了从源代码到字节码，再到JVM执行的过程，即`Java文件 -> javac编译器 -> 字节码 -> JVM -> 机器码`。 **3. JVM、JRE和JDK的关系** - JVM负责解释和执行字节码，而它本身不生成代码。JRE（Java ...

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值