c中volatile关键字------嵌入式基础（结合大侠们的资料整合而成）

c中volatile关键字------嵌入式基础

前言：嵌入式里面我们大量的接触和操作硬件和底层，而操作最多的莫过于寄存器了，寄存器里面的值不停的变化，从而引出今天的话题。

预热：编译器优化介绍

由于内存访问速度远不及CPU处理速度，为提高机器整体性能，在硬件上引入硬件高速缓存Cache，加速对内存的访问。另外在现代CPU中指令的执行并不一定严格按照顺序执行，没有相关性的指令可以乱序执行，以充分利用CPU的指令流水线，提高执行速度。以上是硬件级别的优化。再看软件一级的优化：一种是在编写代码时由程序员优化，另一种是由编译器进行优化。编译器优化常用的方法有：将内存变量缓存到寄存器；调整指令顺序充分利用CPU指令流水线，常见的是重新排序读写指令。

--------------------------------------------------------------------------------------------------

没有相关性的指令：下一条指令不依赖于上一条指令运算的结果，无论上一条指令运行结果是什么，都不影响下一条指令的运行，就是说两条指令相互独立，无论运行哪一条先都无影响

--------------------------------------------------------------------------------------------------

volatile总是与优化有关，编译器有一种技术叫做数据流分析，分析程序中的变量在哪里赋值、在哪里使用、在哪里失效，分析结果可以用于常量合并，常量传播等优化，进一步可以消除一些代码。但有时这些优化不是程序所需要的，这时可以用volatile关键字禁止做这些优化。

volatile的本意是“易变的” 因为访问寄存器要比访问内存单元快的多,所以编译器一般都会作减少存取内存的优化，但有可能会读脏数据(或者说是旧数据)。当要求使用volatile声明变量值的时候，系统总是重新从它所在的内存读取数据，即使它前面的指令刚刚从该处读取过数据。精确地说就是，遇到这个关键字声明的变量，编译器对访问该变量的代码就不再进行优化，从而可以提供对特殊地址的稳定访问；如果不使用valatile，则编译器将对所声明的语句进行优化。（简洁的说就是：volatile关键词影响编译器编译的结果，用volatile声明的变量表示该变量随时可能发生变化，与该变量有关的运算，不要进行编译优化，以免出错）

一个定义为volatile的变量是说这变量可能会被意想不到地改变，这样，编译器就不会去假设这个变量的值了。精确地说就是，优化器在用到这个变量时必须每次都小心地重新读取这个变量的值，而不是使用保存在寄存器里的备份。

来看几个例子：

1>

volatile int i = 2;

int j = i;

int k;

……

……

……//代码若干，其中i的值没有被重新赋值或修改

k = i;//这里是要分析的地方

volatile 告诉编译器i是随时可能发生变化的，每次使用它的时候必须从i的地址中读取，因而编译器生成的可执行码会重新从i的地址读取数据放在k中。
而优化做法是，由于编译器发现两次从i读数据的代码之间的代码没有对i进行过操作，它会自动把上次读的数据放在k中。而不是重新从i里面读。这样以来，如果i是一个寄存器变量或者表示一个端口数据就容易出错，所以说volatile可以保证对特殊地址的稳定访问，不会出错。

2>

int i;

i = 2;//这句指令会被编译器认为是废话，被优化时去掉，如果定义volatile int i;则不会被优化，也照样执行

i = 3;

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

例如:

static int i=0;

int main(void)

{

     ...

     while (1){

if (i) dosomething();

}

｝

/* Interrupt service routine. */

void ISR_2(void)

{

      i=1;

}

程序的本意是希望ISR_2中断产生时，在main函数中调用dosomething函数，但是，由于编译器判断在main函数里面没有修改过i，因此可能只执行一次对从i到某寄存器的读操作，然后每次if判断都只使用这个寄存器里面的“i副本”，导致dosomething永远也不会被调用。如果将变量加上volatile修饰，则编译器保证对此变量的读写操作都不会被优化（肯定执行）。

4>多任务(多线程)环境下各任务(线程)间共享的标志应该加volatile

5>存储器映射的硬件寄存器通常也要加voliate，因为每次对它的读写都可能有不同意义。

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

我将稍微深究一下 volatile的重要性。 

1). 一个参数既可以是const还可以是volatile吗？解释为什么。 

2). 一个指针可以是volatile 吗？解释为什么。 

3). 下面的函数有什么错误： 

      int square(volatile int *ptr) 

      { 

          return *ptr * *ptr; 

      } 

     下面是答案： 

     1). 是的。一个例子是只读的状态寄存器。它是volatile因为它可能被意想

不到地改变。它是const因为程序不应该试图去修改它。 

     2). 是的。尽管这并不很常见。一个例子是当一个中服务子程序修该一个指向一个buffer的指针时。 

     3). 这段代码的有个恶作剧。这段代码的目的是用来返指针*ptr指向值的

平方，但是，由于*ptr指向一个volatile型参数，编译器将产生类似下面的代

码： 

     int square(volatile int *ptr) 

     { 

          int a,b; 

          a = *ptr; 

          b = *ptr; 

          return a * b; 

      } 

     由于*ptr的值可能被意想不到地该变，因此a和b可能是不同的。结果，

这段代码可能返不是你所期望的平方值！正确的代码如下： 

      long square(volatile int *ptr) 

      { 

             int a; 

             a = *ptr; 

             return a * a; 

      }