JVM 探秘：我的 Java 虚拟机深度学习之旅（架构、内存、GC 全解析）

Wilson Chen

于 2025-04-21 20:01:55 发布

阅读量818

点赞数 21

文章标签： jvm java 架构

本文链接：https://blog.csdn.net/weixin_43836266/article/details/147401410

版权

很多 Java 开发者可能每天都在写着 new Object()，运行着 Spring Boot 应用，但对支撑这一切的底层基石——JVM 却不甚了解。为什么要深入学习 JVM 呢？🤔 对我而言，理解它意味着：

性能调优有的放矢：不再是玄学调优，而是知道瓶颈在哪。
疑难杂症快速定位：遇到 OOM、StackOverflow 不再手足无措。
编写高质量代码：理解内存模型，写出更健壮高效的代码。
面试加分利器：JVM 是大厂面试高频考点，懂就是优势！✨

这篇文章就是我近期学习 JVM 的一个总结和梳理，希望能通过分享，和大家一起交流进步。内容主要涉及 JVM 架构、运行时数据区、对象生命周期、垃圾回收核心以及常见的 GC 算法和回收器。

一、JVM 是什么？揭开虚拟机的面纱 🎭

首先，JVM 不仅仅是一个软件，它更像是一份规范 (Specification)，定义了 Java 字节码 (.class 文件) 如何被执行、内存如何组织等。我们平时说的 JVM，通常指的是这份规范的具体实现 (Implementation)，比如最常用的 Oracle HotSpot VM，还有 OpenJ9、Azul Zing 等。

理解 JVM 的第一步，就是了解它的整体架构。它主要由类加载子系统、运行时数据区、执行引擎、本地接口等部分组成。下面这张图清晰地展示了它们的关系：

二、JVM 的内存世界：运行时数据区探秘 🗺️

JVM 在执行 Java 程序时，会把它管理的内存划分为若干不同的数据区域。这些区域各有用途，有的随着虚拟机启动而创建，有的则依赖用户线程的启动和结束。主要可以分为两大类：

1. 线程私有区域 (Thread Private Areas) 🔒

这些区域的生命周期与线程相同，每个线程都有自己独立的一份。

程序计数器 (PC Register) 🎯: 一块较小的内存空间，记录当前线程正在执行的字节码指令的地址。它是唯一没有规定 OutOfMemoryError 的区域。
Java 虚拟机栈 (JVM Stack) 📚: 每个方法在执行时都会创建一个栈帧 (Stack Frame)，用于存储局部变量表、操作数栈、动态链接、方法出口等信息。我们常说的栈内存主要指这里。如果栈深度超出限制，会抛出 StackOverflowError；如果无法申请到足够内存，会抛出 OutOfMemoryError。
本地方法栈 (Native Method Stack) 🌐: 与虚拟机栈类似，但为 Native 方法服务。HotSpot VM 将两者合二为一。

2. 线程共享区域 (Thread Shared Areas) 🤝

所有线程都可以访问这些区域的数据，因此需要考虑线程安全问题。

堆 (Heap) 🌱: JVM 管理的最大内存区域，几乎所有的对象实例和数组都在这里分配。是垃圾收集器管理的主要区域。HotSpot VM 通常将其划分为：
- 新生代 (Young Generation): Eden 区 + 两个 Survivor 区 (S0, S1)。用于存放新创建的对象。
- 老年代 (Old Generation / Tenured): 存放生命周期较长的对象或大对象。
方法区 / 元空间 (Method Area / Metaspace) 🧱: 用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译器编译后的代码等数据。
- 注意: JDK 8 之前，HotSpot 用永久代 (PermGen) 在堆里实现方法区，容易 OOM。JDK 8 及之后，用元空间 (Metaspace) 在本地内存 (Native Memory) 中实现，不易 OOM，但仍受物理内存限制。
直接内存 (Direct Memory)💨: 严格来说不属于运行时数据区，但被 NIO 频繁使用。它使用 Native 函数库直接分配堆外内存，可以提高 IO 性能，但如果管理不当，也会导致 OOM。

下面这张图更清晰地展示了线程共享区域的内部结构：

三、一个 Java 对象的“诞生记” 🐣

我们天天 new 对象，那一个对象从 new 指令开始，到能在内存中使用，经历了哪些步骤呢？

