JVM系列--字节码文件详解

已于 2024-08-22 17:04:28 修改
阅读量802 收藏 17
点赞数 7
分类专栏： jvm 文章标签： jvm
于 2024-08-22 17:04:15 首次发布
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/jifashihan/article/details/141420420
版权

1 Java虚拟机的组成

Java虚拟机主要分为以下几个组成部分：
在这里插入图片描述

  • 类加载子系统：核心组件类加载器，负责将字节码文件中的内容加载到内存中。
  • 运行时数据区：JVM管理的内存，创建出来的对象、类的信息等等内容都会放在这块区域中。
  • 执行引擎：包含了即时编译器、解释器、垃圾回收器，执行引擎使用解释器将字节码指令解释成机器码，使用即时编译器优化性能，使用垃圾回收器回收不再使用的对象。
  • 本地接口：调用本地使用C/C++编译好的方法，本地方法在Java中声明时，都会带上native关键字，如下图所示。
    在这里插入图片描述

2 字节码文件的组成

1 以正确的姿势打开文件
字节码文件中保存了源代码编译之后的内容，以二进制的方式存储，无法直接用记事本打开阅读。推荐使用 jclasslib工具查看字节码文件。
Github地址： https://github.com/ingokegel/jclasslib
在这里插入图片描述

2 字节码文件的组成
字节码文件总共可以分为以下几个部分：

  • 基础信息：魔数、字节码文件对应的Java版本号、访问标识(public final等等)、父类和接口信息
  • 常量池： 保存了字符串常量、类或接口名、字段名，主要在字节码指令中使用
  • 字段： 当前类或接口声明的字段信息
  • 方法： 当前类或接口声明的方法信息，核心内容为方法的字节码指令
  • 属性： 类的属性，比如源码的文件名、内部类的列表等

基本信息

基本信息包含了jclasslib中能看到的两块内容：
在这里插入图片描述
Magic魔数：
每个Java字节码文件的前四个字节是固定的，用16进制表示就是0xcafebabe。文件是无法通过文件扩展名来确定文件类型的，文件扩展名可以随意修改不影响文件的内容。软件会使用文件的头几个字节（文件头）去校验文件的类型，如果软件不支持该种类型就会出错。
在这里插入图片描述
Java字节码文件中，将文件头称为magic魔数。Java虚拟机会校验字节码文件的前四个字节是不是0xcafebabe，如果不是，该字节码文件就无法正常使用，Java虚拟机会抛出对应的错误。
主副版本号：
主副版本号指的是编译字节码文件时使用的JDK版本号，主版本号用来标识大版本号，JDK1.0-1.1使用了45.0-45.3，JDK1.2是46之后每升级一个大版本就加1；副版本号是当主版本号相同时作为区分不同版本的标识，一般只需要关心主版本号。
1.2之后大版本号计算方法就是 : 主版本号 – 44，比如主版本号52就是JDK8。
在这里插入图片描述
版本号的作用主要是判断当前字节码的版本和运行时的JDK是否兼容。如果使用较低版本的JDK去运行较高版本JDK的字节码文件，无法使用会显示如下错误：
在这里插入图片描述
有两种方案：
1.升级JDK版本，将图中使用的JDK6升级至JDK8即可正常运行，容易引发其他的兼容性问题，并且需要大量的测试。
2.将第三方依赖的版本号降低或者更换依赖，以满足JDK版本的要求。建议使用这种方案

其他基础信息：
其他基础信息包括访问标识、类和接口索引，如下
在这里插入图片描述

常量池

字节码文件中常量池的作用：避免相同的内容重复定义，节省空间。如下图，常量池中定义了一个字符串，字符串的字面量值为123。
在这里插入图片描述
比如在代码中，编写了两个相同的字符串“我爱北京天安门”，字节码文件甚至将来在内存中使用时其实只需要保存一份，此时就可以将这个字符串以及字符串里边包含的字面量，放入常量池中以达到节省空间的作用。

String str1 = "我爱北京天安门";
String str2 = "我爱北京天安门";

