- 原理
为了提高处理器的执行速度,在处理器和内存之间增加了多级缓存来提升。但是由于引入了多级缓存,就存在缓存数据不一致问题;
但是,对于volatile
变量,当对volatile
变量进行写操作的时候,JVM会向处理器发送一条lock前缀的指令,将这个缓存中的变量回写到系统主存中;
但是就算写回到内存,如果其他处理器缓存的值还是旧的,再执行计算操作就会有问题,所以在多处理器下,为了保证各个处理器的缓存是一致的,就会实现缓存一致性协议
;
- 缓存一致性协议
每个处理器通过嗅探在总线上传播的数据来检查自己缓存的值是不是过期了,当处理器发现自己缓存行对应的内存地址被修改,就会将当前处理器的缓存行设置成无效状态,当处理器要对这个数据进行修改操作的时候,会强制重新从系统内存里把数据读到处理器缓存里;
- 可见性
所以,如果一个变量被volatile
所修饰的话,在每次数据变化之后,其值都会被强制刷入主存。而其他处理器的缓存由于遵守了缓存一致性协议,也会把这个变量的值从主存加载到自己的缓存中。这就保证了一个volatile
在并发编程中,其值在多个缓存中是可见的;
- 有序性
volatile可以禁止指令重排,这就保证了代码的程序会严格按照代码的先后顺序执行。这就保证了有序性。
- 不保证原子性
在以下两个场景中可以使用volatile
来代替synchronized
:
1、运算结果并不依赖变量的当前值,或者能够确保只有单一的线程会修改变量的值;
2、变量不需要与其他状态变量共同参与不变约束;(独立控制逻辑)
- 为什么有了
synchronized还要volatile呢
1. synchronized属于一种阻塞锁,而volatile只是jvm层面的一个内存屏障,不会阻塞,显然后者更轻量级;
2. synchronized加锁解锁必然损耗性能,而后者却并不会;
3. synchronized并不能禁止指令重排
和处理器优化,而在一些极端的情况下,我们是需要用volatile来弥补这一点的;
注意:volatile只适用于一写多读的情况,而在多写的情况下无能为力。