JVM 字节码(一)字节码规范

JVM 学习资源

  1. Java ClassFile 字节码规范(Oracle)
  2. Java 虚拟机规范(Java SE 7 中文版) (周志明等译)
  3. Java 反编译工具 - jclasslib(比 javap -v 信息更详细,可以在 IDEA 插件中直接下载)
  4. winhex 一款十六进制查看工具

下面以一个小例子讲解一下 ClassFile 的文件结构(JDK 8 编译)

public class ByteCodeTest {
private int m;
private int inc() {
return m + 1;
}
}

编译后的字节码在 winhex 如下:

Offset      0  1  2  3  4  5  6  7   8  9  A  B  C  D  E  F

00000000   CA FE BA BE 00 00 00 34  00 16 0A 00 04 00 12 09
00000010 00 03 00 13 07 00 14 07 00 15 01 00 01 6D 01 00
00000020 01 49 01 00 06 3C 69 6E 69 74 3E 01 00 03 28 29
00000030 56 01 00 04 43 6F 64 65 01 00 0F 4C 69 6E 65 4E
00000040 75 6D 62 65 72 54 61 62 6C 65 01 00 12 4C 6F 63
00000050 61 6C 56 61 72 69 61 62 6C 65 54 61 62 6C 65 01
00000060 00 04 74 68 69 73 01 00 30 4C 63 6F 6D 2F 67 69
00000070 74 68 75 62 2F 62 69 6E 61 72 79 6C 65 69 2F 6A
00000080 76 6D 2F 62 79 74 65 63 6F 64 65 2F 42 79 74 65
00000090 43 6F 64 65 54 65 73 74 3B 01 00 03 69 6E 63 01
000000A0 00 03 28 29 49 01 00 0A 53 6F 75 72 63 65 46 69
000000B0 6C 65 01 00 11 42 79 74 65 43 6F 64 65 54 65 73
000000C0 74 2E 6A 61 76 61 0C 00 07 00 08 0C 00 05 00 06
000000D0 01 00 2E 63 6F 6D 2F 67 69 74 68 75 62 2F 62 69
000000E0 6E 61 72 79 6C 65 69 2F 6A 76 6D 2F 62 79 74 65
000000F0 63 6F 64 65 2F 42 79 74 65 43 6F 64 65 54 65 73
00000100 74 01 00 10 6A 61 76 61 2F 6C 61 6E 67 2F 4F 62
00000110 6A 65 63 74 00 21 00 03 00 04 00 00 00 01 00 02
00000120 00 05 00 06 00 00 00 02 00 01 00 07 00 08 00 01
00000130 00 09 00 00 00 2F 00 01 00 01 00 00 00 05 2A B7
00000140 00 01 B1 00 00 00 02 00 0A 00 00 00 06 00 01 00
00000150 00 00 07 00 0B 00 00 00 0C 00 01 00 00 00 05 00
00000160 0C 00 0D 00 00 00 02 00 0E 00 0F 00 01 00 09 00
00000170 00 00 31 00 02 00 01 00 00 00 07 2A B4 00 02 04
00000180 60 AC 00 00 00 02 00 0A 00 00 00 06 00 01 00 00
00000190 00 0C 00 0B 00 00 00 0C 00 01 00 00 00 07 00 0C
000001A0 00 0D 00 00 00 01 00 10 00 00 00 02 00 11

一、ClassFile 文件结构

Java 虛拟机规范 定义了如下的 ClassFile 结构。

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; // 字段信息
field_info fields[fields_count];
u2 methods_count; // 方法信息
method_info methods[methods_count];
u2 attributes_count; // 属性信息
attribute_info attributes[attributes_count];
}

Java 虛拟机规范,Class 文件只有两种数据类型:无符号数和表。无符号数属于基本的数据类型,以 u1、u2、u4、u8 来表 1~8 个字节的无符号数,无符以用来描述数字、素引引用、数量值,或按 UTF-8 编码构成的字符串。每个 Class 文件都是由 8 字节为单位的字节流组成。

二、魔数与 Class文件的版本

Java 虛拟机规范中,魔数与 Class 文件的版本定义:

u4             magic;
u2 minor_version;
u2 major_version;

对应字节码如下:

Offset      0  1  2  3  4  5  6  7   8  9  A  B  C  D  E  F
00000000 CA FE BA BE 00 00 00 34

按照 ClassFile 文件结构,编译后的文件:

magic(魔数):CA FE BA BE
minor_version:00 00
major_version:00 34