常量池中的数据都有一个编号，编号从1开始。比如“我爱北京天安门”这个字符串，在常量池中的编号就是7。在字段或者字节码指令中通过编号7可以快速的找到这个字符串。
字节码指令中通过编号引用到常量池的过程称之为符号引用。
在这里插入图片描述

字段
字段中存放的是当前类或接口声明的字段信息。
如下图中，定义了两个字段a1和a2，这两个字段就会出现在字段这部分内容中。同时还包含字段的名字、描述符（字段的类型）、访问标识（public/private static final等）。
在这里插入图片描述

方法
字节码中的方法区域是存放字节码指令的核心位置，字节码指令的内容存放在方法的Code属性中。
在这里插入图片描述
通过分析方法的字节码指令，可以清楚地了解一个方法到底是如何执行的。先来看如下案例：

int i = 0;
int j = i + 1;

这段代码编译成字节码指令之后是如下内容：
在这里插入图片描述
要理解这段字节码指令是如何执行的，我们需要先理解两块内存区域：操作数栈和局部变量表。
操作数栈是用来存放临时数据的内容，是一个栈式的结构，先进后出。
局部变量表是存放方法中的局部变量，包含方法的参数、方法中定义的局部变量，在编译期就已经可以确定方法有多少个局部变量。
1、iconst_0，将常量0放入操作数栈。此时栈上只有0。
在这里插入图片描述
2、istore_1会从操作数栈中，将栈顶的元素弹出来，此时0会被弹出，放入局部变量表的1号位置。局部变量表中的1号位置，在编译时就已经确定是局部变量i使用的位置。完成了对局部变量i的赋值操作。
在这里插入图片描述
3、iload_1将局部变量表1号位置的数据放入操作数栈中，此时栈中会放入0
在这里插入图片描述
4、iconst_1会将常量1放入操作数栈中。
在这里插入图片描述5、iadd会将操作数栈顶部的两个数据相加，现在操作数栈上有两个数0和1，相加之后结果为1放入操作数栈中，此时栈上只有一个数也就是相加的结果1。
在这里插入图片描述
6、istore_2从操作数栈中将1弹出，并放入局部变量表的2号位置，2号位置是j在使用。完成了对局部变量j的赋值操作。
在这里插入图片描述
7、return语句执行，方法结束并返回。
在这里插入图片描述

再分析下i++和++i的字节码指令执行的步骤。i++的字节码指令如下，其中iinc 1 by 1指令指的是将局部变量表1号位置增加1，其实就实现了i++的操作。
在这里插入图片描述
而++i只是对两个字节码指令的顺序进行了更改
在这里插入图片描述
面试题：
问：int i = 0; i = i++; 最终i的值是多少？
答：答案是0，我通过分析字节码指令发现，i++先把0取出来放入临时的操作数栈中，
接下来对i进行加1，i变成了1，最后再将之前保存的临时值0放入i，最后i就变成了0。

属性
属性主要指的是类的属性，比如源码的文件名、内部类的列表等。
在这里插入图片描述

玩转字节码常用工具
1 javap
javap是JDK自带的反编译工具，可以通过控制台查看字节码文件的内容。适合在服务器上查看字节码文件内容。
直接输入javap查看所有参数。输入javap -v 字节码文件名称 查看具体的字节码信息。如果jar包需要先使用 jar –xvf 命令解压。
2 jclasslib插件
jclasslib也有Idea插件版本，建议开发时使用Idea插件版本，可以在代码编译之后实时看到字节码文件内容。
安装方式：
1、打开idea的插件页面，搜索jclasslib
在这里插入图片描述
2、选中要查看的源代码文件，选择 视图(View) - Show Bytecode With Jclasslib
在这里插入图片描述
右侧会展示对应源代码编译后的字节码文件内容：
在这里插入图片描述

tips:
1、一定要选择文件再点击视图(view)菜单，否则菜单项不会出现。
2、文件修改后一定要重新编译之后，再点击刷新按钮。

