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
相关推荐
blessing。。1 分钟前
I2C学习
linux·单片机·嵌入式硬件·嵌入式
Bruce小鬼11 分钟前
QT文件基本操作
开发语言·qt
2202_7544215416 分钟前
生成MPSOC以及ZYNQ的启动文件BOOT.BIN的小软件
java·linux·开发语言
我只会发热23 分钟前
Java SE 与 Java EE:基础与进阶的探索之旅
java·开发语言·java-ee
懷淰メ33 分钟前
PyQt飞机大战游戏(附下载地址)
开发语言·python·qt·游戏·pyqt·游戏开发·pyqt5
hummhumm1 小时前
第 22 章 - Go语言 测试与基准测试
java·大数据·开发语言·前端·python·golang·log4j
宁静@星空1 小时前
006-自定义枚举注解
java·开发语言
hummhumm1 小时前
第 28 章 - Go语言 Web 开发入门
java·开发语言·前端·python·sql·golang·前端框架
武子康1 小时前
Java-07 深入浅出 MyBatis - 一对多模型 SqlMapConfig 与 Mapper 详细讲解测试
java·开发语言·数据库·sql·mybatis·springboot
嵌新程1 小时前
day03(单片机高级)RTOS
stm32·单片机·嵌入式硬件·freertos·rtos·u575