概念
volatile是一个特征修饰符(type specifier).volatile的作用是作为指令关键字,确保本条指令不会因编译器的优化而省略,且要求每次直接读值。
使用场景
volatile
关键字主要用于以下场景:
-
硬件访问:
- 当程序需要访问与硬件相关的寄存器、内存映射的I/O端口等,这些内存区域的值可能不受编译器的控制,随时可能被外部因素改变。
- 使用 volatile 关键字可以告诉编译器不要对该变量进行优化,例如缓存优化、代码重排等,每次访问都直接读取或写入内存
例如:
volatile unsigned int* GPIO_PORT = (volatile unsigned int*) 0x40020000; // GPIO端口地址
// 访问GPIO端口
*GPIO_PORT = 0x01; // 设置GPIO端口为高电平
// 读取GPIO端口的值
unsigned int value = *GPIO_PORT;
- 多线程/多任务环境:
- 在多线程或多任务环境中,多个线程可能同时访问同一个变量,而编译器可能为了优化性能,对变量的访问进行缓存或重排。
- 使用 volatile 关键字可以确保每个线程都能访问到最新的变量值,防止数据不一致。
例如:
volatile int shared_value = 0; // 共享变量
// 线程A
void thread_A(