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控制。
- JDK 7 及之前：方法区位于“永久代”（PermGen），受
-
运行时常量池（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 日志和堆转储文件，精准分析问题所在。
