打印
[经验分享]

深入理解volatile关键字

[复制链接]
2162|56
手机看帖
扫描二维码
随时随地手机跟帖
跳转到指定楼层
楼主
pixhw|  楼主 | 2025-4-10 11:00 | 只看该作者 回帖奖励 |倒序浏览 |阅读模式
volatile是一个类型修饰符(type specifier)。它是被设计用来修饰被不同线程访问和修改的变量。如果没有volatile,基本上会导致这样的结果:要么无法编写多线程程序,要么编译器失去大量优化的机会。

1.原理作用
Volatile意思是“易变的”,应该解释为“直接存取原始内存地址”比较合适。“易变”是因为外在因素引起的,像多线程,中断等。

C语言书籍这样定义volatile关键字:

volatile提醒编译器它后面所定义的变量随时都有可能改变,因此编译后的程序每次需要存储或读取这个变量的时候,告诉编译器对该变量不做优化,都会直接从变量内存地址中读取数据,从而可以提供对特殊地址的稳定访问。

如果没有volatile关键字,则编译器可能优化读取和存储,可能暂时使用寄存器中的值,如果这个变量由别的程序更新了的话,将出现不一致的现象。(简洁的说就是:volatile关键词影响编译器编译的结果,用volatile声明的变量表示该变量随时可能发生变化,与该变量有关的运算,不要进行编译优化,以免出错)

2.一般用处
一般说来,volatile用在如下的几个地方:

1)并行设备的硬件寄存器(如:状态寄存器)
存储器映射的硬件寄存器通常也要加 voliate,因为每次对它的读写都可能有不同意义。

例如:假设要对一个设备进行初始化,此设备的某一个寄存器为0xff800000。

int *output = (unsigned int *)0xff800000;//定义一个IO端口;
int init(void)
{
int i;
for(i=0;i< 10;i++){
*output = i;
}
}


经过编译器优化后,编译器认为前面循环半天都是废话,对最后的结果毫无影响,因为最终只是将output这个指针赋值为 9,所以编译器最后给你编译编译的代码结果相当于:

int init(void)
{
*output =9;
}


如果你对此外部设备进行初始化的过程是必须是像上面代码一样顺序的对其赋值,显然优化过程并不能达到目的。反之如果你不是对此端口反复写操作,而是反复读操作,其结果是一样的,编译器在优化后,也许你的代码对此地址的读操作只做了一次。然而从代码角度看是没有任何问题的。这时候就该使用volatile通知编译器这个变量是一个不稳定的,在遇到此变量时候不要优化。

2)中断服务程序中修改的供其它程序检测的变量,需要加volatile;
当变量在触发某中断程序中修改,而编译器判断主函数里面没有修改该变量,因此可能只执行一次从内存到某寄存器的读操作,而后每次只会从该寄存器中读取变量副本,使得中断程序的操作被短路。

3)多任务环境下各任务间共享的标志,应该加volatile;
在本次线程内, 当读取一个变量时,编译器优化时有时会先把变量读取到一个寄存器中;以后,再取变量值时,就直接从寄存器中取值;当内存变量或寄存器变量在因别的线程等而改变了值,该寄存器的值不会相应改变,从而造成应用程序读取的值和实际的变量值不一致 。

4)存储器映射的硬件寄存器通常也要加volatile说明,因为每次对它的读写都可能由不同意义;
假设要对一个设备进行初始化,此设备的某一个寄存器为0xff800000。for(i=0;i< 10;i++) *output = i;前面循环半天都是废话,对最后的结果毫无影响,因为最终只是将output这个指针赋值为9,省略了对该硬件IO端口反复读的操作。

**这是区分C程序员和嵌入式系统程序员的最基本的问题:**嵌入式系统程序员经常同硬件、中断、RTOS等等打交道,所有这些都要求使用volatile变量。不懂得volatile内容将会带来灾难。

3.volatile 问题和总结
volatile 常见的几个面试题:

1)一个参数既可以是const还可以是volatile吗?
可以的,例如只读的状态寄存器。它是volatile因为它可能被意想不到地改变。它是const因为程序不应该试图去修改它。

2) 一个指针可以是volatile 吗?
可以,当一个中服务子程序修改一个指向buffer的指针时。