0x0034 对应的 JDK 版本是 1.8,更多关于 JDK 版本的对应关系

三、常量池

接下是描述 Class 类的常量池信息,参考 JVM Constant Pool 规范

u2             constant_pool_count;
cp_info constant_pool[constant_pool_count-1];

整个常量池占据很大一块区域:

Offset      0  1  2  3  4  5  6  7   8  9  A  B  C  D  E  F
00000000 00 16 0A 00 04 00 12 09
00000010 00 03 00 13 07 00 14 07 00 15 01 00 01 6D 01 00
00000020 01 49 01 00 06 3C 69 6E 69 74 3E 01 00 03 28 29
00000030 56 01 00 04 43 6F 64 65 01 00 0F 4C 69 6E 65 4E
00000040 75 6D 62 65 72 54 61 62 6C 65 01 00 12 4C 6F 63
00000050 61 6C 56 61 72 69 61 62 6C 65 54 61 62 6C 65 01
00000060 00 04 74 68 69 73 01 00 30 4C 63 6F 6D 2F 67 69
00000070 74 68 75 62 2F 62 69 6E 61 72 79 6C 65 69 2F 6A
00000080 76 6D 2F 62 79 74 65 63 6F 64 65 2F 42 79 74 65
00000090 43 6F 64 65 54 65 73 74 3B 01 00 03 69 6E 63 01
000000A0 00 03 28 29 49 01 00 0A 53 6F 75 72 63 65 46 69
000000B0 6C 65 01 00 11 42 79 74 65 43 6F 64 65 54 65 73
000000C0 74 2E 6A 61 76 61 0C 00 07 00 08 0C 00 05 00 06
000000D0 01 00 2E 63 6F 6D 2F 67 69 74 68 75 62 2F 62 69
000000E0 6E 61 72 79 6C 65 69 2F 6A 76 6D 2F 62 79 74 65
000000F0 63 6F 64 65 2F 42 79 74 65 43 6F 64 65 54 65 73
00000100 74 01 00 10 6A 61 76 61 2F 6C 61 6E 67 2F 4F 62
00000110 6A 65 63 74

前两个字节 u2 表示常量的个数,即 00 16(十进制22),其中 0 号索引有特殊的含义,表示不指向任何对象,实际上有 21 个常量。可以借助反编译工具。

四、类索引、父类索引与接口索引集合

接下来几项都是描述 Class 类的结构信息

u2             access_flags;
u2 this_class;
u2 super_class;
u2 interfaces_count;
u2 interfaces[interfaces_count];

对应字节码如下:

Offset      0  1  2  3  4  5  6  7   8  9  A  B  C  D  E  F
00000110 00 21 00 03 00 04 00 00
  • access_flags 是类的访问标志,0021 表示 ACC_SUPER + ACC_PUBLIC,其中 ACC_SUPER 在 JDK 1.2 以后是默认的。目前定义了 8 种,更多参考 Table 4.1-A. Class access and property modifiers
  • this_class 类信息,0003 指向常量池 #3
  • super_class 父类信息,0004 指向常量池 #4,没有父类即 Object
  • interfaces_count 接口信息,0000 没有接口
  • interfaces[interfaces_count] 接口信息,无

五、字段表集合

接下是描述 Class 类的字段表,参考 JVM Fields 规范

u2             fields_count;
field_info fields[fields_count];

对应字节码如下:

Offset      0  1  2  3  4  5  6  7   8  9  A  B  C  D  E  F
00000110 00 01 00 02
00000120 00 05 00 06 00 00

Fields 字段信息

field_info {
u2 access_flags;
u2 name_index;
u2 descriptor_index;
u2 attributes_count;
attribute_info attributes[attributes_count];
}

首先 0001 表示 fields_count,即有一个字段。下面八个字节(0002 0005 0006 0000)是对这个字段的描述

  • access_flags 字段访问类型,本例中为 0002
  • name_index 字段名类型,本例中为 0005,即指向常量池 #5
  • descriptor_index 字段类型,本例中为 0006
  • attributes_count 属性值,如初始化值信息,本例中为 0000,即没有定义字段属性信息

六、方法表集合

接下是描述 Class 类的方法表。

u2             methods_count;
method_info methods[methods_count];

对应字节码如下:

