首页 > 项目 > 当前页面

JVM内存模型详解：从运行时数据区到GC机制彻底搞懂

2026-06-09 NEW个对象

🚀 JVM内存模型详解：从运行时数据区到GC机制彻底搞懂

📌 核心结论：
JVM内存模型是Java程序运行的基础，它规定了对象、变量、方法、线程等数据在运行期间存储的位置。面试中提到的堆、栈、方法区、程序计数器、本地方法栈以及GC垃圾回收机制，都属于JVM运行时内存结构的重要组成部分。

1️⃣ 问题背景

Java之所以能够实现“一次编写，到处运行”，核心原因之一就是JVM虚拟机屏蔽了底层操作系统差异。

当一个Java程序启动时，JVM会创建对应的运行环境，并负责管理程序运行期间所需的各种内存区域。

很多线上问题都与JVM内存模型有关，例如：

OutOfMemoryError
StackOverflowError
频繁Full GC
对象无法回收
内存泄漏
CPU持续飙高

因此理解JVM内存模型不仅是面试高频考点，更是排查线上问题的重要基础。

2️⃣ 核心原理

JVM启动后会将内存划分为多个不同区域，每个区域负责不同的数据存储任务。

Java程序启动
↓
JVM加载字节码
↓
创建运行时数据区
↓
线程执行代码
↓
对象分配内存
↓
GC回收垃圾对象
↓
程序结束

从逻辑上看，JVM内存主要分为线程共享区域和线程私有区域。

💡 线程共享区域主要包含堆和方法区；线程私有区域主要包含程序计数器、虚拟机栈和本地方法栈。

3️⃣ 数据结构分析

程序计数器（Program Counter Register）

程序计数器是一块非常小的内存区域。

它记录当前线程执行到哪一条字节码指令。

由于Java支持多线程，每个线程都有自己的程序计数器，因此它属于线程私有区域。

✅ 唯一一个不会发生OutOfMemoryError的内存区域。

虚拟机栈（Java Virtual Machine Stack）

每个线程启动时都会创建自己的虚拟机栈。

栈中保存着多个栈帧。

每一次方法调用都会创建一个新的栈帧。

main()
↓
service()
↓
dao()
↓
query()

每调用一次方法就会压栈一次。

方法执行完成后对应栈帧出栈。

⚠️ 方法递归层数过深时会导致 StackOverflowError。

本地方法栈（Native Method Stack）

本地方法栈与虚拟机栈类似。

区别在于它服务于Native方法。

例如：

System.arraycopy()

很多底层操作都会通过JNI调用本地代码。

堆（Heap）

堆是JVM中最大的一块内存区域。

绝大多数对象都在堆中创建。

堆也是垃圾回收器工作的主要区域。

Heap
↓
年轻代 Young
↓
Eden
Survivor0
Survivor1
↓
老年代 Old

新创建对象首先进入Eden区。

经过多次垃圾回收仍然存活的对象会晋升到老年代。

方法区（Method Area）

方法区用于存储类元数据。

类信息
运行时常量池
静态变量
方法字节码

JDK8之后，永久代被移除，使用MetaSpace元空间替代。

元空间使用本地内存，而非JVM堆内存。

4️⃣ 算法分析

JVM最重要的算法主要集中在垃圾回收领域。

引用计数法

对象维护引用次数。

引用为0时回收。

但无法解决循环引用问题。

可达性分析算法

JVM实际采用的是可达性分析。

GC Root
↓
引用链查找
↓
可到达对象保留
↓
不可达对象回收

GC Root主要包括：

栈中的引用对象
静态变量引用对象
JNI引用对象
常量池引用对象

复制算法

年轻代主要采用复制算法。

存活对象复制到另一块区域。

然后清空原区域。

标记整理算法

老年代主要采用标记整理算法。

避免产生大量内存碎片。

5️⃣ 执行流程

Java启动
↓
加载Class文件
↓
创建线程
↓
创建程序计数器
↓
创建虚拟机栈
↓
对象进入堆内存
↓
方法区加载类信息
↓
对象不断创建
↓
Minor GC
↓
对象晋升老年代
↓
Full GC
↓
程序结束

6️⃣ 实际案例

对象创建过程

User user = new User();

执行流程如下：

new指令执行
↓
检查类是否加载
↓
堆中分配内存
↓
对象初始化
↓
返回对象引用
↓
栈中保存引用地址

最终结构：

栈 Stack
user ----->

堆 Heap
User对象

栈溢出案例

public void test(){
test();
}

无限递归调用导致栈帧不断压栈。

最终抛出：

❌ StackOverflowError

堆溢出案例

List<Object> list = new ArrayList<>();
while(true){
list.add(new Object());
}

不断创建对象。

最终堆空间耗尽。

❌ OutOfMemoryError: Java heap space

7️⃣ 优缺点分析

区域	优点	风险
程序计数器	线程切换效率高	无
虚拟机栈	调用速度快	栈溢出
堆	对象集中管理	OOM
方法区	类信息统一管理	MetaSpace OOM

8️⃣ 面试常见问题

JVM内存模型有哪些区域？

程序计数器、虚拟机栈、本地方法栈、堆、方法区。

堆和栈有什么区别？

栈存储局部变量和方法调用信息，堆存储对象实例。

对象一定在堆上吗？

不一定，JIT优化后可能发生栈上分配和标量替换。

JDK8为什么移除永久代？

永久代容易产生内存问题，元空间使用本地内存后扩展能力更强。

GC Root有哪些？

栈引用、静态变量、常量池、JNI引用等。

什么情况下会发生Full GC？

老年代空间不足、MetaSpace不足、System.gc()调用等情况都可能触发Full GC。

9️⃣ 总结

✅ JVM运行时数据区包括程序计数器、虚拟机栈、本地方法栈、堆和方法区。

✅ 堆是对象存储区域，也是垃圾回收最核心区域。

✅ 栈负责方法调用与局部变量管理。

✅ 方法区负责类元数据和运行时常量池管理。

✅ JVM采用可达性分析算法判断对象是否存活。

✅ 年轻代主要采用复制算法，老年代主要采用标记整理算法。

🎯 面试一句话总结：

JVM内存模型由程序计数器、虚拟机栈、本地方法栈、堆和方法区组成，其中堆负责对象存储，栈负责方法调用，方法区负责类元数据管理，GC通过可达性分析算法完成对象回收，这是Java内存管理体系的核心基础。

上一篇：两个数组原地合并详解：双指针从后向前才是最优解

下一篇：JVM创建对象的内存是如何分配的？如何保证线程安全？

什么是反射机制？为什么慢？

反射机制是指在运行时能获取到自身信息，只要给出类名，就可以访问类的属性和方法。

NEW个对象 2025-01-09
线程同步与线程安全的区别？

线程同步是指在多线程环境中，通过某种机制来协调多个线程对共享资源的访问，确保资源的访问顺序是有序和正确的。线程安全是指多个线程访问同一资源时,不会出现数据错乱等问题;

NEW个对象 2025-01-10
DDD是什么？一文彻底理解领域驱动设计（Domain-Driven Design）

DDD是什么？一文彻底理解领域驱动设计（Domain-Driven Design）

NEW个对象 2026-06-26

NEW个对象

JAVA是世界上最好的语言