volatile 是一个类型修饰符（type specifier）。它是被设计用来修饰被不同线程访问和修改的变量。如果没有 volatile，基本上会导致这样的结果：要么无法编写多线程程序，要么编译器失去大量优化的机会。

一、原理作用

Volatile 意思是 “易变的”，应该解释为“直接存取原始内存地址” 比较合适。“易变”是因为外在因素引起的，像多线程，中断等。

C 语言书籍这样定义 volatile 关键字：
volatile 提醒编译器它后面所定义的变量随时都有可能改变，因此编译后的程序每次需要存储或读取这个变量的时候，告诉编译器对该变量不做优化，都会直接从变量内存地址中读取数据，从而可以提供对特殊地址的稳定访问。

如果没有 volatile 关键字，则编译器可能优化读取和存储，可能暂时使用寄存器中的值，如果这个变量由别的程序更新了的话，将出现不一致的现象。（简单说就是：volatile 关键词影响编译器编译的结果，用 volatile 声明的变量表示该变量随时可能发生变化，与该变量有关的运算，不要进行编译优化，以免出错）

二、一般用处

一般说来，volatile 用在如下的几个地方：

1、并行设备的硬件寄存器（如：状态寄存器）

存储器映射的硬件寄存器通常也要加 voliate，因为每次对它的读写都可能有不同意义。
例如：假设要对一个设备进行初始化，此设备的某一个寄存器为 0xff800000。

  1. int *output = (unsigned int *)0xff800000;        // 定义一个 IO 端口；（显示转成指针类型）
  2. int init(void)
  3. {
  4.     int i;
  5.     for(i=0;i< 10;i++){
  6.         *output = i;
  7.     }
  8. }

经过编译器优化后，编译器认为前面循环半天都是废话，对最后的结果毫无影响，因为最终只是将 output 这个指针赋值为 9，所以编译器最后给你编译编译的代码结果相当于：

  1. int init(void)
  2. {
  3.     *output =9;
  4. }

如果你对此外部设备进行初始化的过程是必须是像上面代码一样顺序的对其赋值，显然优化过程并不能达到目的。反之如果你不是对此端口反复写操作，而是反复读操作，其结果是一样的，编译器在优化后，也许你的代码对此地址的读操作只做了一次。然而从代码角度看是没有任何问题的。这时候就该使用 volatile 通知编译器这个变量是一个不稳定的，在遇到此变量时候不要优化。

2、中断服务程序中修改的供其它程序检测的变量，需要加 volatile；

当变量在触发某中断程序中修改，而编译器判断主函数里面没有修改该变量，因此可能只执行一次从内存到某寄存器的读操作，而后每次只会从该寄存器中读取变量副本，使得中断程序的操作被短路。

3、多任务环境下各任务间共享的标志，应该加 volatile；

在本次线程内, 当读取一个变量时，编译器优化时有时会先把变量读取到CPU高速寄存器中；以后，再取变量值时，就直接从寄存器中取值；当内存变量或寄存器变量在因别的线程等而改变了值，该寄存器的值不会相应改变，从而造成应用程序读取的值和实际的变量值不一致 。

4、存储器映射的硬件寄存器通常也要加 volatile 说明

因为每次对它的读写都可能由不同意义；
假设要对一个设备进行初始化，此设备的某一个寄存器为 0xff800000。for(i=0;i< 10;i++) *output = i; 前面循环半天都是废话，对最后的结果毫无影响，因为最终只是将 output 这个指针赋值为 9，省略了对该硬件 IO 端口反复读的操作。

嵌入式系统经常同硬件、中断、DMA、RTOS 等等打交道，所有这些都要求使用 volatile 变量。不懂得 volatile 内容将会带来灾难。

三、volatile 问题和总结

volatile 常见的几个面试题：

1、一个参数既可以是 const 还可以是 volatile 吗？

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

2、一个指针可以是 volatile 吗？

可以，当一个中服务子程序修改一个指向 buffer 的指针时。

3、下面的函数有什么错误？

  1. int square(volatile int *ptr)
  2. {
  3.     return *ptr * *ptr;
  4. }

该程序的目的是用来返指针ptr 指向值的平方，但是，由于ptr 指向一个 volatile 型参数，编译器将产生类似下面的代码：

  1. int square(volatile int*ptr)
  2. {
  3.     int a,b;
  4.     a = *ptr;
  5.     b = *ptr;
  6.     return a * b;
  7. }

由于*ptr 的值可能被意想不到地该变，因此 a 和 b 可能是不同的。
结果，这段代码可能返不是你所期望的平方值！

正确的代码如下：

  1. long square(volatile int*ptr)
  2. {
  3.     int a;
  4.     a = *ptr;
  5.     return a * a;
  6. }

注意：频繁地使用 volatile 很可能会增加代码尺寸和降低性能, 因此要合理的使用 volatile。

总结：

volatile 关键字是一种类型修饰符，用它声明的类型变量表示可以被某些编译器未知的因素更改。volatile 提醒编译器它后面所定义的变量随时都有可能改变，因此编译后的程序每次需要存储或读取这个变量的时候，都会直接从变量地址中读取数据。如 果没有 volatile 关键字，则编译器可能优化读取和存储，可能暂时使用寄存器中的值，如果这个变量由别的程序更新了的话，将出现不一致的现象。所以遇到这个关键字声明的变量，编译器对访问该变量的代码就不再进行优化，从而可以提供对特殊地址的稳定访问。


参考资料