【Linux】第三十八站:信号处理

文章目录

  • 一、信号处理
  • 二、再谈进程地址空间
  • 三、内核如何实现信号的捕捉
  • 四、sigaction

一、信号处理

我们知道,信号保存以后,会在合适的时候进行处理这个信号。

那么信号是如何被处理的?什么时候进行处理呢?

当我们的进程从内核态返回到用户态的时候,进行信号的检测和处理!

内核态:就是允许访问操作系统的代码和数据

用户态:只能访问用户自己的代码和数据

当我们使用系统调用的时候,操作系统是会自动做“身份”切换的,用户身份变为内核身份,或者反着来

我们的CPU它可以响应外部的中断,也可以内部直接产生中断

下面这条汇编指令,它可以直接从用户态陷入内核态。即就可以访问操作系统的代码了

int 80

image-20240127153506433

二、再谈进程地址空间

如下图所示,我们都是比较熟悉的

image-20240127154824874

我们会发现,进程地址空间中,有一个3G的用户空间,和1G的内核空间。

我们前面所谈的所有东西,都是这3GB的用户空间中的内容

上面的这1GB内核空间,它映射的是操作系统的代码和数据

而这内核空间会通过内核级页表映射操物理内存的底部!(当然也有的会通过直接映射到物理内存,这里我们不讨论它)

image-20240127160445194

那么用户级页表有几份?

有几个进程,就有几份用户级页表,进程具有独立性

内核级页表有几份?

内核级页表只有一份,即每个进程看到的34GB的东西是一样的!在整个系统中,进程再怎么切换,34GB的空间的内容是不变的!!!


所以站在进程的视角:调用系统中的方法,就是在我们自己的地址空间中进行执行的

站在操作系统的视角:任何一个时刻,都会有进程执行(即便一个进程都没有,操作系统也有自己对应的进程在运行。只需要它自己的内核空间即可)。我们想要执行操作系统的代码,就可以随时执行!


操作系统的本质:

基于时钟中断的一个死循环!


我们可能会疑惑,我们自己的代码是让操作系统去运行的。是谁让操作系统去运行的呢?

其实在计算机硬件中,有一个时钟芯片,每隔很短的时间(纳秒级别),向计算机发送时钟中断。

如下图所示,时钟会不断的发送时钟中断,然后CPU中的寄存器接收到信号以后,去中断向量表中寻找对应的方法,去执行。比如里面就会进行检查时间片到了没有,如果到了,就把这个进程剥夺下去,换下一个进程。从而完成进程的调度。然后上面的不断的进行死循环。

也就是被动的由时钟去驱动操作系统。

image-20240127163310590

操作系统的最后会卡在这样一个死循环里面,然后就靠着时钟中断来进行驱动

for(;;) pause();

我们知道,用户只能访问自己的代码和数据;无法直接访问操作系统的代码和数据。因为操作系统不相信任何人。

我们知道,在CPU当中,有一个CR3寄存器,指向这个页表

image-20240127164713497

在CPU当中还有一个ecs寄存器。它最低的两个比特位中。有两种权限位。

一个是0,一个是3。如果是0表示内核态,如果是3表示用户态

如果我们想要访问内核的代码,我们必须把这个3设置为0

这就叫做进入内核态。就允许去访问操作系统的代码和数据了。

image-20240127170822815

所以我们到底处于用户态还是内核态,就是由CPU来决定的

那么CPU就必须提供一个方法,让我们可以去改变这个工作级别。也就是下面的这个方法,陷入内核。

int 80//陷入内核

所以前面的这张图中

是基于用户捕捉代码的

image-20240127172142711

第一步第二步比较好理解

在第三步中,这个do_signal()函数会先遍历这个pending表,如果pending表中有1,那么在看一下block表,如果为1,不管这个信号,继续遍历pending表,直到遇到pending表有1,block表中为0以后。先将pending表对应的位置从1置为0,在看handler表,如果是SIG_DFL,那么则在内核中执行默认的动作。如果是SIG_IGN,那么就相当于忽略,直接返回代码。如果是自定义的handler,那么要先变为用户态(因为操作系统不想去执行我们的代码,不想让在内核中执行,害怕我们的代码中有非法的操作),然后执行第四步。

注意,先将pending表的位置置为0,才去执行的handler

在第四步中,我们的信号处理完成以后,它会自动系统调用sigretum系统调用接口返回内核。这里它在执行第四步之前会先将sigreturn进行入栈帧,然后在去入这个函数的栈帧。当这个函数的栈帧结束后,自然就会调用这个系统调用了

在第五步中,在去使用sys_sigreturn()函数去返回用户态。返回到我们原来的代码

我们可以用下面这张图去理解上面的过程

image-20240127173857090

三、内核如何实现信号的捕捉

如果信号的处理动作是用户自定义函数,在信号递达时就调用这个函数,这称为捕捉信号。

由于信号处理函数的代码是在用户空间的,处理过程比较复杂举例如下:

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

image-20240127181851761

