【从零开始学习JVM | 第五篇】快速了解运行时数据区-编程知识

前言：

当谈论 Java 程序的运行机制时，JVM（Java 虚拟机）的运行时数据区是一个必不可少的话题。JVM 运行时数据区是 Java 程序在运行过程中分配内存和管理数据的重要区域，它包括了方法区、堆、虚拟机栈、程序计数器和本地方法栈等部分。了解 JVM 运行时数据区不仅有助于理解 Java 程序的运行原理，还有助于优化程序的性能和解决一些与内存管理相关的问题。本文将从各个方面介绍 JVM 运行时数据区的结构和作用，希望能够为读者提供全面深入的了解。

前言：

运行时数据区：

程序计数器：

Java虚拟机栈：

本地方法栈：

堆：

方法区：

杂项知识点：

总结：

运行时数据区：

接下来我详细的讲解一下每一部分的作用：

程序计数器：

程序计数器（Program Counter Register）是 JVM（Java 虚拟机）中的一块较小的内存区域，它是线程私有的，即每个线程都有自己的程序计数器。程序计数器的作用是指示当前线程正在执行的虚拟机字节码指令的地址或者下一条需要执行的指令地址。

以下是程序计数器的一些重要作用：

指示下一条指令的地址：程序计数器存储着当前线程正在执行的虚拟机指令的地址，当线程被调度并恢复执行时，JVM 将根据程序计数器中的地址来获取下一条需要执行的指令。
线程切换时保持状态：由于程序计数器是线程私有的，因此在线程切换时，程序计数器中的值会被保存和恢复。这保证了线程在恢复执行时能够继续执行之前的指令，而不会出现混乱。
支持线程中断和恢复：程序计数器的状态可以用来支持线程的中断和恢复机制。当一个线程被中断或者阻塞后又恢复执行时，程序计数器可以确保线程能够从中断前的地方继续执行，而不会跳转到其他位置。
处理异常跳转：程序计数器还用于处理异常跳转，例如在发生异常时，程序计数器可以指示 JVM 跳转到异常处理代码的指令地址。

在 Java 虚拟机规范中，程序计数器被定义为 JVM 中的一部分，并且针对程序计数器的操作都是 JVM 指令集中的一部分。程序计数器的大小是固定的，且不会发生内存溢出或内存泄露的情况，因为它不涉及到对象的分配或垃圾回收。

Java虚拟机栈：

Java 虚拟机栈（JVM Stack）是 Java 虚拟机（JVM）中的一块重要内存区域，用于存储方法的局部变量、操作数栈、动态链接、返回地址以及方法出口等信息。每个线程在创建时都会在虚拟机栈中分配一个栈帧（Stack Frame），每当线程调用一个方法时，JVM 都会在虚拟机栈中创建一个对应的栈帧，用于存储该方法的相关信息

所谓的栈帧，就是一个保存方法基本信息的容器。

以下是JAVA虚拟机栈的一些重要特点和作用：

线程私有的数据区域：与方法区和堆不同，Java 虚拟机栈是线程私有的数据区域，意味着每个线程在运行时都拥有自己的虚拟机栈，用于存储线程独享的方法调用信息。
栈帧的结构：每个栈帧包含局部变量表（Local Variable Table）、操作数栈（Operand Stack）、动态链接（Dynamic Linking）、方法返回地址和额外的附加信息。局部变量表用于存储方法的参数和局部变量，操作数栈用于存储方法执行过程中的操作数，动态链接用于指向当前方法在运行时常量池中的方法引用，而方法返回地址用于存储方法调用后的返回地址。
栈帧的入栈与出栈：当线程执行方法调用时，对应的栈帧被压入虚拟机栈，当方法执行结束后，该栈帧被弹出栈。这种入栈与出栈的操作是基于方法的调用和返回关系进行的。
支持方法的递归调用：虚拟机栈的存在支持了方法的递归调用，每次递归调用都会在虚拟机栈中创建一个新的栈帧，以便存储方法的局部变量和执行信息。
栈深度限制：JVM 使用虚拟机栈来管理方法的调用和返回，因此虚拟机栈的深度是有限制的。如果方法调用的层次太深，虚拟机栈会发生栈溢出（StackOverflowError）。

Java 虚拟机栈在程序执行期间起着至关重要的作用，它不仅存储方法的局部变量和执行信息，还支持了方法的调用和返回。而JAVA虚拟机栈如果栈帧过多，占用内存超过栈内存可以分配的最大大小就会出现内存溢出。

本地方法栈：

本地方法栈（Native Method Stack）是 Java 虚拟机（JVM）中的一块内存区域，用于支持执行 Java 虚拟机调用本地（Native）方法时的数据结构。与虚拟机栈类似，本地方法栈也是线程私有的，每个线程都有自己的本地方法栈，用于执行本地方法时的方法调用和返回。

以下是本地方法栈的一些重要特点和作用：

支持本地方法调用：本地方法栈可以理解为虚拟机栈用于执行本地方法的部分。当 Java 虚拟机调用本地方法时，本地方法栈会记录该调用的信息，包括参数、局部变量等。
与虚拟机栈的区别：虚拟机栈主要用于执行 Java 方法时的数据结构，而本地方法栈用于执行本地方法时的数据结构。两者在结构上存在类似之处，但在功能上有明显的区别。
本地方法栈的深度限制：类似于虚拟机栈，本地方法栈也有一定的深度限制。在执行本地方法调用时，如果本地方法栈的深度超出了限制，则会导致栈溢出错误。
安全性和性能：本地方法栈的存在主要是为了提高 Java 虚拟机与本地方法库的安全性和性能，使得 Java 虚拟机能够与本地代码进行无缝集成。

