【JVM原理】运行时数据区（内存结构）

news/2024/9/24 23:41:59/

JVM （Java Virtual Machine）原理

文章目录

  • 四、运行时数据区（内存结构）
    • 4-1 线程私有区域
      • 程序计数器（program counter Register）
      • 本地方法栈（Native Method Stacks）
      • Java 虚拟机栈（Java Virtual Machine Stacks）
        • 局部变量表（Local Variable Table）
        • 操作数栈（Operand Stack）
        • 动态链接（Dynamic Linking）
        • 方法返回地址（Return Address）
    • 4-2 线程共享区域
      • 方法区（Method Area）
      • 运行时常量池（Run-Time Constant Pool）
      • 堆（Heap）

前情提要：
如果你还没看过【JVM原理】类加载机制 请跳转阅读

四、运行时数据区（内存结构）

oracle官方文档：

  • Chapter 2. The Structure of the Java Virtual Machine (oracle.com)

Java虚拟机在执行Java程序的过程中会把它所管理的内存划分为若干个不同的数据区域。这些区域都有各自的用途，以及创建和销毁的时间，有的区域随着虚拟机进程的启动而存在，有些区域则依赖用户线程的启动和结束而建立和销毁。

4-1 线程私有区域

在这里插入图片描述

程序计数器（program counter Register）

程序计数器是一个较小的内存空间，它可以看作是当前线程所执行的字节码的行号指示器。每个线程都有一个独立的程序计数器，用于记录线程当前执行的位置。

本地方法栈（Native Method Stacks）

本地方法栈与虚拟机栈所发挥的作用是非常相似的，其区别只是虚拟机栈为虚拟机执行 Java 方法服务，而本地方法栈则为虚拟机使用到的 Native 方法服务。一些虚拟机（如 HotSpot）直接把本地方法栈和虚拟机栈合二为一。

Java 虚拟机栈（Java Virtual Machine Stacks）

它的生命周期与线程相同。虚拟机栈描述的是Java方法执行的内存模型：每个方法在执行的同时都会创建一个栈帧（Stack Frame）用于存储 局部变量表（Local Variable Table）、操作数栈（Operand Stack）、动态链接（Dynamic Linking）、方法返回地址（Return Address）等信息。每一个方法从调用直至执行完成的过程，就对应着一个栈帧在虚拟机栈中从入栈到出栈的过程。

  • 动态链接：在程序运行阶段，由符号引用转化为直接引用
  • 静态链接：在解析阶段，由符号引用转为直接引用

假设我们有一个简单的 Java 方法，该方法接收两个整数参数，计算它们的和，并返回结果：

java">public class Example {public static void main(String[] args) {int sum = add(10, 20);System.out.println("The sum is " + sum);}public static int add(int a, int b) {int result = a + b;return result;}
}

编译 Java 源代码并查看生成的字节码的命令

javac Example.java
javap -c Example.class > Example.txt

java">Compiled from "Example.java"
public class Example {public Example();Code:0: aload_01: invokespecial #1 // Method java/lang/Object."<init>":()V4: returnpublic static void main(java.lang.String[]);Code:0: bipush        102: bipush        204: invokestatic  #2 // Method add:(II)I7: istore_18: getstatic     #3 // Field java/lang/System.out:Ljava/io/PrintStream;11: new           #4 // class java/lang/StringBuilder14: dup15: invokespecial #5 // Method java/lang/StringBuilder."<init>":()V18: ldc           #6 // String The sum is20: invokevirtual #7 // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;23: iload_124: invokevirtual #8 // Method java/lang/StringBuilder.append:(I)Ljava/lang/StringBuilder;27: invokevirtual #9 // Method java/lang/StringBuilder.toString:()Ljava/lang/String;30: invokevirtual #10 // Method java/io/PrintStream.println:(Ljava/lang/String;)V33: returnpublic static int add(int, int);Code:0: iload_01: iload_12: iadd3: istore_24: iload_25: ireturn
}

