进程信号详解

本文深入解析了进程信号的概念,包括生活中的类比、信号的产生、查看、发送方式以及处理机制。重点讨论了信号的阻塞、捕捉和默认行为,同时还涉及核心转储和信号集的操作。内容涵盖了信号在进程中的表示,以及内核如何在用户态和内核态之间处理信号。
摘要由CSDN通过智能技术生成

进程信号

什么是信号

生活角度的信号

1、你在网上买了很多件商品,再等待不同商品快递的到来。但即便快递没有到来,你也知道快递来临时,你该怎么处理快递。也就是你能“识别快递

2、当快递员到了你楼下,你也收到快递到来的通知,但是你正在打游戏,需5min之后才能去取快递。那么在在这5min之内,你并没有下去去取快递,但是你是知道有快递到来了。也就是取快递的行为并不是一定要立即执行,可以理解成“在合适的时候去取”。

3、在收到通知,再到你拿到快递期间,是有一个时间窗口的,在这段时间,你并没有拿到快递,但是你知道有一个快递已经来了。本质上是你“记住了有一个快递要去取”

4、当你时间合适,顺利拿到快递之后,就要开始处理快递了。而处理快递一般方式有三种:1. 执行默认动作(幸福的打开快递,使用商品)2. 执行自定义动作(快递是零食,你要送给你你的女朋友)3. 忽略快
(快递拿上来之后,扔掉床头,继续开一把游戏)

5、快递到来的整个过程,对你来讲是异步的,你不能准确断定快递员什么时候给你打电话

信号产生前:

1、信号还没有产生的时候,对于普通人来讲,我们是知道信号产生以后该怎么做的,例如红灯停,绿灯行

可最开始我们是怎么识别红绿灯信号,又怎么知道要红灯停绿灯行呢?-》因为曾经有人给我们这样的“教育”过程,将信号特征,如何识别,及其对应的处理过程记住了。

信号产生的时候,和人的正常生活之间的运行关系是怎样的。-》异步关系
异步关系:信号的产生过程,和我们当前正在进行的事,是一种异步关系,互不影响。

信号到来时

1、当信号产生的时候,我们不一定立马去处理信号,因为有可能你正在做优先级更高的事情。

2、信号已经到来,暂时没有处理,在“合适”的时候处理,此时信号的状态是已经产生,但暂时没被处理,你一定有某种方式记下来这个信号已经产生。

信号产生后,处理信号:

准备处理信号了,有几种行为
a、默认行为(闹钟响了,就起床)
b、自定义行为(自己选择不同的方式处理信号,例如快递来了,不去拿,让别人代拿)
c、忽略信号(红灯亮了,闯红灯)

进程角度的信号

人对应进程
进程收到信号前:

进程虽然现在没有收到任何信号,但是进程知道收到信号之后,该怎么做,进程内部一定能够识别信号,程序员设计进程的时候,已经内置了处理方案,信号属于进程内部特有的特征。

信号到来时:

当信号到来的时候,进程可能正在处理更重要的事,信号可能不会被立即处理,等合适的时候进行处理。信号来了,在处理信号前,信号必须暂时被进程保存起来。

信号产生后,处理信号

进程处理信号的3中方式:
a、默认行为(终止进程、暂停、继续运行等)
b、自定义行为
c、忽略信号(非常规)

查看信号列表

kill -l //可以查看信号列表
在这里插入图片描述

信号是由谁发送的,记录在哪里

信号的记录是在进程的 task_struct(PCB) 中,结构体变量,本质更多的是为了记录信号"是否"产生

应该用什么数据结构体来保存信号数据呢?-》位图

0000 0000 0000 0000 0000 0000 0100 0000
比特位的位置:代表信号的编号
比特位的内容:代表是否收到信号
上图位图表示,收到7号信号

进程收到信号;本质是进程内信号位图被修改了,被OS修改了,OS是系统进程的管理者,就有绝对的资格修改进程数据。

信号是如何发送的:本质是OS直接去子修改目标进程的task_struct中信号的位图。
在这里插入图片描述

信号的发送方式

只有OS有资格发送信号,但是信号发送的方式可以有多种

1、键盘快捷键方式:
例如:用户按下 Ctrl-C ,这个键盘输入产生一个硬件中断,被OS获取,解释成信号,发送给目标前台进程,前台进程因为收到信号,进而引起进程退出。
在这里插入图片描述

