volatile用于告知编译器变量可能被硬件异步修改,强制每次访问都读写实际地址,防止优化导致轮询失效、中断标志丢失等问题,但不保证原子性或执行顺序,需配合内存屏障或原子操作使用。
volatile告诉编译器“这个变量可能被硬件改”
嵌入式里常遇到:某个寄存器映射成全局变量(比如 *(volatile uint32_t*)0x40020000),你写完值,以为它还在那儿,结果下一行读回来却是旧的——因为编译器把它优化进寄存器了,根本没重新从内存/外设地址取。加 volatile 就是明确告诉编译器:“别缓存、别合并、别删掉对它的访问,每次读写都必须落到实际地址上”。
不加volatile导致轮询失效或中断标志丢失
典型场景:等待某个状态寄存器的某位变 1(如 ADC 转换完成标志)。如果声明为普通变量:while (reg->status & 0x01);,编译器很可能只读一次,然后无限循环空转;加了 volatile 才会每次都去读硬件地址。
- 中断服务程序中修改的标志位(如
volatile bool irq_flag = false;)必须加,否则主循环可能永远看不到变化 - 多核/多线程共享的硬件寄存器变量,
volatile是必须的,但注意它不保证原子性,必要时还得配内存屏障(如__DMB())或互斥机制 - 用
volatile修饰指针本身和指针指向的内容是两回事:volatile uint32_t* p表示“p 指向的东西是易变的”,而uint32_t* volatile p表示“p 这个指针值本身可能被中断/硬件改”——后者极少用,别混淆
volatile不能替代原子操作或同步原语
很多人误以为加了 volatile 就能安全读写共享变量。其实它只禁用编译器优化,不阻止 CPU 乱序执行,也不提供原子性。比如 volatile int counter = 0;,counter++ 在多数平台仍不是原子的(读-改-写三步),在中断里自增可能丢计数。真正需要保护的场景,得用:
-
__atomic_fetch_add(&counter, 1, __ATOMIC_SEQ_CST)(GCC 内置原子操作) - 硬件提供的原子指令(如 ARM 的 LDREX/STREX)
- 关中断(仅限短临界区)
单纯靠 volatile 去实现信号量、队列头尾指针更新,大概率出问题。