其实在操作系统中,所有的系统调用都是一张函数指针表,调用的时候也就是将对应的编号写入到寄存器中,就可以通过函数指针表去进行调用了

四、sigaction

#include <signal.h>
int sigaction(int signo, const struct sigaction *act, struct sigaction *oact);

这个函数和signal是很相似的。都是捕捉信号的

第一个参数是信号编号

第二个参数和第三个参数中,函数名和结构体名字是一样的,这样是可以的。不过不推荐

第二个参数是输入型参数,负责把数据结构设置为它

第三个参数是输出型参数,负责把设置之前老的结构给返回

返回值中,0是成功,-1是失败

如下所示,是这个结构体的内容

struct sigaction {void     (*sa_handler)(int);void     (*sa_sigaction)(int, siginfo_t *, void *);sigset_t   sa_mask;int        sa_flags;void     (*sa_restorer)(void);
};

在这个结构体中,我们只关心这两个字段。其他的字段与实时信号有关

image-20240127183448674

第一个参数就是信号捕捉的处理方法。

如下样例所示可以简单的先用起来这个函数

#include <iostream>
#include <unistd.h>
#include <signal.h>
#include <cstring>
using namespace std;void handler(int signo)
{   cout << "I catch a signal: " << signo << endl;
}int main()
{struct sigaction act, oact;memset(&act, 0, sizeof(act));memset(&oact, 0, sizeof(oact));act.sa_handler = handler;sigaction(2, &act, &oact);while(true){cout << "I am a process: " << getpid() << endl;sleep(1);}return 0;
}

运行结果为

image-20240127185017572

pending位图,什么时候从1 -> 0?

我们可以用这段代码来进行测试

#include <iostream>
#include <unistd.h>
#include <signal.h>
#include <cstring>
using namespace std;void PrintPending()
{sigset_t set;sigpending(&set);for(int signo = 31; signo >= 1; signo--){cout << sigismember(&set, signo);}cout << endl << endl;
}void handler(int signo)
{   PrintPending();cout << "I catch a signal: " << signo << endl;
}int main()
{struct sigaction act, oact;memset(&act, 0, sizeof(act));memset(&oact, 0, sizeof(oact));act.sa_handler = handler;sigaction(2, &act, &oact);while(true){cout << "I am a process: " << getpid() << endl;sleep(1);}return 0;
}

运行结果为

image-20240127185810536

所以pending位图,执行捕捉方法之前,先清0,在调用

当某个信号的处理函数被调用时,内核自动将当前信号加入进程的信号屏蔽字,当信号处理函数返回时自动恢复原来的信号屏蔽字,这样就保证了在处理某个信号时,如果这种信号再次产生,那么它会被阻塞到当前处理结束为止。

我们可以用如下代码来进行验证

#include <iostream>
#include <unistd.h>
#include <signal.h>
#include <cstring>
using namespace std;void PrintPending()
{sigset_t set;sigpending(&set);for(int signo = 31; signo >= 1; signo--){cout << sigismember(&set, signo);}cout << endl << endl;
}void handler(int signo)
{   cout << "I catch a signal: " << signo << endl;while(true){PrintPending();sleep(1);}}int main()
{struct sigaction act, oact;memset(&act, 0, sizeof(act));memset(&oact, 0, sizeof(oact));act.sa_handler = handler;sigaction(2, &act, &oact);while(true){cout << "I am a process: " << getpid() << endl;sleep(1);}return 0;
}

运行结果如下所示:

当我们在捕捉处理的过程中,再次发送信号,发现pending为1,也就意味着没有被执行,即被被阻塞了。那么只能是block表被置为1了

image-20240127192011131

即操作系统不允许对某个信号重复捕捉,最多只能捕捉一层

信号被处理的时候,对应的信号也会被添加到block表中,防止信号捕捉被嵌套调用

sigaction中的sa_mask字段代表什么呢?

这个字段是一个sigset_t 类型的字段。它代表着屏蔽的信号。也就是会将block表给设置

如果在调用信号处理函数时,除了当前信号被自动屏蔽之外,还希望自动屏蔽另外一些信号,则用sa_mask字段说明这些需
要额外屏蔽的信号,当信号处理函数返回时自动恢复原来的信号屏蔽字。

我们用如下代码来进行演示

#include <iostream>
#include <unistd.h>
#include <signal.h>
#include <cstring>
using namespace std;void PrintPending()
{sigset_t set;sigpending(&set);for(int signo = 31; signo >= 1; signo--){cout << sigismember(&set, signo);}cout << endl;
}void handler(int signo)
{   cout << "I catch a signal: " << signo << endl;while(true){PrintPending();sleep(1);}}int main()
{struct sigaction act, oact;memset(&act, 0, sizeof(act));memset(&oact, 0, sizeof(oact));sigemptyset(&act.sa_mask);sigaddset(&act.sa_mask, 1);sigaddset(&act.sa_mask, 3);sigaddset(&act.sa_mask, 4);act.sa_handler = handler;sigaction(2, &act, &oact);while(true){cout << "I am a process: " << getpid() << endl;sleep(1);}return 0;
}

