进程信号的理解

news/2025/3/14 16:38:28/

进程信号

  • 1. 信号的概念
  • 2. 信号的产生
  • 3. 信号的保存
    • 1. 信号其他相关常见概念
    • 2. 在内核中的表示
    • 3.信号集操作函数
  • 4. 信号的处理(捕捉)

1. 信号的概念

信号的一生,进程信号从产生到被处理所经历的过程一共分成了三步:信号产生、信号保存和信号捕捉和处理

什么是信号?
进程信号是一种软件中断,用于通知进程系统中发生了某种类型的事件。 一个信号对应一个事件,这样才能做到收到一个信号后,知道到底是一个什么事件,应该如何处理(但是要保证必须识别这个信号)。

在Linux中,可以用kill -l 查看信号,其中有62种信号,其中1 ~ 31是非可靠信号(非实时的),34 ~ 64是可靠信号(实时信号)。非可靠信号是早期Unix系统中的信号,后来又添加了可靠信号方便用户自定义信号。

当试图对一个进程发送一个非可靠信号时,若发现位图上对应的位为0,则置为1,并在list_head链表里加入一个sigqueue节点;若发现位图上对应的位已经为1,则直接返回。

在这里插入图片描述
每个信号都有一个编号和一个宏定义名称,这些宏定义可以在signal.h中找到,例如其中有定义 #define SIGINT 2
这些信号各自在什么条件下产生,默认的处理动作是什么,在signal(7)中都有详细说明: man 7 signal

2. 信号的产生

  1. 通过终端按键产生信号,例如,Ctrl+C组合键会产生中断信号SIGINT,Ctrl+Z组合键会产生停止信号SIGTSTP。
  2. 调用系统函数向进程发信号,例如:kill命令是调用kill函数实现的。kill函数可以给一个指定的进程发送指定的信号。raise函数可以给当前进程发送指定的信号(自己给自己发信号)。

#include <signal.h>
int kill(pid_t pid, int signo);
int raise(int signo);
这两个函数都是成功返回0,错误返回-1。

abort函数使当前进程接收到信号而异常终止。

#include <stdlib.h>
void abort(void);
就像exit函数一样,abort函数总是会成功的,所以没有返回值。

  1. 由软件条件产生信号,例如:alarm函数。

#include <unistd.h>
unsigned int alarm(unsigned int seconds);
调用alarm函数可以设定一个闹钟,也就是告诉内核在seconds秒之后给当前进程发SIGALRM信号, 该信号的默认处理动作是终止当前进程。返回值是0或者是以前设定的闹钟时间还余下的秒数。

  1. 硬件异常产生信号,硬件异常被硬件以某种方式检测到并通知内核,然后内核向当前进程发送适当的信号。例如:当前进程执行了除以0的指令,CPU的运算单元会产生异常,内核将这个异常解释为SIGFPE信号发送给进程。再比如当前进程访问了非法内存地址,MMU会产生异常,内核将这个异常解释为SIGSEGV信号发送给进程。
    所以由此可以确认,在C/C++当中除零,内存越界等异常,在系统层面上,是被当成信号处理的。

核心转储
在这里插入图片描述
在Linux中,Term信号是指终止进程的默认操作。Core信号是指终止进程并将当前进程的运行状态保存在文件中的默认操作。

OS可以将该进程在异常的时候,核心代码部分进行核心转储,将内存中进程的相关数据,全部dump到磁盘中,一般会在当前进程的运行目录下,形成core. pid这样的二进制文件。

在云服务器上,默认是关闭核心转储这个功能的。因为如果一个进程异常,并且这个异常的进程在某种情况下不停地被调用,就会产生大量的core.pid文件,直到电脑的内存被占满。可以用ulimit -a显示当前所有的limit信息。它可以用来控制shell执行程序的资源。

在这里插入图片描述

接下来试着产生一个core.pid文件,ulimit -c 10240打开核心转储功能,ulimit -c 0关闭核心转储功能。(不需要核心转储功能,记得关闭)

在这里插入图片描述
==core file size ==为10240即打开核心功能成功。

#include <iostream>
#include <sys/types.h>
#include <unistd.h>
using namespace std;int main()
{while (true){cout << "pid=" << getpid() << endl;sleep(1);}return 0;
}

