【Linux】信号的保存和捕捉

news2024/12/27 18:18:01

文章目录

  • 一、信号的保存——信号的三个表——block表,pending表,handler表
    • sigset_t
    • 信号集操作函数——用户层
    • sigprocmask和sigpending——内核层
  • 二、信号的捕捉
    • 重谈进程地址空间(第三次)
    • 用户态和内核态
    • sigaction
    • 可重入函数
    • volatile

一、信号的保存——信号的三个表——block表,pending表,handler表

我们知道,操作系统是进程的管理者,只有操作系统才有资格向进程发信号,具体点,是给进程的PCB发信号。

更具体点,就是将进程的task_struct中的signal整形的某一个比特位由0置1!!!

那么该信号如何被保存下来呢?

在这里插入图片描述

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

也就是说,block表记录的是对某一个信号是否阻塞,如果对2号信号阻塞,那么block表中2号下标的位图就由0置1。

pending表记录的是收到了哪一个信号,且还未处理的信号,就保存在pending表中。

handler表保存的是处理对应信号的方法,handler表的本质就是一个函数指针数组。

函数指针类型是:

typedef void (*handler_t)(int);

这些函数方法,如果用户不提供,就使用默认的,如果用户提供,就使用用户的。

handler表的定义如下:

handler_t handler[31];

需要注意的:

一个信号如果被阻塞了,只是意味着该信号将暂时保存在pending表中,没有被递达,直到该信号被解除阻塞,才会将该信号进行递达处理。

注意:阻塞和忽略是不同的,只要信号被阻塞就不会递达,而忽略是在递达之后可选的一种处理动作。

总结:block表:阻塞表,pending表:保存表,handler表:方法表。

sigset_t

在这里插入图片描述

上图的三张表都是内核的数据结构,是操作系统管理的,用户层无法直接访问,只能由操作系统提供的结构进行修改。

从上图来看,每个信号只有一个bit的未决标志,非0即1,不记录该信号产生了多少次,阻塞标志也是这样表示的。

因此,未决和阻塞标志可以用相同的数据类型sigset_t来存储,sigset_t称为信号集,这个类型可以表示每个信号的“有效”或“无效”状态,在阻塞信号集中“有效”和“无效”的含义是该信号是否被阻塞,而在未决信号集中“有效”和“无效”的含义是该信号是否处于未决状态。

阻塞信号集也叫做当前进程的信号屏蔽字(Signal Mask),这里的“屏蔽”应该理解为阻塞而不是忽略。

总结:sigset_t是一个信号集,也就是位图。

信号集操作函数——用户层

#include <signal.h>
int sigemptyset(sigset_t *set);
int sigfillset(sigset_t *set);
int sigaddset (sigset_t *set, int signo);
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和sigpending——内核层

sigprocmask

在这里插入图片描述
该函数的意思就是:将set位图设置到内核的block表里面
如果how参数选择

  • 1.SIG_BLOCK:将原来的block表保存到oset中,并将新的set位图的新的屏蔽信号添加到block表中,也就是说如果原来的block表只有2号位置的比特位为1,即只有2号信号被屏蔽,且新的set位图中的1号比特位为1,那么调用完该函数后,新的内核block表中的1号和2号的比特位都为1,也就是增加了1号信号屏蔽字。
    • mask = mask|set
  • 2.SIG_UNBLOCK:与第一个的操作相反
    • mask = mask&~set
  • 3.SIG_SETMASK:直接将set位图覆盖到内核的block表即可,简单粗暴。
    • mask = set

sigpending(sigset_t * set)
在这里插入图片描述

获取内核数据结构中的pending表并保存到set位图中。

以下代码就是对上面两个系统调用的应用

