Java内存模型
要了解volatile的工作原理,需要先了解到硬件层面的Java内存模型,如下:
1.read(读取):当前线程从主内存中读取到变量的值
2.load(载入):把读取到的变量值加载到当前工作内存上
3.use(使用):从工作内存中对读取的数据进行计算
4.assin(赋值):计算后的值重新赋值到工作内存
5.store(存储):将工作内存数据写入主内存中
6.write(写入):从主内存中把值传给主内存的变量
7.lock(锁定):作用于主内存的变量,把一个变量变成单个线程独占
8.unlock(解锁):把主内存的变量从锁的状态释放,其它线程可以抢占
volatile的工作原理
利用总线的MESI缓存一致性协议,当另外一个线程重新use(使用)和assign(赋值)到工作内存后,会通过store(存储)和write(写入)到主内存,当store(存储)一开始的时候会经过总线,这个时候就会唤醒总线的嗅探机制发现当前值已经要发生变化了,那么就会通知其它引用到当前变量的线程,要把这个变量的工作内存清空,然后重新读取主内存的值
volatile可见性底层原理
通过汇编指令在变量赋值操作前加上lock指令,当cpu检测到lock指令后会立即把assign(赋值)后的变量通过store(存储) and write(写入)会主内存,这个过程是会加锁控制的,保证顺序执行赋值操作,那么当store(存储)经过总线就会触发MESI缓存一致性协议和总线的嗅探机制,从而通知其它已引入的线程要更新自己的工作内存