运行结果为

image-20240127193829636

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/438003.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

如何在Microsoft 365中直接启用 Loop服务

Microsoft Loop是一种变革性共同创建体验&#xff0c;可将工具和设备上的团队、内容和任务汇集在一起&#xff0c;使团队能够共同思考、规划和创建内容。 在之前分享过的文章中已经介绍了如何在Microsoft Teams、Outlook和Word中使用Loop服务&#xff0c;今天继续介绍如何在Mi…

微信小程序上传时报错message:Error: 系统错误,错误码:80051,source size 2148KB exceed max limit 2MB

问题&#xff1a; 微信小程序上传时错误码&#xff1a;80051,source size 2248KB exceed max limit 2MB 问题原因&#xff1a; 由于代码中的静态资源 图片大小超了200k以及主包的体积超出1.5M 解决办法 分包 tabBar 是主包的&#xff0c;不需要分包处理&#xff0c;以下是分…

http和https的区别是什么?https有什么优缺点?

HTTP&#xff08;Hypertext Transfer Protocol&#xff0c;超文本传输协议&#xff09;是一个简单的请求-响应协议&#xff0c;它通常运行在TCP之上。它指定了客户端可能发送给服务器什么样的消息以及得到什么样的响应。这个简单模型是早期Web成功的有功之臣&#xff0c;因为它…

在Java中,如何实现对象的拷贝?

开发中可以使用第三方库如Apache Commons Lang的SerializationUtils类或Google的Guava库来实现对象的深拷贝。这些库提供了更加灵活和方便的深拷贝实现方式&#xff0c;同时也提供了更多的自定义选项和错误处理机制。 在Java中&#xff0c;对象的拷贝可以分为浅拷贝&#xff0…

增加Vscode引用路径

增加Vscode引用路径 增加Vscode引用路径问题说明解决思路1在Vscode中进行配置缺点 解决思路2 增加Vscode引用路径 问题说明 在嵌入式开发中需要经常用到库函数(SPL), Vscode需要配置引用路径才能对函数名或变量进行跳转 解决思路1 与Keil5 MDK类似, 在配置C/C的json文件中添…

容器和虚拟机的对比

容器和虚拟机的对比 容器和虚拟机在与硬件和底层操作系统交互的方式上有所不同 虚拟化 使多个操作系统能够同时在一个硬件平台上运行。 使用虚拟机监控程序将硬件分为多个虚拟硬件系统&#xff0c;从而允许多个操作系统并行运行。 需要一个完整的操作系统环境来支持该应用。…

SpringBoot内置工具类

Collections java.util包下的Collections类&#xff0c;该类主要用于操作集合或者返回集合 一、排序 List<Integer> list new ArrayList<>();list.add(2);list.add(1);list.add(3);Collections.sort(list);//升序System.out.println(list);Collections.reverse(…

React一学就会(7): 细说redux及其应用

不知不觉一个星期结束了&#xff0c;很快就要过年了&#xff0c;中间休息了两天&#xff0c;小孩生病&#xff0c;我也有点感冒了&#xff0c;还好&#xff0c;我的这个 React 基础教学课程也基本结束了。大家有不明白的可以留言问我&#xff0c;我一定竭尽所能的帮助你。后面几…

leetcode刷题(剑指offer) 79.单词搜索

79.单词搜索 给定一个 m x n 二维字符网格 board 和一个字符串单词 word 。如果 word 存在于网格中&#xff0c;返回 true &#xff1b;否则&#xff0c;返回 false 。 单词必须按照字母顺序&#xff0c;通过相邻的单元格内的字母构成&#xff0c;其中“相邻”单元格是那些水…

如何在Win系统安装Jupyter Notbook并实现无公网ip远程访问本地笔记

文章目录 1.前言2.Jupyter Notebook的安装2.1 Jupyter Notebook下载安装2.2 Jupyter Notebook的配置2.3 Cpolar下载安装 3.Cpolar端口设置3.1 Cpolar云端设置3.2.Cpolar本地设置 4.公网访问测试5.结语 1.前言 在数据分析工作中&#xff0c;使用最多的无疑就是各种函数、图表、…

数字与数学高频问题(算法村第十三关白银挑战)

数组实现加法专题 数组实现整数加法 66. 加一 - 力扣&#xff08;LeetCode&#xff09; 给定一个由 整数 组成的 非空 数组所表示的非负整数&#xff0c;在该数的基础上加一。 最高位数字存放在数组的首位&#xff0c; 数组中每个元素只存储单个数字。 你可以假设除了整数…

软件测试人员常用的功能测试方法分享

功能测试就是对产品的各功能进行验证&#xff0c;根据功能测试用例&#xff0c;逐项测试&#xff0c;检查产品是否达到用户要求的功能。 常用的测试方法如下&#xff1a; 1. 页面链接检查 每一个链接是否都有对应的页面&#xff0c;并且页面之间切换正确。 2. 相关性检查 删除/…