1.概念
volatile总是被人们称作轻量级的synchronized,但是这是不准确的,它实现了synchronized的可见性,但是没有了synchronized的原子性。
这个东西应该要从内存说起,离CPU最近的是一级缓存L1,集成在CPU内部,速度快,但是容量小,然后是二级缓存、三级缓存,机器内存中最大的一块应该是主存,但是离CPU最远,最慢。
CPU处理器每次处理可能要和主存做多次交换,如果在L1或L2 L3命中的话,会对处理效率有很大提升。但是因为这几个地方存放的数据,都可以算是副本,所以,是否同步和更新及时,就成了多线程处理时一个值得重视的问题。线程可见性,指的应该是某一共享数据最新的值或状态,是对所有线程有效的。
volatile的存在,会强制将修改的新值刷入主存;强制旧值所在的高速cache中的缓存行失效,并从主存拉取新值。保证高速缓存和主存状态一致。确保可见性。 (又见缓存行,记得之前看过的并发框架disruptor,就运用了缓存行填充的办法,让一个元素独占缓存行,消除缓存预加载带来的缓存行失效的效率问题)
volatile具备两层语义:
1).保证了被修饰变量的可见性。
2).禁止指令重排
特别注意,volatile是不保证原子性的
2.使用场景
1).用状态位控制程序段的运行
在循环外的线程去修改状态量的值,从而控制doWork代码块,是不是就可以用在AOP层做简单的接口限制降级呢
2).安全发布
作为属性类,因为是volatile的,所以,在类还没有完成初始化时,是无法引用到的,一旦引用,将是完全发布后的bean,避免了不安全的发布
3).独立观察
还比如有传感器来感知外界变化,某一独立线程去修改变量,当此变量为volatile型,则程序其他部分将自动的拿到变量的最新值,达到监控和自动更新的目的
4).线程安全的bean
如果bean中的属性都是volatile的话,可以保证bean是线程安全的。