3 Arthas
Arthas 是一款线上监控诊断产品，通过全局视角实时查看应用 load、内存、gc、线程的状态信息，并能在不修改应用代码的情况下，对业务问题进行诊断，大大提升线上问题排查效率。
官网：https://arthas.aliyun.com/doc/
Arthas的功能列表如下：
在这里插入图片描述
安装方法：
1、将 资料/工具/arthas-boot.jar 文件复制到任意工作目录。
2、使用java -jar arthas-boot.jar 启动程序。
3、输入需要Arthas监控的进程id。
在这里插入图片描述4、输入命令即可使用。
dump
命令详解：https://arthas.aliyun.com/doc/dump.html
dump命令可以将字节码文件保存到本地，如下将java.lang.String 的字节码文件保存到了/tmp/output目录下：

$ dump -d /tmp/output java.lang.String

 HASHCODE  CLASSLOADER  LOCATION
 null                   /tmp/output/java/lang/String.class
Affect(row-cnt:1) cost in 138 ms.

jad
命令详解：https://arthas.aliyun.com/doc/jad.html
jad命令可以将类的字节码文件进行反编译成源代码，用于确认服务器上的字节码文件是否是最新的，如下将demo.MathGame的源代码进行了显示。

$ jad --source-only demo.MathGame
/*
 * Decompiled with CFR 0_132.
 */
package demo;

import java.io.PrintStream;
import java.util.ArrayList;
import java.util.Iterator;
import java.util.List;
import java.util.Random;
import java.util.concurrent.TimeUnit;

public class MathGame {
    private static Random random = new Random();
    public int illegalArgumentCount = 0;
...

3、类的生命周期

类的生命周期描述了一个类加载、使用、卸载的整个过程。整体可以分为：

  • 加载
  • 连接，其中又分为验证、准备、解析三个子阶段
  • 初始化
  • 使用
  • 卸载
    在这里插入图片描述

1 加载阶段

1、加载(Loading)阶段第一步是类加载器根据类的全限定名通过不同的渠道以二进制流的方式获取字节码信息，程序员可以使用Java代码拓展的不同的渠道。

  • 从本地磁盘上获取文件
  • 运行时通过动态代理生成，比如Spring框架
  • Applet技术通过网络获取字节码文件
    2、类加载器在加载完类之后，Java虚拟机会将字节码中的信息保存到方法区中，方法区中生成一个InstanceKlass对象，保存类的所有信息，里边还包含实现特定功能比如多态的信息。
    在这里插入图片描述
    3、Java虚拟机同时会在堆上生成与方法区中数据类似的java.lang.Class对象，作用是在Java代码中去获取类的信息以及存储静态字段的数据（JDK8及之后）。
    在这里插入图片描述

2 连接阶段

连接阶段分为三个子阶段:

  • 验证，验证内容是否满足《Java虚拟机规范》。
  • 准备，给静态变量赋初值。
  • 解析，将常量池中的符号引用替换成指向内存的直接引用。
    在这里插入图片描述
    验证
    验证的主要目的是检测Java字节码文件是否遵守了《Java虚拟机规范》中的约束。这个阶段一般不需要程序员参与。主要包含如下四部分，具体详见《Java虚拟机规范》：
    1、文件格式验证，比如文件是否以0xCAFEBABE开头，主次版本号是否满足当前Java虚拟机版本要求。
    在这里插入图片描述
    2、元信息验证，例如类必须有父类（super不能为空）。
    3、验证程序执行指令的语义，比如方法内的指令执行中跳转到不正确的位置。
    4、符号引用验证，例如是否访问了其他类中private的方法等。
    对版本号的验证，在JDK8的源码中如下：
    在这里插入图片描述
    编译文件的主版本号不能高于运行环境主版本号，如果主版本号相等，副版本号也不能超过。
    准备
    准备阶段为静态变量（static）分配内存并设置初值，每一种基本数据类型和引用数据类型都有其初值。
    在这里插入图片描述
    如下代码：
public class Student{

public static int value = 1;

}

在准备阶段会为value分配内存并赋初值为0，在初始化阶段才会将值修改为1。

final修饰的基本数据类型的静态变量，准备阶段直接会将代码中的值进行赋值。
如下例子中，变量加上final进行修饰，在准备阶段value值就直接变成1了，因为final修饰的变量后续不会发生值的变更。

在这里插入图片描述
来看这个案例：

public class HsdbDemo {
    public static final int i = 2;
    public static void main(String[] args) throws IOException, InstantiationException, IllegalAccessException {
        HsdbDemo hsdbDemo = new HsdbDemo();
        System.out.println(i);
        System.in.read();
    }
}

从字节码文件也可以看到，编译器已经确定了该字段指向了常量池中的常量2：
在这里插入图片描述
解析
解析阶段主要是将常量池中的符号引用替换为直接引用，符号引用就是在字节码文件中使用编号来访问常量池中的内容。
在这里插入图片描述
直接引用不在使用编号，而是使用内存中地址进行访问具体的数据。
在这里插入图片描述

3 初始化阶段

初始化阶段会执行字节码文件中clinit（class init 类的初始化）方法的字节码指令，包含了静态代码块中的代码，并为静态变量赋值。
如下代码编译成字节码文件之后，会生成三个方法：


public class Demo1 {

