volatile关键字初探

最新推荐文章于 2023-02-07 16:10:36 发布

雪飞_海

最新推荐文章于 2023-02-07 16:10:36 发布

阅读量130

点赞数

分类专栏：设计开发

本文链接：https://blog.csdn.net/sea_snow/article/details/104689722

版权

7 篇文章 0 订阅

订阅专栏

volatile关键字试图阻止过度优化，volatile基本可以做到两件事情：

1. 阻止编译器为了提高速度将一个变量缓存到寄存器内而不写回。

2. 阻止编译器调整操作 volatile变量的指令顺序。

我们先看2个例子，也是有关多线程安全的

例1：

x = 0

Thread1              Thread2

lock();              lock();

x++;                 x++;

unlock();            unlock();

表面上看，因为有lock的保护，x的最终结果应该是2，这也是大部分执行的场景下的结果。但是，深入挖掘这个过程，其实并没有那么理想。编译器为了提高速度，把x放到某个寄存器里，执行完x++后，有时候暂时不更新寄存器。导致结果可能为1.

例2：

x = y = 0;

Thread1        Thread2

x = 1;         y = 1;

r1 = y;        r2 = x

表面上看，r1 和 r2至少应该有一个为1，实际上r1 = r2 = 0的情况，会有发生。在执行程序的时候，由于cpu动态调度，为了提高效率有可能会交换指令顺序。同样，编译器在优化时候，也可能为了效率而交换毫不相干的两条相邻指令。

导致执行时:

x = y = 0;

Thread1       Thread2

r1 = y;       y = 1;

x = 1;        r2 = x

注：volatile 可以完美解决例1的问题，但是volatile不能完全解决例2问题，只能阻止编译器调整顺序，无法阻止cpu动态调度换序。

关注