void PrintPending(sigset_t& pending)
{
    for(int signo = 31;signo>=1;signo--)
    {
        if(sigismember(&pending,signo)) //判断pending表中的比特位
        {
            cout << "1";
        }
        else 
        {
            cout << "0";
        }
    }
    cout << "\n\n";
}
int main()
{
    sigset_t bset,oset;
    sigemptyset(&bset); //设置一个位图,清0
    sigemptyset(&oset); //设置一个位图,清0

    //添加信号屏蔽字
    sigaddset(&bset,2); 
    // for(int signo = 1;signo<=31;signo++)
    // {
    //     sigaddset(&bset,signo);
    // }    
    //到这里其实没有修改内核中的block表,只是创建一个位图而已
    
    sigprocmask(SIG_SETMASK,&bset,&oset); //到这里才是修改内核block表
	//mask = set
    //打印pending表,如果收到2号信号,就不会被递达,而是一直在pending表里存着。
    sigset_t pending;
    while(true)
    {
        sigpending(&pending);
        PrintPending(pending);
        
        sleep(1);
    }

    return 0;
}

首先创建一个位图,将位图的某些位置设置成1。
这时候并没有修改内核中的block表。
然后调用了sigprocmask系统调用后,才真正地修改内核的block表。
再将pending表打印出来,如果设置的某个信号被屏蔽后,意味着在block表中的该位置的比特位为1,一旦进程收到该信号,就不会被递达, 就会被pending,所以pending表中的比特位就被设置成了1,直到未来某个时候解除屏蔽后才递达该信号。


二、信号的捕捉

重谈进程地址空间(第三次)

在进程的地址空间中,有1GB的内存是专门留给操作系统的

在启动电脑时,是操作系统的数据和代码先被放到物理内存的较底部的位置先运行起来。
然后有关操作系统的进程也被操作系统跑起来。

无论是哪些进程,只要是一个进程,该进程的虚拟地址空间中的3~4GB这个空间区域,一定是属于操作系统所有的!!!在这里插入图片描述

而对应的,由于每个进程的1GB空间都属于操作系统,所以,任何进程,看到的操作系统的数据和代码都是一样的!!!

而当进程调用系统调用时,这个过程就显得非常简单。

因为进程的虚拟地址空间中的1GB空间可以直接通过内核级别页表,映射到物理空间中的固定位置。

所以!进程想要调用系统调用,直接去自己的进程地址空间中的内核空间中执行对应的代码即可!!!

这也侧面验证了:

内核级页表只有一份,而用户级页表有多份的结论。
因为操作系统的代码在进程地址空间中的内核空间是固定的,所以只需要一份页表直接映射到固定位置就能访问操作系统的代码和数据。

所以:(不考虑权限问题的话)

  • 从进程视角来看:调用系统调用的方法就是直接在我自己的地址空间中进行执行的。
  • 从操作系统来看:任何时刻都有进程执行,只要进程想执行操作系统的代码,就可以随时执行。

用户态和内核态

前面在讲到进程要调用系统调用时,没有考虑权限。
但实际上要想执行操作系统的代码和数据是要有权限的。

而这个所谓的权限就是内核态。

  • 内核态:允许进程访问操作系统的代码和数据
  • 用户态:只能访问用户自己的代码和数据

在CPU内部,其中有两个寄存器,一个寄存器叫CR3寄存器,保留的是当前进程用户级页表的物理地址。

还有一个寄存器叫做ecs寄存器,该寄存器的后两位比特位就是记录当前进程属于用户态还是属于内核态。

00表示用户态,11表示内核态。

并且要想修改当前进程从用户态转变成内核态,就需要调用系统调用,int 80;80就是系统调用的编号。

在这里插入图片描述

而在用户态到内核态之间的切换,如下:

在这里插入图片描述
上面的图比较繁琐,这样非常好理解:

在这里插入图片描述


并且在从用户态进入内核态时,一定不仅只有调用系统调用才会由用户态进入内核态。

当操作系统要对进程进行调度时,就要将进程的PCB加载到运行队列,等待队列等待这些管理结构中,然后将进程的上下文加载到CPU和操作系统中,这个加载的过程一定是在内核态完成的!在加载完成后,操作系统转而就会执行进程自己的代码和数据,而执行进程的代码和数据的过程一定是在用户态执行的!!!

这就有了进程可以有无数次机会从用户态进入内核态,再由内核态进入用户态的过程!!!

所以这也验证了一个结论:

信号不会被进程立即处理,而是在合适的时间处理,这个合适的时间,其实就是在内核态中信号的检测阶段处理。