逐行解释

Example 类的构造方法：

aload_0加载this引用到操作数栈中。
invokespecial #1调用Object类的构造函数<init>，初始化this对象。
return返回，构造方法结束。

main 方法的字节码：

// 加载整数
0: bipush 10 将整数10压入操作数栈。
2: bipush 20 将整数20压入操作数栈。// 调用静态方法
3: invokestatic #2 调用静态方法add，该方法接收两个整数参数并返回一个整数。此时，操作数栈中有两个整数（20和10），它们作为参数传递给add方法。// 存储结果
7: istore_1 将add方法的返回值（即两个整数相加的结果）存储到局部变量表的第二个槽（索引1）中。8: getstatic #3 加载System.out字段的引用到操作数栈。// 创建 StringBuilder 对象
11: new #4 创建一个新的StringBuilder对象，并将引用压入栈顶。
14: dup 复制栈顶的StringBuilder对象引用，使得栈中有两个引用。
15: invokespecial #5 调用StringBuilder的构造函数初始化对象。// 附加字符串
18: ldc #6 将字符串"The sum is "加载到栈顶。
20: invokevirtual #7 调用StringBuilder对象的append方法，将字符串附加到StringBuilder对象上。// 附加整数
23: iload_1 从局部变量表的第二个槽（索引1）中加载add方法的返回值。
24: invokevirtual #8 调用StringBuilder.append(int)方法，将整数附加到StringBuilder对象上。// 转换为字符串并打印
27: invokevirtual #9 调用StringBuilder.toString()方法，将StringBuilder对象转换为字符串，并将字符串压入栈顶。
30: invokevirtual #10 调用PrintStream对象的println方法，打印栈顶的字符串。
33: return 结束方法。

StringBuilder对象的操作："The sum is "是从常量池加载到栈顶，然后与从局部变量表加载的整数结果拼接在一起，形成最终的输出字符串。

其中的数字表示程序计数器的指向，如 2: bipush20 表示执行完 bipush 10 后，程序计数器更新为 2

add方法的字节码：

0: iload_0 将局部变量表中索引0位置的第一个整数参数加载到栈顶。
1: iload_1 将局部变量表中索引1位置的第二个整数参数加载到栈顶。
2: iadd 取栈顶的两个整数相加，并将结果压回栈顶。
3: istore_2 将栈顶的整数结果存储到局部变量表的索引2位置。
4: iload_2 再次将局部变量表中索引2位置的整数加载到栈顶。
5: ireturn 返回栈顶的整数值。

输出详细的类文件信息

javap -v Example.class > dynamiclink.txt

