C语言中volatile关键字用法

1.1. 编译器的优化介绍

介绍Volatile关键字之前我们先了解一下编译器的优化。

高速缓存：处理器读取程序里面的数据时，把一些访问频率比较高的数据，临时存储到寄存器(register)中，当需要取数据时，就会从 register 中取，而不是直接去从 memory(内存)中取，节约了时间，像这样的过程，叫做高速缓存。

• 硬件级别的优化：内存访问速度远不及CPU处理速度，为提高机器整体性能，在硬件上引入硬件高速缓存(Cache)，加速对内存的访问。另外在现代CPU中指令的执行并不一定严格按照顺序执行，没有相关性的指令可以乱序执行，以充分利用CPU的指令流水线(Instruction pipeline)，提高执行速度。

• 软件级别的优化：一种是在编写代码时由程序员优化，另一种是由编译器进行优化。编译器优化常用的方法有：将内存变量缓存到寄存器；调整指令顺序充分利用CPU指令流水线，常见的是重新排序读写指令。对常规内存进行优化的时候，这些优化是透明的，而且效率很好。

• 由编译器优化或者硬件重新排序引起的问题的解决办法是在从硬件（或者其他处理器）的角度看必须以特定顺序执行的操作之间设置内存屏障（memory barrier），linux 提供了一个宏解决编译器的执行顺序问题。

  void Barrier(void) 这个函数通知编译器插入一个内存屏障，但对硬件无效，编译后的代码会把当前CPU寄存器中的所有修改过的数值存入内存，需要这些数据的时候再重新从内存中读出。

1.2. 概念

volatile 关键字(keywords)是一种类型修饰符(Type Qualifiers)，volatile 的英文翻译过来是 “易变的” 。用volatile 声明类型变量的时候，编译器对访问该变量的代码就不再进行优化，从而可以提供对特殊地址的稳定访问；如果不使用 volatile 进行声明，则编译器将对所声明的语句进行优化。即 volatile 关键字影响编译器编译的结果，用 volatile 声明的变量表示该变量随时可能发生变化，与该变量有关的运算，不要进行编译优化，以免出错。

1.3. 为什么使用 volatile 关键字修饰的语句会影响编译器的优化？