JVM 运行时数据区与JMM 内存模型详解

刺骨的言语ヽ痛彻心扉 2023-10-01 23:08 9阅读 0赞

## 1. JVM 运行时数据区 ##

JVM运行时数据区可以分为元空间，堆，虚拟机栈，本地方法栈，程序计数器五大块。

![format_png][]

*  元空间（方法区）：存放类模版对象，是线程共享的区域，在磁盘上，一般不会GC
 *  堆空间：线程共享的区域，对象创建与GC的主要阵地
 *  虚拟机栈：线程私有的，基本组成单位是栈帧，每个栈帧对应一个方法，栈帧组成如下
    
     *  局部变量表：存放方法变量信息
     *  操作数栈：方法运行的区域
     *  动态链接：指向方法模板对象，与虚方法表一起实现方法重写
     *  返回地址：方法的返回地址
 *  本地方法栈：线程私有，本地方法的执行区域
 *  程序计数器：线程私有，负责在线程上下文切换的过程中记录线程执行到了哪个位置

## 2. JMM 内存模型 ##

### 硬件内存模型 ###

![format_png 1][]

通常情况下，当CPU需要读取主存时，它会将主存的部分读到CPU缓存中或者内部寄存器中，然后在寄存器中执行操作。当CPU需要将结果写回到主存中去时，它会将内部寄存器的值刷新到缓存中，然后在某个时间点将值刷新回主存。

在多处理器系统中，每个处理器都有自己的高速缓存，而它们又共享同一主内存，因此就会存在缓存一致性问题。为了解决一致性的问题，需要各个处理器访问缓存时都遵循一些协议，在读写时要根据协议来进行操作，这类协议有MSI、MESI等。

### JMM ###

JMM内存模型将内容分为了线程私有内存与主内存两部分，其与我们之前提到的硬件内存模型的对应关系如下所示：

![format_png 2][]

私有内存与主内存的交互由如下八种操作控制：

![format_png 3][]

## 3. 可见行与 volatile 关键字 ##

> 一言以蔽之，volatile 关键字通过内存屏障的形式来阻止指令重排，以维护变量的有序性与可见行。

一行代码到执行的过程中要经历以下的阶段：

![format_png 4][]

volatile 关键字有如下两个作用：

1.  保证被 volatile 修饰的共享变量对所有线程总是可见的，也就是当一个线程修改了被 volatile 修饰共享变量的值，新值总是可以被其他线程立即得知。
2.  禁止指令重排序优化。

JVM中提供了四类内存屏障指令：

*  loadload：两个读取操作之间
 *  storestore：两个写操作之间
 *  loadstore：读写操作之间
 *  storelosd：写读操作之间

![9a4be274b2ba4641ad1177dd3733419c.jpeg][]

[format_png]: https://img-blog.csdnimg.cn/img_convert/95dca46ecd7d6c0e1abcd061ecff65c6.webp?x-oss-process=image/format,png
[format_png 1]: https://img-blog.csdnimg.cn/img_convert/4c2e7faf68d9c49fd43423ab0620e13a.webp?x-oss-process=image/format,png
[format_png 2]: https://img-blog.csdnimg.cn/img_convert/e31e5b6acc9aac6470658e752521039b.webp?x-oss-process=image/format,png
[format_png 3]: https://img-blog.csdnimg.cn/img_convert/81319852f642819cdc1fa6bf34d2d1a1.webp?x-oss-process=image/format,png
[format_png 4]: https://img-blog.csdnimg.cn/img_convert/e454c3f172d9339a96e056c903a00026.webp?x-oss-process=image/format,png
[9a4be274b2ba4641ad1177dd3733419c.jpeg]: https://img-blog.csdnimg.cn/9a4be274b2ba4641ad1177dd3733419c.jpeg