2、指令操作方式:
例如:kill -2 pid 通过发送2号信号终结进程。
在这里插入图片描述
可以将 2号信号捕捉,自定义其功能
在这里插入图片描述
在这里插入图片描述
注意

  1. Ctrl-C 产生的信号只能发给前台进程。一个命令后面加个&可以放到后台运行,这样Shell不必等待进程结束就可以接受新的命令,启动新的进程。

  2. Shell可以同时运行一个前台进程和任意多个后台进程,只有前台进程才能接到像 Ctrl-C 这种控制键产生的信号。

  3. 前台进程在运行过程中用户随时可能按下 Ctrl-C 而产生一个信号,也就是说该进程的用户空间代码执行到任何地方都有可能收到 SIGINT 信号而终止,所以信号相对于进程的控制流程来说是异步(Asynchronous)的

信号捕捉

信号捕捉就是把信号的默认功能改为自己定义的功能,当然捕捉后,也可什么也不做。
在这里插入图片描述
例如:2号信号默认功能是终止进程的,通过signal捕捉后,就失去了默认功能,可自定义其功能,这里没有设置功能,只是让打印东西。

核心转储

什么是核心转储:代码运行中的时候出错了,我们要有办法判定是什么原因出错了。核心转储功能,把进程在内核的核心数据,转储到磁盘上,core.pid是核心转储文件,目的是为了调试定位问题
ulimit -a //查看系统资源
在这里插入图片描述
注意:一般云服务器,线上生产环境,默认是关闭的。为什么默认关闭呢?
当服务器挂掉后, 具有服务崩溃自动重启的功能,而每次重启都要生产core.pid文件,而每个core.pid文件,大小还不是很小,当产生大量的core.pid文件后,OS可能都会挂掉,所以默认是关闭的。

打开核心转储文件

ulimit -c 10240 //打开核心转储文件,设置大小
在这里插入图片描述
核心转储用例:

除0错误: 用一个整数除以0 a/0,因发生异常,进程收到信号终止。
在这里插入图片描述
C/C++中进程为什么会崩溃:
本质是收到了信号,信号都是由OS发送的,但是OS是怎么识别到代码中有错误的呢?CPU内有一堆寄存器,除0操作,会将数据放到两个寄存器中去计算,CPU有个状态寄存器,描述的是特定计算的计算状态,有一些标志位,一旦发生除0错误,或者溢出,状态寄存器的状态标志位会有0置1,硬件就会有所表现。而OS是软硬件资源的管理者,OS会识别到硬件错误,将硬件错误包装成信号发送给进程。
在这里插入图片描述
OS怎么识别信号呢
代码中的错误最终会在硬件层面上有所表现,而OS是软硬件资源的管理者,进而被OS识别到,发送对应的信号给目标进程。

信号的产生方式

1、键盘发送,产生信号

2、程序异常导致硬件问题,产生信号

硬件异常被硬件以某种方式被硬件检测到并通知内核,然后内核向当前进程发送适当的信号。例如当前进程执行了除以0的指令,CPU的运算单元会产生异常,内核将这个异常解释 为SIGFPE信号发送给进程。

3、调用系统函数,产生信号
模拟实现kill,向另一个进程发送信号
在这里插入图片描述

4、由软件条件产生信号

在这里插入图片描述

阻塞信号

信号其他相关常见概念

1、实际执行信号的处理动作称为信号递达(Delivery)

2、信号从产生到递达之间的状态,称为信号未决(Pending)。

3、进程可以选择阻塞 (Block )某个信号。

4、被阻塞的信号产生时将保持在未决状态,直到进程解除对此信号的阻塞,才执行递达的动作.

注意,阻塞和忽略是不同的,只要信号被阻塞就不会递达,而忽略是在递达之后可选的一种处理动作。
忽略与阻塞的区别:
忽略:本质是处理信号的一种方式
阻塞:本质让信号不要递达,知道解除阻塞

在内核中的表示

信号在内核中的表示示意图
在这里插入图片描述
1、每个信号都有两个标志位分别表示阻塞(block)和未决(pending),还有一个函数指针表示处理动作。信号产生时,内核在进程控制块中设置该信号的未决标志,直到信号递达才清除该标志。在上图的例子中,SIGHUP信号未阻塞也未产生过,当它递达时执行默认处理动作。

2、SIGINT信号产生过,但正在被阻塞,所以暂时不能递达。虽然它的处理动作是忽略,但在没有解除阻塞之前
不能忽略这个信号,因为进程仍有机会改变处理动作之后再解除阻塞。

3、SIGQUIT信号未产生过,一旦产生SIGQUIT信号将被阻塞,它的处理动作是用户自定义函数sighandler。如果在进程解除对某信号的阻塞之前这种信号产生过多次,将如何处理?POSIX.1允许系统递送该信号一次或多次。Linux是这样实现的:常规信号在递达之前产生多次只计一次,而实时信号在递达之前产生多次可以依次放在一个队列里。

