JVM 运行时数据区详解

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

一、整体结构概览

此外，还有直接内存（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 对象，然后将对象的引用回填到运行时常量池。

六、版本差异总结

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

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

八、总结图示

text

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

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