Linux | C语言中volatile关键字的理解

目录

前言

一、代码引入

二、现象解释

三、具体引用


前言

本章主要讲解介绍volatile关键的作用与使用场合;深刻理解volatile关键字;本文你需要有信号相关的基础知识;

Linux | 信号-CSDN博客

一、代码引入

首先,我们来查看下面这段代码;

cpp 复制代码
#include <iostream>
#include <signal.h>

// 定义全局变量
int flag = 1;

void handler(int signum)
{
    (void)(signum); // 防止编译器警告
    std::cout << "change before flag:" << flag << std::endl;
    flag = 0;
    std::cout << "change after flag:" << flag << std::endl;
}

int main()
{
    // 对2号信号捕捉
    signal(SIGINT, handler);
    
    // 死循环
    while(flag);

    std::cout << "run here..." << std::endl;
    return 0;
}

当我们发送2号信号时,全局变量flag被改为了0,然后循环条件不满足,打印 run here 后退出;我们运行查看结果是否满足我们预期结果;如下所示;

第一个红色框起来的是我们编译程序所用指令;第二个红色框起来的是当我们按下 ctrl + c 发送2号信号时,程序如我么预期所料;

接下来,我们来介绍以下 gcc/g++ 的几个编译选项;如下图所示;

-O1、-O2、-O3分别为编译时三个不同等级的优化,其中优化程度由低到高,我们选择最高等级,再次编译运行代码;如下所示;

神奇的一幕发生了,我们发现我们无论按多少次 ctrl + c 都无法退出程序,我们发送2号信号,也被处理了,我们的全局变量flag不是被置为0了吗?为什么还是没有办法退出while循环呢?下面我们来仔细讲解这个神奇现象;

二、现象解释

实际上,这就是跟我们的编译器优化有关,我们把视角拉到代码中;如下图所示;

我们的while循环判断分为以上三个步骤,而当我们编译时对代码采用 O3 级别的优化时,我们的编译器检测到循环中没有对全局变量flag进行修改,因此直接将上面的步骤优化成了如下所示;

故即使我们发送2号信号将内存中的flag更改,但是判断时时候,依旧直接判断寄存器中flag的那个值;所以才会看到上述那种神奇现象;

三、具体引用

我们本文的主角volatile关键字就是为了防止这种编译器过度优化的现象,我们可以在定义flag变量的前面加上一个 volatile关键字,这样可以防止我们的变量flag参与被编译器编译的代码过度优化;

cpp 复制代码
#include <iostream>
#include <signal.h>

// 定义全局变量(增加volatile关键字)
volatile int flag = 1;

void handler(int signum)
{
    (void)(signum); // 防止编译器警告
    std::cout << "change before flag:" << flag << std::endl;
    flag = 0;
    std::cout << "change after flag:" << flag << std::endl;
}

int main()
{
    // 对2号信号捕捉
    signal(SIGINT, handler);
    
    // 死循环
    while(flag);

    std::cout << "run here..." << std::endl;
    return 0;
}

代码几乎完全相同,就加入了一个volatile关键字,避免了这种编译器过度优化现象;

相关推荐
GeW2 小时前
超详细!RHCE10版通用备考策略,内含评分细则解读
linux
用户041328465132 小时前
Linux 服务开机自启动怎么配置?systemctl enable 原理详解
linux
草莓熊Lotso11 小时前
【Redis 初阶】Set 类型深度解析:去重集合的运算能力与实战场景
linux·网络·数据库·windows·redis·tcp/ip·缓存
张文君11 小时前
ubuntu26.04坏道坏块分区隔离急速版260831-V0.12
linux·python
贝锐20 小时前
从国产化信创设备到商用安卓终端,向日葵如何帮助企业实现统一运维管理?
linux·运维·远程控制
Julien200421 小时前
调查和解决 SELinux 问题
linux·运维·服务器·网络·学习方法
小张同学a.1 天前
Docker 容器实战 1—— docker 基础与镜像构建
linux·运维·docker·容器
Best-Wishes1 天前
BurpSuite Pro教育版在linux系统中配置
linux·运维·服务器·网络安全·burpsuite
wuminyu1 天前
深入剖析 Panama Off-heap 的性能损耗与开销
java·linux·c语言·jvm·c++
虎王物联1 天前
RK3568嵌入式Linux跑Docker:内核配置排查到AIoT容器化的完整路径
linux·运维·docker·rk3568·aiot·嵌入式linux