volatitle深入解析

今天来介绍一下volatitle

volatile是什么

volatitle是一个确保共享变量能够被准确和一致地更新的关键字(保证可见性)，只能对变量使用

volatile是如何保证可见性的

在对有volatile修饰符修饰的共享变量进行写操作时，汇编代码回多一条lock前缀的指令。该指令有如下两个作用：

1. 将当前缓存行的数据回写到内存中
2. 使其他cpu里缓存了该内存地址的数据无效(缓存一致性机制)

下面通过内存模型图来继续分析

volatile是如何防止指令重排序的

首先先介绍几种内存屏障的类型

屏障类型	解释
LoadLoad Barriers	确保Load1数据的装载先于Load2及所有后续指令的装载
StoreStore Barriers	确保Store1数据对其他处理器的可见(刷新到内存)先于Store2及所有后续存储指令的存储
LoadStore Barriers	确保Load1数据装载先于Store2及所有后续的存储指令刷新到内存
StoreLoad Barriers	确保Store1数据对其他处理器的可见先于Load2及所有后续装载指令的装载

下面继续分析一下volatile是如何防止指令重排序的

1. 在每个volatile写操作的前面插入一个StoreStore屏障
2. 在每个volatile写操作的后面插入一个StoreLoad屏障
3. 在每个volatile读操作的后面插入一个LoadLoad屏障
4. 在每个volatile读操作的后面插入一个LoadStore屏障

今天的介绍到这里就结束了，欢迎大家踊跃提问

我的眼中只有那浩瀚的星辰，即便那遥不可及