在CPU处理过程中,需要将内存中的数据载入到寄存器中才能计算,所以可能涉及到一个问题,如果内存中的数据被更改了,但是寄存器还是使用的旧数据,这样就会造成数据的不同步。
一、volatile关键字的作用
使用volatile关键字定义变量,就是告诉编译系统这个变量可能会被意想不到的被改变。编译器就不会对变量进行代码优化。编译器在编译代码时,优化器每次遇到这个变量,都会从内存中重新读取内容,而不会使用保存在寄存器里的备份内容。
二、使用volatile的场景
- 在中断服务程序中修改的,供其它程序检测的变量(非auto),通常需要定义为volatile
中断服务可能会频繁进入,当变量被加载到寄存器中,马上就要被使用时,这时又来了一个中断修改了内存中的变量,如果不加volatile,被使用的变量就是寄存器中保存的也即修改之前的。
- 在多任务环境下,各任务间共享的标志,通常也需要定义为volatile
这个情形同中断,可能会使数据不同步。
- 存储器映射的硬件寄存器通常也需要定义为volatile,因为每次对它的读写都可能有不同意义
这个情形也类似两种,存储器的数据被转移到了硬件寄存器,这时存储器的数据被更改了,但是程序还可能使用的是硬件寄存器中的数据,这也是数据不同步。
在stm32中,内存被映射到各种外设上,外设有自己的寄存器组,比如GPIO寄存器组
typedef struct
{__IO uint32_t CRL;__IO uint32_t CRH;__IO uint32_t IDR;__IO uint32_t ODR;__IO uint32_t BSRR;__IO uint32_t BRR;__IO uint32_t LCKR;
} GPIO_TypeDef;#define __IO volatile
可以看到寄存器都使用了__IO进行修饰,而__IO就是根据volatile定义的一个宏。
三、案例
1、逻辑分析仪
在使用keil 5分析变量的波形时,变量循环从1->0->1,但是波形一直是处理于低,没有起伏。
uint32_t flag1;void delay( uint32_t count )
{for (; count!=0; count--);
}int main(void) {while(1) {flag1 = 1;delay( 1000 );flag1 = 0;delay( 1000 );}
}
分析结果如下所示:
在flag1用volatile修饰之后波形如下所示 :
2、 硬件寄存器
在直接操作寄存器进行输出时,比如引脚拉到了LED上,LED另一端接高电平,引脚输出0是会点亮,当ODR不使用volatile修饰时,下面的操作编译器优化之后可能就只有
GPIOB->ODR = 0x00000001 这一句代码了,那么灯是不会亮的,但是实际上灯会闪烁的,因为ODR就是用volatile修饰的。
GPIOB->ODR = 0x00000001;
delay(100);
GPIOB->ODR = 0x00000000;
delay(100);
GPIOB->ODR = 0x00000001;
四、面试
volatile 常见的几个面试题
1、一个参数既可以是const还可以是volatile吗?
可以,针对的角度不同可以这样理解
const 告诉程序员 这是一个常量,不要更改它,在尝试更改时,编译器会报错
volatile告诉编译器,不要对变量做任何优化,直接从内存中读取内容。
2、一个指针可以是volatile 吗?
可以,指针和普通变量一样,有时也有变化程序的不可控性,比如一个中服务子程序修改一个指向buffer的指针时,即从一个buffer指向另一个buffer,如果不加volatile,面临的问题如同 二、使用volatile的场景 中的一样。
3、下面的函数有什么错误?
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 = *ptr;return a * a;
}
- 注意:频繁地使用volatile很可能会增加代码尺寸和降低性能,因此要合理的使用volatile