浅解volatile

恒者走天下

已于 2022-07-14 17:50:54 修改

阅读量754

点赞数 6

文章标签：开发语言 c++

于 2022-07-14 17:50:00 首次发布

本文链接：https://blog.csdn.net/weixin_52259848/article/details/125785174

版权

文章目录

什么是volatile
volatile的特性理解

什么是volatile

volatile是一个类型修饰符，用来提醒编译器它后面所定义的变量随时都有可能改变，因此编译后的程序每次需要存储或读取这个变量的时候，告诉编译器对该变量不做优化，都会直接从变量内存地址中读取数据，从而可以提供对特殊地址的稳定访问。总之一句话，编译器每次读取 volatile 定义的变量时，都从内存地址处重新取值。

这里就有点疑问了，难道编译器取变量的值不是从内存处取吗？
并不全是，编译器有时候会从寄存器处取变量的值，而不是每次都从内存中取。因为编译器认为变量并没有变化，所以认为寄存器里的值是最新的，另外，通常来说，访问寄存器比访问内存要快很多，编译器通常为了效率，可能会读取寄存器中的变量。但是，变量在内存中的值可能会被其它元素修改，比如：硬件或其它线程等。

volatile的特性理解

保证可见性

可见性：如果一个线程对共享变量值的修改，能够及时的被其他线程看到,叫做共享变量的可见性。
volatile 保证了不同线程对共享变量操作的可见性，也就是说一个线程修改了 volatile 修饰的变量，当修改后的变量写回主内存时，其他线程能立即看到最新值。
当一个变量被 volatile 修饰时，任何线程对它的写操作都会立即刷新到主内存中，并且会强制让缓存了该变量的线程中的数据清空，必须从主内存重新读取最新数据。

可见性的具体应用

int a = 0;
void * threadFun1(void *)
{
	a = 1;
}

void * threadFun2(void *)
{
	while (1)
	{
		if (a == 1)
		{
			//do something
		}
	}
}

此代码的运行结果是：线程函数threadFun2始终没有完成do something的任务，原因是获取到a的值始终是0，并没有刷新为由线程函数threadFun1修改的值1。
解决方法：

设置编译器不优化。
使用volatile关键字，强制每次从内存读取或刷新变量的值。
volatile int a = 0

这种现象就是共享变量的可见性问题，

禁止指令重排序

重排序：一般来说，处理器为了提高程序运行效率，可能会对输入代码进行优化，它不保证程序中各个语句的执行先后顺序同代码中的顺序一致，但是它会保证程序最终执行结果和代码顺序执行的结果是一致的。

还是直接上例子比较容易懂：

int a = 0;
// 线程 A
a = 1;           // 1
flag = true;     // 2

// 线程 B
if (flag) { // 3
  int i = a; // 4
}

单看上面的程序好像没有问题，最后 i 的值是 1。但是为了提高性能，编译器和处理器常常会在不改变数据依赖的情况下对指令做重排序。假设线程 A 在执行时被重排序成先执行代码 2，再执行代码 1；而线程 B 在线程 A 执行完代码 2 后，读取了 flag 变量。由于条件判断为真，线程 B 将读取变量 a。此时，变量 a 还根本没有被线程 A 写入，那么 i 最后的值是 0，导致执行结果不正确。那么如何程序执行结果正确呢？这里仍然可以使用 volatile 关键字。
这个例子中，使用 volatile 不仅保证了变量的内存可见性，还禁止了指令的重排序，即保证了 volatile 修饰的变量编译后的顺序与程序的执行顺序一样。那么使用 volatile 修饰 flag 变量后，在线程 A 中，保证了代码 1 的执行顺序一定在代码 2 之前。

不能保证原子性

直接上例子：
在这里插入图片描述
上图存在一种情况就是**，线程A、线程B如果几乎同时读取 i = 0 到自己的工作内存中。**
线程A执行 i++ 结果后将 i = 1 赋值给工作内存；但是这个时候还没来的将最新的结果刷新回主内存的时候，线程B就使用读取主内存的旧值 i = 0 ，然后执行use指令将 i = 0的值传递给线程B去进行操作了。
即使这个时候线程A立即将 i = 1刷入主内存，那也晚了；线程B已经使用旧值 i = 0进行操作了，像这种情况计算结果就不对了。
具体原因解释：
从最终汇编语言从面来看，volatile使得每次将i进行了修改之后，增加了一个内存屏障lock addl $0x0,(%rsp)保证修改的值必须刷新到主内存才能进行内存屏障后续的指令操作。但是内存屏障之前的指令并不是原子的
volatile方式的i++，总共是四个步骤：i++实际为load、Increment、store、Memory Barriers 四个操作。
**内存屏障是线程安全的,但是内存屏障之前的指令并不是.**在某一时刻线程1将i的值load取出来，放置到cpu缓存中，然后再将此值放置到寄存器A中，然后A中的值自增1（寄存器A中保存的是中间值，没有直接修改i，因此其他线程并不会获取到这个自增1的值）。如果在此时线程2也执行同样的操作，获取值i为10,自增1变为11，然后马上刷入主内存。此时由于线程2修改了i的值，实时的线程1中的i==10的值缓存失效，重新从主内存中读取，变为11。接下来线程1恢复。将自增过后的A寄存器值11赋值给cpu缓存i。这样就出现了线程安全问题。