从CPU缓存模型到-JMM-来理解-volatile-关键字-CSDN博客

本文链接：https://blog.csdn.net/I8929545452_VD/article/details/136717550

较著名的就是Intel的MESI协议，MESI协议保S证了每个缓存中使用的共享变量的副本是一致的。

当CPU写数据时，如果发现操作的变量是共享变量，即在其他CPU中也存在该变量的副本，会发出信号通知其他CPU将该变量的缓存行置为无效状态，因此当其他CPU需要读取这个变量时，发现自己缓存中缓存该变量的缓存行是无效的【嗅探机制：每个处理器通过嗅探在总线上传播的数据来检查自己的缓存的值是否过期】，那么它就会从内存重新读取。

基于MESI一致性协议，每个处理器需要不断从主内存嗅探和CAS不断循环，无效交互会导致总线带宽达到峰值，出现总线风暴。

JMM内存模型是什么

JMM【Java Memory Model】：Java内存模型，是java虚拟机规范中所定义的一种内存模型，Java内存模型是标准化的，屏蔽掉了底层不同计算机的区别，以实现让Java程序在各种平台下都能达到一致的内存访问效果。

它描述了Java程序中各种变量【线程共享变量】的访问规则，以及在JVM中将变量存储到内存和从内存中读取变量这样的底层细节。

注意，为了获得较好的执行性能，Java内存模型并没有限制执行引擎使用处理器的寄存器或者高速缓存来提升指令执行速度，也没有限制编译器对指令进行重排序。也就是说，在java内存模型中，也会存在缓存一致性问题和指令重排序的问题。

JMM的规定

所有的共享变量都存储于主内存，这里所说的变量指的是【实例变量和类变量】，不包含局部变量，因为局部变量是线程私有的，因此不存在竞争问题。

每个线程都有自己的工作内存（类似于前面的高速缓存）。线程对变量的所有操作都必须在工作内存中进行，而不能直接对主存进行操作。

每个线程不能访问其他线程的工作内存。

Java对三大特性的保证

原子性

在Java中，对基本数据类型的变量的读取和赋值操作是原子性操作，即这些操作是不可被中断的，要么执行，要么不执行。

为了更好地理解上面这句话，可以看看下面这四个例子：

x = 10; //1
y = x; //2
x ++; //3
x = x + 1; //4

只有语句1是原子性操作：直接将数值10赋值给x，也就是说线程执行这个语句的会直接将数值10写入到工作内存中。
语句2实际包含两个操作：先去读取x的值，再将x的值写入工作内存，虽然两步分别都是原子操作，但是合起来就不能算作原子操作了。
语句3和4表示：先读取x的值，进行加1操作，写入新的值。

需要注意的点：

在32位平台下，对64位数据的读取和赋值是需要通过两个操作来完成的，不能保证其原子性。在目前64位JVM中，已经保证对64位数据的读取和赋值也是原子性操作了。
Java内存模型只保证了基本读取和赋值是原子性操作，如果要实现更大范围操作的原子性，可以通过synchronized和Lock来实现。

可见性

Java提供了volatile关键字来保证可见性。

当一个共享变量被volatile修饰时，它会保证修改的值会立即被更新到主存，当有其他线程需要读取时，它会去内存中读取新值。

另外，通过synchronized和Lock也能够保证可见性，synchronized和Lock能保证同一时刻只有一个线程获取锁然后执行同步代码，并且在释放锁之前会将对变量的修改刷新到主存当中。因此可以保证可见性。

有序性

在Java内存模型中，允许编译器和处理器对指令进行重排序，但是重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性。

在Java里面，可以通过volatile关键字来保证有序性，另外也可以通过synchronized和Lock来保证有序性。

Java内存模型具备一些先天的有序性，前提是两个操作满足happens-before原则，摘自《深入理解Java虚拟机》：