Offset      0  1  2  3  4  5  6  7   8  9  A  B  C  D  E  F
00000120 00 02 00 01 00 07 00 08 00 01
00000130 00 09 00 00 00 2F 00 01 00 01 00 00 00 05 2A B7
00000140 00 01 B1 00 00 00 02 00 0A 00 00 00 06 00 01 00
00000150 00 00 07 00 0B 00 00 00 0C 00 01 00 00 00 05 00
00000160 0C 00 0D 00 00 00 02 00 0E 00 0F 00 01 00 09 00
00000170 00 00 31 00 02 00 01 00 00 00 07 2A B4 00 02 04
00000180 60 AC 00 00 00 02 00 0A 00 00 00 06 00 01 00 00
00000190 00 0C 00 0B

首先 0002 表示有两个方法,第一个方法为 init,第二个方法为 inc。参考 JVM Methods 规范

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_count] 方法属性,包括对应的指令集 Code 属性

方法属性中最重要的属性是指令码 JVM Code 规范

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];
}

(1) init 方法分析

Offset      0  1  2  3  4  5  6  7   8  9  A  B  C  D  E  F
00000120 00 01 00 07 00 08 00 01
00000130 00 09 00 00 00 2F 00 01 00 01 00 00 00 05 2A B7
00000140 00 01 B1 00 00 00 02 00 0A 00 00 00 06 00 01 00
00000150 00 00 07 00 0B 00 00 00 0C 00 01 00 00 00 05 00
00000190 00 0C 00 0B 00 00 00 0C 00 01 00 00 00 07 00 0C
000001A0 00 0D 00 00
  • attribute_name_index 属性名称,指向常量 0009,即 Code
  • attribute_length 属性长度,不包括这两个属性的长度,即 00 00 00 2F,共 47 + [2 + 4] 个字节

(2) inc 方法分析

Offset      0  1  2  3  4  5  6  7   8  9  A  B  C  D  E  F
00000160 00 02 00 0E 00 0F 00 01 00 09 00
00000170 00 00 31 00 02 00 01 00 00 00 07 2A B4 00 02 04
00000180 60 AC 00 00 00 02 00 0A 00 00 00 06 00 01 00 00
00000190 00 0C 00 0B 00 00 00 0C 00 01 00 00 00 07 00 0C
000001A0 00 0D 00 00
  • access_flags 访问类型,0002
  • name_index 方法名称,000E
  • descriptor_index 方法参数及返回值类型,#000F
  • attributes 方法属性,0001,表示有一个方法属性,即 Code

inc 方法的 Code 属性解析如下:

  • attribute_name_index 属性名称,指向常量 #0009,即 Code
  • attribute_length 属性长度,不包括这两个属性的长度,即 00 00 00 31,共 49 + [2(attribute_name_index) + 4(attribute_length)] 个字节
  • max_stack 栈深度,0002
  • max_locals 局部变量表,0001
  • code_length code 长度,0000 0007,即 7 个字节
  • code[code_length] 2A B4 00 02 04 60 AC 表示对应的指令

七、属性表集合

最后一部分是描述 Class 类的属性表,参考 JVM Attributes 规范

u2             attributes_count;
attribute_info attributes[attributes_count];

对应字节码如下:

Offset      0  1  2  3  4  5  6  7   8  9  A  B  C  D  E  F
000001A0 00 01 00 10 00 00 00 02 00 11

属性是 JVM 中最灵活的一部分,所有的属性必都有以下参数,更多参考 JVM Attributes 规范

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

本例中表示:

  • attribute_name_index 属性名称,00 10
  • attribute_length 属性长度,00 00 00 02
  • info[attribute_length] 属性信息,00 11

参考:

  1. 周志明,深入理解Java虚拟机 - 第 6 章:类文件结构
  2. jclasslib IDEA 中使用方法

每天用心记录一点点。内容也许不重要,但习惯很重要!