sigaction

sigaction函数与signal函数有一样的功能。
不同的是sigaction的功能更多一些。

在这里插入图片描述
sigaction也是一个结构体,该结构体的名字与该函数名相同。
结构体中的主要两个成员是:

void  (*sa_handler)(int);
sigset_t  sa_mask;           

一个是捕捉信号是对应的处理方法,一个是block表。

具体功能就是signum信号对应的自定义捕捉方法存入act函数指针指向的结构体的sa_handler方法中,oact存的就是旧的捕捉方法。

重点不在这里,重点在于从发送信号,到保存信号,捕捉信号的过程中,block表,pending表,handler表是如何协同工作的:

在我们向进程发送信号时,假如发送二号信号,此时进程收到信号后,首先将pending表中的2号位置由0置1,意味着先将2号信号保存起来,进程会在合适的时间处理。当这个2号信号被递达,也就是被处理时,在调用handler方法中的2号位置对应的处理方法前,将pending表中的2号位置就由1置空0,且会将block表中的2号位置由0置1,这就意味这当进程在处理2号信号时,再发送2号信号过来时,pending表中的2号位置一定是由0置1的,因为一定是等上一个2号信号处理完成后,再处理这个2号信号。
在将上面的2号信号处理完成后,调用处理方法返回前,会将block表中的2号位置再由1置成0,此时就完成了整个信号的捕捉处理过程。

具体如下:

在这里插入图片描述

在进程处理2号信号期间,当我再次发送2号信号时,就能看到pending表中的2号位置由0置1.

void PrintPending()
{
    sigset_t set;
    sigpending(&set);

    for (int signo = 1; signo <= 31; signo++)
    {
        if (sigismember(&set, signo))
            cout << "1";
        else
            cout << "0";
    }
    cout << "\n";
}

void handler(int signo)
{
    cout << "catch a signal, signal number : " << 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; // SIG_IGN SIG_DFL
    sigaction(2, &act, &oact);

    while (true)
    {
        cout << "I am a process: " << getpid() << endl;
        sleep(1);
    }

    return 0;
}

可重入函数

在这里插入图片描述
假设main函数内部再调用insert函数,进行链表的头插操作。

当执行完newnode->next = head;后,本来要执行下一条代码时,此时收到某个信号,该信号有一个自定义处理函数,该函数的内部又调用了insert函数,此时再次进入了insert函数内部,再次执行了newnode->next = head;情况如上图所示,然后再执行head = newnode完成头插工作。

在处理完该信号后,会回到main函数调用insert函数执行完上一条代码的地方,将要执行下一条代码,执行后,最终结果如上图。node2就会找不到了,也就意味着内存泄露了。

如果一个函数,在被重复进入的情况下,出错了,或者可能会出错,这样的函数叫做不可重入函数。

否则,叫做可重入函数

显然,上面的insert函数就是不可重入函数。

volatile

volatile 作用:保持内存的可见性,告知编译器,被该关键字修饰的变量,不允许被优化,对该变量的任何操作,都必须在真实的内存中进行操作。

请看下面一段代码:

int flag = 0;

void handler(int signo)
{
    cout << "catch a signal: " << signo << endl;
    flag = 1;
}

int main()
{
    signal(2, handler);
    // 在优化条件下, flag变量可能被直接优化到CPU内的寄存器中
    while(!flag); // flag 假, !flag 真

    cout << "process quit normal" << endl;
    return 0;
}

在进程接收到2号信号时,调用handler函数,将flag的值修改成1,当进入循环时,!flag逻辑表达式为假,退出循环,这就是我们预期的结果。
但事实并非如此,因为编译器对该变量进行了优化,将flag变量存在了寄存器中,flag = 1这条语句修改的是内存中的flag,对寄存器中的flag并未修改。
并且!flag逻辑表达式在判断的时候,是对寄存器的值进行判断的。
所以在寄存器中的flag一直为真,就不会退出循环。

在flag变量之前加上一个volatile关键字后,flag就不会被优化到寄存器中,对flag变量的逻辑运算就会在内存执行。

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

技术博客:Vue中各种混淆用法汇总