    public static int value = 1;
    static {
        value = 2;
    }
   
    public static void main(String[] args) {

    }
}

在这里插入图片描述

  • init方法，会在对象初始化时执行
  • main方法，主方法
  • clinit方法，类的初始化阶段执行
    继续来看clinit方法中的字节码指令：
    1、iconst_1，将常量1放入操作数栈。此时栈中只有1这个数。
    在这里插入图片描述
    2、putstatic指令会将操作数栈上的数弹出来，并放入堆中静态变量的位置，字节码指令中#2指向了常量池中的静态变量value，在解析阶段会被替换成变量的地址。
    在这里插入图片描述

3、后两步操作类似，执行value=2，将堆上的value赋值为2。
如果将代码的位置互换：

public class Demo1 {
    static {
        value = 2;
    }
   
    public static int value = 1;
   
    public static void main(String[] args) {

    }
}

字节码指令的位置也会发生变化：
在这里插入图片描述
这样初始化结束之后，最终value的值就变成了1而不是2。

以下几种方式会导致类的初始化：
1.访问一个类的静态变量或者静态方法，注意变量是final修饰的并且等号右边是常量不会触发初始化。
2.调用Class.forName(String className)。
3.new一个该类的对象时。
4.执行Main方法的当前类。
添加-XX:+TraceClassLoading 参数可以打印出加载并初始化的类

面试题1：
如下代码的输出结果是什么？

public class Test1 {
    public static void main(String[] args) {
        System.out.println("A");
        new Test1();
        new Test1();
    }

    public Test1(){
        System.out.println("B");
    }

    {
        System.out.println("C");
    }

    static {
        System.out.println("D");
    }
}

分析步骤：
1、执行main方法之前，先执行clinit指令。
在这里插入图片描述
指令会输出D
2、执行main方法的字节码指令。
在这里插入图片描述
指令会输出A
3、创建两个对象，会执行两次对象初始化的指令。
在这里插入图片描述
这里会输出CB，源代码中输出C这行，被放到了对象初始化的一开始来执行。
所以最后的结果应该是DACBCB
clinit不会执行的几种情况
如下几种情况是不会进行初始化指令执行的：
1.无静态代码块且无静态变量赋值语句。
2.有静态变量的声明，但是没有赋值语句。
在这里插入图片描述
3.静态变量的定义使用final关键字，这类变量会在准备阶段直接进行初始化。
在这里插入图片描述
面试题2：
如下代码的输出结果是什么？

public class Demo01 {
    public static void main(String[] args) {
        new B02();
        System.out.println(B02.a);
    }
}

class A02{
    static int a = 0;
    static {
        a = 1;
    }
}

class B02 extends A02{
    static {
        a = 2;
    }
}

分析步骤：
1、调用new创建对象，需要初始化B02，优先初始化父类。
2、执行A02的初始化代码，将a赋值为1。
3、B02初始化，将a赋值为2。
变化
将new B02();注释掉会怎么样？
分析步骤：
1、访问父类的静态变量，只初始化父类。
2、执行A02的初始化代码，将a赋值为1。
分析如下代码执行结果:

public class Test2 {
    public static void main(String[] args) {
        Test2_A[] arr = new Test2_A[10];

    }
}

class Test2_A {
    static {
        System.out.println("Test2 A的静态代码块运行");
    }
}

数组的创建不会导致数组中元素的类进行初始化。

public class Test4 {
    public static void main(String[] args) {
        System.out.println(Test4_A.a);
    }
}

class Test4_A {
    public static final int a = Integer.valueOf(1);

