volatile、atomic与中断

总结：volatile是强制CPU从内存而不是cache/寄存器读取数据，与多线程无关，任何多线程资源竞争都需要使用std::atomic解决。下面详细分析。

volatile有两个作用：

1、防止编译器O2级别优化。编译器判断你的变量在某一段代码内没有变化或者规律性变化，就会使用常数优化，如：

                 

         

for循环可能被优化成 a+= 1000，那么可能就不符合程序设计的预期。

2、变量在中断、其它线程（线程跑在多核上，这样cache内容就可能不一致）、并行设备的寄存器等场景下需要稳定访问。中断服务程序中修改某个变量，参考上面的代码，for循环被中断打断并在中断程序力里修改了变量a的值，编译器是不知道的。在c++11之前，volatile可以配合barrier内存屏障保障变量的有序访问，现在只需要使用atomic就行。

volatile变量是可以被const修饰的，比如只读的状态寄存器，它是volatile因为它可能被意想不到地改变。它是const因为程序不应该试图去修改它。另外volatile也可以修饰指针。