JVM内存模型

JVM内存模型（Java Virtual Machine Memory Model，简称JMM）是指Java虚拟机在运行Java应用程序时对内存进行管理和划分的一种抽象模型。JMM不仅定义了Java程序在JVM中运行时内存布局，还规定了各部分之间的关系以及线程间如何交互和同步，确保了并发环境下的正确性，特别是在多线程环境下数据的一致性、可见性和有序性。

JVM内存模型主要包括以下几个关键区域：

1. 程序计数器（Program Counter Register, PC Register）： 每个线程都有自己的程序计数器，用来保存当前正在执行的字节码指令地址。

2. 虚拟机栈（Java Virtual Machine Stacks）： 也称为线程栈，每个Java线程拥有自己的栈，用于存放方法调用时产生的栈帧。栈帧中包含局部变量表、操作数栈、动态链接、方法出口等信息，方法的调用和返回都在栈上进行。

3. 本地方法栈（Native Method Stacks）： 类似于虚拟机栈，但服务于native方法调用。

4. Java堆（Heap）： 所有线程共享的内存区域，主要用于存放对象实例。垃圾收集器主要关注这一区域。

5. 方法区（Method Area）： 也是所有线程共享的区域，用于存储已被虚拟机加载的类信息、常量、静态变量、即时编译后的代码等数据。

6. 运行时常量池（Runtime Constant Pool）： 属于方法区的一部分，存储编译期生成的各种字面量和符号引用。

7. 直接内存（Direct Memory）： 并不属于JVM内存模型的标准组成部分，但在NIO中，可以分配和释放直接内存，它是在Java堆外的、直接向操作系统申请的内存区域。

JVM内存模型可以类比成一个多层组织图书馆系统：

想象一下，一个大型图书馆有一套复杂的管理系统来存储和管理图书资源。在这个比喻下：

• 程序计数器就像是读者手中的书签，记录着阅读进度，每个读者（线程）有自己的阅读位置（当前执行指令的位置）。

• 虚拟机栈和本地方法栈就像是一张张桌子，每张桌子代表一个线程的工作台。桌子上放着当前阅读的书籍章节（栈帧，包含局部变量和操作过程），不同读者各自处理各自的章节内容，互不影响。

• Java堆就像是图书馆的开放借阅区，所有的读者都可以访问这个区域获取或归还图书（创建和销毁对象）。图书管理员（垃圾回收器）负责整理和回收不再被使用的图书。

• 方法区/元空间类似于图书馆的目录索引和参考书架，存放的是各类书籍的基础信息（类结构信息，静态变量，常量池等），供所有读者查阅，但并不经常更改。

• 运行时常量池可以看作是图书馆内的索引卡片柜，存储着书籍中的具体内容摘要和指向实体书的引用。

• 当多个读者（线程）同时在图书馆内阅读、借阅和归还书籍时，图书馆管理系统需要确保每个读者都能看到最新的图书状态（内存可见性），且不会因为同时操作同一本书籍而导致混乱（线程安全）。这就如同JVM内存模型确保多线程之间对共享资源（堆上的对象）的操作有序且一致。