​ 摘要 本文主要介绍了在Vue中使用的一些常见混淆用法&#xff0c;包括new Vue()、export default {}、createApp()、Vue.component、Vue3注册全局组件、Vue.use()等&#xff0c;以及如何使用混淆器对代码进行加固&#xff0c;保护应用安全。 引言 在Vue开发中&#xff0c;…

java小工具util系列3:JSON转实体类对象工具

文章目录 准备工作1.JSONObject获取所有的key2.集合中实体对象转换 list中Enrey转Dto3.字符串转List<BusyTimeIndicatorAlarmThreshold>4.json字符串转JSONObject5.list根据ids数组过滤list6.json字符串转JavaBean对象7.json对象转javabean8.jsonObject转map9.List\<U…

007:vue实现与iframe实现页面数据通信

首页先搭建一个html页面和vue页面&#xff0c;在vue页面中&#xff0c;嵌入我们需要的iframe页面 文章目录 1. 搭建 html 页面和 vue 页面2. 实现 iframe 向 vue 页面通信3. 在实现 vue 向 iframe 页面通信 1. 搭建 html 页面和 vue 页面 暂定为 iframeDemo.html 和 vueDemo.v…

电子版简历模板精选5篇

电子版简历模板模板下载&#xff08;可在线编辑制作&#xff09;&#xff1a;做好简历&#xff0c;来幻主简历。 电子版简历1&#xff1a; 求职意向 求职类型&#xff1a;全职 意向岗位&#xff1a;ERP咨询顾问 意向城市&#xff1a;北京市 薪资要求&#xff1a;…

Vue 应用程序性能优化:代码压缩、加密和混淆配置详解

简介 在 Vue 应用程序的开发中&#xff0c;代码压缩、加密和混淆是优化应用程序性能和提高安全性的重要步骤。 Vue CLI 是一个功能强大的开发工具&#xff0c;它提供了方便的配置选项来实现这些功能。本文将介绍如何使用 Vue CLI 配置代码压缩、加密和混淆功能&#xff0c;以提…

【矩阵论】Chapter 6—矩阵分解知识点总结复习(附Python实现)

文章目录 1 满秩分解&#xff08;Full-Rank Factorization&#xff09;2 三角分解&#xff08;Triangular Factorization&#xff09;3 正交三角分解&#xff08;QR Factorization&#xff09;4 奇异值分解&#xff08;SVD&#xff09; 1 满秩分解&#xff08;Full-Rank Factor…

【数电笔记】07-基本和复合逻辑运算

目录 说明&#xff1a; 基本逻辑运算 1. 与运算 &#xff08;and gate&#xff09; 2. 或运算 &#xff08;or gate&#xff09; 3. 非运算 &#xff08;not gate &#xff09; 复合逻辑运算 1. 与非运算&#xff08;nand&#xff09; 2. 或非运算&#xff08;nor&…

【python】保存excel

正确安装了pandas和openpyxl库。 可以通过在命令行中输入以下命令来检查&#xff1a; pip show pandas pip show openpyxl 可以使用pip安装 pip install pandas pip install openpyxl#更新 pip install --upgrade pandas pip install --upgrade openpyxl 保存excel …

抖店怎么对接达人带货?达人渠道整理,实操详解!

我是电商珠珠 很多人在抖店开通后&#xff0c;按照流程去正常的跑自然流量&#xff0c;再去找达人带货让自己店铺的流量增多&#xff0c;得到相应的曝光。 但是一些新手小白并不知道从哪去找达人&#xff0c;或者说不知道怎么去筛选达人。 一开始所有人都想着去找头部主播&a…

Deep Learning(wu--84)调参、正则化、优化--改进深度神经网络

文章目录 2偏差和方差正则化梯度消失\爆炸权重初始化导数计算梯度检验OptimizationMini-Batch 梯度下降法指数加权平均偏差修正RMSpropAdam学习率衰减局部最优问题 调参BNsoftmax framework 2 偏差和方差 唔&#xff0c;这部分在机器学习里讲的更好点 训练集误差大&#xff…

matplotlib 默认属性和绘图风格

