共有四种情况:
就下面这三种情况,还有利用for循环去延时的程序防止被优化(编译器认为for循环没用而优化掉),没有其它了,如果是这几种,那就干脆直接用volatile修饰:
一个是防止变量在其它地方被改变,而cash里没有改变,所以要求每次都要读取内存。
一个是防止编译器优化,编译器感觉你这个变量不会有变化,但是实际在其它线程或硬件会改变它,所以要每次从内存读,你编译器就不要优化。
所以记住两句话:volatile大体两个作用:1防止编译器优化,编译器判断你的变量在某一段内没有变化。2.你别的地方,如中断,其它线程,并行的硬件把变量改了,比如从0加到1,但是我不知道,我读出来的还是0,为什么,因为我从cache里读的。这两个区别一个是编译阶段一个是执行阶段(这句话总结的不错)。其实记住两个例子最好,一个for延时程序,一个是我曾经遇到的bug,中断把一个全局变量改了,但是中断执行后我去读这个变量发现没有该。
1) 并行设备的硬件寄存器(如:状态寄存器)
2) 一个中断服务子程序中会访问到的非自动变量(Non-automatic variables)
3) 多线程应用中被几个任务共享的变量
4)防止被编译器优化,入for循环延时程序。
包括for循环和下面的:
用volatile关键字防止变量被编译器优化
这个关键字在嵌入式系统中,是一个非常重要的一个使用。尽管在一般的Application中,可能很多人都不需要使用这个。但是在单片机中,如果不熟悉这个关键字,很有可能产生想像不到的意外。
那么,我就来谈谈Volatile的意义--
volatile在ANSI C(C89)以后的C标准规格和const一起被包含在内。在标准C中,这些关键字是必定存在的。
关于volatile的意义,根据标准C的定义、
volatile的目的是,避免进行默认的优化处理.比如说对于编译器优化的功能,如果从编译器看来,有些多余的代码的话,编译器就会启动优化程序,并删除一些代码,但是这在嵌入式系统中很有可能是关键性的处理,必须不能保证被编译器删掉,所以提供了Volitile来声明,告诉编译器无论如何都不要删掉我。
举个例子--
■比如说下面条件的一段代码
extern int event_flag
void poll_event()
{
while (event_flag == 0) {
/* 不操作event_flag */
....
}
....
}
我们不再循环中改变这里的event_flag的值,这样的话,event_flag 看起来就像是多余的,因此单片机编译器可能把此程序看为下段程序
void poll_event()
{
if (event_flag == 0) {
while (1) {
/* 不对event_flag操作 */
....
}
}
....
}
对于一般的编译器,一般都会把程序优化成上述程序。 优化while循环使其不必每次判断条件
这样的优化确实可以提高代码速度,比如while循环中不再需要对条件的判断,所以很快,但是这是正确的吗?
对于单线程的程序,这是没有问题的,因为event_flag 就永远不会改变,但是对于多线程程序,RTOS的多任务处理的话,event_flag 的值可能被其他线程改变,这样问题就来了,因为被优化的代码并不具备对用event_flag 变化的能力。因此导致错误的意想不到的结果,如果此代码在ECU上执行的话, 那我们的小命可就有可能没了 。。。。
为了避免这种情况,我们使用volatile关键字来防止程序被编译器优化。具体的使用方法,我们用下面的程序来说明’
extern volatile int event_flag
这样声明event_flag全局变量的话,就不用担心event_flag 被优化掉,程序将按照设计来运行。
■还有一个例子
对于条件分歧以外,还有一下的例子
extern int* p_regster1;
extern int* p_regster2;
void set_regester2(int val)
{
/*在单片机中,必须进行的设定*/
*p_register1 = 1;
*p_register2 = 0;
*p_register2 = val;
*p_register1 = 0;
}
您可能看到p_register1 被赋值两次,还有p_register2也是,编译器认为,你怎么这么笨,定义两次,于是就把成程序优化为下面
void set_regester2(int val)
{
*p_register2 = val;
*p_register1 = 0;
}
这样的话,我们所规定的程序没有办法设置,可能导致一些想不到的问题。
为了回避这个问题,我们必须用Volitile来避免这个问题
extern volitile int* p_regster1;
extern volitile int* p_regster2;
现在单片机的编译器越来越先进,在很多地方,我们不再需要直接写汇编代码,但是在如果对编译器的优化程序没有深刻的理解,像上面的问题,就很危险,因为嵌入式工作在无人的环境中,因此对于编译器的理解,还有要需要一定程序的学习。
最后希望您能通过本文了解Volitile的基本使用。 如果有什么错误的地方,恳请您的指出。
=====
先来个总的介绍:
volatile 影响编译器编译的结果,指出,volatile 变量是随时可能发生变化的,与volatile变量有关的运算,不要进行编译优化,以免出错,(VC++ 在产生release版可执行码时会进行编译优化,加volatile关键字的变量有关的运算,将不进行编译优化。)。
例如:
volatile int i=10;
int j = i;
...
int k = i;
volatile 告诉编译器i是随时可能发生变化的,每次使用它的时候必须从i的地址中读取,因而编译器生成的可执行码会重新从i的地址读取数据放在k中。
而优化做法是,由于编译器发现两次从i读数据的代码之间的代码没有对i进行过操作,它会自动把上次读的数据放在k中。而不是重新从i里面读。这样以来,如果i是一个寄存器变量或者表示一个端口数据就容易出错,所以说volatile可以保证对特殊地址的稳定访问,不会出错。
/**********************
一个定义为volatile的变量是说这变量可能会被意想不到地改变,这样,编译器就不会去假设这个变量的值了。精确地说就是,优化器在用到这个变量时必须每次都小心地重新读取这个变量的值,而不是使用保存在寄存器里的备份。下面是volatile变量的几个例子:
1) 并行设备的硬件寄存器(如:状态寄存器)
2) 一个中断服务子程序中会访问到的非自动变量(Non-automatic variables)
3) 多线程应用中被几个任务共享的变量
回答不出这个问题的人是不会被雇佣的。我认为这是区分C程序员和嵌入式系统程序员的最基本的问题。搞嵌入式的家伙们经常同硬件、中断、RTOS等等打交道,所有这些都要求用到volatile变量。不懂得volatile的内容将会带来灾难。假设被面试者正确地回答了这是问题(嗯,怀疑是否会是这样),我将稍微深究一下,看一下这家伙是不是直正懂得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;
}
位操作(Bit manipulation)
======
中断和不同线程里的情况是这样:
如果中断和中断外用的用一个变量a,就算名字都是a,而不是中断里b=a;中断外c=a;(不过都是访问a的值)
如果a在中断里被改变,比如被加1,中断退出后再访问这个值,那访问的很可能是a备份在寄存器里的值,而不是直接去访问a在内存里的值。
总的来说三种情况,都是在访问a值的时候会出问题。
记住这句,就是在访问a的时候(把a赋值给其他变量或直接使用a)是访问a保存在寄存器里的值,还是a在内存里的值。用volatile修饰就是访问a在内存的值。如果a有可能被中断或不同线程,或硬件改动,那就要用volatile修饰。 如果a只是同一线程的一个普通变量则没必要用volatile修饰。
就下面这三种情况,还有利用for循环去延时的程序,没有其它了,如果是这几种,那就干脆直接用volatile修饰:
1) 并行设备的硬件寄存器(如:状态寄存器)
2) 一个中断服务子程序中会访问到的非自动变量(Non-automatic variables)
3) 多线程应用中被几个任务共享的变量
======
for循环为什么也要用volatile修饰变量i;
for (i = 0 ;i < 1000 ; i++ )
{
a++;
}
前面说到O2态猛了,猛在什么地方呢?猜都能猜的出来,首先test函数它不敢省略掉。但for循环却可以被优化改成 a+= 1000;。那么我们在O2是,能否不让这个 for 循环被优化掉呢?哈,前面不是刚说过volatile吗?你在 int a;前面加上volatile关键词,告诉编译器,这个a你可别乱动,指不定别的线程会随时调用读取或修改,所以你老实的给我for循环。
所以实际是利用了volatile告诉编译器,a在a++的过程中可能会被改变,所以,让编译器老老实实的去一个个的加。不让编译器去优化。并不是加了a,a就要每次去读内存的值,目的不是这个,因为a确实没有在其它线程或异步或被硬件改动。这里只是防止编译器优化,而a每次去读内存其实时间还多了。
=====