JVM 字节码(一)字节码规范的更多相关文章

  1. JVM总括三-字节码、字节码指令、JIT编译执行

    JVM总括三-字节码.字节码指令.JIT编译执行 目录:JVM总括:目录 java文件编译后的class文件,java跨平台的中间层,JVM通过对字节码的解释执行(执行模式,还有JIT编译执行,下面讲 ...

  2. JVM(四):深入分析Java字节码-下

    JVM(四):深入分析Java字节码-下 在上文中,我们讲解了 Class 文件中的文件标识,常量池等内容.在本文中,我们就详细说一下剩下的指令集内容,阐述其分别代表了什么含义,以及 JVM 团队这样 ...

  3. 小师妹学JVM之:java的字节码byte code简介

    目录 简介 Byte Code的作用 查看Byte Code字节码 java Byte Code是怎么工作的 总结 简介 Byte Code也叫做字节码,是连接java源代码和JVM的桥梁,源代码编译 ...

  4. JVM:类加载与字节码技术-2

    JVM:类加载与字节码技术-2 说明:这是看了 bilibili 上 黑马程序员 的课程 JVM完整教程 后做的笔记 内容 这部分内容在上一篇笔记中: 类文件结构 字节码指令 编译期处理 类加载阶段 ...

  5. JVM:类加载与字节码技术-1

    JVM:类加载与字节码技术-1 说明:这是看了 bilibili 上 黑马程序员 的课程 JVM完整教程 后做的笔记 内容 类文件结构 字节码指令 下面的内容在后续笔记中: 编译期处理 类加载阶段 类 ...

  6. JVM学习笔记:字节码执行引擎

    JVM学习笔记:字节码执行引擎 移步大神贴:http://rednaxelafx.iteye.com/blog/492667  

  7. Django框架(十八)—— CBV源码分析、restful规范、restframework框架

    目录 CBV源码分析.restful规范.restframework框架 一.CBV源码分析 1.url层的使用CBV 2.as_view方法 3.view方法 4.dispatch方法(可以在视图层 ...

  8. GB2312编码(为什么要加2020H、8080H,外码→内码→交换码→字形码)

    为什么要加上2020H和8080H? 区位码.内码.国标码怎么转换非常简单,但是令人迷惑的是为什么要那么转换?这种转换不可能平白无故地那样转换! 我搜索很多资料,找到最好的解释,总结如下: 首先,注意 ...

  9. ANSI码和UNICODE码

    什么是ANSI,什么又是UNICODE呢? 其实这是两种不同的编码方式标准,ANSI中的字符采用8bit,而UNICODE中的字符采用16bit. (对于字符来说ANSI以单字节存放英文字符,以双字节 ...

  10. ffplay源码分析3-代码框架

    ffplay是FFmpeg工程自带的简单播放器,使用FFmpeg提供的解码器和SDL库进行视频播放.本文基于FFmpeg工程4.1版本进行分析,其中ffplay源码清单如下: https://gith ...

随机推荐

  1. 安装JVCL/JCL组件

    在安装的时候,注意要先安装JCL,我试图直接安装JVCL,提示找不到文件,先安装JCL后再安装就不存在这个问题.安装到组件面板上的安装包以D结尾,可以Install,以R结尾的只要编译就可以了. 安装 ...

  2. note 3 变量与简单I/O

    变量(Variable) 用于引用(绑定对象的标识符) 语法 变量名=对象(数值.表达式等) 增量赋值运算符 count = count + 1 简写 count += 1 标识符(Identifie ...

  3. 2017-2018-2 20165312 课下选做 MySort

    2017-2018-2 20165312 课下选做 MySort 题目描述 模拟实现Linux下Sort -t : -k 2的功能,参考 Sort的实现. import java.util.*; pu ...

  4. U3D学习13-数据存储

    1.SQLLite 要注意Plguins的三个dll资源 2.利用ScriptableObject将数据存储为资源(小规模数据) using UnityEngine; using System.Col ...

  5. Celery 异步任务 , 定时任务 , 周期任务 的芹菜

    1.什么是Celery?Celery 是芹菜Celery 是基于Python实现的模块, 用于执行异步定时周期任务的其结构的组成是由    1.用户任务 app    2.管道 broker 用于存储 ...

  6. 5种必会的Java异步调用转同步的方法你会几种

    转载请注明本文地址:https://www.jianshu.com/p/f00aa6f66281 源码地址:https://gitee.com/sunnymore/asyncToSync Sunny先 ...

  7. leetcode279

    动态规划 public class Solution { public int NumSquares(int n) { var list = new List<int>(); list.A ...

  8. svn的下载及安装

    什么是SVN: SVN是Subversion的简称,是一个开放源代码的版本控制系统,相较于RCS.CVS,它采用了分支管理系统,它的设计目标就是取代CVS. SVN的下载安装: 下载地址:https: ...

  9. db2常见命令

    增加db2top命令的refresh间隔,默认值为2秒,下面的命令就可以每10秒刷新一次: $ db2top -i 10 -d sample 数据库本身太繁忙(dynamic SQL过多).建议增加 ...

  10. 根据文件夹更改样本文件名小程序.py

    #按照文件名设置标签并将其插入文件名中import osimport shutil#获取目标文件夹的路径a= r'C:\Users\yy\Desktop\tianchi大赛\guangdong_rou ...