今天来介绍一下volatitle
volatile是什么
volatitle是一个确保共享变量能够被准确和一致地更新的关键字(保证可见性)，只能对变量使用
volatile是如何保证可见性的
在对有volatile修饰符修饰的共享变量进行写操作时，汇编代码回多一条lock前缀的指令。该指令有如下两个作用：
- 将当前缓存行的数据回写到内存中
- 使其他cpu里缓存了该内存地址的数据无效(缓存一致性机制)
下面通过内存模型图来继续分析
内存模型
volatile是如何防止指令重排序的
首先先介绍几种内存屏障的类型
| 屏障类型 | 解释 |
|---|---|
| LoadLoad Barriers | 确保Load1数据的装载先于Load2及所有后续指令的装载 |
| StoreStore Barriers | 确保Store1数据对其他处理器的可见(刷新到内存)先于Store2及所有后续存储指令的存储 |
| LoadStore Barriers | 确保Load1数据装载先于Store2及所有后续的存储指令刷新到内存 |
| StoreLoad Barriers | 确保Store1数据对其他处理器的可见先于Load2及所有后续装载指令的装载 |
下面继续分析一下volatile是如何防止指令重排序的
- 在每个volatile写操作的前面插入一个StoreStore屏障
- 在每个volatile写操作的后面插入一个StoreLoad屏障
- 在每个volatile读操作的后面插入一个LoadLoad屏障
- 在每个volatile读操作的后面插入一个LoadStore屏障
1.jpg
2.jpg
今天的介绍到这里就结束了，欢迎大家踊跃提问
我的眼中只有那浩瀚的星辰，即便那遥不可及
网友评论