程序次序规则：一个线程内，按照代码顺序，书写在前面的操作先行发生于书写在后面的操作【让程序看起来像是按照代码顺序执行，虚拟机只会对不存在数据依赖性的指令进行重排序，只能保证单线程中执行结果的正确性，多线程结果正确性却无法保证】
锁定规则：一个unLock操作先行发生于后面对同一个锁额lock操作
volatile变量规则：对一个变量的写操作先行发生于后面对这个变量的读操作
传递规则：如果操作A先行发生于操作B，而操作B又先行发生于操作C，则可以得出操作A先行发生于操作C
线程启动规则：Thread对象的start()方法先行发生于此线程的每个一个动作
线程中断规则：对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生
线程终结规则：线程中所有的操作都先行发生于线程的终止检测，我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值手段检测到线程已经终止执行
对象终结规则：一个对象的初始化完成先行发生于他的finalize()方法的开始

如果两个操作的执行次序无法从happens-before原则推导出来，那么它们就不能保证它们的有序性，虚拟机可以随意地对它们进行重排序。

volatile解决的问题

保证了不同线程对共享变量【类的成员变量，类的静态成员变量】进行操作是时的可见性，一个线程修改了某个变量的值，新值对其他线程来说是立即可见的。
禁止指令重排序。

举个简单的例子，看下面这段代码：

//线程1
boolean volatile stop = false;
while(!stop){
doSomething();
}
//线程2
stop = true;

线程1和2各自都拥有自己的工作内存，线程1和线程2首先都会将stop变量的值拷贝一份放到自己的工作内存中，
共享变量stop通过volatile修饰，线程2将stop的值改为true将会立即写入主内存。
线程2写入主内存之后，导致线程1工作内存中缓存变量stop的缓存行无效。
线程1的工作内存中缓存变量stop的缓存行无效，导致线程1会再次从主存中读取stop值。

volatile保证原子性吗？怎么解决？

volatile无法保证原子性，如对一个volatile修饰的变量进行自增操作i ++，无法保证多线程下结果的正确性。

解决方法：

使用synchronized关键字或者Lock加锁，保证某个代码块在同一时刻只能被一个线程执行。
使用JUC包下的原子类，如AtomicInteger等。【Atomic利用CAS来实现原子操作】。

volatile的实现原理

下面这段话摘自《深入理解Java虚拟机》：

观察加入volatile关键字和没有加入volatile关键字时所生成的汇编代码发现，加入volatile关键字时，会多出一个lock前缀指令。

lock前缀指令实际上相当于一个内存屏障（也成内存栅栏），内存屏障会提供3个功能：

它确保指令重排序时不会把其后面的指令排到内存屏障之前的位置，也不会把前面的指令排到内存屏障的后面；即在执行到内存屏障这句指令时，在它前面的操作已经全部完成；
它会强制将对缓存的修改操作立即写入主存；
如果是写操作，它会导致其他CPU中对应的缓存行无效。

volatile和synchronized的区别

volatile变量读操作的性能消耗与普通变量几乎没有什么差别，但是写操作则会慢一些，因为它需要在本地代码中插入许多内存屏障指令来保证处理器不发生乱序执行。不过即便如此，大多数场景下volatile的总开销仍然要比锁来的低。

volatile只能用于变量，而synchronized可以修饰方法以及代码块。
volatile能保证可见性，但是不能保证原子性。synchronized两者都能保证。如果只是对一个共享变量进行多个线程的赋值，而没有其他的操作，推荐使用volatile，它更加轻量级。
volatile 关键字主要用于解决变量在多个线程之间的可见性，而 synchronized 关键字解决的是多个线程之间访问资源的同步性。

小编13年上海交大毕业，曾经在小公司待过，也去过华为、OPPO等大厂，18年进入阿里一直到现在。

深知大多数初中级Java工程师，想要提升技能，往往是自己摸索成长，但自己不成体系的自学效果低效又漫长，而且极易碰到天花板技术停滞不前！

因此收集整理了一份《2024年最新Java开发全套学习资料》送给大家，初衷也很简单，就是希望能够帮助到想自学提升又不知道该从何学起的朋友，同时减轻大家的负担。