java">Classfile /D:/Example.classLast modified 2024-9-13; size 706 bytesMD5 checksum fd7f75a854358ac89e66464a14018d24Compiled from "Example.java"
public class Exampleminor version: 0major version: 52flags: ACC_PUBLIC, ACC_SUPER
Constant pool:#1 = Methodref          #12.#23        // java/lang/Object."<init>":()V#2 = Methodref          #11.#24        // Example.add:(II)I#3 = Fieldref           #25.#26        // java/lang/System.out:Ljava/io/PrintStream;#4 = Class              #27            // java/lang/StringBuilder#5 = Methodref          #4.#23         // java/lang/StringBuilder."<init>":()V#6 = String             #28            // The sum is#7 = Methodref          #4.#29         // java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;#8 = Methodref          #4.#30         // java/lang/StringBuilder.append:(I)Ljava/lang/StringBuilder;#9 = Methodref          #4.#31         // java/lang/StringBuilder.toString:()Ljava/lang/String;#10 = Methodref          #32.#33        // java/io/PrintStream.println:(Ljava/lang/String;)V#11 = Class              #34            // Example#12 = Class              #35            // java/lang/Object#13 = Utf8               <init>#14 = Utf8               ()V#15 = Utf8               Code#16 = Utf8               LineNumberTable#17 = Utf8               main#18 = Utf8               ([Ljava/lang/String;)V#19 = Utf8               add#20 = Utf8               (II)I#21 = Utf8               SourceFile#22 = Utf8               Example.java#23 = NameAndType        #13:#14        // "<init>":()V#24 = NameAndType        #19:#20        // add:(II)I#25 = Class              #36            // java/lang/System#26 = NameAndType        #37:#38        // out:Ljava/io/PrintStream;#27 = Utf8               java/lang/StringBuilder#28 = Utf8               The sum is#29 = NameAndType        #39:#40        // append:(Ljava/lang/String;)Ljava/lang/StringBuilder;#30 = NameAndType        #39:#41        // append:(I)Ljava/lang/StringBuilder;#31 = NameAndType        #42:#43        // toString:()Ljava/lang/String;#32 = Class              #44            // java/io/PrintStream#33 = NameAndType        #45:#46        // println:(Ljava/lang/String;)V#34 = Utf8               Example#35 = Utf8               java/lang/Object#36 = Utf8               java/lang/System#37 = Utf8               out#38 = Utf8               Ljava/io/PrintStream;#39 = Utf8               append#40 = Utf8               (Ljava/lang/String;)Ljava/lang/StringBuilder;#41 = Utf8               (I)Ljava/lang/StringBuilder;#42 = Utf8               toString#43 = Utf8               ()Ljava/lang/String;#44 = Utf8               java/io/PrintStream#45 = Utf8               println#46 = Utf8               (Ljava/lang/String;)V
{public Example();descriptor: ()Vflags: ACC_PUBLICCode:stack=1, locals=1, args_size=10: aload_01: invokespecial #1                  // Method java/lang/Object."<init>":()V4: returnLineNumberTable:line 1: 0public static void main(java.lang.String[]);descriptor: ([Ljava/lang/String;)Vflags: ACC_PUBLIC, ACC_STATICCode:stack=3, locals=2, args_size=10: bipush        102: bipush        204: invokestatic  #2                  // Method add:(II)I7: istore_18: getstatic     #3                  // Field java/lang/System.out:Ljava/io/PrintStream;11: new           #4                  // class java/lang/StringBuilder14: dup15: invokespecial #5                  // Method java/lang/StringBuilder."<init>":()V18: ldc           #6                  // String The sum is20: invokevirtual #7                  // Method java/lang/StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;23: iload_124: invokevirtual #8                  // Method java/lang/StringBuilder.append:(I)Ljava/lang/StringBuilder;27: invokevirtual #9                  // Method java/lang/StringBuilder.toString:()Ljava/lang/String;30: invokevirtual #10                 // Method java/io/PrintStream.println:(Ljava/lang/String;)V33: returnLineNumberTable:line 3: 0line 4: 8line 5: 33public static int add(int, int);descriptor: (II)Iflags: ACC_PUBLIC, ACC_STATICCode:stack=2, locals=3, args_size=20: iload_01: iload_12: iadd3: istore_24: iload_25: ireturnLineNumberTable:line 7: 0line 8: 4
}
SourceFile: "Example.java"

javap -v Example.class 输出的内容包括了

​ ① 类文件的基本信息，如：文件路径、最后修改日期、文件大小、MD5校验和及编译源文件。

java">Classfile /D:/Example.classLast modified 2024-9-13; size 706 bytesMD5 checksum fd7f75a854358ac89e66464a14018d24Compiled from "Example.java"

​ ② 类定义部分描述了类的基本属性如：minor version次版本号、major version主版本号等。

java">public class Exampleminor version: 0major version: 52flags: ACC_PUBLIC, ACC_SUPER

​ ③ Constant pool 常量池用于存储类定义中用到的各种常量，包括符号引用（如类和接口的全限定名、字段名和方法名）、常量值（如字符串和数字）等。每一行代表一个常量池条目，编号从#1开始。例如，#1是一个方法引用，指向java/lang/Object类的"<init>"方法，其描述符为()V，表示这是一个无参数无返回值的方法。

