在多线程并发编程中,volatile 是轻量级synchronized,被关键字volatile修饰的域变量被称为共享变量,他在多处理器开发中保证了共享变量的“可见的”,即一个线程修改一个共享变量时候,另外一个线程能读到这个修改的值。因此在线程同步中具有以下几个特性:
1)为域变量提供一个免锁机制
2)该域能够被其他线程更新
3)每次使用需要从内存中重新获取
4)不是原子操作,不能被final 修饰
volatile 实现原理:
CPU相关术语定义:
1)内存屏障:一组处理器指令,用于实现对内存操作(装载/存储)顺序限制
2)缓冲行:CPU高速缓存的最小单位
3)原子操作:不可中断的一个或一系列操作
4)缓冲行填充:处理器将内存中可缓存的数据读取到适当的缓存
5)缓存命中:处理器从缓存中读取数据而不死从内存中读取
6)写命中:处理器将操作数写回到对应内存地址的缓存行中而不是写入到内存
volatile保证变量可见性:通过JIT编译器生成的汇编指令中发现有volatile关键字修饰的变量在写操作时候多出一行汇编代码以lock 为前缀,该类型指令在多核处理器下会引发两件事情:
1)将当前处理器缓存行上的数据写回到系统内存
2)这个写会内存操作使用MESI(修改,独占,共享,无效)使其他CPU缓存改内存地址的数据为无效(处理器通过嗅探总线上传播的数据来检查自己缓存的内存值是不是过期。【2018/3/24】