C中volatile总结

在CPU处理过程中,需要将内存中的数据载入到寄存器中才能计算,所以可能涉及到一个问题,如果内存中的数据被更改了,但是寄存器还是使用的旧数据,这样就会造成数据的不同步。

一、volatile关键字的作用

使用volatile关键字定义变量,就是告诉编译系统这个变量可能会被意想不到的被改变。编译器就不会对变量进行代码优化。编译器在编译代码时,优化器每次遇到这个变量,都会从内存中重新读取内容,而不会使用保存在寄存器里的备份内容。

二、使用volatile的场景

  • 在中断服务程序中修改的,供其它程序检测的变量(非auto),通常需要定义为volatile

中断服务可能会频繁进入,当变量被加载到寄存器中,马上就要被使用时,这时又来了一个中断修改了内存中的变量,如果不加volatile,被使用的变量就是寄存器中保存的也即修改之前的。

  • 在多任务环境下,各任务间共享的标志,通常也需要定义为volatile

这个情形同中断,可能会使数据不同步。

  • 存储器映射的硬件寄存器通常也需要定义为volatile,因为每次对它的读写都可能有不同意义

这个情形也类似两种,存储器的数据被转移到了硬件寄存器,这时存储器的数据被更改了,但是程序还可能使用的是硬件寄存器中的数据,这也是数据不同步。

在stm32中,内存被映射到各种外设上,外设有自己的寄存器组,比如GPIO寄存器组

cpp 复制代码
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,但是波形一直是处理于低,没有起伏。

cpp 复制代码
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修饰的。

cpp 复制代码
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、下面的函数有什么错误?

cpp 复制代码
int square(volatile int*ptr)
{
    return*ptr * *ptr;
}

该程序的目的是用来返指针*ptr指向值的平方,但是,由于*ptr指向一个volatile型参数,编译器将产生类似下面的代码:

cpp 复制代码
int square(volatile int*ptr) {
    int a,b;
    a = *ptr;
    b = *ptr;
    return a * b;
}

由于*ptr的值可能被意想不到地该变,因此a和b可能是不同的。结果,这段代码可能返不是你所期望的平方值!正确的代码如下:

cpp 复制代码
long square(volatile int*ptr) {
    int a = *ptr;
    return a * a;
}
  • 注意:频繁地使用volatile很可能会增加代码尺寸和降低性能,因此要合理的使用volatile
相关推荐
Algorithm15764 分钟前
云原生相关的 Go 语言工程师技术路线(含博客网址导航)
开发语言·云原生·golang
shinelord明13 分钟前
【再谈设计模式】享元模式~对象共享的优化妙手
开发语言·数据结构·算法·设计模式·软件工程
Asa31916 分钟前
STM32-按键扫描配置
stm32·单片机·嵌入式硬件
Monly2120 分钟前
Java(若依):修改Tomcat的版本
java·开发语言·tomcat
boligongzhu21 分钟前
DALSA工业相机SDK二次开发(图像采集及保存)C#版
开发语言·c#·dalsa
Eric.Lee202121 分钟前
moviepy将图片序列制作成视频并加载字幕 - python 实现
开发语言·python·音视频·moviepy·字幕视频合成·图像制作为视频
7yewh23 分钟前
嵌入式Linux QT+OpenCV基于人脸识别的考勤系统 项目
linux·开发语言·arm开发·驱动开发·qt·opencv·嵌入式linux
waicsdn_haha35 分钟前
Java/JDK下载、安装及环境配置超详细教程【Windows10、macOS和Linux图文详解】
java·运维·服务器·开发语言·windows·后端·jdk
南城花随雪。35 分钟前
单片机:实现驱动超声波(附带源码)
单片机·嵌入式硬件
嵌入式科普36 分钟前
十三、从0开始卷出一个新项目之瑞萨RZN2L串口DMA接收不定长
c语言·stm32·瑞萨·e2studio·rzn2l