上面代码一直循环,每隔一秒打印一次该进程的pid,再打开一个终端,使用kill命令执行Action是core的信号,如3、4、6、8、11等信号。
在这里插入图片描述
可以看到core.26481文件占用的内存挺大。

那么核心转储的作用是什么? 程序异常后,方便进行调试。

3. 信号的保存

当一个进程收到一个信号时,它会先检查该信号是否被阻塞,如果没有被阻塞,那么该信号就会被处理。如果该信号已经被阻塞,那么该信号就会被放入进程的未决信号集中,等待解除阻塞后再处理。

1. 信号其他相关常见概念

实际执行信号的处理动作称为信号递达(Delivery)
信号从产生到递达之间的状态,称为信号未决(Pending)。
进程可以选择阻塞(Block )某个信号。
被阻塞的信号产生时将保持在未决状态,直到进程解除对此信号的阻塞,才执行递达的动作。
注意,阻塞和忽略是不同的,只要信号被阻塞就不会递达,而忽略是在递达之后可选的一种处理动作。

2. 在内核中的表示

信号在内核中的表示示意图:
在这里插入图片描述
pending 表:位图结构。比特位的位置, 表示哪一个信号, 比特位的内容,代表是否收到该信号00000000… 0001000 uint32_ t pending = 0; pending |= (1<<(signo-1))
block表:位图结构。比特位的位置,表示哪一个信号, 比特位的内容,代表是否对应的信号该被阻塞0000 … 0010
handler表:函数指针数组,该数组的下标, 表示信号编号,数组的特定下标的内容,表示该信号的递达动作。

1.每个信号都有两个标志位分别表示阻塞(block)和未决(pending),还有一个函数指针表示处理动作。信号产生时,内核在进程控制块中设置该信号的未决标志,直到信号递达才清除该标志。
2.SIGINT信号产生过,但正在被阻塞,所以暂时不能递达。虽然它的处理动作是忽略,但在没有解除阻塞之前不能忽略这个信号,因为进程仍有机会改变处理动作之后再解除阻塞。
3.SIGQUIT信号未产生过,一旦产生SIGQUIT信号将被阻塞,它的处理动作是用户自定义函数sighandler。 如果在进程解除对某信号的阻塞之前这种信号产生过多次,将如何处理?POSIX.1允许系统递送该信号一次或多次。Linux是这样实现的:常规信号在递达之前产生多次只计一次,而实时信号在递达之前产生多次可以依次放在一个队列里。

3.信号集操作函数

sigset_t类型对于每种信号用一个bit表示“有效”或“无效”状态。

#include <signal.h>
int sigemptyset(sigset_t *set); sigemptyset函数用于初始化一个信号集,将其中所有的信号都清空。
int sigfillset(sigset_t *set);sigfillset函数用于初始化一个信号集,将其中所有的信号都设置为1。
int sigaddset (sigset_t *set, int signo);sigaddset函数是将一个指定的信号添加到信号集中。
int sigdelset(sigset_t *set, int signo);它的作用是将一个指定的信号从信号集中删除。
int sigismember(const sigset_t *set, int signo);它的作用是测试一个指定的信号是否在信号集中。

函数sigemptyset初始化set所指向的信号集,使其中所有信号的对应bit清零,表示该信号集不包含 任何有效信号。
函数sigfillset初始化set所指向的信号集,使其中所有信号的对应bit置位,表示 该信号集的有效信号包括系统支持的所有信号。
注意:在使用sigset_ t类型的变量之前,一定要调 用sigemptyset或sigfillset做初始化,使信号集处于确定的状态。初始化sigset_t变量之后就可以在调用sigaddset和sigdelset在该信号集中添加或删除某种有效信号。
这四个函数都是成功返回0,出错返回-1。sigismember是一个布尔函数,用于判断一个信号集的有效信号中是否包含某种 信号,若包含则返回1,不包含则返回0,出错返回-1。

sigprocmask函数
调用函数sigprocmask可以读取或更改进程的信号屏蔽字(阻塞信号集)。

#include <signal.h>
int sigprocmask(int how, const sigset_t *set, sigset_t *oset);
how,set输入型参数;oset是输出型参数,返回的是老的信号屏蔽字。
返回值:若成功则为0,若出错则为-1

如果oset是非空指针,则读取进程的当前信号屏蔽字通过oset参数传出。如果set是非空指针,则 更改进程的信号屏蔽字,参数how指示如何更改。如果oset和set都是非空指针,则先将原来的信号 屏蔽字备份到oset里,然后根据set和how参数更改信号屏蔽字。假设当前的信号屏蔽字为mask,下表说明了how参数的可选值。

