Java 语言的跨平台性、内存自动管理、垃圾回收、类动态加载全部依托于 JVM（Java 虚拟机）实现。JVM 是 Java 程序的运行载体，也是后端面试最高频、最核心、最区分层级的底层考点。
本文系统化覆盖四大核心模块：运行时内存区域、垃圾回收GC算法与调优、类加载与双亲委派机制、线上OOM故障排查，从底层原理、核心规则、易错坑点、工程实践到面试真题全覆盖，完全对标大厂面试标准，可直接背诵、笔试、线上排查使用。
一、JVM 运行时数据区（核心内存模型）
JVM 在程序运行时会划分独立的内存区域，不同区域职责、线程属性、GC 特性、存储内容完全不同。总体分为：线程私有内存和线程共享内存两大类。
线程私有：虚拟机栈、本地方法栈、程序计数器（线程隔离、无GC）
线程共享：堆、方法区（元空间）（全局共享、重点GC区域、OOM高发区）
1.1 程序计数器（PC Register）
核心作用：记录当前线程执行的字节码行号，用于线程切换后恢复执行位置。
核心特性：线程私有、唯一无OOM、无GC的内存区域、占用内存极小。
1.2 JVM 虚拟机栈（Java栈 / 栈内存）
存储内容：每个方法执行时创建一个栈帧，包含局部变量表、操作数栈、动态链接、方法出口等。
核心特性：
1、线程私有，生命周期与线程同步；
2、方法调用入栈，方法执行完毕出栈；
3、基本类型变量、对象引用地址存在栈中，对象本体存在堆中；
4、栈内存不参与GC，方法结束自动释放。
异常场景：栈帧过多/递归过深 → StackOverflowError
1.3 本地方法栈
功能与虚拟机栈一致，专为 JNI 本地 Native 方法服务，同样线程私有、无GC、可出现栈溢出。
1.4 堆内存（Heap）—— GC核心区域
唯一目的：存储所有对象实例与数组。
核心特性：
1、线程共享，JVM 最大内存区域；
2、全程参与垃圾回收，是 GC 主要工作区；
3、内存结构分为：新生代（Eden、S0、S1）、老年代；
4、堆内存不足触发：OutOfMemoryError（堆OOM）。
1.5 方法区 / 元空间（Method Area / Metaspace）
存储内容：类模板信息、常量、静态变量、即时编译代码、方法字节码。
版本迭代：
JDK1.8 之前：永久代（堆内存一部分，容易OOM）
JDK1.8 及以后：元空间 Metaspace（使用本地物理内存，不再占用堆）
优势：元空间理论上限为物理内存，大幅降低类加载过多导致的OOM。
内存区域面试真题
题目：栈、堆、方法区的区别？哪些会GC？哪些会OOM？
标准答案：
1、栈：线程私有、存局部变量、无GC、溢出报栈溢出错误；
2、堆：线程共享、存对象、全程GC、堆满报OOM；
3、方法区：线程共享、存类信息、少量GC、类加载过多会元空间OOM。
二、垃圾回收 GC 核心原理
GC（Garbage Collection）是 JVM 自动内存回收机制，用于回收堆中无效对象，避免内存泄漏、内存溢出。核心解决两个问题：如何判定对象死亡、如何回收死亡对象。
2.1 对象存活判定算法
2.1.1 引用计数算法（被JVM废弃）
原理：对象被引用则计数+1，引用失效-1，计数为0判定死亡。
致命缺陷：无法解决循环引用问题，JVM 未采用。
2.1.2 可达性分析算法（JVM 主流）
核心规则：从 GC Roots 根节点向下遍历，能遍历到的对象存活，不可达对象判定为垃圾。
GC Roots 核心来源：
1、虚拟机栈中引用的对象；
2、方法区静态变量、常量引用对象；
3、本地方法栈 Native 引用对象。
2.2 四大经典GC算法
1. 标记清除算法
先标记垃圾对象，统一清除。优点：简单；缺点：产生内存碎片。
2. 复制算法
将存活对象复制到新内存区，清空原区域。优点：无碎片、效率高；缺点：内存折损。新生代默认使用。
3. 标记整理算法
标记垃圾后，存活对象向一端压缩整理，再清空边界外内存。优点：无内存碎片；缺点：整理耗时。老年代默认使用。
4. 分代收集算法（商用JVM核心）
依据对象存活周期分区处理：
新生代：对象朝生夕灭，使用复制算法，回收频率高、速度快；
老年代：对象长期存活、存活率高，使用标记整理/标记清除，回收频率低、耗时久。
2.3 GC 分类
Minor GC：新生代GC，频繁触发、速度快、STW短暂；
Major GC：老年代GC，耗时较长；
Full GC：整堆回收（新生代+老年代+元空间），STW时间最长、线上最危险，尽量避免。
2.4 GC 调优核心思路（工程实战）
调优核心目标：减少 Full GC、降低STW时间、控制内存平稳、避免OOM。
高频调优参数：
-Xms：初始堆内存；-Xmx：最大堆内存（生产统一设置，避免扩容震荡）
-Xmn：新生代大小
-XX:+UseG1GC：使用G1垃圾收集器（生产主流）
-XX:MaxMetaspaceSize：限制元空间大小
调优核心原则：
1、优先保证新生代充足，提升Minor GC效率；
2、避免堆内存过小导致频繁Full GC；
3、禁止手动调用 System.gc()，防止主动触发Full GC。
GC 高频面试真题
题目：为什么新生代用复制算法，老年代用标记整理？
答案：新生代对象存活率极低，复制算法效率高、无碎片；老年代对象存活率极高，复制成本极高，采用标记整理，牺牲速度换取连续内存空间，避免内存碎片堆积。
三、类加载机制与双亲委派模型
类加载机制是 JVM 将 class 字节码文件加载到内存、转换为运行时类对象的全过程，是 Java 类复用、热加载、源码隔离、安全沙箱的底层保障。
3.1 类加载完整五大阶段
加载 → 验证 → 准备 → 解析 → 初始化
1、加载：读取class字节码，在内存生成Class对象；
2、验证：校验字节码合法性、安全性，防止恶意代码；
3、准备：为静态变量分配内存、赋默认零值；
4、解析：将符号引用替换为直接内存引用；
5、初始化：执行静态代码块、静态变量赋值（唯一主动加载阶段）。
3.2 类加载器层级
JVM 内置三层加载器，层级自上而下：
1、启动类加载器 BootstrapClassLoader：加载核心JDK类（rt.jar），C语言实现；
2、扩展类加载器 ExtClassLoader：加载JDK扩展包；
3、应用类加载器 AppClassLoader：加载项目自定义class、第三方依赖包；
4、自定义类加载器：业务自定义、热部署、模块化场景使用。
3.3 双亲委派机制（面试必考）
核心规则：类收到加载请求时，先向上委托父加载器加载，父加载器无法加载，自己才尝试加载。自上而下委托，自下而上加载。
3.3.1 双亲委派三大优势
1、沙箱安全机制：防止篡改核心类（如自定义String类不会覆盖JDK原生String）；
2、类全局唯一：保证同一个类只被加载一次，避免重复加载；
3、层级隔离：核心类、扩展类、业务类加载隔离，稳定性更高。
3.3.2 打破双亲委派场景
Tomcat 热部署、SPI 服务扩展、JDBC 驱动加载、模块化热更新，均需要打破双亲委派，实现下层加载上层类、动态替换类。
类加载面试真题
题目：如果自己写一个 java.lang.String 类，能否被加载？
答案：不能。双亲委派机制会优先交由启动类加载器加载原生String，自定义类不会生效，保证核心类安全。
四、OOM 内存溢出全方位排查（线上实战）
OOM（OutOfMemoryError）是线上最常见、最致命的 JVM 故障，本文总结四大OOM场景 + 标准排查流程，适配生产问题定位。
4.1 常见四大 OOM 类型
1、Java Heap Space 堆OOM
原因：创建对象过多、大对象、内存泄漏、集合未清空、静态集合常驻内存。
2、Metaspace 元空间OOM
原因：动态生成类过多、频繁热部署、反射生成代理类、CGlib 动态代理泛滥。
3、Direct Memory 直接内存OOM
原因：Netty/NIO 未释放直接内存、缓冲区泄漏。
4、GC Overhead Limit Exceeded
原因：GC 频繁执行但回收极少，CPU 耗尽，JVM 主动终止程序。
4.2 线上标准排查流程（可直接落地）
1、查看日志，区分 OOM 类型（堆/元空间/直接内存）；
2、导出堆快照 dump 文件，使用 JProfiler / MAT 分析大对象、泄漏对象；
3、查看 GC 日志，分析 FullGC 频率、STW 耗时、内存走势；
4、定位代码：集合未清理、循环创建对象、静态变量堆积、资源未关闭；
5、临时解决方案：扩容堆内存；根治方案：修复内存泄漏代码、优化对象生命周期。
OOM 面试真题
题目：内存溢出和内存泄漏的区别？
答案：
内存泄漏：无用对象持续被引用，无法被GC回收，长期堆积；
内存溢出：内存空间不足，无法分配新对象，程序崩溃；
关系：长期内存泄漏最终一定会导致内存溢出。
五、全文终极背诵总结（面试必背）
1、内存区域：栈存局部变量、无GC、栈溢出；堆存对象、核心GC区、堆OOM；方法区存类信息、元空间替代永久代；
2、GC原理：JVM采用可达性分析判定垃圾，新生代复制算法、老年代标记整理，分代收集是商用核心；避免FullGC是调优核心；
3、类加载：五大加载阶段，三层类加载器，双亲委派保证类安全与唯一，可按需打破实现热部署与扩展；
4、OOM排查：分为堆、元空间、直接内存等溢出，多由内存泄漏导致，通过dump快照+GC日志定位代码问题。