​ ④ 接下来的部分展示了类中的方法定义。包括：构造方法、main 方法和 add 方法。

在理解了字节码代表含义的基础上，下面逐一解释在这个例子中的局部变量表、操作数栈、动态链接以及方法返回地址的工作原理。

局部变量表（Local Variable Table）

局部变量表是用来存储方法内部使用的局部变量的数据结构。每个方法都有自己的局部变量表，它是一组变量槽（slots）的集合，每个槽可以存储一个Java虚拟机基本类型的值（如int, float, reference等）或者一个对象引用。

构造方法中

locals=1 表示局部变量表有1个槽。
args_size=1 表示构造方法有一个参数（this引用）。
0: aload_0 加载this引用，0是局部变量表中的第一个槽，这里存放的是this引用。

main 方法中

locals=2 表示局部变量表有两个槽。
args_size=1 表示main方法有一个参数（String[] args）该参数存储于局部变量表的第1个槽中
0: bipush 10 和 2: bipush 20 不直接涉及局部变量表，它们是将整数直接压入操作数栈。
7: istore_1 将操作数栈顶部的整数结果存储到局部变量表的第2个槽中。
操作数栈（Operand Stack）

操作数栈是一个用于暂存数据的后进先出（LIFO）栈。在方法执行过程中，操作数栈用于临时存放中间计算结果和操作数。

main 方法

0: bipush 10 将整数10压入操作数栈。
2: bipush 20 将整数20压入操作数栈。
4: invokestatic #2 调用静态方法 add，从栈中弹出两个整数参数，并将返回的结果（整数和）压入栈中。
7: istore_1 将栈顶的整数结果存储到局部变量表中。
动态链接（Dynamic Linking）

动态链接是指在类文件被加载到JVM时，JVM 解析常量池中的符号引用为直接引用的过程。例如，当执行invokestatic #2指令时，JVM 需要知道 add 方法的具体位置。这需要 JVM 根据 #2 的符号引用 Example.add:(II)I 解析出实际的方法引用，并准备好调用该方法。

方法返回地址（Return Address）

方法退出指的是方法执行完毕，控制权返回给调用者的过程。在字节码中，通常通过 return 指令来表示方法的结束。

  • 在构造方法中，4: return 指令表示构造方法执行完成。
  • 在main方法中，33: return 指令表示main方法执行完成。
  • 在add方法中，5: ireturn 指令表示方法执行完成，并返回一个整数值。

总结来说，局部变量表用于存储方法中的局部变量，操作数栈用于临时存储计算过程中的数据，动态链接用于解析方法调用时的符号引用，而方法返回地址则是通过特定的返回指令来表示方法的结束。

4-2 线程共享区域

方法区（Method Area）

方法区（也称为非堆区）与Java堆一样，是各个线程共享的内存区域，它用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码缓存等数据。虽然《Java虚拟机规范》把方法区描述为堆的一个逻辑部分，但是它却有一个别名叫做 “Non-Heap” （非堆），目的是与 Java 堆区分开来。方法区不需要连续的内存空间，也有关于它是否固定大小或者可扩展的选择，甚至可以选择不实现垃圾回收。（jdk1.8 以前 hotspot虚拟机叫永久代、持久代， jdk1.8 时叫元空间）

运行时常量池（Run-Time Constant Pool）

Class文件中除了有类的版本、字段、方法、接口等描述信息外，还有一项信息就是常量池表（Constant Pool Table），用于存放编译期生成的各种字面量和符号引用，这部分内容将在类加载后进入方法区的运行时常量池中存放。对于常量池中的各种字符串字面量和符号引用，虚拟机提供了特定的方法给予创建和访问。

堆（Heap）

在这里插入图片描述

堆是所有线程共享的一块内存区域，在虚拟机启动时创建。此内存区域的唯一目的就是存放对象实例，几乎所有的对象实例都在这里分配内存。

堆是垃圾收集器管理的主要区域，因此也被称作GC堆（Garbage Collected Heap）。从内存回收的角度来看，堆可以细分为年轻代（Young Generation）和老年代（Old Generation）。