how功能
SIG_BLOCKset包含了我们希望添加到当前信号屏蔽字的信号,相当于mask=mask|set
SIG_UNBLOCKset包含了我们希望从当前信号屏蔽字中阻塞的信号,相当于mask=mask&~set
SIG_SETMASK设置当前信号屏蔽字为set所指向的值,相当于mask=set

如果调用sigprocmask解除了对当前若干个未决信号的阻塞,则在sigprocmask返回前,至少将其中一个信号递达。

sigpending函数
在这里插入图片描述
sigpending函数是一个用来返回被阻塞而未送达给调用线程的信号集合的函数。信号集合通过set参数返回。

#include <signal.h>
int sigpending(set_t* set)
返回值:调用成功则返回0,出错则返回-1。

signl函数
在这里插入图片描述
signal函数是一个用来设置信号处理函数的函数,signal函数有两个参数:

sig:是信号的编号,可以是预定义的宏,如SIGINT、SIGTERM等。
func:是一个指向函数的指针,它指定了当收到信号时要执行的操作。可以是用户自定义的函数,也可以是两个特殊值之一:SIG_DFL(默认处理)或SIG_IGN(忽略信号)。
signal函数的返回值是一个函数指针,它指向原来的信号处理函数。如果发生错误,返回SIG_ERR。

示例:使用sigprocmask函数,阻塞2号信号,发送2号信号,6s之后,恢复对所有信号的block动作,捕捉2号信号,观察结果。

#include <iostream>
#include <assert.h>
#include <signal.h>
#include <sys/types.h>
#include <unistd.h>
using namespace std;void handler(int signo)
{cout << "对特定信号:" << signo << "执行捕捉动作" << endl;
}
void PrintPending(const sigset_t &pending)
{cout << "当前进程的pending位图: ";for (int signo = 1; signo <= 31; signo++){if (sigismember(&pending, signo))cout << "1";elsecout << "0";}cout << "\n";
}
int main()
{signal(2, handler); // 自定义捕捉捕捉2号信号// 屏蔽2号信号sigset_t set, oset;// 初始化sigemptyset(&set);sigemptyset(&oset);// 将2号信号添加到set中sigaddset(&set, 2);// 将新的信号屏蔽字设置进程sigprocmask(SIG_BLOCK, &set, &oset);int cnt = 0;// while获取进程的pending信号集合,并01打印while (true){// 获取pending信号集sigset_t pending;sigemptyset(&pending);int n = sigpending(&pending);assert(n == 0);(void)n; // 保证不会出现编译是的warning// 打印PrintPending(pending);sleep(1);// 6s之后,恢复对所有信号的block动作if (cnt++ == 6){cout << "解除对2号信号的屏蔽" << endl;sigprocmask(SIG_SETMASK, &oset, nullptr); //  将oset设置当前信号屏蔽字,nullptr表示不需要输出老的信号集}}return 0;
}

可以看到,通过终端ctrl+c(或者重新打开一个终端输入kill -2 pid)发送2号信号,该进程未被终止,因为2号信号被阻塞,可以看到pending位图由0变1;6秒后,解除对2号信号的屏蔽,该进程仍未被终止,因为对2号信号自定义捕捉,可以看到pending位图由1变0。要想终止该进程,可以用背的信号进行终止,例如:kill -3(9) pid
在这里插入图片描述

4. 信号的处理(捕捉)

信号处理常见方式:

  1. 默认动作。
  2. 忽略信号。
  3. 用户自定义动作。

如果一个信号之前被block,当他解除block的时候,对应的信号会被立即递达。信号的产生的异步的,当前进程可能正在做别的事。那么什么时候是合适的时候呢?当进程从内核态切换回用户态的时候,进程会在OS的指导下,进行信号的检测与处理。
用户态:执行你写的代码的时候,进程所处的状态
内核态:执行0S的代码的时候,进程所处的状态

sigaction函数
在这里插入图片描述

sigaction函数是一个用于操作信号的函数,它的作用是在进程中设置对指定信号的处理方式。sigaction函数的原型如下:

int sigaction(int signum, const struct sigaction *act, struct sigaction *oldact);

