【Linux】进程信号 --- 信号处理

在这里插入图片描述

👦个人主页:Weraphael
✍🏻作者简介:目前正在学习c++和算法
✈️专栏:Linux
🐋 希望大家多多支持,咱一起进步!😁
如果文章有啥瑕疵,希望大佬指点一二
如果文章对你有帮助的话
欢迎 评论💬 点赞👍🏻 收藏 📂 加关注😍


目录

  • 一、信号的处理时机(什么时候处理)
  • 二、用户态与内核态
      • 2.1 概念
      • 2.2 再谈进程地址空间
  • 三、信号的处理过程(如何处理)
  • 四、信号的捕捉
      • 4.1 内核如何实现信号的捕捉
      • 4.2 系统调用 --- sigaction
  • 五、进程信号总结
  • 六、相关代码

一、信号的处理时机(什么时候处理)

在前面的学习中,我们反复说过:当操作系统给进程发生信号后,进程可能不会立即去处理信号,而是等到合适的时候去处理,这是因为进程可能正在做更重要的事情!

但在特殊情况下,信号可能会立即被处理。比如:当信号被阻塞后,信号产生时,此时信号被阻塞了,没有立即被处理,那么信号就会记录在pending表中,当阻塞解除后,信号会被立即递达,此时信号会被立即处理。

那么对于进程来说什么是合适的时候呢?

进程要处理一个信号,首先要知道自己收到信号了。那么进程可以通过查阅block表、pending表和handler表。但这些表都是内核的数据结构,进程无法直接查看或修改它们,只能通过操作系统提供的系统调用接口来与之交互(进程处于内核状态)。因此,进程处理的合适时机是:进程从内核态返回到用户态时,会对信号进行检测及处理

二、用户态与内核态

2.1 概念

  • 用户态执行用户所写的代码时,就属于用户态

  • 内核态执行操作系统的代码时,就属于内核态

我们知道,一旦程序被加载到内存中形成了一个进程,CPU可以开始执行这个进程的代码。如果代码中调用系统调用,由于系统调用的实现在操作系统内核中,并且操作系统不相信任何人。因此,CPU在这时会从用户态切换到内核态(“身份”变化,提升权限),才允许开始执行相应的操作系统内核代码。当内核代码执行完之后,就会从内核态切换回用户态继续执行用户写的代码。

总之,进程调用系统调用不仅仅是调用函数这么简单,操作系统还需要自动进行“身份”变换

下面来结合进程地址空间深入理解操作系统的代码及状态切换等内容。

2.2 再谈进程地址空间

在这里插入图片描述

32位操作系统中,通常会将整个4GB的虚拟地址空间划分为用户空间内核空间两部分。

  • 用户空间:这个部分包含了用户进程可以直接访问的虚拟内存地址范围。每个用户进程都有自己的独立的用户空间,使得它们之间的内存访问相互隔离,提高了系统的安全性和稳定性。

  • 内核空间:这个部分是保留给操作系统内核使用的,存储的就是操作系统相关代码和数据。并且这块区域采用内核级页表与物理地址进行映射进程所谓的执行操作系统的代码及系统调用,就是在使用这1 GB的内核空间(和动态库类似)

  • 内核级页表用于管理操作系统内核的虚拟地址和物理地址之间的映射。它与用户级页表有所不同,用户级页表只管理用户进程的地址映射。这两张页表是相互独立的!

    • 对于用户级页表,有几个进程,操作系统就要维护几份,因为要保证进程独立性
    • 对于内核级页表,操作系统只需维护一份,因为内核的代码和数据对所有进程来说都是相同的。

如何理解进程切换?

  1. 进程切换需要调用系统调用,CPU在这时会从用户态切换到内核态,在当前进程的进程地址空间中的内核空间,找到操作系统的代码和数据。
  2. 执行操作系统的代码,将当前进程的用户空间的代码和数据剥离下来,从而换上另一个进程的代码和数据,但内核空间的内容永远不变。

操作系统的本质?

操作系统是管理软硬件资源的软件。当电脑开机时,它就已经被加载到内存,因此操作系统也是一个进程。但我们可能会疑惑,用户写的进程是通过操作系统去运行调度的。那是谁在推动操作系统去运行的呢?答案:硬件。

