volatile
什么叫可见性:
在多线程情况下,读和写在不同的线程中时,可能会出现读线程不能及时的读取到其他线程写入的最新的值
volatile关键字的作用:
- 可见性:保证变量的读写操作都必须从高速缓存或主内存中读取,以读取变量的最新值
- 有序性:防止cpu的重排序优化,导致代码执行顺序混乱
(volatile不能保证原子性)
导致可见性的原因:
1.cpu高速缓冲区
cpu的内部执行,每个线程都有自己私有的工作空间,线程会把共享变量的值复制一份到自己的工作空间,修改之后再同步到高速缓存区和主内存(此时会有一个时间差)
2.cpu重排序优化
编译器和处理器为了优化程序性能而对指令序列进行重新排序(代码没有按顺序执行)
cpu高速缓存区:
java内存模型:
缓存一致性协议MESI(Modified Exclusive Shared Or Invalid):
各处理器之间遵循缓存一致性协议来保证高速缓冲和主内存的数据一致性(不同系统使用的协议可能会不一样)。
- Modified:当数据在修改后在此修改线程中是m状态,其他线程的该共享变量将s修改为i状态
- Exclusive:在共享变量只在当前线程中缓存时
- Shared:当多个线程中都缓存了该变量且没有被修改时
- Invalid:当前线程中缓存的变量被其他线程修改成功后,此线程中的共享变量变为失效状态,需要去主内存中重新获取
当线程修改共享变量时会把新修改的数据写到storebuffer中再进行后续的操作,等到合适的时间点再写到主内存中(此时会导致可见性)
happen-before:
- 读后写
- 写后写
- 读后写
重排序遵循happen-before原则,这三种情况不会出现重排序(只针对单个处理器),只有单个处理器的情况下才会遵循happen-before原则(所以多线程情况下会导致有序性)
valatile关键字的作用:
volatile的底层是用内存屏障来实现的,有了内存屏障之后cpu不会再对该数据进行重排序优化,在当前线程对共享数据进行修改之后会强制将storebuffer中最新的值刷新进主内存再进行其他的操作。
及时刷新处理器缓存和冲刷处理器缓存
注意:当volatile修饰数组时,只能保证数组引用对象的可见性,并不能保证数组里面对应值的可见性。