其中,signum是要设置处理方式的信号的编号,act是一个指向sigaction结构体的指针,用于设置信号处理方式,oldact是一个指向sigaction结构体的指针,用于保存原来的信号处理方式。如果成功,函数返回0,如果失败,函数返回-1,并设置errno。sigaction函数可以用来设置信号处理方式。

const struct sigaction 结构如下:
在这里插入图片描述

sigaction结构体指定了如何处理信号。它包含以下字段:

sa_handler: 指向一个信号捕获函数或两个特殊值之一 SIG_DFL 或 SIG_IGN 的指针。
sa_sigaction:指向一个接收三个参数的信号捕获函数的指针。
sa_mask: 在信号处理程序运行时要阻止的一组信号。
sa_flags:修改信号行为的标志。
sa_restorer: 信号处理程序返回后调用的函数的指针。

void handler(int signum) 
{printf("Received signal %d\n", signum);
}int main() 
{struct sigaction sa;sa.sa_handler = handler;sigemptyset(&sa.sa_mask);sa.sa_flags = 0;sigaction(SIGINT, &sa, NULL);while (1) {sleep(1);}
}

这样,当进程收到SIGINT信号时,就会调用handler函数进行处理。
在这里插入图片描述


http://www.ppmy.cn/news/974416.html

相关文章

【Git】—— 分⽀的基本操作

目录 &#xff08;一&#xff09;理解分⽀ &#xff08;二&#xff09;创建分⽀ &#xff08;三&#xff09;切换分⽀ &#xff08;四&#xff09;合并分⽀ &#xff08;五&#xff09;删除分⽀ 总结 &#xff08;一&#xff09;理解分⽀ 本章开始介绍 Git 的杀⼿级功能之…

一键批量JSON标注转PNG图片工具V1.1,支持labelme快捷矩形、圆以及轮廓标注

上次发布了一个批量将labelme标注的json文件转换为png文件工具&#xff0c;但是当时只是想着自己用的&#xff0c;功能相当简单&#xff0c;一些网友使用之后跟我反馈这玩意真”垃圾“&#xff0c;很多情况都没有进行设想&#xff0c;所以在功能上很欠缺。由于小陶这几天在外地…

解决FLink:Missing required options are: slot.name

[ERROR] Could not execute SQL statement. Reason: org.apache.flink.table.api.ValidationException: One or more required options are missing.Missing required options are:slot.name解决 https://ververica.github.io/flink-cdc-connectors/release-2.4/content/connec…

Django笔记之in查询及date日期相关过滤操作

这一篇介绍关于范围&#xff0c;日期的筛选 inrangedateyearweekweekdayquarterhour 1、in in 对应于 MySQL 中的 in 操作&#xff0c;可以接受数组、元组等类型数据作为参数&#xff1a; Blog.objects.filter(id__in[1,2,3])对应的 SQL 是&#xff1a; select * from blo…

C++(一):基本数据类型

基本数据类型 基本内置类型定义变量type field value;type field(value);type field{value};type field {value}; 数学常量及函数静态类型转换 static_cast格式化字符串std::stringstreamstd::string引入三方库 fmt/core.h 字符运算auto 关键字枚举类型数据类型定义别名判断是…

Hive内部表和外部表的区别

未被 external修饰的是内部表 被 external修饰的为外部表。 区别&#xff1a; 内部表数据由 Hive自身管理&#xff1b; 外部表数据由 HDFS管理&#xff1b; 内部表数据存储的位置是 hive.metastore.warehouse.dir&#xff08;默认&#xff1a;/user/hive/warehouse&#xf…

第二讲:k8s集群架构与相关组件

目录 一、相关组件 1.1 控制面板组件&#xff08;master&#xff09; 1.1.1 kube-apiserver 1.1.2 kube-controller-manager 1.1.3 cloud-controller-manager 1.1.4 kube-schedule 1.1.5 etcd 1.2 节点组件 1.2.1 kubelet 1.2.2 kube-proxy 1.2.3 container runtime 1.3 附加组…

xtrabackup,mydumper下载

目录 xtrabackup下载 mydumper安装 xtrabackup下载 我使用的是2.4的版本&#xff1a; wget -c https://downloads.percona.com/downloads/Percona-XtraBackup-2.4/Percona-XtraBackup-2.4.26/binary/redhat/7/x86_64/percona-xtrabackup-24-2.4.26-1.el7.x86_64.rpm 这个下…