需要注意的是，和虚拟机栈一样，本地方法栈也属于 Java 虚拟机规范中定义的一部分，不同的虚拟机对本地方法栈的大小和结构可能略有差异，但其作用和功能是相似的。

总体来说，本地方法栈是 Java 虚拟机用于支持本地方法调用的重要内存区域，通过了解本地方法栈的结构和作用，可以更好地理解 Java 虚拟机与本地方法库的交互过程，提高代码的运行效率和安全性。

在Hotspot虚拟机中，Java虚拟机栈和本地方法栈实现上使用了同一个栈空间

堆：

堆是用于动态内存分配的一块内存区域，用来存储对象实例和数组。在 Java 中，所有的对象实例和数组都在堆上分配内存。堆内存支持动态分配和释放，通过堆上的内存分配指针进行分配。这意味着对象可以在程序运行时动态创建，并且可以根据需要动态调整堆的大小。堆内存在 Java 虚拟机中受到垃圾回收器的管理，用于回收不再使用的对象，释放其占用的内存。Java 的垃圾回收机制主要针对堆内存进行，以确保内存的合理利用和程序的稳定性。

堆的结构划分：

新生代（Young Generation）：用于存放新创建的对象。通常被划分为 Eden 区和两个 Survivor 区。大部分对象在这里被创建，然后经过几轮垃圾回收后如果仍然存活，则会被移到老年代。
老年代（Old Generation）：用于存放存活时间较久的对象，即由新生代经过多次垃圾回收后依然存活下来的对象。
永久代/元空间（PermGen/Metaspace）：在较早的 Java 版本中使用永久代（PermGen）来存放类的元数据、常量池等信息，但在较新的版本中，使用元空间（Metaspace）来代替。这部分内存主要用于存放类和方法的元信息，以及一些静态的数据。

堆内存的划分：

Used（已使用）：表示当前已经被使用的堆内存大小，即已经被分配给对象实例和数组的内存空间的大小。
Total（总量）：表示当前堆内存的总大小，即JVM当前所分配的堆内存的总量。包括已使用的内存和未被使用的内存。
Max（最大值）：表示堆内存的最大可用空间大小，即JVM所能申请到的最大堆内存大小。

而在实际业务中，我们会直接把Total设置为和Max一样的大小，这样避免了申请并分配内存时间上的开销。同时也不会出现内存过剩后堆收缩的情况。堆也是可以溢出的。

方法区：

方法区（Method Area）是Java虚拟机（JVM）的一个重要组成部分，它用于存储已被加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。在虚拟机规范中，方法区是线程共享的。

方法区在虚拟机启动时被创建，并且是一块连续的内存区域。它的大小可以固定，也可以根据需要进行动态扩展。在HotSpot虚拟机中，方法区的大小是固定的，可以通过设置JVM参数来调整。

方法区主要存储以下内容：

类信息：包括类的完整结构、字段、方法、继承关系、接口等。
运行时常量池：每个类都有一个运行时常量池，在方法区中进行存储。它包含了字面量和符号引用。在早期，字符串常量池是运行时常量池的一部分，而在后续将二者进行了拆分
静态变量：所有类的静态变量都存放在方法区中。
即时编译器编译后的代码：JVM会将热点代码进行即时编译，并将生成的本地机器码存储在方法区中。

以下是方法区的一些重要特点和作用：

存储元数据：方法区主要用于存储类的元数据、常量、静态变量以及类中的符号引用等信息。这些信息在类加载时被存储在方法区中，对所有实例对象都是共享的。
无需手动内存管理：方法区不需要像堆内存（heap）一样进行垃圾回收。这是因为方法区中存储的数据并不像堆内存中的对象一样动态地创建和销毁，而是在类加载时确定并且通常在程序运行过程中保持不变。
永久代到元空间的变迁：在较老的JVM版本中，方法区通常被实现为永久代（PermGen）。但是从Java 8开始，永久代被元空间（Metaspace）所取代。元空间不再受到默认的最大永久代大小的限制，而是根据系统内存动态扩展。
动态性：与永久代不同，元空间的大小并不受默认设置或者-Xmx参数的限制，它可以根据应用的实际需要动态变化。
类信息存储：方法区将类的结构信息、即时编译的代码、常量池、静态变量等存储在内存中，这些数据对于程序执行过程中的类加载、方法调用等起着关键作用。

虽然历代设计中方法区的空间一直很大，但是他仍然有内存溢出的风险。

杂项知识点：

1.一个字符对象如何判断是存储到字符串常量池还是堆中？

在Java中，字符串对象有可能存储在堆内存中，也有可能存储在字符串常量池中，这取决于字符串对象创建的方式。

字符串常量池: 当使用字面量形式创建字符串对象时，例如 String s = "Hello"，这个字符串对象会被存储在字符串常量池中。字符串常量池是Java堆内存中的一部分，用于存储字面量形式创建的字符串对象，这样的设计可以避免重复存储相同内容的字符串。
堆内存: 当使用 new 关键字显式创建字符串对象时，例如 String s = new String("Hello")，这个字符串对象会被存储在堆内存中。这种方式会在堆内存中创建一个新的字符串对象，即使字符串内容在常量池中已经存在。

因此，字符串对象既可以存储在堆内存中，也可以存储在字符串常量池中，取决于字符串对象的创建方式。需要注意的是，通过 intern() 方法可以将堆内存中的字符串对象手动放入字符串常量池中