matplotlib 默认属性 一、绘图风格1. 绘制叠加折线图2. Solarize_Light23. _classic_test_patch4. _mpl-gallery5. _mpl-gallery-nogrid6. bmh7. classic8. fivethirtyeight9. ggplot10. grayscale11. seaborn12. seaborn-bright13. seaborn-colorblind14. seaborn-dark15. sea…

kyuubi整合flink yarn session mode

目录 概述配置flink 配置kyuubi 配置kyuubi-defaults.confkyuubi-env.shhive 验证启动kyuubibeeline 连接使用hive catlogsql测试 结束 概述 flink 版本 1.17.1、kyuubi 1.8.0、hive 3.1.3、paimon 0.5 整合过程中&#xff0c;需要注意对应的版本。 注意以上版本 配置 ky…

C# 通俗讲解Public、Private以及Protected、[HideInInspector]、[SerializeField]的区别

一、故事背景 1.我画了一幅画&#xff0c;把它放在室外&#xff0c;所有人都可以看见这个画&#xff0c;所有人都可以对这个画进行修改。 2.我非常非常努力&#xff0c;赚了一大笔钱&#xff0c;这笔钱&#xff0c;只能我和我的子孙后代用&#xff0c;但如果我的孩子需要传给他…

unity旋转选中效果

代码和预制体 函数PlayAnim&#xff08;&#xff09;中的角度要根据按钮数量手动填好 using System; using DG.Tweening; using DG.Tweening.Core; using DG.Tweening.Plugins.Options; using UnityEngine;// Token: 0x0200001B RID: 27 public class BtnParentScript : Base…

24、pytest通过xfail将测试函数标记为预期失败

官方实例 # content of test_xfail.py import pytest import syspytest.mark.xfail def test_function():print("test_function was invoked.")def valid_config():return Falsedef test_function_02():if not valid_config():pytest.xfail("failing configura…

JVM 虚拟机(一)导学与字节码文件组成

一、实战 JVM - 基础篇 初识 JVM 什么是 JVM&#xff1f; Java Virtual Machine&#xff08;JVM&#xff09;&#xff0c;中文翻译为 Java 虚拟机 JVM 的功能 解释和运行&#xff1a;对字节码文件中的指令进行实施的解释成机器码&#xff0c;让计算机执行。自动为对象和方法…

PyTorch机器学习与深度学习实践技术应用

近年来&#xff0c;随着AlphaGo、无人驾驶汽车、医学影像智慧辅助诊疗、ImageNet竞赛等热点事件的发生&#xff0c;人工智能迎来了新一轮的发展浪潮。尤其是深度学习技术&#xff0c;在许多行业都取得了颠覆性的成果。另外&#xff0c;近年来&#xff0c;Pytorch深度学习框架受…

不会代码(零基础)学语音开发(语音播报板载双按键状态)

这个例程实现语音播报VDB-150S语音开发板板载的按键开关SW1、SW2的按下情况。 语音开发板将板载的按键开关SW1、SW2的一端都接到了GND端&#xff0c;另一端分别连接到语音模块的GPIO_B0、GPIO_B1引脚&#xff0c;当按下SW1时GPIO_B0引脚会输入低电平&#xff0c;当按下SW2时GP…

Hadoop学习笔记(HDP)-Part.19 安装Kafka

目录 Part.01 关于HDP Part.02 核心组件原理 Part.03 资源规划 Part.04 基础环境配置 Part.05 Yum源配置 Part.06 安装OracleJDK Part.07 安装MySQL Part.08 部署Ambari集群 Part.09 安装OpenLDAP Part.10 创建集群 Part.11 安装Kerberos Part.12 安装HDFS Part.13 安装Ranger …

pyqt5+QWebEngineView+pdfjs+win32print实现pdf文件的预览、打印

一、pdf显示逻辑 import sys from PyQt5 import QtCore, QtWidgets, QtWebEngineWidgetsPDFJS = file:///pdfjs-1.9.426-dist/web/viewer.html # PDFJS = file:///usr/share/pdf.js/web/viewer.html PDF = file:///D:/Code/report.pdfclass Window(QtWebEngineWidgets.QWebEng…