深度辨析wait函数和信号机机制

2024-01-20 20:32

本文主要是介绍深度辨析wait函数和信号机机制,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

我们都知道父进程通过wati系统调用等待子进程结束,处理僵死的子进程,但是其其内部机制到底如何?这篇博客将带你深度探索wait机制,并顺便解释了有关Linux信号的相关问题。

首先明确wait的作用:遍历所有子进程,处理一个处于僵死状态的子进程,如果没有僵死子进程,阻塞等待。如果根本就没有子进程,立刻返回-1,并设定相应的errno。综上不难看出,有wait的调用次数应该至少是子进程数,不然有僵死子进程得不到处理。wait调用次数超过子进程数没有大问题,因为立即返回-1。

其次,我们来看一下子进程退出是干了些什么。首先检查自己的父进程是否将SIGCHLD对应的处理函数设定为了SIG_IGN(使用signal(SIGCHLD,SIG_IGN);进行设定)。如果设定,子进程直到父进程根本不关心自己,直接自我了断(也不会进行什么init托管)。这里需要强调的几点:

  • 这里是说使用signal API将处理函数设定为忽略SIG_IGN,直接不进行任何处理,有别于信号屏蔽。信号屏蔽只是暂时不deliver信号,将信号挂到pending队列中,等屏蔽解除,依然会处理。
  • SIGCHLD默认情况下也就是SIG_DFL处理方式是什么都不做。会进入信号处理函数,只是这个函数什么都没有干

如果父进程没有SIG_IGN,先发送信号SIGCHLD(将SIGCHLD信号放到父进程的pending队列中),之后检查父进程是否阻塞在wait上,如果是,则将父进程唤醒(设定为RUNNING)。

内核代码如下:

//子进程向父进程发送信号
if(valid_signal(sig) && sig)_group_send_sig_info(sig,&info,tsk->parent);
//子进程尝试唤醒父进程,如果父进程正在等待其终止
__wake_up_parent(tsk,tsk->parent);

最后,来看一下父进程。父进程分两种情况:

  • 父进程wait阻塞:由于前面所诉,子进程将父进程从阻塞队列上拆除,并置为RUNNING,父进程继续执行wait逻辑,也就是遍历所有子进程,找到一个僵死的进行处理,并返回。这里再简单介绍一下wait的内部逻辑:先遍历所有子进程,如果有僵死的直接处理并返回,如果没有则进行阻塞,被唤醒后再遍历一次如果有僵死则处理,依然有可能没有僵死子进程(被其他信号唤醒),继续阻塞等待。
  • 父进程设定了signl处理函数,在信号处理函数中进行wait:在每次进程调度检查时,内核会检查对应的进程的pending队列上是否有信号,如果有,进行相应的信号处理。什么时候回进行调度检查呢?时钟中断、进程从阻塞状态返回时、新进程创建三种情况。

接下来通过一个小实验来证明一下上述流程。

我们现在父进程中设定一个SIGCHLD的处理函数,里面进行wait,之后fork子进程,父进程在自己的主逻辑中使用wait等待。代码如下:

#include <iostream>
#include <unistd.h>
#include <sys/wait.h>
#include <signal.h>
#include <errno.h>
#include <stdio.h>
#include <string.h>
using namespace std;
void fun(int signum){cout<<"in handle ,signal is: "<<signum<<endl;if(wait(nullptr)<0)cout<<strerror(errno)<<endl;cout<<"out handle"<<endl;
}int main(){signal(SIGCHLD,&fun);int ret=fork();if(ret==0){cout<<"create child success"<<endl;return 0;}else{cout<<"wait success ,child id is: "<<wait(nullptr)<<endl;}return 0;
}

如果上面的论述正确,子进程唤醒父进程,处理僵死状态的子进程,之后由于SIGCHLD还在pending队列上,还会触发一次信号处理函数,里面又调用了一次wait,这时由于已经没有子进程了,所以返回-1。运行后可见结果一致:

这里有一个令人迷惑的地方就是wait success在信号处理函数之后,我猜想的原因是在wait函数处理完僵死子进程后,但是还没有返回,内核进行了一次调度,执行信号函数。。。是不是有点眼熟?前面说过内核会在阻塞函数返回时进行调度。但是也可能是处理完僵死子进程后,返回前遇到一个时钟中断,具体原因不得而知。

为了进一步说明正确性,再将实验升级,代码如下,主要涉及两个子进程,第二个子进程不返回:

