【Linux】第三十九站：可重入函数、volatile、SIGCHLD信号

2024-01-29 16:52
文章标签 linux 函数 信号 volatile 第三十九 重入 sigchld

本文主要是介绍【Linux】第三十九站：可重入函数、volatile、SIGCHLD信号，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

文章目录

  • 一、可重入函数
  • 二、volatile
  • 三、SIGCHLD信号

一、可重入函数

如下图所示，当我们进行链表的头插的时候，我们刚刚执行完第一条语句的时候，突然收到一个信号，然后我们这个信号的自定义捕捉方法中，正好还有一个头插，于是这个执行流再次进入这个函数中。执行完毕以后，返回到原来的执行流中继续运行。

这种现象就是函数被重入了

就会导致下面的现象。

image-20240127195244183

我们可以看到，这个node2结点丢失了，最终导致了内存泄漏了

insert函数被不同的控制流程调用,有可能在第一次调用还没返回时就再次进入该函数,这称为重入,insert函数访问一个全局链表,有可能因为重入而造成错乱,像这样的函数称为 不可重入函数,反之,如果一个函数只访问自己的局部变量或参数,则称为可重入(Reentrant) 函数。

上面的现象是这样的：

  1. insert函数被mainh和handler执行流重复进入
  2. 导致了结点丢失，内存泄漏

所以我们有了如下定义：

如果一个函数，被重复进入的情况下，出错了，或者可能出错。

我们就要把这个函数叫做不可重入函数

否则叫做可重入函数

目前我们用到的大部分函数都是不可重入的！

如果一个函数符合以下条件之一则是不可重入的:

  • 调用了malloc或free,因为malloc也是用全局链表来管理堆的。
  • 调用了标准I/O库函数。标准I/O库的很多实现都以不可重入的方式使用全局数据结构

二、volatile

我们先看一下下面的代码

#include <iostream>
#include <unistd.h>
#include <signal.h>
#include <cstring>
using namespace std;int flag = 0;
void handler(int signo)
{cout << "catch a signal: " << signo <<endl;flag = 1;
}int main()
{signal(2, handler);while(!flag);cout << "process quit normal" << endl;return 0;
}

最终我们的结果如下

image-20240127202215532

一切都符合我们的预期

但是在极端情况下，由于main和handler属于两个执行流

编译器检测后发现这个flag没有发生过变化。检测的本质也是计算，逻辑运算，这里的逻辑反也是一种计算。

它会在优化条件下，flag变量可能被直接优化到CPU内的寄存器中。

如下所示，我们的g++可以通过带上O0~O3选项进行优化。后面的数字越大，优化级别越高

image-20240127202846501

如下所示，我们发现，如果是O0,就相当于没有优化，可以正常结束。如果是O1的话，那么此时就无法用二号信号退出了。

image-20240127203114223

如下所示，这是因为我们没有优化之前，CPU会不断的将内存中的数据放入到寄存器中。而我们使用2号信号修改了之后，也还是会不断的访存。所以这个flag会改变，所以就会跳出循环

image-20240127203617825

而现在，我们优化了之后，这个变量第一次拿到寄存器之后，就不再访存了，因为这样可以提高效率，就直接用寄存器当中的数据，而我们使用信号改掉的只是内存当中的数据。所以这里的运算就一直为真了。所以就不会退出了。

image-20240127204052935

这样因为优化，就如同形成了一个寄存器屏障。导致内存不可见了！

所以我们为了防止这样编译器的过度优化，我们可以给这个变量带上volatile关键字。

volatile int flag = 0; //防止编译器过度优化，保存内存的可见性

所以我们代码改为如下

#include <iostream>
#include <unistd.h>
#include <signal.h>
#include <cstring>
using namespace std;volatile int flag = 0;
void handler(int signo)
{cout << "catch a signal: " << signo <<endl;flag = 1;
}int main()
{signal(2, handler);while(!flag);cout << "process quit normal" << endl;return 0;
}

image-20240127204404438

三、SIGCHLD信号

我们之前用wait和waitpid函数清理僵尸进程,父进程可以阻塞等待子进程结束,也可以非阻塞地查询是否有子进程结束等待清理(也就是轮询的方式)。采用第一种方式,父进程阻塞了就不 能处理自己的工作了;采用第二种方式,父进程在处理自己的工作的同时还要记得时不时地轮询一 下,程序实现复杂。

其实,子进程在终止时会给父进程发SIGCHLD（17号）信号,该信号的默认处理动作是忽略,父进程可以自 定义SIGCHLD信号的处理函数,这样父进程只需专心处理自己的工作,不必关心子进程了,子进程 终止时会通知父进程,父进程在信号处理函数中调用wait清理子进程即可。