4.下面的函数有什么错误?
int square(volatile intptr)
{
returnptr * *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。

总结:
volatile 关键字是一种类型修饰符,用它声明的类型变量表示可以被某些编译器未知的因素更改。volatile 提醒编译器它后面所定义的变量随时都有可能改变,因此编译后的程序每次需要存储或读取这个变量的时候,都会直接从变量地址中读取数据。如 果没有 volatile 关键字,则编译器可能优化读取和存储,可能暂时使用寄存器中的值,如果这个变量由别的程序更新了的话,将出现不一致的现象。所以遇到这个关键字声明的变量,编译器对访问该变量的代码就不再进行优化,从而可以提供对特殊地址的稳定访问。

使用特权

评论回复
沙发
weifeng90| | 2025-4-10 12:38 | 只看该作者
属于特殊应用声明名称

使用特权

评论回复
板凳
biechedan| | 2025-4-17 21:24 | 只看该作者
volatile 关键字只保证每次访问变量时都会从内存中读取或写入数据,但它并不保证对变量的操作是原子的。

使用特权

评论回复
地板
robincotton| | 2025-4-17 23:45 | 只看该作者
多线程/信号处理中,变量可能被异步修改。

使用特权

评论回复
5
timfordlare| | 2025-4-19 10:25 | 只看该作者
硬件寄存器的值可能被外部事件(如中断、DMA)修改,必须每次访问都从内存读取最新值。

使用特权

评论回复
6
lzbf| | 2025-4-20 09:44 | 只看该作者
编译器通常会尝试优化代码以提高性能,这可能包括对变量的值进行缓存,以避免重复的内存访问。

使用特权

评论回复
7
pl202| | 2025-4-20 10:21 | 只看该作者
禁止编译器优化              

使用特权

评论回复
8
louliana| | 2025-4-20 10:54 | 只看该作者
volatile关键字只保证单独的读取和写入操作的可见性,对于复合操作(如自增操作)则不适用。

使用特权

评论回复
9
juliestephen| | 2025-4-20 12:12 | 只看该作者
每次对volatile变量的读取都会从其实际的内存位置进行,而每次写入都会立即更新到内存中。

使用特权

评论回复
10
mollylawrence| | 2025-4-20 12:44 | 只看该作者
volatile是一个类型修饰符,但它并不改变变量的基本类型。

使用特权

评论回复
11
mmbs| | 2025-4-20 13:21 | 只看该作者
虽然volatile可以提供一定程度的内存屏障和禁止重排序,但它并不保证线程安全。在多线程环境中,还需要其他的同步机制,如互斥锁或原子操作,来确保线程安全。

使用特权

评论回复
12
adolphcocker| | 2025-4-20 13:44 | 只看该作者
编译器和处理器可能会对代码进行优化(如指令重排序),以提高性能。

使用特权

评论回复
13
mnynt121| | 2025-4-20 13:56 | 只看该作者
当一个线程修改了共享变量的值,其他线程能够立即看到修改后的值。volatile关键字通过确保每次读取都是从主存中读取,而不是从线程的工作内存中读取,来保证可见性。

使用特权

评论回复
14
eefas| | 2025-4-20 14:15 | 只看该作者
编译器无法对volatile变量进行某些优化,所以过度使用volatile可能会导致代码执行效率降低。

使用特权

评论回复
15
sanfuzi| | 2025-4-20 14:28 | 只看该作者
volatile不会影响操作的顺序。如果需要确保操作的顺序,可能需要使用其他同步机制,如内存屏障。

使用特权

评论回复
16
elsaflower| | 2025-4-20 14:40 | 只看该作者
const 表示变量不可修改(对程序而言),volatile 表示变量可能被外部修改。

使用特权

评论回复
17
janewood| | 2025-4-20 14:57 | 只看该作者
volatile 修饰的变量在读写时会插入内存屏障,防止指令重排序导致线程间的行为异常。

使用特权

评论回复
18
sheflynn| | 2025-4-20 15:09 | 只看该作者
volatile关键字在C语言中扮演着重要角色,特别是在与硬件交互、多线程编程以及中断处理等场景下。

使用特权

评论回复
19
bestwell| | 2025-4-20 15:23 | 只看该作者
访问硬件寄存器或内存映射I/O。

使用特权

评论回复
20
macpherson| | 2025-4-20 15:38 | 只看该作者
通过指针访问内存映射的外设(如LCD控制器、UART)时,必须使用 volatile 防止编译器优化访问。

使用特权

评论回复
发新帖 我要提问
您需要登录后才可以回帖 登录 | 注册

本版积分规则

45

主题

4793

帖子

1

粉丝