C++关键字volatile剖析

volatile关键字在C++中用于多线程环境,防止编译器优化导致的并发问题。当多个线程访问同一变量时,volatile确保每次读取都是最新值,避免寄存器缓存带来的不一致。举例说明了未加volatile时可能出现的并发错误,并指出其在多线程操作和线程安全中的应用。
摘要由CSDN通过智能技术生成

        在做项目的过程中,遇到了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;
        }
    }
}
    

        

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值