    static {
        System.out.println("Test3 A的静态代码块运行");
    }
}

final修饰的变量如果赋值的内容需要执行指令才能得出结果，会执行clinit方法进行初始化。

韩zj
关注
专栏目录
java 获取字节码文件的几种方法总结
08-29
主要介绍了java 获取字节码文件的几种方法总结的相关资料,这里总结了三种方法帮助大家实现该功能，需要的朋友可以参考下
JVM基础：字节码文件详解①
siaok的博客
10-28 1374
👉概述。
字节码详解
热门推荐
laokerr的博客
10-08 1万+
字节码详解 前言 万事开头难 字节码相关内容往深了挖其实东西很多，我就按照自己学习的一个心理历程去分享一下这块儿的内容，起个抛砖引玉的作用，很多地方没有特别深入的研究，有待大家补充。 什么是字节码 Java作为一款“一次编译，到处运行”的编程语言，跨平台靠的是JVM实现对不同操作系统API的支持，而一次编译指的就是class字节码；即我们编写好的.java文件，通过编译器编译成.class文件，JVM负责加载解释字节码文件，并生成系统可识别的代码执行(具体解析本次不做深入研究). Class文件 The c
字节码文件（.class文件）
weixin_47414034的博客
11-03 3064
前四个字节（也就是第0号字节到第3号字节） ca fe ba be叫做魔数，表示这个文件是一个class类型的文件（如果是其他字母，可能就表示是其他类型的文件）这个构造方法对应的字节码指令为： 2a b7 00 01 b1。接下来两个字节（8~9）：00 23 表示常量池的长度 十六进制的23等于35，由于#0项不计入，所以实际上有#1~#34。接下来四个字节（4~7）：00 00 00 34表示版本，表示是Jdk 8版本。1.字节码文件（.class文件)结构解析:字节码文件长啥样，里面有什么。
字节码是什么？字节码增强有哪些？
学一次的博客
04-30 2216
Java之所以可以“一次编译，到处运行”，一是因为JVM针对各种操作系统、平台都进行了定制，二是因为无论在什么平台，都可以编译生成固定格式的字节码（.class文件）供JVM使用。之所以被称之为字节码，是因为字节码文件由十六进制值组成，而JVM以两个十六进制值为一组，即以字节为单位进行读取。
深入JVM系列-JIT编译详解1
08-04
"深入JVM系列-JIT编译详解1" 在这篇文章中，我们将深入探讨JVM中的JIT编译技术。JIT（Just In Time）编译器是一种即时编译技术，它可以加速Java程序的执行速度。 JIT编译过程 -------- 在执行Java程序时，JVM会将...
JVM详解-淘宝内部资料
03-25
"JVM详解-淘宝内部资料"提供了一套深入理解JVM的资源，涵盖了从基础到高级的各种主题，包括Java虚拟机的生命周期、JVM的体系结构、各个组件的详细解析以及垃圾收集（Garbage Collection, GC）机制等内容。...
JVM-GC全面知识系统详解
05-26
GC全面知识系统详解涵盖了JVM内存结构、垃圾回收机制、类加载与字节码技术以及内存模型等多个重要主题。 首先，我们来探讨JVM的内存结构。JVM内存主要分为堆内存和栈内存两大部分。堆内存是所有线程共享的一块区域...
字节码文件结构详解.docx
06-26
当我们编写 Java 源代码（.java 文件）后，通过编译器将其转换为对应的字节码文件（.class 文件），这些字节码文件遵循 JVM 规范，可以在任何支持 JVM 的平台上运行。不仅 Java，其他如 Groovy、Kotlin、Scala 等...
java-JVM-面试题从基础到高级详解-HM
03-02
"java-JVM-面试题从基础到高级详解-HM"这个资料很可能是涵盖了从基础概念到复杂问题的一系列JVM面试题目，旨在帮助求职者全面准备JVM相关的面试。 一、JVM基础 1. **JVM架构**：JVM主要包括类加载器、运行时数据区...
初探Java字节码格式，编程解析字节码文件
qq_44525150的博客
04-18 2619
本文较为详细的探讨了Java字节码文件(.class文件)的格式，并以HelloWorld.java的字节码文件为例，带读者逐个字节对文件进行解析，最后使用Java编程实现了对.class文件的解析过程 本文比较直观的对读者阅读字节码文件，对于初学者是一个字节码格式学习较好的入门教程，对于OG来说，这也是比较好的复习资料
java字节码
zhangjunli的博客
01-05 1607
Java之所以可以“一次编译，到处运行”，一是因为JVM针对各种操作系统、平台都进行了定制，二是因为无论在什么平台，都可以编译生成固定格式的字节码（.class文件）供JVM使用。因此，也可以看出字节码对于Java生态的重要性。之所以被称之为字节码，是因为字节码文件由十六进制值组成，而JVM以两个十六进制值为一组，即以字节为单位进行读取。
字节码（.class）文件解读
jackzhang11的博客
12-02 7772
字节码文件是什么 我们在命令后使用 java 命令，就能将java源文件（.java）编译成对应的字节码文件（.class）。字节码文件是一种八位字节的二进制流文件，各个数据项按照一定顺序从前到后紧密排列。因此，这样的安排会使得字节码文件非常紧凑，可以被jvm快速的加载到内存中，并且占用较少的内存空间。 java源文件在被编译器编译之后，每个类（或者接口）都单独占据一个字节码文件。类中所有信息都在字节码文件中有所描述，由于字节码文件非常灵活，它对类的描述能力甚至强于java源文件。 字节码文件中的信息是一项
【Java】一篇文章让你了解字节码是什么
程序员徐小白的博客
05-15 3604
1. 先来说一下什么是机械码 机械码就是cpu能够直接读取并运行的代码，它是用**二进制编码**表示的，也叫做机械指令码。在编写这种代码时，需要**主动地去控制cpu**的一切资源，而且需要记住全部指令所做的动作，十分的麻烦，当然这也是计算机的底层代码，处理开发计算机的专业人员之外，已经很少人去研究了。 2.字节码 字节码是一种**中间状态**的**二进制文件**，是由源码编译过来的，可读性没有源码的高。cpu并不能直接读取字节码，在java中，字节码**需要经过JVM转译**成机械码之后，cpu
深入理解java编译后的字节码文件
qq_35129986的博客
04-19 1万+
也许你写了无数行的代码，也许你能非常溜的使用高级语言，但是你未必了解那些高级语言的执行过程。例如大行其道的Java。Java号称是一门“一次编译到处运行”的语言，但是我们对这句话的理解深度又有多少呢？从我们写的java文件到通过编译器编译成java字节码文件（也就是.class文件），这个过程是java编译过程；而我们的java虚拟机执行的就是字节码文件。不论该字节码文件来自何方，由哪种编译器编译...
【JVM篇】分析并讲解字节码文件
最新发布
小吉妙妙屋
02-07 2011
其中，常量池是字节码文件中最重要的部分之一，它包含了几乎所有的字面量和符号引用，并为虚拟机执行字节码提供了必要的信息。对于Java语言而言，编译Java源代码后会生成字节码文件（以.class为扩展名），其中包含了Java虚拟机（JVM）可理解的指令集。字节码文件可以在不同的平台上运行，因为它们是跨平台的中间表示形式。通过将源代码编译成字节码文件，可以实现代码的平台无关性，并提供更高层次的安全性和运行时的灵活性。通过这些部分的组合，Java虚拟机可以读取和执行字节码文件中的指令，并最终完成程序的执行。
字节码文件
真滴不可理喻的博客
08-05 1148
详解类文件结构、字节码指令
详解JAVA字节码
Joker_ZJN的博客
03-03 2834
一文详解JAVA字节码
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值