【Java】关于Java内存模型

最新推荐文章于 2024-07-03 09:21:13 发布

fishwinwin

最新推荐文章于 2024-07-03 09:21:13 发布

阅读量123

点赞数 1

分类专栏： Java

本文链接：https://blog.csdn.net/qq_25353433/article/details/94891773

版权

Java 专栏收录该内容

15 篇文章 1 订阅

订阅专栏

学习资料来自：

https://blog.csdn.net/yaoyuanbo/article/details/81199154

https://my.oschina.net/u/3728792/blog/3050325

https://blog.csdn.net/qq_32534441/article/details/88386473

简单梳理总结：

问题：Java内存模型(JMM)是什么？

首先要知道内存模型是什么？

我们知道模型都是用来解决问题的对吧，那么内存模型被设计出来肯定也是解决某些问题的，更进一步应该是跟内存有关的问题，那它要解决什么内存上的问题呢？

这就要说到CPU和缓存的一致性问题了。

简单的说，我们现在的CPU都是多核的，并且都有多级缓存，结合这个2核的结构图可以找到问题：

在多核CPU上，执行多线程的任务，多个线程访问进程的某个共享内存，每个线程都在不同的核上执行，那么就会在各自的缓存中保存一分共享内存的缓存，就会导致缓存一致性的问题。

即，

多核CPU在多线程场景下会存在缓存一致性问题。

还有一种硬件上的问题，为了使处理器内部的运算单元能够尽量的被充分利用，处理器可能会对输入代码进行乱序执行处理。这就是处理器优化。除此之外，很多编程语言的编译器也会有类似的优化，比如Java虚拟机的即时编译器（JIT）也会做指令重排。

那么这些在硬件上的问题和软件有什么关系？实际上在并发编程中也有如下几个问题：

原子性：同一时刻只能有一个线程进行操作，也就是说当一个线程在执行的过程中，不可以被中断。
可见性：线程对于某个变量的修改能够立刻被其它线程观测到。
有序性：如果在本线程内观察，所有操作都是有序的；如果在一个线程中观察另一个线程，所有操作都是无序的。也就是说，线程内表现串行，线程间出现指令重排现象。

这三个问题实际上是之前说的硬件问题的抽象。

到这里问题已经找到了，那我们就知道内存模型就是用来解决这些问题的。

为了保证共享内存的正确性（可见性、有序性、原子性），内存模型定义了共享内存系统中多线程程序读写操作行为的规范。

内存模型解决并发问题主要采用两种方式：限制处理器优化和使用内存屏障。（待补充）

知道了内存模型是什么之后，那么Java内存模型是什么呢？

Java内存模型（Java Memory Model ,JMM）就是一种符合内存模型规范的，屏蔽了各种硬件和操作系统的访问差异的，保证了Java程序在各种平台下对内存的访问都能保证效果一致的机制及规范。

Java内存模型规定了所有的变量都存储在主内存中，每条线程还有自己的工作内存，线程的工作内存中保存了该线程中使用到的变量的主内存副本拷贝，线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存。不同的线程之间也无法直接访问对方工作内存中的变量，线程间变量的传递均需要自己的工作内存和主存之间进行数据同步进行。

而JMM就作用于工作内存和主存之间数据同步过程。它规定了如何做数据同步以及什么时候做数据同步。