类加载检查: 确保类已被加载。
分配内存: 在堆上为对象分配空间（通过指针碰撞或空闲列表，常用 TLAB 优化并发分配）。
内存空间初始化: 将分配到的内存（除对象头外）初始化为零值。
设置对象头: 填充对象头信息（Mark Word, Klass Pointer, 数组长度等）。
执行 <init> 方法: 调用对象的构造方法，进行我们代码层面的初始化。

对象创建后，它在内存中也不是只有我们定义的字段数据。HotSpot VM 中对象的内存布局通常包括：

对象头 (Object Header): 存储对象自身的运行时数据（如 HashCode、GC 分代年龄、锁状态标志）和类型指针（指向方法区类信息）。
实例数据 (Instance Data): 我们定义的成员变量的值。
对齐填充 (Padding): 确保对象总大小是 8 字节的整数倍，优化访问效率。

程序代码通过栈上的引用 (Reference) 来操作堆上的对象。HotSpot VM 主要使用直接指针访问方式，即引用直接存储对象的堆地址，访问速度更快。

四、内存“清洁工”：垃圾回收 (GC) 核心 ♻️

Java 的一大优势就是自动内存管理，核心就是 GC。GC 要解决三个问题：哪些内存需要回收？什么时候回收？如何回收？

1. 谁是垃圾？—— 可达性分析算法 (Reachability Analysis) ✅

JVM 判断对象是否存活的主流方法。它从一系列称为 "GC Roots" 的对象（包括虚拟机栈中引用的对象、方法区静态/常量引用的对象、JNI 引用等）出发，沿着引用链向下搜索。如果一个对象到任何 GC Roots 都不可达，那它就是“垃圾”。这个方法可以完美解决循环引用问题（引用计数法的弊端）。

2. 什么时候回收？—— GC 触发时机

Minor GC / Young GC: 通常在新生代 Eden 区满时触发，回收新生代。速度快，频率高。
Major GC / Full GC: 回收老年代或整个堆（甚至方法区）。速度慢，频率低，Stop-The-World (STW) 时间长，是性能优化的重点关注对象。触发条件复杂，如老年代空间不足、元空间不足、System.gc() 调用等。

3. 如何回收？—— 核心算法策略

标记-复制 (Mark-Copy) ✨: 将存活对象复制到另一块空内存，清空原区域。适用于新生代。无碎片，但有空间开销。
标记-清除 (Mark-Sweep) 🧹: 标记存活对象，清除未标记对象。适用于老年代。省空间，但会产生内存碎片。
标记-整理 (Mark-Compact) 📦: 标记存活对象，将它们移到一端，清理边界外内存。适用于老年代。无碎片，但移动成本高。

JVM 通常采用分代收集策略 (Generational Collection)：根据对象存活周期不同，在不同区域（新生代/老年代）使用不同的、最合适的回收算法。

五、GC 清洁妙法：图解“标记-复制”算法 👶✨

作为新生代常用的回收算法，“标记-复制”是如何工作的呢？它巧妙地利用了 Eden 区和两个 Survivor 区（From/To）：

简单来说，就是将 Eden 和 From 区的活对象复制到 To 区，然后清空 Eden 和 From，最后交换 From 和 To 的角色。这样既回收了垃圾，又保证了 Survivor 区总有一块是空的，且内存是连续的。

六、认识 GC “天团”：常见的垃圾回收器 🤖

JVM 提供了多种垃圾回收器实现，各有侧重：

Serial/Serial Old 🚶: 单线程，简单，STW 长，适用于客户端或单核环境。
Parallel Scavenge/Parallel Old 🏃‍♂️🏃‍♀️: 多线程并行，吞吐量优先，JDK 8 默认。STW 相对较短但仍可能明显。
CMS (Concurrent Mark Sweep) 🤝⏱️: 并发标记清除，追求低延迟。但有 CPU 占用、内存碎片、并发失败风险（JDK 9+ 已移除）。
G1 (Garbage-First) 🥇: Region 化堆内存，平衡吞吐量和可预测的低延迟，JDK 9+ 默认。通过 Mixed GC 优先回收垃圾最多区域，避免碎片。
ZGC / Shenandoah ⚡️🚀: 极致低延迟，STW 时间控制在毫秒甚至亚毫秒级，几乎全程并发，适用于超大堆和对延迟极度敏感场景（需要较新 JDK）。

选择哪个回收器，取决于你的应用场景（吞吐量 vs 延迟）、JDK 版本和硬件配置。