多核并发缓存架构图
磁盘取数据,放入主内存,cpu运行。但是,cpu运算速度特别快,所以引入cpu高速缓存,包括cpu寄存器和cpu缓存。
Java(线程)内存模型——JMM
Java线程内存模型跟cpu缓存模型类似,是基于cpu缓存模型来建立的。
对于主内存的数据,各个线程并不是直接用的,而是用各自拷贝的一份。即,工作内存中的共享变量副本。于是,这就使得线程B改变了数据值,主内存也随即改变了值,但是线程A并不知情,仍使用拷贝的原数据值的现象存在。
引入关键字volatile,使得多线程之间的变量副本相互可见。
代码示例
public class VolatileVisibilityTest{
private static boolean initFlag = false;
public static void main(String[] args) throws InterruptedException{
new Thread(new Runnable(){
@Override
public void run(){
System.out.println("waiting data...");
while(!initFlag){
}
System.out.println("========success");
}
}).start();
Thread.sleep(millis: 2000);
new Thread(new Runnable(){
@Override
public void run(){
prepareData();
}
}).start();
}
public static void prepareData(){
System.out.println("preparing data...");
initFlag = true;
System.out.println("prepare data end...");
}
}
运行结果:
加入volatile
private static volatile boolean initFlag= false;
新运行结果:
JMM数据原子操作
read(读取):从主内存读取数据
load(载入):将主内存读取到的数据写入工作内存
use(使用):从工作内存读取数据来计算
assign(赋值):将计算好的值重新赋值到工作内存中
store(存储):将工作内存数据写入主内存
write(写入):将store过去的变量值赋值给主内存中的变量
lock(锁定):将主内存变量加锁,标识为线程独占状态
unlock(解锁):将主内存变量解锁,解锁后其他线程可以锁定该变量
代码的JMM原子操作示意图
解决JMM缓存不一致
- 总线加锁
cpu从主内存读取数据到高速缓存,会在总线对这个数据加锁,这样其它cpu没法去读或写这个数据,直到这个cpu使用完数据释放锁之后其它cpu才能读取该数据。
相当于线程串行,而不是并行,性能太低。 - MESI缓存一致性协议
多个cpu从主内存读取同一个数据到各自的高速缓存,当其中某个cpu修改了缓存里的数据,该数据会马上同步回主内存,其它cpu通过总线嗅探机制可以感知到数据的受化从而将自己缓存里的数据失效。然后,线程执行引擎发现数据失效后,重新读取主内存中的数据。
相当于每个线程多了个监听。
Volatile缓存可见性的实现原理
1.在store原子操作的前面加lock原子操作,改变完主内存的值后进行unlock操作;
2.在传送改变的值时,遇到总线,实现MESI协议,其他线程监听,然后失效原值。
并发编程三大特性
并发编程的三大特性:可见性、原子性、有序性
volatile保证可见性和有序性,但是不保证原子性。(放变量上)
synchronized保证原子性。(放方法上)
- 原子性:操作要么一起成功,要么一起失败。