跳至主要內容

JVM到底是如何运行Java代码的?3000 字 10 张手绘图带你彻底掌握。

沉默王二Java核心Java虚拟机约 3817 字大约 13 分钟

第二节:JVM如何运行Java代码?

“二哥,看了 Hello Worldopen in new window 的代码后,我很好奇,它是怎么在 IDEA 的 Run 面板里打印出‘三妹,少看手机少打游戏,好好学,美美哒’呢?”三妹咪了一口麦香可可奶茶后对我说。

“三妹,我们通常把 Java 代码执行的过程分为编译期和运行时,弄清楚这两个阶段就知道原因了。”我微笑着对三妹说,“对于一个 Java 程序员来说,写了那么久的代码,总要搞清楚自己写的 Java 代码到底是怎么运行起来的。这个问题在面试的时候也经常会被问到。”

一起来看下吧。

编译期

贴一下 HelloWorld 这段代码:

/**
 * @author 微信搜「沉默王二」,回复关键字 PDF
 */
public class HelloWorld {
    public static void main(String[] args) {
        System.out.println("三妹,少看手机少打游戏,好好学,美美哒。");
    }
}

点击 IDEA 工具栏中的锤子按钮(Build Project,编译整个项目,通常情况下,并不需要主动编译,IDEA 会自动帮我们编译),如下图所示。

这时候,就可以在 src 的同级目录 target 下找到一个名为 HelloWorld.class 的文件。

如果找不到的话,在目录上右键选择「Reload from Disk,从磁盘上重新加载」,如下图所示:

可以双击打开它,看到如下所示的内容。

//
// Source code recreated from a .class file by IntelliJ IDEA
// (powered by Fernflower decompiler)
//

package com.itwanger.five;

public class HelloWorld {
    public HelloWorld() {
    }

    public static void main(String[] args) {
        System.out.println("三妹,少看手机少打游戏,好好学,美美哒。");
    }
}

IDEA 默认会用 Fernfloweropen in new window 这个反编译工具将字节码文件(后缀为 .class 的文件,也就是 Java 源代码编译后的文件)反编译为我们可以看得懂的 Java 源代码。

但实际上,字节码文件open in new window并不是这样的,它包含了 JVM 执行的指令,还有类的元数据信息,如类名、方法和属性等。如果用 「show bytecode」打开字节码文件的话,它是下面这样子的:

// class version 58.0 (58)
// access flags 0x21
public class com/itwanger/five/HelloWorld {

  // compiled from: HelloWorld.java

  // access flags 0x1
  public <init>()V
   L0
    LINENUMBER 6 L0
    ALOAD 0
    INVOKESPECIAL java/lang/Object.<init> ()V
    RETURN
   L1
    LOCALVARIABLE this Lcom/itwanger/five/HelloWorld; L0 L1 0
    MAXSTACK = 1
    MAXLOCALS = 1

