在并发场景中常谈论的是原子性、有序性、可见性,而volatile可以解决可见性和有序性问题
- CPU和内存
cpu处理数据速度远远高于内存的读写速度,因此在cpu和内存之间增加了高速缓存
- L3缓存是多个cpu核心共享的,而每个核心都有自己的L1、L2缓存
- 当CPU操作数据的时候会将数据从主内存中读取到各自的高速缓存中
- 若多个核心操作的是同一个变量,将同一个变量读取到各自的高速缓存中,这就涉及到缓存一致性问题
- 缓存一致性
- 当同一个变量在cpu的某个核心中发生了更改并写入到主内存中,那其他核心的高速缓存中的该变量值就是脏数据,这就需要让其他核心重新从主内存中读取该变量的值,而不再使用自己高速缓存中的值
- 为了保证多个核心中高速缓存间的数据一致性,引入数据一致性协议(MESI、MOSI)
MESI协议中的MESI表示缓存行的四种状态(缓存行是cpu和缓存交互的数据单元) - 对于CPU读操作来说,若缓存是失效状态(MESI中的I),则当前核心要重新从内存中读取,不再使用当前核心的高速缓存中读取
- 对于CPU写数据的操作来说,若是当前核心上的缓存状态是共享状态(MESI中的S),它需要将其他核心上的共享缓存置为失效状态(MESI中的I),然后再做写操作
- 而该机制是通过lock指令来实现,在java层面就是使用volatile关键字
- volatile
- volatile关键字通过的底层的lock指令实现了MESI机制,也就实现了缓存一致性
- 使用volatile关键字修饰被多个线程共享的变量,在底层会使用lock指令来保证这个共享变量在某个线程或者说在某个cpu核心上被修改之后,通知其他核心的高速缓存,让该变量所在缓存行失效,其他核心在使用该变量时自然会重新从内存中读取最新的值
- 有序性
在使用DCL实现单例的时候,往往会用到volatile关键字
这里说的有序性,并不是多个线程之间的有序性,而是在单个线程内指令的排序问题