这里直接给出结论:操作系统是基于时钟中断的一个死循环!

在这里插入图片描述

其实在计算机硬件中,有一个时钟芯片,每隔很短的时间(纳秒级别),向CPU发送时钟中断。CPU收到中断请求后,会暂停当前正在执行的任务,并根据中断号找到对应的中断向量表(本质上就是数组)中对应中断号的条目。中断向量表是一个存储在内存中的数据结构,由操作系统维护,表中的条目是调用硬件设备驱动程序的方法的地址,找到后并执行。比如里面就会进行检查进程的时间片到了没有,如果到了,就把这个进程剥夺下去,换下一个进程。从而完成进程的调度。

如果没有进程需要调度,操作系统会陷入空闲状态,内核可能会执行一个类似for(;;) pause();的死循环。这段代码的作用是让内核进入一种等待状态,等待系统中的某些事件发生,比如新的进程就绪或者外部中断的到来等。

用户态和内核态之间是如何转化?

CPU有还2个寄存器:

  • CR3 寄存器:是页表基址寄存器,用于存储页表的地址(物理地址)。在内核态和用户态身份切换时,操作系统会更新CR3寄存器,以加载新的地址空间信息。
  • ECS寄存器CPU是执行内核态代码还是用户态代码,主要看ECS寄存器最低2位,排列组合式00011011。如果是00代表是内核态,11代表用户态。如果要调用系统调用接口,操作系统都会对此寄存器做检测。

三、信号的处理过程(如何处理)

  • 说明:以下不考虑信号被阻塞的情况。如果信号被阻塞,信号不会立即被处理,一旦解除阻塞,信号就会立即被处理。

在这里插入图片描述

因此,进程处理的合适时机是:进程从内核态返回到用户态时,会对信号进行检测及处理

通过一张图快速记录信号的处理过程

在这里插入图片描述

四、信号的捕捉

4.1 内核如何实现信号的捕捉

这里其实就是对下图第③步再进行详细讲解。

在这里插入图片描述

  • 概念:如果信号的处理动作是用户自定义函数,在信号递达时就调用这个函数,则称为捕捉信号。
  • 因为用户自定义动作是位于用户空间中的,所以当内核态中任务(执行内核代码)完成,准备返回用户态时,会检测三表中的pending表为1且没有被阻塞block表为0,并且此时信号处理动作handler表为用户自定义动作,先将pending表对应1置为0,再切入用户态 ,完成用户自定义动作的执行。
  • 因为用户自定义动作sighandler函数和main函数属于不同的堆栈空间,它们之间也不存在调用与被调用的关系(是操作系统调用的sighandler函数),是两个独立的执行流。
  • sighandler函数返回后自动执行特殊的系统调用sigreturn再次进入内核态,其中sigreturn的目的是告诉操作系统当前进程的信号处理已经完成。
  • 最后当执行完sighandler函数后会到内核中,如果没有新的信号要递达,自动执行特殊的系统调用sys_sigreturn,这次再返回用户态就是恢复main函数的上下文继续执行了。

4.2 系统调用 — sigaction

sigaction函数也可以用户自定义动作,比signal函数功能更丰富。

函数原型如下:

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

参数解释:

  • signum:要处理的信号的编号,比如 SIGINT等。
  • act:指向 struct sigaction 结构的指针,用来设置新的信号处理方式。
  • oldact:指向 struct sigaction 结构的指针,用来获取之前该信号的处理方式。或者可以设置为nullptr表示不获取之前该信号的处理方式。
  • 返回值:成功时返回0,失败时返回-1,并设置errno表示具体错误原因。

以下是 struct sigaction 结构的定义

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

字段解释:

  • void (*sa_handler)(int);:指定的信号处理函数,可以是一个函数指针,用于处理指定的信号。可以设置为 SIG_IGN(忽略信号)或 SIG_DFL(默认处理方式)。
  • sigset_t sa_mask;:当信号在执行 用户自定义动作时,可以将部分信号进行屏蔽,直到用户自定义动作执行完成。也就是说,我们可以提前设置一批 待阻塞 的 屏蔽信号集,当执行用户自定义动作时,这些 屏蔽信号集 中的 信号将会被屏蔽(避免干扰用户自定义动作的执行),直到用户自定义动作执行完成。
  • void (*sa_sigaction)(int, siginfo_t *, void *);:不关心。
  • int sa_flags;:不关心。
  • void (*sa_handler)(void);:不关心。

