JVM 运行时内存结构简介
一、前言
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 异常。