1. 计算机多核并发缓存架构
在多处理器系统中,每个处理器都有自己的高速缓存,而它们又共享同一主内存(MainMemory):
2. JMM内存模型
JMM数据原子操作:
read (读取) :从主内存读取数据
load (载入) :将主内存读取到的数据写入工作内存
use(使用) :从工作内存读取数据来计算
assign (赋值) :将计算好的值重新赋值到工作内存中
store (存储) :将工作内存数据写入主内存
write (写入) :将store过去的变量值赋值给主内存中的变量
lock (锁定) :将主内存变量加锁,标识为线程独占状态
unlock (解锁) :将主内存变量解锁解锁后其他线程可以锁定该变量
3. 案例
package com.tuling.jvm;
public class JMMThreadMemoryModel_Test {
public static volatile boolean initFlag = false ;
public static void main(String[] args) throws InterruptedException {
new Thread(() -> {
System.out.println("waiting data");
System.out.println("initFlag:"+initFlag);
while (!initFlag){
}
System.out.println("+++++++++++++success");
}).start();
Thread.sleep(2000);
new Thread(()->{
System.out.println("prepare data ...");
initFlag = true;
System.out.println("end prepare data ...");
}).start();
}
}
如果initFlag 没有volatile
关键字修饰,线程1等待initFlag变为true才会停止,而线程2两秒之后启动,对initFlag修改后线程1并不能感知到。
MESI缓存一致性协议
多个cpu从主内存读取同一个数据到各自的高速缓存,当其中某个cpu修改了缓存里的数据,该数据会马上同步回主内存,其它cpu通过总线嗅探机制可以感知到数据的变化从而将自己缓存里的数据失效。
Volatile缓存可见性实现原理
底层实现主要是通过汇编lock前缀指令,它会锁定这块内存区域的缓存(缓存行锁定)并回写到主内存
IA-32架构软件开发者手册对lock指令的解释:
1)会将当前处理器缓存行的数据立即写回到系统内存。(如果没有volatile修饰,该变量的修改何时写入主内存是不确定的)
2)这个写回内存的操作在到达总线时会引起在其他CPU里缓存了该内存地址的数据无效(MESI协议)
那么存在一个问题:如果write操作还没完成,其它线程又进行read,此时读到的值仍然是失效前的。
所以在store前,会有一个加锁的操作,在write完成后释放锁。
并发编程三大特性:可见性,原子性,有序性
volatile保证可见性与有序性,但是不保证原子性,保证原子性需要借助
synchronized这样的锁机制。
原图:https://www.processon.com/diagraming/5e84458ae4b08c5b86f779ff