深度辨析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

相关文章

解决mysql插入数据锁等待超时报错:Lock wait timeout exceeded;try restarting transaction

《解决mysql插入数据锁等待超时报错:Lockwaittimeoutexceeded;tryrestartingtransaction》:本文主要介绍解决mysql插入数据锁等待超时报... 目录报错信息解决办法1、数据库中执行如下sql2、再到 INNODB_TRX 事务表中查看总结报错信息Lock

Python函数返回多个值的多种方法小结

《Python函数返回多个值的多种方法小结》在Python中,函数通常用于封装一段代码,使其可以重复调用,有时,我们希望一个函数能够返回多个值,Python提供了几种不同的方法来实现这一点,需要的朋友... 目录一、使用元组(Tuple):二、使用列表(list)三、使用字典(Dictionary)四、 使

Jvm sandbox mock机制的实践过程

《Jvmsandboxmock机制的实践过程》:本文主要介绍Jvmsandboxmock机制的实践过程,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、背景二、定义一个损坏的钟1、 Springboot工程中创建一个Clock类2、 添加一个Controller

PyTorch中cdist和sum函数使用示例详解

《PyTorch中cdist和sum函数使用示例详解》torch.cdist是PyTorch中用于计算**两个张量之间的成对距离(pairwisedistance)**的函数,常用于点云处理、图神经网... 目录基本语法输出示例1. 简单的 2D 欧几里得距离2. 批量形式(3D Tensor)3. 使用不

Dubbo之SPI机制的实现原理和优势分析

《Dubbo之SPI机制的实现原理和优势分析》:本文主要介绍Dubbo之SPI机制的实现原理和优势,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录Dubbo中SPI机制的实现原理和优势JDK 中的 SPI 机制解析Dubbo 中的 SPI 机制解析总结Dubbo中

Java 的 Condition 接口与等待通知机制详解

《Java的Condition接口与等待通知机制详解》在Java并发编程里,实现线程间的协作与同步是极为关键的任务,本文将深入探究Condition接口及其背后的等待通知机制,感兴趣的朋友一起看... 目录一、引言二、Condition 接口概述2.1 基本概念2.2 与 Object 类等待通知方法的区别

MySQL 字符串截取函数及用法详解

《MySQL字符串截取函数及用法详解》在MySQL中,字符串截取是常见的操作,主要用于从字符串中提取特定部分,MySQL提供了多种函数来实现这一功能,包括LEFT()、RIGHT()、SUBST... 目录mysql 字符串截取函数详解RIGHT(str, length):从右侧截取指定长度的字符SUBST

Spring Boot拦截器Interceptor与过滤器Filter深度解析(区别、实现与实战指南)

《SpringBoot拦截器Interceptor与过滤器Filter深度解析(区别、实现与实战指南)》:本文主要介绍SpringBoot拦截器Interceptor与过滤器Filter深度解析... 目录Spring Boot拦截器(Interceptor)与过滤器(Filter)深度解析:区别、实现与实

MyBatis分页插件PageHelper深度解析与实践指南

《MyBatis分页插件PageHelper深度解析与实践指南》在数据库操作中,分页查询是最常见的需求之一,传统的分页方式通常有两种内存分页和SQL分页,MyBatis作为优秀的ORM框架,本身并未提... 目录1. 为什么需要分页插件?2. PageHelper简介3. PageHelper集成与配置3.

Maven 插件配置分层架构深度解析

《Maven插件配置分层架构深度解析》:本文主要介绍Maven插件配置分层架构深度解析,本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考借鉴价值,需要的朋友参考下吧... 目录Maven 插件配置分层架构深度解析引言:当构建逻辑遇上复杂配置第一章 Maven插件配置的三重境界1.1 插件配置的拓扑