我们可以先捕捉一下17号信号，验证一下是否真的有17号信号

#include <iostream>
#include <unistd.h>
#include <signal.h>
#include <cstring>
using namespace std;void handler(int signo)
{cout << "I am process: " << getpid() << ", catch a signo: " << signo << endl; 
}int main()
{signal(17, handler);pid_t id = fork();if(id == 0){while(true){cout << "I am child process: " << getpid() << ", ppid: " << getppid() << endl;sleep(1);break;}cout << "child quit...!!!" << endl;exit(0);}//fatherwhile(true){cout << "I am father process: " << getpid() << endl;sleep(1);}return 0;
}

运行结果为

image-20240127211307262

所以利用这个17号信号，我们可以采用基于信号的方式进行等待

等待的好处：

  1. 获取子进程的退出状态，释放子进程的僵尸
  2. 虽然不知道父子谁先运行，但是我们清楚，一定是father最后退出

所以我们还是要调用wait/waitpid这样的接口。而且father必须保证自己是一直在运行的。

所以我们可以试着把子进程等待写入到信号捕捉函数中！

如下代码所示：

#include <iostream>
#include <unistd.h>
#include <signal.h>
#include <cstring>
#include <sys/wait.h>
#include <sys/types.h>
using namespace std;void handler(int signo)
{sleep(3);pid_t rid = waitpid(-1, nullptr, 0);cout << "I am process: " << getpid() << ", catch a signo: " << signo << "child process quit: " << rid << endl; 
}int main()
{signal(17, handler);pid_t id = fork();if(id == 0){while(true){cout << "I am child process: " << getpid() << ", ppid: " << getppid() << endl;sleep(3);break;}cout << "child quit...!!!" << endl;exit(0);}//fatherwhile(true){cout << "I am father process: " << getpid() << endl;sleep(1);}return 0;
}

运行结果如下所示

image-20240127212515932

如果有十个进程呢？？如果同时退出呢？？如果退出一半呢？？

如果是个进程同时退出，那么上面代码就有问题了，因为可能一个进程进程正在退出的时候，已经将这个信号屏蔽了，导致有很多进程无法被回收，全部都是僵尸进程了。

如下代码所示，我们在捕捉函数中循环等待，但是要主要加上非阻塞式。否则会一直卡在那里了。

#include <iostream>
#include <unistd.h>
#include <signal.h>
#include <cstring>
#include <time.h>
#include <sys/wait.h>
#include <sys/types.h>
using namespace std;void handler(int signo)
{sleep(3);pid_t rid;while((rid = waitpid(-1, nullptr, WNOHANG)) > 0){cout << "I am process: " << getpid() << ", catch a signo: " << signo << "child process quit: " << rid << endl; }
}int main()
{srand(time(nullptr));signal(17, handler);for(int i = 0; i < 10; i++){pid_t id = fork();if(id == 0){while(true){cout << "I am child process: " << getpid() << ", ppid: " << getppid() << endl;sleep(10);break;}cout << "child quit...!!!" << endl;exit(0);}sleep(rand() % 5 + 3);}//fatherwhile(true){cout << "I am father process: " << getpid() << endl;sleep(1);}return 0;
}

image-20240127214154334

事实上,由于UNIX 的历史原因,要想不产生僵尸进程还有另外一种办法:父进程调 用sigaction将SIGCHLD的处理动作置为SIG_IGN,这样fork出来的子进程在终止时会自动清理掉,不会产生僵尸进程,也不会通知父进程。系统默认的忽略动作和用户用sigaction函数自定义的忽略 通常是没有区别的,但这是一个特例。此方法对于Linux可用,但不保证在其它UNIX系统上都可 用。

#include <iostream>
#include <unistd.h>
#include <signal.h>
#include <cstring>
#include <time.h>
#include <sys/wait.h>
#include <sys/types.h>
using namespace std;
int main()
{signal(17, SIG_IGN);srand(time(nullptr));for(int i = 0; i < 10; i++){pid_t id = fork();if(id == 0){while(true){cout << "I am child process: " << getpid() << ", ppid: " << getppid() << endl;sleep(10);break;}cout << "child quit...!!!" << endl;exit(0);}sleep(rand() % 5 + 3);}//fatherwhile(true){cout << "I am father process: " << getpid() << endl;sleep(1);}return 0;
}

运行结果如下，可以看到是没有僵尸进程的

image-20240127214707488

这里需要注意的是，默认是SIG_DFL，它的动作是忽略。和SIG_IGN是不一样的！！！

这篇关于【Linux】第三十九站：可重入函数、volatile、SIGCHLD信号的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！


http://www.chinasem.cn/article/657561。

相关文章

Linux内核的调试（TODO）

Linux内核的调试（TODO）