#include <iostream>
#include <unistd.h>
#include <sys/wait.h>
#include <signal.h>
#include <errno.h>
#include <stdio.h>
#include <string.h>
using namespace std;
void fun(int signum){cout<<"in handle ,signal is: "<<signum<<endl;if(wait(nullptr)<0)cout<<strerror(errno)<<endl;cout<<"out handle"<<endl;
}int main(){signal(SIGCHLD,&fun);int ret=fork();if(ret==0){cout<<"create child success"<<endl;return 0;}ret=fork();if(ret==0){while(true);}cout<<"wait success ,child id is: "<<wait(nullptr)<<endl;return 0;
}

先预判一下会发生什么。父进程被唤醒,处理完僵死进程后,返回前由于受到信号,执行信号函数,里面的wait会被阻塞,因为第二个子进程还没返回。效果如下:

接下来在另一个终端kill掉子进程,效果如下:

这篇关于深度辨析wait函数和信号机机制的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/627240

相关文章

C++统计函数执行时间的最佳实践

《C++统计函数执行时间的最佳实践》在软件开发过程中,性能分析是优化程序的重要环节,了解函数的执行时间分布对于识别性能瓶颈至关重要,本文将分享一个C++函数执行时间统计工具,希望对大家有所帮助... 目录前言工具特性核心设计1. 数据结构设计2. 单例模式管理器3. RAII自动计时使用方法基本用法高级用法

深度解析Python中递归下降解析器的原理与实现

《深度解析Python中递归下降解析器的原理与实现》在编译器设计、配置文件处理和数据转换领域,递归下降解析器是最常用且最直观的解析技术,本文将详细介绍递归下降解析器的原理与实现,感兴趣的小伙伴可以跟随... 目录引言:解析器的核心价值一、递归下降解析器基础1.1 核心概念解析1.2 基本架构二、简单算术表达

深度解析Java @Serial 注解及常见错误案例

《深度解析Java@Serial注解及常见错误案例》Java14引入@Serial注解,用于编译时校验序列化成员,替代传统方式解决运行时错误,适用于Serializable类的方法/字段,需注意签... 目录Java @Serial 注解深度解析1. 注解本质2. 核心作用(1) 主要用途(2) 适用位置3

Java MCP 的鉴权深度解析

《JavaMCP的鉴权深度解析》文章介绍JavaMCP鉴权的实现方式,指出客户端可通过queryString、header或env传递鉴权信息,服务器端支持工具单独鉴权、过滤器集中鉴权及启动时鉴权... 目录一、MCP Client 侧(负责传递,比较简单)(1)常见的 mcpServers json 配置

Maven中生命周期深度解析与实战指南

《Maven中生命周期深度解析与实战指南》这篇文章主要为大家详细介绍了Maven生命周期实战指南,包含核心概念、阶段详解、SpringBoot特化场景及企业级实践建议,希望对大家有一定的帮助... 目录一、Maven 生命周期哲学二、default生命周期核心阶段详解(高频使用)三、clean生命周期核心阶

GO语言中函数命名返回值的使用

《GO语言中函数命名返回值的使用》在Go语言中,函数可以为其返回值指定名称,这被称为命名返回值或命名返回参数,这种特性可以使代码更清晰,特别是在返回多个值时,感兴趣的可以了解一下... 目录基本语法函数命名返回特点代码示例命名特点基本语法func functionName(parameters) (nam

Python Counter 函数使用案例

《PythonCounter函数使用案例》Counter是collections模块中的一个类,专门用于对可迭代对象中的元素进行计数,接下来通过本文给大家介绍PythonCounter函数使用案例... 目录一、Counter函数概述二、基本使用案例(一)列表元素计数(二)字符串字符计数(三)元组计数三、C

深度剖析SpringBoot日志性能提升的原因与解决

《深度剖析SpringBoot日志性能提升的原因与解决》日志记录本该是辅助工具,却为何成了性能瓶颈,SpringBoot如何用代码彻底破解日志导致的高延迟问题,感兴趣的小伙伴可以跟随小编一起学习一下... 目录前言第一章:日志性能陷阱的底层原理1.1 日志级别的“双刃剑”效应1.2 同步日志的“吞吐量杀手”

基于Redis自动过期的流处理暂停机制

《基于Redis自动过期的流处理暂停机制》基于Redis自动过期的流处理暂停机制是一种高效、可靠且易于实现的解决方案,防止延时过大的数据影响实时处理自动恢复处理,以避免积压的数据影响实时性,下面就来详... 目录核心思路代码实现1. 初始化Redis连接和键前缀2. 接收数据时检查暂停状态3. 检测到延时过

Redis中哨兵机制和集群的区别及说明

《Redis中哨兵机制和集群的区别及说明》Redis哨兵通过主从复制实现高可用,适用于中小规模数据;集群采用分布式分片,支持动态扩展,适合大规模数据,哨兵管理简单但扩展性弱,集群性能更强但架构复杂,根... 目录一、架构设计与节点角色1. 哨兵机制(Sentinel)2. 集群(Cluster)二、数据分片