在做项目的过程中,遇到了volatile关键字,通过查阅多篇资料,对volitale关键字的作用进行总结。
存在意义
对C++ 而言,volatile的存在主要是为了应对多线程的场景,在多线程中,对同一份数据的修改可能是不同线程进行的,他们有时候可能会不互知,这样容易导致读出的数据可能并不是你想要的数据。
C++ 编译器对没有加volatile的数据会做编译优化,将数据从寄存器中读取。寄存器是cpu中存储和读取最快的L0级存储设备,因此整个程序的运行速度会大幅提升,不需要通过总线向其他缓存或内存请求(详见《深入理解计算机操作系统》)。但是这时问题就会出现了。
举个例子
学过汇编的同学可能知道(我机械专业竟也学过汇编),在变量自加操作时,系统会将内存地址中的值读到寄存器中,此时pc再把寄存器中的值自加一,最后赋回给内存中。所以其实一句i++,在汇编是是被翻译成三句话。
MOV eax , dword ptr[i] (1)
INC eax (2)
MOV dword ptr[i], eax (3)
假设现在存在两个线程,有个 i 的值为0,每个线程都对变量 i 进行加一操作,按照正常理解应该结束后 i 的值为2。但实际情况可能会有所不同。
int i = 0;
void fun1(){
i++;
}
void fun2(){
i++;
}
多线程情况下,两个线程的执行顺序是不确定的,当线程一执行完(1)(2)后,寄存器eax的值是 1 。此时如果操作系统切换到线程 二 运行,线程二执行(1),eax的值又被赋值为了0,执行(2),eax的值变成了1,最后执行(3),完成了一次自加。可当切换回线程一时,线程一由于已经执行完了(1)(2)指令,所以直接执行(3),导致没有进行再一次的自加操作,此时程序运行错误。实际上从这里我们也能看出, a++ 这句话不是线程安全的,也可以说在汇编层面不是原子的。
加上volatile后,所有的操作是从变量的地址中读取,而不是直接读取寄存器中的值,问题就迎刃而解了。
简单的应用场景
一般来说,volatile用在以下场景:
1、通过其他线程修改数据会影响本线程的运行结果时。
2、对同一变量的多线程操作时
总而言之,一些看起来不必要的操作,加了volatile后,你的程序也会运行,而不会不执行(万一哪天天降好运呢?)
加一个例子:fun是很可能不会被运行的,但是如果你在声明a时加了volatile,那么这个程序就可以运行结束啦。
int a;
void fun(){
for(a=0 ;a<10000;a++);
}
int main(){
while(1){
if(a >= 10){
break;
}
}
}