JVM 运行时数据区详解

JVM 在执行 Java 程序时，会将内存划分为若干个不同的运行时数据区。这些区域各有用途，有的随线程创建和销毁（线程私有），有的随 JVM 启动而存在（线程共享）。理解这些区域是进行 JVM 调优、排查内存问题的基石。

一、整体结构概览

区域名称	线程共享	存储内容	主要异常
程序计数器	私有	当前线程执行的字节码行号（或 Native 方法状态）	无
Java 虚拟机栈	私有	方法调用的栈帧（局部变量表、操作数栈、动态链接、方法出口）	`StackOverflowError` `OutOfMemoryError`
本地方法栈	私有	为 Native 方法服务，类似虚拟机栈	同上
Java 堆	共享	对象实例、数组（GC 主要管理区域）	`OutOfMemoryError: Java heap space`
方法区	共享	类元数据、运行时常量池、静态变量（JDK 7+ 移至堆）、即时编译后的代码	`OutOfMemoryError: Metaspace`（JDK8+）

此外，还有直接内存（Direct Memory），不属于 JVM 运行时数据区，但常与 NIO 一起使用，也可能导致内存溢出。

二、线程私有区域

1. 程序计数器（Program Counter Register）

线程私有，每个线程拥有独立的程序计数器。
作用：记录当前线程正在执行的字节码指令地址。如果是执行 Native 方法，计数器值为 undefined。
特点：唯一一个在 Java 虚拟机规范中没有规定任何 OutOfMemoryError 情况的区域。生命周期与线程相同。

2. Java 虚拟机栈（Java Virtual Machine Stack）

线程私有，生命周期与线程相同。
结构：每个方法执行时，JVM 会同步创建一个栈帧（Stack Frame），用于存储：
- 局部变量表：存放方法参数和方法内定义的局部变量（基本类型、对象引用）。
- 操作数栈：用于字节码指令执行时的临时操作数。
- 动态链接：指向运行时常量池中该方法的符号引用，用于支持方法调用过程中的动态链接。
- 方法出口：方法返回地址等信息。
异常：
- 线程请求的栈深度超过虚拟机允许的最大深度 → StackOverflowError（常见于递归过深或死循环）。
- 动态扩展时无法申请到足够内存 → OutOfMemoryError（某些实现支持动态扩展）。

3. 本地方法栈（Native Method Stack）

线程私有 ，作用与虚拟机栈类似，但为 native 方法服务。
异常与虚拟机栈相同（StackOverflowError / OutOfMemoryError）。

三、线程共享区域

4. Java 堆（Java Heap）

线程共享，是 JVM 管理内存中最大的一块。
作用：存放所有对象实例 和数组（几乎所有对象都在这里分配，但存在栈上分配、标量替换等优化技术，可使部分对象不进入堆）。
GC 管理：堆是垃圾回收的重点区域，常被细分为：
- 新生代（Young Generation） ：Eden 区、Survivor 区（S0、S1）。
- 老年代（Old Generation / Tenured） 。
- 巨型区域（Humongous） ：仅 G1 等收集器中存在，用于存放超过 Region 一半大小的大对象。
异常：如果堆无法继续扩展（-Xmx 限制）且无法分配新对象 → OutOfMemoryError: Java heap space。

5. 方法区（Method Area）

线程共享 ，用于存储已被虚拟机加载的类型信息、常量、静态变量、即时编译器编译后的代码缓存等。
版本演变：
- JDK 7 及之前 ：方法区位于"永久代"（PermGen），受 -XX:PermSize 和 -XX:MaxPermSize 限制。
- JDK 8 开始 ：永久代被移除，改为元空间（Metaspace） ，使用本地内存（Native Memory），受 -XX:MetaspaceSize 和 -XX:MaxMetaspaceSize 控制。
运行时常量池（Runtime Constant Pool） ：方法区的一部分，存放 Class 文件中的常量池表（字面量、符号引用），以及运行时生成的新常量（如 String.intern() 的结果）。
异常：方法区内存不足 → OutOfMemoryError: Metaspace（JDK8+）或 PermGen space（JDK7-）。

四、特殊区域：直接内存（Direct Memory）

定义：不属于 JVM 运行时数据区，但 NIO 中通过 ByteBuffer.allocateDirect() 分配，使用 Native 堆内存。
特点：不受 JVM 堆大小限制，受本机总内存限制，默认与 -Xmx 大小相近。
异常：若未合理配置可能导致 OutOfMemoryError: Direct buffer memory。

五、运行时常量池与字符串常量池

运行时常量池 ：每个类或接口独有，是方法区的一部分，存放字面量（如 int、float、字符串引用）和符号引用。
字符串常量池（StringTable） ：全局唯一的哈希表，用于存储字符串字面量及 intern() 方法的字符串引用。在 JDK 7 中从永久代移至堆，JDK 8+ 仍在堆中。

两者关系 ：字符串字面量在类加载时，会从运行时常量池中取出符号，去字符串常量池中查找或创建实际的 String 对象，然后将对象的引用回填到运行时常量池。

六、版本差异总结

项目	JDK 6 及以前	JDK 7	JDK 8+
方法区实现	永久代（PermGen）	永久代，但逐步移除	元空间（Metaspace）
方法区位置	JVM 堆内	JVM 堆内	本地内存
字符串常量池位置	永久代	堆	堆
静态变量位置	永久代	堆	堆

七、内存溢出常见场景与排查

栈溢出 ：递归过深 → 调大 -Xss 或优化递归。
堆溢出 ：对象分配速率过高、内存泄漏 → 增大 -Xmx，分析 heap dump。
元空间溢出 ：频繁动态类加载（如热部署、Groovy） → 增大 MaxMetaspaceSize，排查类加载器泄漏。
直接内存溢出 ：NIO 程序分配过多 DirectBuffer → 调整 -XX:MaxDirectMemorySize。

八、总结图示

text

复制代码

┌─────────────────────────────────────────────────────┐
│                   JVM 运行时数据区                    │
├─────────────────────────────────────────────────────┤
│  线程私有                    线程共享                 │
├─────────────────┬───────────────────────────────────┤
│ 程序计数器       │              堆                   │
│ Java虚拟机栈     │         （对象实例、数组）          │
│ 本地方法栈       ├───────────────────────────────────┤
│                 │         方法区（元空间）            │
│                 │   （类元数据、常量池、即时编译代码）  │
└─────────────────┴───────────────────────────────────┘

掌握 JVM 运行时数据区的划分和特性，是进行内存调优、定位内存泄漏、选择垃圾回收器的基础。实际应用中，应结合 GC 日志和堆转储文件，精准分析问题所在。