C语言 volatile关键字

volatile关键字介绍

volatile 是一个关键字，用于修饰变量，表示该变量是易变的，即可能在任何时候被意外地改变。在多线程编程中，当多个线程同时访问同一个变量时，由于线程之间的交互和优化，可能会导致变量的值不一致或出现意外的行为。使用 volatile 关键字可以告诉编译器和处理器，在访问该变量时需要遵循一定的规则，以确保变量的可见性和一致性。

具体来说，volatile 关键字有以下几个作用：

①禁止编译器对该变量进行优化，确保每次访问都从内存中读取最新的值。
②防止编译器对该变量进行重排序优化，保证指令执行的顺序与程序中的顺序一致。
③保证不同线程之间对该变量的访问顺序与程序中的顺序一致。
（volatile 关键字只能保证单个变量的可见性和一致性，并不能解决多个变量之间的原子性操作问题。在需要保证多个变量操作的原子性时，可以使用其他的同步机制，如锁或原子类。)

volatile关键字解决实际问题案例

#include 
#include 
int flag = 0;
void handler(int sig)
{
 	printf("chage flag 0 to 1\n");
 	flag = 1;
}
int main()
{
	 signal(2, handler);
 	 while(!flag);
	 printf("process quit normal\n");
	 return 0;
}

执行结果(和预期不一致):

chage flag 0 to 1
process quit normal

1. 问题原因：不加volatile关键字时，编译时未发现flag被修改(因为修改flag的语句不在main函数内，不一定会被执行)，所以对flag变量进行了优化，进程运行时将flag变量直接加载到cpu寄存器上。 打印flag的语句也是直接使用寄存器上的flag值，但是实际上在内存中flag的值已经被改变了，但再次打印flag的值依然为程序开始时加载到寄存器上的flag值。

2. 解决方法:使用 volatile关键字修饰flag变量，禁止编译器对flag变量进行优化。

3. volatile解决问题关键字原理图：