可以简单用一下sigaction函数

#include <iostream>
#include <signal.h>
#include <cstring>
#include <unistd.h>
using namespace std;void DisplayPending(sigset_t pending)
{// 打印 pending 表cout << "当前进程的 pending 表为: ";int i = 1;while (i < 32){if (sigismember(&pending, i))cout << "1";elsecout << "0";i++;}cout << endl;
}// 自定义信号处理函数
void handler(int signo)
{cout << "捕捉到了一个信号:" << signo << endl;int n = 10;while (n--){// 获取进程的pending表sigset_t pending;sigemptyset(&pending);int n = sigpending(&pending);if (n < 0){continue;}DisplayPending(pending);sleep(1);}exit(0);
}int main()
{struct sigaction act, oldact;// 初始化结构体对象(可选)memset(&act, 0, sizeof(act));memset(&oldact, 0, sizeof(oldact));// 设置信号处理函数act.sa_handler = handler;// 初始化 屏蔽信号集sigaddset(&act.sa_mask, 3);sigaddset(&act.sa_mask, 4);sigaddset(&act.sa_mask, 5);//  给2号信号注册自定义动作sigaction(2, &act, &oldact);while (true){cout << "I am a process: " << getpid() << endl;sleep(1);}return 0;
}

【程序结果】

在这里插入图片描述

并且我们还发现了一个现象:当我们捕捉2号信号后,对应的2号信号的pending位图是为0,说明在执行handler方法之前,就已经将其置为0了,这就和我们之前的理论对应上了。

注意:除了sa_mask可以在当信号在执行用户自定义动作时,将部分信号进行屏蔽,直到用户自定义动作执行完成。除此之外,当某个信号的处理函数被调用时,内核自动会将当前信号屏蔽,也就是将当前的pending表和block表对应位置为1,直到用户自定义动作执行完成后恢复。如果在执行用户自定义动作的过程中,这种信号再次产生,那么它会被阻塞到当前处理结束为止。这是因为操作系统不允许对某个信号重复捕捉,最多只能捕捉一层,防止信号捕捉被嵌套调用

#include <iostream>
#include <signal.h>
#include <cstring>
#include <unistd.h>
using namespace std;void DisplayPending(sigset_t pending)
{// 打印 pending 表cout << "当前进程的 pending 表为: ";int i = 1;while (i < 32){if (sigismember(&pending, i))cout << "1";elsecout << "0";i++;}cout << endl;
}void handler(int signo)
{cout << "捕捉到了一个信号:" << signo << endl;while (true){// 获取进程的pending表sigset_t pending;sigemptyset(&pending);int n = sigpending(&pending);if (n < 0){continue;}DisplayPending(pending);sleep(1);}exit(0);
}int main()
{struct sigaction act, oldact;// 初始化结构体对象(可选)memset(&act, 0, sizeof(act));memset(&oldact, 0, sizeof(oldact));// 设置信号处理函数act.sa_handler = handler;//  给2号信号注册自定义动作sigaction(2, &act, &oldact);while (true){cout << "I am a process: " << getpid() << endl;sleep(1);}return 0;
}

【程序结果】

在这里插入图片描述

五、进程信号总结

截至目前,信号 处理的所有过程已经全部学习完毕了

  • 信号产生阶段:有四种产生方式,包括 键盘键入、系统调用、软件条件、硬件异常

  • 信号保存阶段:内核中存在三张表,blcok 表、pending 表以及 handler 表,信号在产生之后,存储在 pending 表中

  • 信号处理阶段:信号在 内核态 切换回 用户态 时,才会被处理

在这里插入图片描述

六、相关代码

本篇博客的代码:点击跳转

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

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

相关文章

Java---异常

乐观学习&#xff0c;乐观生活&#xff0c;才能不断前进啊&#xff01;&#xff01;&#xff01; 我的主页&#xff1a;optimistic_chen 我的专栏&#xff1a;c语言 &#xff0c;Java 欢迎大家访问~ 创作不易&#xff0c;大佬们点赞鼓励下吧~ 文章目录 什么是异常异常的分类编译…

安装 VMware vSphere vCenter 8.0

安装 VMware vSphere vCenter 8.0 1、运行安装程序 2、语言选择中文 3、点下一步 4、接受许可协议&#xff0c;点下一步 5、填写部署vCenter服务的ESXI主机IP地址以及对应ESXI主机的账号密码&#xff0c;这里将vCenter服务部署在192.168.1.14这台ESXi主机上 6、接受证书警告 7…

新手小白的pytorch学习第十弹----多类别分类问题模型以及九、十弹的练习

目录 1 多类别分类模型1.1 创建数据1.2 创建模型1.3 模型传出的数据1.4 损失函数和优化器1.5 训练和测试1.6 衡量模型性能的指标 2 练习Exercise 之前我们已经学习了 二分类问题&#xff0c;二分类就像抛硬币正面和反面&#xff0c;只有两种情况。 这里我们要探讨一个 多类别…

基于关键字驱动设计Web UI自动化测试框架!

引言 在自动化测试领域&#xff0c;关键字驱动测试&#xff08;Keyword-Driven Testing, KDT&#xff09;是一种高效且灵活的方法&#xff0c;它通过抽象测试用例中的操作为关键字&#xff0c;实现了测试用例与测试代码的分离&#xff0c;从而提高了测试脚本的可维护性和可扩展…

记录解决springboot项目上传图片到本地,在html里不能回显的问题

项目场景&#xff1a; 项目场景&#xff1a;在我的博客系统里&#xff1a;有个相册模块&#xff1a;需要把图片上传到项目里&#xff0c;在html页面上显示 解决方案 1.建一个文件夹 例如在windows系统下。可以在项目根目录下建个photos文件夹&#xff0c;把上传的图片文件…

[PM]产品运营

生命周期 运营阶段 主要工作 拉新 新用户的定义 冷启动 拉新方式 促活 用户活跃的原因 量化活跃度 运营社区化/内容化 留存 用户流失 培养用户习惯 用户挽回 变现 变现方式 付费模式 广告模式 数据变现 变现指标 传播 营销 认识营销 电商营销中心 拼团活动 1.需求整理 2.…

JMeter请求导出Excel

前言 今天记录一个使用JMeter模拟浏览器请求后端导出&#xff0c;并下载Excel到指定位置的过程 创建请求 同样先创建一个线程组&#xff0c;再创建一个请求&#xff0c;设置好请求路径&#xff0c;端口号等 查看结果树 右键--添加--监听器--查看结果树 这里可以查看&#…

VUE之---slot插槽

什么是插槽 slot 【插槽】&#xff0c; 是 Vue 的内容分发机制&#xff0c; 组件内部的模板引擎使用slot 元素作为承载分发内容的出口。slot 是子组件的一个模板标签元素&#xff0c; 而这一个标签元素是否显示&#xff0c; 以及怎么显示是由父组件决定的。 VUE中slot【插槽】…

详细讲解vue3 watch回调的触发时机

目录 Vue 3 watch 基本用法 副作用刷新时机 flush 选项 flush: pre flush: post flush: sync Vue 3 watch 基本用法 计算属性允许我们声明性地计算衍生值。然而在有些情况下&#xff0c;我们需要在状态变化时执行一些“副作用”&#xff1a;例如更改 DOM&#xff0c;或是…

display: flex 和 justify-content: center 强大居中

你还在为居中而烦恼吗&#xff0c;水平居中多个元素、创建响应式布局、垂直和水平同时居中内容。它&#xff0c;display: flex 和 justify-content: center 都可以完成&#xff01; display: flex&#xff1a;将元素定义为flex容器 justify-content&#xff1a;定义项目在主轴…

【2024最新华为OD-C/D卷试题汇总】[支持在线评测] LYA的生日派对座位安排(200分) - 三语言AC题解(Python/Java/Cpp)

🍭 大家好这里是清隆学长 ,一枚热爱算法的程序员 ✨ 本系列打算持续跟新华为OD-C/D卷的三语言AC题解 💻 ACM银牌🥈| 多次AK大厂笔试 | 编程一对一辅导 👏 感谢大家的订阅➕ 和 喜欢💗 🍿 最新华为OD机试D卷目录,全、新、准,题目覆盖率达 95% 以上,支持题目在线…

FairGuard游戏加固入选《嘶吼2024网络安全产业图谱》

2024年7月16日&#xff0c;国内网络安全专业媒体——嘶吼安全产业研究院正式发布《嘶吼2024网络安全产业图谱》(以下简称“产业图谱”)。 本次发布的产业图谱&#xff0c;共涉及七大类别&#xff0c;127个细分领域。全面展现了网络安全产业的构成和重要组成部分&#xff0c;探…

Ant Design Vue中日期选择器快捷选择 presets 用法

ant写文档的纯懒狗 返回的是一个day.js对象 范围选择时可接受一个数组 具体参考 操作 Day.js 话不多说 直接上代码 <a-range-pickerv-model:value"formData.datePick"valueFormat"YYYY-MM-DD HH:mm:ss"showTime:presets"presets"change&quo…

【机器学习】模型验证曲线(Validation Curves)解析

&#x1f308;个人主页: 鑫宝Code &#x1f525;热门专栏: 闲话杂谈&#xff5c; 炫酷HTML | JavaScript基础 ​&#x1f4ab;个人格言: "如无必要&#xff0c;勿增实体" 文章目录 模型验证曲线(Validation Curves)解析什么是模型验证曲线?模型验证曲线的解读模…

揭秘!电源炼成记:从基础原理到高端设计的全面解析

文章目录 初始构想&#xff1a;需求驱动设计原理探索&#xff1a;选择适合的拓扑结构精细设计&#xff1a;元器件选型与布局环路稳定&#xff1a;控制策略与补偿网络严格测试&#xff1a;验证与优化持续改进&#xff1a;创新与技术迭代《硬件十万个为什么&#xff08;电源是怎样…

《Linux运维总结:基于ARM64架构CPU使用docker-compose一键离线部署单机版tendis2.4.2》

总结&#xff1a;整理不易&#xff0c;如果对你有帮助&#xff0c;可否点赞关注一下&#xff1f; 更多详细内容请参考&#xff1a;《Linux运维篇&#xff1a;Linux系统运维指南》 一、部署背景 由于业务系统的特殊性&#xff0c;我们需要面对不同的客户部署业务系统&#xff0…

单周期CPU(三)译码模块(minisys)(verilog)(vivado)

timescale 1ns / 1ps //module Idecode32 (input reset,input clock,output [31:0] read_data_1, // 输出的第一操作数output [31:0] read_data_2, // 输出的第二操作数input [31:0] Instruction, // 取指单元来的指令input [31:0] …

邮件安全篇:企业电子邮件安全涉及哪些方面?

1. 邮件安全概述 企业邮件安全涉及多个方面&#xff0c;旨在保护电子邮件通信的机密性、完整性和可用性&#xff0c;防止数据泄露、欺诈、滥用及其他安全威胁。本文从身份验证与防伪、数据加密、反垃圾邮件和反恶意软件防护、邮件内容过滤与审计、访问控制与权限管理、邮件存储…

MATLAB基础:字符串、元胞数组

今天我们继续学习MATLAB中的字符串、元胞和结构 字符串 由于MATLAB是面向矩阵的&#xff0c;所以字符串的处理可以用矩阵的形式实现 字符串的赋值与引用 假设变量a&#xff0c;将用单引号引起来的字符串赋值给它&#xff0c; a清心明目, b(a[4;-1;1]) 在这里&#xff0c;…

web每日一练

每日一题 每天一题罢了。。 ctfshow内部赛签到 扫到备份文件 login.php <?php function check($arr){ if(preg_match("/load|and|or|\||\&|select|union|\|| |\\\|,|sleep|ascii/i",$arr)){echo "<script>alert(bad hacker!)</script>&q…