  // access flags 0x9
  public static main([Ljava/lang/String;)V
   L0
    LINENUMBER 8 L0
    GETSTATIC java/lang/System.out : Ljava/io/PrintStream;
    LDC "\u4e09\u59b9\uff0c\u5c11\u770b\u624b\u673a\u5c11\u6253\u6e38\u620f\uff0c\u597d\u597d\u5b66\uff0c\u7f8e\u7f8e\u54d2\u3002"
    INVOKEVIRTUAL java/io/PrintStream.println (Ljava/lang/String;)V
   L1
    LINENUMBER 9 L1
    RETURN
   L2
    LOCALVARIABLE args [Ljava/lang/String; L0 L2 0
    MAXSTACK = 2
    MAXLOCALS = 1
}

是不是就有点看不懂了?我第一次看到这段内容的时候也很头大,不过不要担心,后面我们再一块深入研究,这里就提前感受一下 bytecodeopen in new window(也就是字节码)的魅力(😂)。

怎么查看 bytecode 呢?

可以通过 IDEA 菜单栏中的「View」→「Show Bytecode」查看,如下图所示。

这个 bytecode 可以直译为字节码。

字节码并不是机器码,操作系统无法直接识别,需要在操作系统上安装不同版本的 JVMopen in new window 来识别。

通常情况下,我们只需要安装不同版本的 JDK(Java Development Kit,Java 开发工具包)就行了,它里面包含了 JRE(Java Runtime Environment,Java 运行时环境),而 JRE 又包含了 JVM。

Windows、Linux、MacOS 等操作系统都有相应的 JDK,只要安装好了 JDK 就有了 Java 的运行时环境,就可以把 Java 源代码编译为字节码,然后字节码又可以在不同的操作系统上运行了。

build once,run anywhere。

jclasslib

这里给推荐一款查看字节码文件的插件 jclasslib,可以在 IDEA 插件市场中安装。

安装完成之后,点击 View -> Show Bytecode With jclasslib 即可查看字节码文件了(点击之前,光标要停留在对应的类文件上),如下图所示。

使用 jclasslib 不仅可以直观地查看类对应的字节码,还可以查看类的基本信息、常量池、接口、字段、方法等信息,如下图所示,后面也会细讲open in new window

也就是说,在编译阶段,Java 会将 Java 源代码文件编译为字节码文件

字节码文件如果用十六进制编辑器(下一节open in new window会讲到)打开的话,内容如下所示(本身是 01 串的二进制),十六进制更容易看懂(虽然肉眼也很难看得懂😂)。

cafe babe 0000 0034 0013 0a00 0400 0f09
0003 0010 0700 1107 0012 0100 016d 0100
0149 0100 063c 696e 6974 3e01 0003 2829
5601 0004 436f 6465 0100 0f4c 696e 654e
756d 6265 7254 6162 6c65 0100 0369 6e63
0100 0328 2949 0100 0a53 6f75 7263 6546
696c 6501 0009 4d61 696e 2e6a 6176 610c
0007 0008 0c00 0500 0601 0010 636f 6d2f
7268 7974 686d 372f 4d61 696e 0100 106a
6176 612f 6c61 6e67 2f4f 626a 6563 7400
2100 0300 0400 0000 0100 0200 0500 0600
0000 0200 0100 0700 0800 0100 0900 0000
1d00 0100 0100 0000 052a b700 01b1 0000
0001 000a 0000 0006 0001 0000 0003 0001
000b 000c 0001 0009 0000 001f 0002 0001
0000 0007 2ab4 0002 0460 ac00 0000 0100
0a00 0000 0600 0100 0000 0800 0100 0d00
0000 0200 0e

运行时

当有了 .class 文件也就是字节码文件open in new window之后,我们需要启动 JVM 来运行字节码文件,也就是 run 阶段,之前是 build 阶段。

JVM 会先通过类加载器open in new window加载字节码文件,然后将字节码加载到 JVM 的运行时数据区,再通过执行引擎转化为机器码最终交给操作系统执行。

我们使用 javapopen in new window(后面会细讲)来看一下 HelloWorld 的字节码指令序列。

0 getstatic #2 <java/lang/System.out>
3 ldc #3 <Hello World>
5 invokevirtual #4 <java/io/PrintStream.println>
8 return

字节码指令序列通常由多条指令组成,每条指令由一个操作码和若干个操作数构成。

  • 操作码:一个字节大小的指令,用于表示具体的操作。
  • 操作数:跟随操作码,用于提供额外信息。

这段字节码序列的意思是调用 System.out.println 方法打印"Hello World"字符串。下面是详细的解释:

①、0: getstatic #2 <java/lang/System.out>

  • 操作码:getstatic
  • 操作数:#2
  • 描述:这条指令的作用是获取静态字段,这里获取的是java.lang.System类的out静态字段,它是一个PrintStream类型的输出流。#2 是一个指向常量池open in new window的索引,后面在讲类文件结构时会讲到。

②、3: ldc #3 <Hello World>

  • 操作码:ldc
  • 操作数:#3
  • 描述:这条指令的作用是从常量池中加载一个常量值(字符串"Hello World")到操作数栈顶。#3 是一个指向常量池的索引,常量池里存储了字符串"Hello World"的引用。

③、5: invokevirtual #4 <java/io/PrintStream.println>

  • 操作码:invokevirtual
  • 操作数:#4
  • 描述:这条指令的作用是调用方法。这里调用的是PrintStream类的println方法,用来打印字符串。#4 是一个指向常量池的索引,常量池里存储了java/io/PrintStream.println方法的引用信息。

④、8: return

  • 操作码:return
  • 描述:这条指令的作用是从当前方法返回。

上面的 getstatic、ldc、invokevirtual、return 等就是 字节码指令open in new window的操作码。

可以使用 hexdumpopen in new window,一个在 Unix 和 Linux 系统中常用的工具,用于以十六进制的形式显示文件的内容,看一下字节码的二进制内容。

b2 00 02 12 03 b6 00 04 b1

注意:这里是二进制文件的 16 进制表示,也就是 hex,一般分析二进制文件都是以 hex 进行分析。字节码指令和二进制之间的对应关系,以及对应的语义如下所示:

0xb2   getstatic       获取静态字段的值
0x12   ldc             常量池中的常量值入栈
0xb6   invokevirtual   运行时方法绑定调用方法
0xb1   return          void 方法返回

JVM 就是靠解析这些字节码指令来完成程序执行的。常见的执行方式有两种,一种是解释执行,对字节码逐条解释执行;一种是 JITopen in new window,也就是即时编译,它会在运行时将热点代码优化并缓存起来,下次再执行的时候直接使用缓存起来的机器码,而不需要再次解释执行。

这样就可以提高程序的执行效率。

注意,当类加载器open in new window完成字节码数据加载任务后,JVM 划分了专门的内存区域来装载这些字节码数据以及运行时中间数据。

其中 PC 寄存器、虚拟机栈以及本地方法栈属于线程私有的,堆以及元空间(方法区的实现)属于共享数据区,不同的线程共享这两部分内存数据。

如果虚拟机中的当前线程执行的是 Java 的普通方法open in new window,那么 PC 寄存器中存储的是方法的第一条指令,当方法开始执行之后, PC 寄存器存储的是下一个字节码指令的地址。

如果虚拟机中的当前线程执行的是 native 方法open in new window,那么 PC 寄存器中的值为 undefined。

如果遇到判断分支、循环以及异常等不同的控制转移语句,PC 寄存器会被置为目标字节码指令的地址。

另外在多线程切换的时候,虚拟机会记录当前线程的 PC 寄存器,当线程切换回来的时候会根据此前记录的值恢复到 PC 寄存器中,来继续执行线程的后续的字节码指令。

除了 PC 寄存器外,字节码指令的执行流转还需要虚拟机栈open in new window的参与。我们先来看下虚拟机栈的大致结构,如下图所示。

虚拟机栈操作的基本元素就是栈帧,栈帧主要包含了局部变量表、操作数栈、动态连接以及方法返回地址。栈帧是一个先进后出的数据结构,每个方法从调用到执行完成都会对应一个栈帧在虚拟机栈中入栈和出栈。

知道了虚拟机栈的结构之后,我们来看下方法执行的流转过程是怎样的。

以这段代码为例,一个 Test 类,main 方法里 new 了一个 Uesr 对象,会将 User 的 age 作为参数传递给静态方法 calculate 进行一个简单的加法操作并返回,最后打印到控制台。

public class Test {
    public static void main(String[] args) {
        User user  = new User();
        Integer result = calculate(user.getAge());
        System.out.println(result);
    }

    private static Integer calculate(Integer age) {
        Integer data = age + 3;
        return data;
    }

}

1、JVM 完成 .class 文件加载之后,会创建一个名为"main"的线程,该线程会自动调用名为"main"的静态方法,这是 Java 程序的入口点;

2、main 线程在执行 main 方法时,JVM 会在虚拟机栈中压入 main 方法对应的栈帧;

3、栈帧的操作数栈中存储了操作的数据,JVM 执行字节码指令的时候会从操作数栈中获取数据,执行计算操作后会将结果再次压入操作数栈中;

4、当进行 calculate 方法调用的时候,虚拟机栈继续压入 calculate 方法对应的栈帧。

5、对于 age + 3 这条加法指令,在执行该指令前,JVM 会将操作数栈顶部的两个元素弹出,并将它们相加,然后将结果压入操作数栈中。

在这个例子中,指令的操作码是“add”,它表示执行加法操作;操作数 0,表示从操作数栈的顶部获取第一个操作数;操作数 1,表示从操作数栈的次顶部获取第二个操作数。

6、PC 寄存器中存储了下一条需要执行的字节码指令地址。

7、当 calculate 方法执行完成后,对应的栈帧将从虚拟机栈中弹出,方法执行的结果会被压入 main 栈帧中的操作数栈中,而方法返回地址被重置到 main 线程的 PC 寄存器中,以便于后续字节码执行引擎从 PC 寄存器中获取下一条命令的地址。

如果方法没有返回值,JVM 会将一个 null 值压入调用该方法的栈帧的操作数栈中,作为占位符,以便恢复调用方的操作数栈状态。

8、执行引擎中的解释器会从程序计数器中获取下一个字节码指令的地址,也就是元空间中对应的字节码指令,在获取到指令之后,通过解释器解释为对应的机器指令,最终由 CPU 进行执行。

小结

“好的,三妹,今天我们就先讲到这里,来简单总结下。”我长舒一口气,说到。

Java 代码首先被编译器转换为字节码,然后在 JVM 上运行。在运行时,JVM 通过解释执行或即时编译(JIT)将字节码转换为机器码。解释执行直接运行字节码,而 JIT 在运行时将热点代码编译优化为机器码以提升性能。

这中间需要运行时数据区来存储字节码数据以及运行时中间数据。

字节码是 JVM 中非常关键的内容,涉及到类的加载机制open in new window字节码文件的结构open in new window字节码指令open in new window的执行流程等等,后面我们会细讲。

参考链接:JVM 是如何运行 Java 程序的open in new window,作者梦尧技术,写的很不错。


GitHub 上标星 10000+ 的开源知识库《二哥的 Java 进阶之路open in new window》第一版 PDF 终于来了!包括 Java 基础语法、数组&字符串、OOP、集合框架、Java IO、异常处理、Java 新特性、网络编程、NIO、并发编程、JVM 等等,共计 32 万余字,500+张手绘图,可以说是通俗易懂、风趣幽默……详情戳:太赞了,GitHub 上标星 10000+ 的 Java 教程open in new window

微信搜 沉默王二 或扫描下方二维码关注二哥的原创公众号沉默王二,回复 222 即可免费领取。