sigset_t

从上图来看,每个信号只有一个bit的未决标志,非0即1,不记录该信号产生了多少次,阻塞标志也是这样表示的。因此,未决和阻塞标志可以用相同的数据类型sigset_t来存储,sigset_t称为信号集,这个类型可以表示每个信号的“有效”或“无效”状态,在阻塞信号集中“有效”和“无效”的含义是该信号是否被阻塞,而在未决信号集中“有效”和“无效”的含义是该信号是否处于未决状态。下一节将详细介绍信号集的各种操作。 阻塞信号集也叫做当前进程的信号屏蔽字(Signal Mask),这里的“屏蔽”应该理解为阻塞而不是忽略。

信号集操作函数

在这里插入图片描述
1、函数sigemptyset初始化set所指向的信号集,使其中所有信号的对应bit清零,表示该信号集不包含 任何有
效信号。

2、函数sigfillset初始化set所指向的信号集,使其中所有信号的对应bit置位,表示 该信号集的有效信号包括系统支持的所有信号。

3、注意,在使用sigset_ t类型的变量之前,一定要调 用sigemptyset或sigfillset做初始化,使信号集处于确定的
状态。初始化sigset_t变量之后就可以在调用sigaddset和sigdelset在该信号集中添加或删除某种有效信号。

4、这四个函数都是成功返回0,出错返回-1。sigismember是一个布尔函数,用于判断一个信号集的有效信号中是否包含某种 信号,若包含则返回1,不包含则返回0,出错返回-1。

sigprocmask

调用函数sigprocmask可以读取或更改进程的信号屏蔽字(阻塞信号集)。
在这里插入图片描述

在这里插入图片描述

sigpending

在这里插入图片描述
例:
1、先把2号信号屏蔽了
2、kill或键盘发送2号信号,可以预见,2号信号不会被递达
3、2号信号将会一直被阻塞,一定一直在pending中
4、使用sigpending获取当前进程的pending信号集
在这里插入图片描述
在这里插入图片描述

处理信号

在这里插入图片描述

在这里插入图片描述
内核态用户态切换:
在这里插入图片描述

信号的捕捉
在这里插入图片描述

内核如何实现信号的捕捉
如果信号的处理动作是用户自定义函数,在信号递达时就调用这个函数,这称为捕捉信号。由于信号处理函数的代码是在用户空间的,处理过程比较复杂,举例如下: 用户程序注册了SIGQUIT信号的处理函数sighandler。 当前正在执行main函数,这时发生中断或异常切换到内核态。 在中断处理完毕后要返回用户态的main函数之前检查到有信号SIGQUIT递达。 内核决定返回用户态后不是恢复main函数的上下文继续执行,而是执行sighandler函 数,sighandler和main函数使用不同的堆栈空间,它们之间不存在调用和被调用的关系,是 两个独立的控制流程。 sighandler函数返回后自动执行特殊的系统调用sigreturn再次进入内核态。 如果没有新的信号要递达,这次再返回用户态就是恢复main函数的上下文继续执行了。

sigaction信号捕捉函数
在这里插入图片描述
当某个信号的处理函数被调用时,内核自动将当前信号加入进程的信号屏蔽字,当信号处理函数返回时自动恢复原来的信号屏蔽字,这样就保证了在处理某个信号时,如果这种信号再次产生,那么 它会被阻塞到当前处理结束为止。 如果在调用信号处理函数时,除了当前信号被自动屏蔽之外,还希望自动屏蔽另外一些信号,则用sa_mask字段说明这些需要额外屏蔽的信号,当信号处理函数返回时自动恢复原来的信号屏蔽字。
在这里插入图片描述

总结

信号的发送、保存、处理:

1、信号发送:信发送方式有很多,重点理解异常,当进程出现野指针越界,或其它问题的时候,本质是硬件出了异常,导致被OS识别到,进而OS向目标进程发送信号,发信号的本质其实是OS在修改进程PCB中的pending位图,pending位图由0置1

2、信号保存:通过pending信号集进行保存信号,可能信号被block,合适的时候信号会被处理。

3、信号处理:处理的方式有3种,自定义行为、默认和忽略,其中,自定义就叫信号的捕捉,不管自定义,忽略还是默认都叫信号递达。收到信号之后,并不会立即处理,而是在合适的时候处理,在内核态切换到用户态时,进行信号检测,并且进行处理。如果是忽略或者默认状态,就执行忽略或者默认。如果是自定义状态:自定义也叫信号捕捉
见下图在这里插入图片描述

信号总结图:
在这里插入图片描述

评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值