前世今生
不同的编译器优化选项将对源代码进行不同程度的优化,一般来说,优化级别越高,代码执行顺序和变量的存储发生的变化就越大,主要的优化措施包括:指令流水线,分之预测,乱序执行,缓存数据等等 volatile总是与优化有关,编译器有一种技术叫做数据流分析,分析程序中的变量在哪里赋值、在哪里使用、在哪里失效,分析结果可以用于常量合并,常量传播等优化,进一步可以消除一些代码。但有时这些优化不是程序所需要的,这时可以用volatile关键字禁止做这些优化 volatile的重要性对于搞嵌入式的程序员来说是不言而喻的,对于volatile的了解程度常常被不少公司在招聘嵌入式编程人员面试的时候作为衡量一个应聘者是否合格的参考标准之一,为什么volatile如此的重要呢?这是因为嵌入式的编程人员要经常同中断、底层硬件等打交道,而这些都用到volatile,所以说嵌入式程序员必须要掌握好volatile的使用
定义
volatile的本意是“易变的”,因为访问寄存器要比访问内存单元快的多,所以编译器一般都会作减少存取内存的优化,但有可能会读脏数据 当要求使用volatile声明变量值的时候,系统总是重新从它所在的内存读取数据,即使它前面的指令刚刚从该处读取过数据。精确地说就是,遇到这个关键字声明的变量,编译器对访问该变量的代码就不再进行优化,从而可以提供对特殊地址的稳定访问;如果不使用valatile,则编译器将对所声明的语句进行优化 简洁的说就是:volatile关键词影响编译器编译的结果,用volatile声明的变量表示该变量随时可能发生变化,与该变量有关的运算,不要进行编译优化,以免出错
告诉compiler不能做任何优化 用volatile定义的变量会在程序外被改变,每次都必须从内存中读取,而不能重复使用放在cache或寄存器中的备份
应用场景
中断服务程序中修改的供其它程序检测的变量需要加volatile 多任务环境下各任务间共享的标志应该加volatile 多个线程共享的数据要用volatile 存储器映射的硬件寄存器通常也要加voliate,因为每次对它的读写都可能有不同意义
volatile与指针
和const修饰词类似,const 有常量指针和指针常量的说法,volatile 也有相应的概念:
const char * cpch;
volatile char * vpch;
char * const pchc;
char * volatile pchv;
可以把一个非volatile int赋给volatile int,但是不能把非volatile对象赋给一个volatile对象 除了基本类型外,对用户定义类型也可以用volatile类型进行修饰
1个栗子
编译器的优化
在本次线程内, 当读取一个变量时,为提高存取速度,编译器优化时有时会先把变量读取到一个寄存器中;以后,再取变量值时,就直接从寄存器中取值;当变量值在本线程里改变时,会同时把变量的新值copy到该寄存器中,以便保持一致 当变量在因别的线程等而改变了值,该寄存器的值不会相应改变,从而造成应用程序读取的值和实际的变量值不一致 当该寄存器在因别的线程等而改变了值,原变量的值不会改变,从而造成应用程序读取的值和实际的变量值不一致 volatile应该解释为“直接存取原始内存地址”比较合适,“易变的”这种解释简直有点误导人
//下面的函数有什么错误:
int square(volatile int *ptr )
{
return *ptr * *ptr ;
}
//该程序的目的是用来返指针*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;
}
频繁地使用volatile很可能会增加代码尺寸和降低性能,因此要合理的使用volatile。