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

相关文章

JVM 的类初始化机制

前言 当你在 Java 程序中new对象时,有没有考虑过 JVM 是如何把静态的字节码(byte code)转化为运行时对象的呢,这个问题看似简单,但清楚的同学相信也不会太多,这篇文章首先介绍 JVM 类初始化的机制,然后给出几个易出错的实例来分析,帮助大家更好理解这个知识点。 JVM 将字节码转化为运行时对象分为三个阶段,分别是:loading 、Linking、initialization

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>

Java ArrayList扩容机制 (源码解读)

结论:初始长度为10,若所需长度小于1.5倍原长度,则按照1.5倍扩容。若不够用则按照所需长度扩容。 一. 明确类内部重要变量含义         1:数组默认长度         2:这是一个共享的空数组实例,用于明确创建长度为0时的ArrayList ,比如通过 new ArrayList<>(0),ArrayList 内部的数组 elementData 会指向这个 EMPTY_EL

基于UE5和ROS2的激光雷达+深度RGBD相机小车的仿真指南(五):Blender锥桶建模

前言 本系列教程旨在使用UE5配置一个具备激光雷达+深度摄像机的仿真小车,并使用通过跨平台的方式进行ROS2和UE5仿真的通讯,达到小车自主导航的目的。本教程默认有ROS2导航及其gazebo仿真相关方面基础,Nav2相关的学习教程可以参考本人的其他博客Nav2代价地图实现和原理–Nav2源码解读之CostMap2D(上)-CSDN博客往期教程: 第一期:基于UE5和ROS2的激光雷达+深度RG

韦季李输入法_输入法和鼠标的深度融合

在数字化输入的新纪元,传统键盘输入方式正悄然进化。以往,面对实体键盘,我们常需目光游离于屏幕与键盘之间,以确认指尖下的精准位置。而屏幕键盘虽直观可见,却常因占据屏幕空间,迫使我们在操作与视野间做出妥协,频繁调整布局以兼顾输入与界面浏览。 幸而,韦季李输入法的横空出世,彻底颠覆了这一现状。它不仅对输入界面进行了革命性的重构,更巧妙地将鼠标这一传统外设融入其中,开创了一种前所未有的交互体验。 想象

【编程底层思考】垃圾收集机制,GC算法,垃圾收集器类型概述

Java的垃圾收集(Garbage Collection,GC)机制是Java语言的一大特色,它负责自动管理内存的回收,释放不再使用的对象所占用的内存。以下是对Java垃圾收集机制的详细介绍: 一、垃圾收集机制概述: 对象存活判断:垃圾收集器定期检查堆内存中的对象,判断哪些对象是“垃圾”,即不再被任何引用链直接或间接引用的对象。内存回收:将判断为垃圾的对象占用的内存进行回收,以便重新使用。

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;/*** 以独立函数

【Tools】大模型中的自注意力机制

摇来摇去摇碎点点的金黄 伸手牵来一片梦的霞光 南方的小巷推开多情的门窗 年轻和我们歌唱 摇来摇去摇着温柔的阳光 轻轻托起一件梦的衣裳 古老的都市每天都改变模样                      🎵 方芳《摇太阳》 自注意力机制(Self-Attention)是一种在Transformer等大模型中经常使用的注意力机制。该机制通过对输入序列中的每个元素计算与其他元素之间的相似性,

如何通俗理解注意力机制?

1、注意力机制(Attention Mechanism)是机器学习和深度学习中一种模拟人类注意力的方法,用于提高模型在处理大量信息时的效率和效果。通俗地理解,它就像是在一堆信息中找到最重要的部分,把注意力集中在这些关键点上,从而更好地完成任务。以下是几个简单的比喻来帮助理解注意力机制: 2、寻找重点:想象一下,你在阅读一篇文章的时候,有些段落特别重要,你会特别注意这些段落,反复阅读,而对其他部分

函数式编程思想

我们经常会用到各种各样的编程思想,例如面向过程、面向对象。不过笔者在该博客简单介绍一下函数式编程思想. 如果对函数式编程思想进行概括,就是f(x) = na(x) , y=uf(x)…至于其他的编程思想,可能是y=a(x)+b(x)+c(x)…,也有可能是y=f(x)=f(x)/a + f(x)/b+f(x)/c… 面向过程的指令式编程 面向过程,简单理解就是y=a(x)+b(x)+c(x)