（TODO）
阅读更多...
linux-基础知识3

linux-基础知识3

打包和压缩 zip 安装zip软件包 yum -y install zip unzip 压缩打包命令: zip -q -r -d -u 压缩包文件名 目录和文件名列表 -q:不显示命令执行过程-r:递归处理，打包各级子目录和文件-u:把文件增加/替换到压缩包中-d:从压缩包中删除指定的文件 解压:unzip 压缩包名 打包文件 把压缩包从服务器下载到本地 把压缩包上传到服务器(zip
阅读更多...
hdu1171（母函数或多重背包）

hdu1171（母函数或多重背包）

题意：把物品分成两份，使得价值最接近 可以用背包，或者是母函数来解，母函数（1 + x^v+x^2v+.....+x^num*v）（1 + x^v+x^2v+.....+x^num*v）（1 + x^v+x^2v+.....+x^num*v） 其中指数为价值，每一项的数目为（该物品数+1）个 代码如下： #include<iostream>#include<algorithm>
阅读更多...
Linux 网络编程 --- 应用层

Linux 网络编程 --- 应用层

一、自定义协议和序列化反序列化 代码： 序列化反序列化实现网络版本计算器 二、HTTP协议 1、谈两个简单的预备知识 https://www.baidu.com/ --- 域名 --- 域名解析 --- IP地址 http的端口号为80端口，https的端口号为443 url为统一资源定位符。CSDNhttps://mp.csdn.net/mp_blog/creation/editor
阅读更多...
【Python编程】Linux创建虚拟环境并配置与notebook相连接

【Python编程】Linux创建虚拟环境并配置与notebook相连接

1.创建 使用 venv 创建虚拟环境。例如，在当前目录下创建一个名为 myenv 的虚拟环境： python3 -m venv myenv 2.激活 激活虚拟环境使其成为当前终端会话的活动环境。运行： source myenv/bin/activate 3.与notebook连接 在虚拟环境中，使用 pip 安装 Jupyter 和 ipykernel： pip instal
阅读更多...
Linux_kernel驱动开发11

Linux_kernel驱动开发11

一、改回nfs方式挂载根文件系统         在产品将要上线之前，需要制作不同类型格式的根文件系统         在产品研发阶段，我们还是需要使用nfs的方式挂载根文件系统         优点：可以直接在上位机中修改文件系统内容，延长EMMC的寿命         【1】重启上位机nfs服务         sudo service nfs-kernel-server resta
阅读更多...
【Linux 从基础到进阶】Ansible自动化运维工具使用

【Linux 从基础到进阶】Ansible自动化运维工具使用

Ansible自动化运维工具使用 Ansible 是一款开源的自动化运维工具，采用无代理架构（agentless），基于 SSH 连接进行管理，具有简单易用、灵活强大、可扩展性高等特点。它广泛用于服务器管理、应用部署、配置管理等任务。本文将介绍 Ansible 的安装、基本使用方法及一些实际运维场景中的应用，旨在帮助运维人员快速上手并熟练运用 Ansible。 1. Ansible的核心概念
阅读更多...
Linux服务器Java启动脚本

Linux服务器Java启动脚本

Linux服务器Java启动脚本 1、初版2、优化版本3、常用脚本仓库 本文章介绍了如何在Linux服务器上执行Java并启动jar包， 通常我们会使用nohup直接启动，但是还是需要手动停止然后再次启动， 那如何更优雅的在服务器上启动jar包呢，让我们一起探讨一下吧。 1、初版 第一个版本是常用的做法，直接使用nohup后台启动jar包， 并将日志输出到当前文件夹n
阅读更多...
[Linux]：进程(下)

[Linux]：进程(下)

✨✨ 欢迎大家来到贝蒂大讲堂✨✨ 🎈🎈养成好习惯，先赞后看哦~🎈🎈 所属专栏：Linux学习 贝蒂的主页：Betty’s blog 1. 进程终止 1.1 进程退出的场景 进程退出只有以下三种情况： 代码运行完毕，结果正确。代码运行完毕，结果不正确。代码异常终止（进程崩溃）。 1.2 进程退出码 在编程中，我们通常认为main函数是代码的入口，但实际上它只是用户级
阅读更多...
C++操作符重载实例(独立函数)

C++操作符重载实例(独立函数)

C++操作符重载实例，我们把坐标值CVector的加法进行重载，计算c3=c1+c2时，也就是计算x3=x1+x2，y3=y1+y2，今天我们以独立函数的方式重载操作符+（加号），以下是C++代码： c1802.cpp源代码： D:\YcjWork\CppTour>vim c1802.cpp #include <iostream>using namespace std;/*** 以独立函数
阅读更多...

Copyright China编程 23002807@qq.com

沪ICP备2023033072号-2