JMM不是内存分区,而是Java语言规范定义的并发语义规则;JVM内存分区是真实运行时数据区域,包括堆、元空间、虚拟机栈等,二者维度不同。

JMM不是内存分区,它不占用任何物理内存;JVM内存分区是真实存在的运行时数据区域,两者根本不在同一维度上。
什么是JVM内存分区(运行时数据区)
JVM内存分区是OpenJDK(以及所有符合规范的JVM实现)在启动后实际划分并管理的几块物理/逻辑内存区域。它回答的是“数据存在哪儿”这个执行层面的问题。
OpenJDK 17+ 的典型分区包括:
-
堆(Heap):所有线程共享,对象实例和数组的主要分配地,GC重点区域 -
方法区 / 元空间(Metaspace):存储类元数据、常量池、静态变量等;JDK 8+ 使用本地内存,由-XX:MaxMetaspaceSize控制上限 -
Java虚拟机栈(Java Virtual Machine Stack):每个线程私有,存放栈帧,含局部变量表、操作数栈;溢出抛StackOverflowError或OutOfMemoryError -
程序计数器(Program Counter Register):线程私有,记录当前字节码指令地址;唯一不会OOM的区域 -
本地方法栈(Native Method Stack):为native方法服务,行为类似虚拟机栈
这些区域可被jstat、jmap、VisualVM等工具直接观测到,大小可通过-Xms、-Xmx、-XX:MetaspaceSize等参数调整。
JMM到底是什么:一个抽象的并发规则契约
JMM(Java Memory Model)在OpenJDK中没有对应的数据结构,也不分配内存。它是一套由Java语言规范(JLS)定义的、用于约束多线程读写共享变量行为的语义规则。
它的核心抽象只有两个:
-
主内存(Main Memory):逻辑概念,代表所有线程可见的共享存储(实际映射到堆、方法区等物理区域) -
工作内存(Working Memory):逻辑概念,每个线程私有的缓存副本(可能对应CPU寄存器、L1/L2缓存,不对应JVM某块固定内存)
例如,当线程A执行volatile int flag = 1,JMM保证该写操作会立即刷新到主内存,并插入store屏障;线程B读flag时,JMM要求其必须从主内存重载,且插入load屏障——这些动作由HotSpot VM在生成汇编指令时插入,而非靠某块“JMM内存”来承载。
为什么容易混淆:名字带“内存”,但实质完全不同
常见误解来源:
- 把
堆当成“JMM的主内存”——错。堆只是主内存的**主要物理载体**之一;静态变量在元空间,final字段初始化值可能在class文件常量池,它们都属于JMM意义上的“主内存”可见范围 - 以为
volatile会在某处额外分配内存——不会。它只改变对已有变量(比如堆中对象的字段)的读写语义和指令序列 - 调试时看到
OutOfMemoryError: Metaspace,误以为这是JMM出错——其实JMM连异常都不会抛,OOM全是JVM内存分区管理失败导致的
JMM的规则落地依赖JVM实现:HotSpot通过内存屏障(membar)、锁总线、StoreLoad指令等机制保障happens-before关系;但这些机制本身不新增内存区域,只是调度已有硬件资源。
OpenJDK源码里根本找不到“JMM内存”
翻看OpenJDK源码(如hotspot/src/share/vm),你能找到:
-
CollectedHeap类对应堆管理 -
Metaspace模块实现元空间分配 -
JavaThread结构体里包含栈指针、PC寄存器等字段
但你永远找不到JMMRegion、WorkingMemorySpace这类类或配置项。JMM的语义体现在:
- 字节码解释器(
templateTable.cpp)对getstatic/putstatic的特殊处理 - C2编译器(
macro.cpp)在遇到volatile字段时插入OrderAccess::storeload() - 同步机制(
ObjectMonitor)在enter/exit时强制刷回和重载内存
换句话说:JVM内存分区是“房子的砖瓦”,JMM是“住户之间借东西时必须遵守的邻里公约”。公约不占地,但每扇门、每面墙的设计(比如是否加锁、是否留通风口)都得按公约来。











