JVM 运行时内存结构简介
- 一、前言
- [二、JVM 运行时内存结构](#二、JVM 运行时内存结构)
-
- [2.1 线程隔离数据区：](#2.1 线程隔离数据区：)
- [2.2 线程共享数据区：](#2.2 线程共享数据区：)
- [三、JVM 内存区域划分](#三、JVM 内存区域划分)
-
- [1. 程序计数器（PC）](#1. 程序计数器（PC）)
- [2. 虚拟机栈](#2. 虚拟机栈)
- [3. 本地方法栈](#3. 本地方法栈)
- [4. Java 堆](#4. Java 堆)
- [5. 方法区](#5. 方法区)
- [6. 运行时常量池](#6. 运行时常量池)
- 附录
一、前言
JVM（Java 虚拟机）的运行时内存结构在 Java 程序的运行中起着关键支撑作用。而在 Android 系统中，虽然没有直接使用传统的 JVM，但 Android 运行时环境（AndroidRuntime）借鉴了许多 JVM 的设计理念和机制。了解 JVM 的运行时内存结构，不仅有助于 Java 开发者更好地理解 Java 程序的运行机制，对于 Android 开发者来说，也能更深入地理解 Android 系统中应用程序的运行原理，优化程序性能，以及排查内存相关的问题。
二、JVM 运行时内存结构
2.1 线程隔离数据区：
- 程序计数器：记录正在执行的虚拟机字节码的地址；
- 虚拟机栈：方法执行的内存区，每个方法执行时会在虚拟机栈中创建栈帧；
- 本地方法栈：虚拟机的Native方法执行的内存区；
2.2 线程共享数据区：
- Java堆：对象分配内存的区域；
- 方法区：存放类信息、常量、静态变量、编译器编译后的代码等数据；
- 常量池：存放编译器生成的各种字面量和符号引用，是方法区的一部分。
三、JVM 内存区域划分
1. 程序计数器（PC）
- 程序计数器是当前线程所执行的字节码行号指示器。每个线程都拥有自己独立的程序计数器，属于私有内存空间，在整个内存中占比较小。
- 当线程执行 Java 方法时，PC 计数器记录正在执行的虚拟机字节码地址；而当线程执行 Native 方法时，PC 计数器为空。
2. 虚拟机栈
- 虚拟机栈的生命周期与线程相同，是 Java 方法执行的内存模型。每个方法执行时都会创建一个栈帧，方法的执行过程对应着虚拟机栈的入栈到出栈过程。
- 栈帧是支持虚拟机进行方法执行的数据结构，也是虚拟机栈的栈元素。栈帧包括局部变量表（容量以 slot 为最小单位，用于存储一组变量，其大小在编译期确定）、操作栈（操作栈元素的数据类型需与字节码指令序列严格匹配，大小同样在编译期确定）、动态连接（指向运行时常量池中该栈帧所属方法的引用，用于动态连接）、方法返回地址（正常退出时，执行引擎遇到方法返回的字节码，将返回值传递给调用者；异常退出时，若遇到未被捕捉的 Exception，则不会有任何返回值）以及可能的额外附加信息（由具体虚拟机实现，虚拟机规范未明确规定）。
- Java 虚拟机规范规定该区域可能出现两种异常：当线程请求栈深度超出虚拟机栈所允许的深度时抛出 StackOverFlowError；当 Java 虚拟机动态扩展到无法申请足够内存时抛出 OutOfMemoryError。
3. 本地方法栈
- 本地方法栈为虚拟机使用的 Native 方法提供内存空间，与为 Java 方法提供内存空间的虚拟机栈类似。有些虚拟机的实现将本地方法栈和虚拟机栈合二为一，如 Sun HotSpot 虚拟机。
- 该区域可能抛出 StackOverFlowError 和 OutOfMemoryError 异常。
4. Java 堆
- Java 堆是 Java 虚拟机管理的最大一块内存，也是垃圾回收的主要区域，存放着几乎所有的对象实例和数组数据。由于 JIT 编译器的栈上分配、标量替换等优化技术，部分对象实例数据可能不在 Java 堆中，而是在栈内存。
- 从内存回收角度，Java 堆分为新生代和老年代，以更快地回收内存；从内存分配角度，可划分出线程私有的分配缓冲区（TLAB），以便更快地分配内存。对象实例在堆上的结构包括对象头和实例数据，可能还有填充数据以保证对象起始地址是 8 字节的整数倍。
- Java 虚拟机规范规定该区域可抛出 OutOfMemoryError 异常。
5. 方法区
- 方法区主要存储已被虚拟机加载的类信息、常量、静态变量、编译器编译后的代码等数据。垃圾回收在该区域出现较少。
- 该区域可能抛出 OutOfMemoryError 异常。
6. 运行时常量池
运行时常量池是方法区的一部分，用于存放编译器生成的各种字面量和符号引用。除了编译期产生的 Class 文件的常量池外，还可以在运行期间将新的常量加入常量池，如 String 类的 intern()方法。
- 字面量：与Java语言层面的常量概念相近，包含文本字符串、声明为final的常量值等。
- 符号引用：编译语言层面的概念，包括以下3类：
- 类和接口的全限定名
- 字段的名称和描述符
- 方法的名称和描述符
该区域不会抛出 OutOfMemoryError 异常。