volatile原理和实现机制研究

最新推荐文章于 2023-12-21 20:20:13 发布

HealingF

最新推荐文章于 2023-12-21 20:20:13 发布

阅读量230

点赞数

分类专栏： java

本文链接：https://blog.csdn.net/HealingF/article/details/87626664

版权

java 专栏收录该内容

1 篇文章 0 订阅

订阅专栏

volatile的原理和实现机制
　　下面这段话摘自《深入理解Java虚拟机》：
　　
　　“观察加入volatile关键字和没有加入volatile关键字时所生成的汇编代码发现，加入volatile关键字时，会多出一个lock前缀指令”

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

1）它确保指令重排序时不会把其后面的指令排到内存屏障之前的位置，也不会把前面的指令排到内存屏障的后面；即在执行到内存屏障这句指令时，在它前面的操作已经全部完成；

2）它会强制将对缓存的修改操作立即写入主存；
　　
　　3）如果是写操作，它会导致其他CPU中对应的缓存行无效
先来看一下CPU的多级缓存机制
假如每次CPU运算数据都是从我们的内存里面读取数据，也就是从主内存去读取的话，内存的读取速度远远慢于CPU的执行速度，无疑限制了CPU的运算能力，这个时候CPU的多级缓存就应运而生了。
一般CPU的三级缓存L1,L2,L3容量是逐步扩大的，其中L1的缓存速度最快。
在这里插入图片描述
那么这个问题和volatile有什么关系呢？举个例子

假设a在JVM加载初始化过程被赋值为0，线程A和B同时执行a = a + 1的操作，我们预期的结果是a = 2。
　但是，如果线程A，B同时从内存中复制了a值至各自的CPU高速缓存中，A执行完了a = 1写入自己线程的缓存，再同步回内存，B也如此。这样一来，最终a的值就定格在了1，这是和预期结果所相悖的。也就是说，在多CPU，多线程编程的场景下，很有可能存在计算结果为脏数据的现象。
volatile 解决问题的机制
一旦一个共享变量（类的成员变量、类的静态成员变量）被volatile修饰之后，那么就具备了两层语义：

保证了不同线程对这个变量进行操作时的可见性，即一个线程修改了某个变量的值，这新值对其他线程来说是立即可见的。

禁止进行指令重排序。

可见性
先看一段代码，假如线程1先执行，线程2后执行：

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

//线程2
stop = true;

这段代码是很典型的一段代码，很多人在中断线程时可能都会采用这种标记办法。但是事实上，这段代码会完全运行正确么？即一定会将线程中断么？不一定，也许在大多数时候，这个代码能够把线程中断，但是也有可能会导致无法中断线程（虽然这个可能性很小，但是只要一旦发生这种情况就会造成死循环了）。

下面解释一下这段代码为何有可能导致无法中断线程。在前面已经解释过，每个线程在运行过程中都有自己的工作内存，那么线程1在运行的时候，会将stop变量的值拷贝一份放在自己的工作内存当中。

那么当线程2更改了stop变量的值之后，但是还没来得及写入主存当中，线程2转去做其他事情了，那么线程1由于不知道线程2对stop变量的更改，因此还会一直循环下去。

但是用volatile修饰之后就变得不一样了：

第一：使用volatile关键字会强制将修改的值立即写入主存；

第二：使用volatile关键字的话，当线程2进行修改时，会导致线程1的工作内存中缓存变量stop的缓存行无效（反映到硬件层的话，就是CPU的L1或者L2缓存中对应的缓存行无效）；

第三：由于线程1的工作内存中缓存变量stop的缓存行无效，所以线程1再次读取变量stop的值时会去主存读取。
　　这个时候我们能保证线程1在运行时，线程2把数值给改动了，会导致主内存的数据被修改，也会让CPU的高速缓存中数据STOP的值所对应的缓存行状态为无效状态，那么，下次执行线程1的时候，CPU发现变量的值所对应的缓存行状态为无效，会重新去主内存中去获取最新的值，也就是保证了一致性的原则。

禁止指令重排
什么叫指令重排？

在计算机执行指令的顺序在经过程序编译器编译之后形成的指令序列，一般而言，这个指令序列是会输出确定的结果；以确保每一次的执行都有确定的结果。但是，一般情况下，CPU和编译器为了提升程序执行的效率，会按照一定的规则允许进行指令优化，在某些情况下，这种优化会带来一些执行的逻辑问题，主要的原因是代码逻辑之间是存在一定的先后顺序，在并发执行情况下，会发生二义性，即按照不同的执行逻辑，会得到不同的结果信息。

x = 2; //语句1
y = 0; //语句2
flag = true; //语句3
z = 4; //语句4
j = -1; //语句5
1
2
3
4
5
对于JVM或者CPU处理来说，这5行代码，执行先后顺序对最终的结果不会产生影响，也就是我们常说的能够实现最终一致性。

volatile关键字禁止指令重排序有两层意思：