细谈volatile限定符

 

细谈volatile限定符

            摘自http://blog.csdn.net/piaojun_pj/article/details/5977218

 

volatile的本意是“易变的”，由于访问寄存器的速度要快过RAM,所以编译器一般都会作减少存取外部RAM的优化。比如：

　　

[cpp:showcolumns] view plain copy print ?

·········10········20········30········40········50········60········70········80········90········100·······110·······120·······130·······140·······150

1. static int i=0;   
2.   
3. int main(void)   
4. {   
5. 　　...  
6. 　　while (1)   
7. 　　{   
8.        　if (i) dosomething();   
9. 　　}   
10. }   
11.   
12. /* Interrupt service routine. */   
13. void ISR_2(void)   
14. {   
15.   　i=1;   
16. }   

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修饰,则编译器保证对此变量的读写操作都不会被优化（肯定执行）。此例中i也应该如此说明。

 

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

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

　　2、多任务环境下各任务间共享的标志应该加volatile;

　　3、存储器映射的硬件寄存器通常也要加volatile说明,因为每次对它的读写都可能由不同意义;

　　另外,以上这几种情况经常还要同时考虑数据的完整性（相互关联的几个标志读了一半被打断了重写）,在1中可以通过关中断来实现,2中可以禁止任务调度,3中则只能依靠硬件的良好设计了。

 

      注意：在vc6中，一般调试模式没有进行代码优化，所以这个关键字的作用看不出来。下面通过插入汇编代码，测试有无volatile关键字，对程序最终代码的影响：

　　首先，用classwizard建一个win32 console工程，插入一个voltest.cpp文件，输入下面的代码：

[cpp:showcolumns] view plain copy print ?

·········10········20········30········40········50········60········70········80········90········100·······110·······120·······130·······140·······150

1. #include <stdio.h>    
2.   
3. void main()   
4. {   
5. 　　int i=10;   
6. 　　int a = i;   
7. 　　printf("i= %d",a);   
8.   
9. 　　/*下面汇编语句的作用就是改变内存中i的值，但是又不让编译器知道*/   
10. 　　__asm   
11.    {   
12. 　　    mov dword ptr [ebp-4], 20h   
13. 　　}   
14. 　　int b = i;   
15. 　　printf("i= %d",b);   
16. }   

#include <stdio.h> void main() { 　　int i=10; 　　int a = i; 　　printf("i= %d",a); 　　/*下面汇编语句的作用就是改变内存中i的值，但是又不让编译器知道*/ 　　__asm { 　　 mov dword ptr [ebp-4], 20h 　　} 　　int b = i; 　　printf("i= %d",b); } 　　

 

在调试版本模式运行程序，输出结果如下：

　　i = 10

　　i = 32

在release版本模式运行程序，输出结果如下：

　　i = 10

　　i = 10

　　

     输出的结果明显表明，release模式下，编译器对代码进行了优化，第二次没有输出正确的i值。下面，我们把 i的声明加上volatile关键字，看看有什么变化：

[cpp:showcolumns] view plain copy print ?

·········10········20········30········40········50········60········70········80········90········100·······110·······120·······130·······140·······150

1. #include <stdio.h>    
2.   
3. void main()   
4. {   
5.     volatile int i=10;   
6.     int a = i;   
7. 　　 printf("i= %d",a);   
8.   
9.     /*改变内存中i的值，但又不让编译器知道*/  
10. 　　 __asm   
11.     {   
12.      　 mov dword ptr [ebp-4], 20h　  
13. 　   }   
14.   　int b = i;   
15. 　　printf("i= %d",b);   
16. }   

#include <stdio.h> void main() { volatile int i=10; int a = i; 　　 printf("i= %d",a); /*改变内存中i的值，但又不让编译器知道*/ 　　 __asm { 　 mov dword ptr [ebp-4], 20h　 　 } 　int b = i; 　　printf("i= %d",b); } 　　

 

分别在调试版本和release版本运行程序，输出都是：

　　i = 10

　　i = 32

这说明volatile这个关键字发挥了它的作用！