http://www.ppmy.cn/news/1530018.html

相关文章

【Go】Go 环境下载与安装教程（Windows系统）

【Go】Go 环境下载与安装教程（Windows系统）

引言 Go&#xff0c;也被称为Golang&#xff0c;是一种静态类型&#xff0c;编译型的编程语言&#xff0c;由Google设计和开发。Go语言的设计目标是“解决软件开发中的一些问题”&#xff0c;特别是在大规模软件系统的构建和维护方面。 下载安装包 打开官网下载页面&#xff…
阅读更多...
Linux笔记---简单指令

Linux笔记---简单指令

1. 使用的环境 博主使用的是华为云服务器xshell终端的方式学习的&#xff0c;因为据说这样的方式比较接近以后的工作环境。 其中云服务器安装的是Ubuntu操作系统(以Linux为内核&#xff0c;适合新手学习Linux的一个版本) 这里的云服务器不一定使用华为的&#xff0c;但是我在…
阅读更多...
Java（标识符）（￣︶￣）↗

Java（标识符）（￣︶￣）↗

在Java中&#xff0c;标识符&#xff08;Identifiers&#xff09;是用来给变量、方法、类、接口、枚举、数组等命名的符号。标识符的命名规则非常关键&#xff0c;因为它们必须遵循一定的语法规则&#xff0c;以确保Java编译器能够正确解析代码。 一、基本规则 1&#xff09;…
阅读更多...
web基础—dvwa靶场（五）File Upload

web基础—dvwa靶场（五）File Upload

File Upload(文件上传) 上传的文件对 web 应用程序来说是一个巨大的风险&#xff0c;许多攻击的第一步是上传攻击代码到被攻击的系统上&#xff0c;然后攻击者只需要找到方法来执行代码即可完成攻击。也就是是说&#xff0c;文件上传是攻击者需要完成的第一步。 不受限制的文件…
阅读更多...
数据结构与算法-18算法专向（hash）

数据结构与算法-18算法专向（hash）

话题引入&#xff1a; 给你N&#xff08;1<N<10&#xff09;个自然数,每个数的范围为&#xff08;1~10000000000&#xff09;。现在让你以最快的速度判断某一个数是否在这N个数内&#xff0c;不得使用已经封装好的类&#xff0c;该如何实现。 A[] new int[N1]&#xff…
阅读更多...
深度对比：etcd、Consul、Zookeeper 和 Nacos 作为注册中心和配置中心的优势与劣势

深度对比：etcd、Consul、Zookeeper 和 Nacos 作为注册中心和配置中心的优势与劣势

在现代分布式系统和微服务架构中&#xff0c;服务注册中心 和 配置中心 是系统稳定运行的关键组成部分。服务注册中心负责服务的动态注册与发现&#xff0c;而配置中心用于集中管理配置&#xff0c;确保系统在变化的环境中保持一致性。本文将对比 etcd、Consul、Zookeeper 和 N…
阅读更多...
C++速通LeetCode中等第1题-字母异位词分组

C++速通LeetCode中等第1题-字母异位词分组

思路要点&#xff1a;对字符串排序&#xff0c;排序结果存放在map的key中&#xff0c;排序结果相同的字符串存放到map的value中 。 class Solution { public:string keys;vector<vector<string>> groupAnagrams(vector<string>& strs) {vector<vecto…
阅读更多...
力扣 2529.正整数和负整数的最大计数

力扣 2529.正整数和负整数的最大计数

文章目录 题目介绍解法 题目介绍 解法 采用红蓝染色体法&#xff0c;具体介绍参考 红蓝染色体法 通过红蓝染色体法可以找到第一个大于大于target的位置&#xff0c;使所以本题可以找第一个大于0的位置&#xff0c;即负整数的个数&#xff1b;数组长度 - 第一个大于1的位置即正…
阅读更多...
最新文章

Copyright @ 2022~2023