[Linux打怪升级之路]-信号的保存和递达

news2025/1/16 2:00:28

前言

作者小蜗牛向前冲

名言我可以接受失败,但我不能接受放弃

  如果觉的博主的文章还不错的话,还请点赞,收藏,关注👀支持博主。如果发现有问题的地方欢迎❀大家在评论区指正

目录

一、信号的保存 

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

2、信号在内核中的表示

3、sigset_t

4. 信号集操作函数 

二、 模仿实现内核对信号的保存

1、信号函数

 2、实验代码

三、信号的的捕捉 

1、内核态和用户态

2、信号的捕捉流程 

四、信号的补充知识

 1、sigaction函数

2、可重入函数

3、 volatile关键字


本期学习目标:信号的保存,信号的捕捉,什么是可重入函数和关键字volatile。

一、信号的保存 

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

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

2、信号在内核中的表示

信号在内核中的表示示意图

        每个信号都有两个标志位分别表示阻塞(block)未决(pending),还有一个函数指针表示处理动作。

从位图中我们理解pending位图和信号的关系, 操作系统发信号,本质也就是将信号写入到pending位图中。pending位图中的比特位的内容也就表征了是否收到该信号

对于block位图:比特位的位置也是代表,信号的编号,但是比特位的内容表示是否阻塞对应的信号。如果阻塞了就不在执行该信号,除非解除阻塞。 

if((1<<(signo -1)) & pcb->block)
{
   //signo信号被阻塞,不递达
}
else
{
  if((1<<(signo -1)) & pcb->pending)
  {
    //递达该信号
  }
}

 上面我们写了一份伪代码,来理解内核是如何大致处理信号未决到递达的过程信号阻塞

其中在内核中还有一个handler的数组用来存放信号,其中数组的下标表示信号的编号,数组

下标对应的内容表示信号的内容。

所以:当一个信号没有产生这并不妨碍他可以先被阻塞。

3、sigset_t

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

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

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

4. 信号集操作函数 

        sigset_t类型对于每种信号用一个bit表示“有效”或“无效”状态,至于这个类型内部如何存储这些bit则依赖于系统 实现,从使用者的角度是不必关心的,使用者只能调用以下函数来操作sigset_ t变量,而不应该对它的内部数据做 任何解释,比如用printf直接打印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。 

二、 模仿实现内核对信号的保存

     为了更好的理解,内核如何进行对信号的保存的,下面我们自己写一份代码,去验证信号在内核中的保存。

1、信号函数

sigprocmask函数

功能:可以读取或更改进程的信号屏蔽字(阻塞信号集)。

原型:int sigprocmask(int how, const sigset_t *set, sigset_t *oset)

返回值:若成功则为0,若出错则为-1

  •  如果oset是非空指针,则读取进程的当前信号屏蔽字通过oset参数传出。
  • 如果set是非空指针,则 更改进程的信号屏蔽字,
  • 参数how指示如何更改。
  • 果oset和set都是非空指针,则先将原来的信号 屏蔽字备份到oset里,然后 根据set和how参数更改信号屏蔽字。

上面一直说信号屏蔽字,那这到底有上面用?

信号屏蔽字是一个位掩码,用于指定哪些信号被阻塞(屏蔽)而不会被递送给进程。当某个信号被屏蔽时,它将被搁置,直到信号解除屏蔽为止。这允许进程在关键部分屏蔽某些信号,以确保在执行临界区代码时不会被中断。 

对于sigprocmask函数,当假设当前屏蔽字为mask 下表说明了how参数的可选值.

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

sigpending 函数

功能:读取当前进程的未决信号集,通过set参数传出

原型:int sigpending(sigset_t *set)

返回值:调用成功则返回0,出错则返回-1。

 2、实验代码

这里我们验证2号信号为例(ctrl+c)

#include<iostream>
#include<vector>
#include<signal.h>
#include<unistd.h>
#include<stdio.h>

using namespace std;
#define MAX_SIGNUM 31

static vector<int> sigarr = {2};



static void show_pending(const sigset_t &pending)
{
    for(int signo = MAX_SIGNUM; signo >= 1;signo--)
    {
        if(sigismember(&pending,signo))
        {
            cout<< "1";
        }
        else
        {
            cout << "0";
        }
    }
    cout << endl;
}

static void myhandler(int signo)
{
    cout << signo << " 号信号已经被递达!!" << endl;
}

int main()
{

    for(const auto &sig : sigarr) signal(sig, myhandler);
    sigset_t block, oblock, pending;
    //初始化
    sigemptyset(&block);
    sigemptyset(&oblock);
    sigemptyset(&pending);
    //添加要屏蔽的信号
    for(const auto& sig : sigarr) sigaddset(&block,sig);

    //开始屏蔽,设置内核
    sigprocmask(SIG_SETMASK,&block,&oblock);

    //遍历打印penging信号集
    int cnt = 10;

    while(true)
    {
        //初始化
        sigemptyset(&pending);
        //获取
        sigpending(&pending);
        //打印
        show_pending(pending);
        sleep(1);
        printf("%d\n",cnt);
        if(cnt-- == 0)
        {
            sigprocmask(SIG_SETMASK,&oblock,&block);
            cout << "恢复对信号的屏蔽,不屏蔽任何信号"<<endl;
        }
    }
    return 0;
}

 

三、信号的的捕捉 

1、内核态和用户态

在理解信号捕捉流程前,我们要明白什么是内核态和用户态:

  1. 内核态(Kernel Mode):

    • 权限高: 内核态拥有系统的最高权限,可以执行特权指令和访问系统的所有资源。
    • 操作系统内核运行: 在内核态下,操作系统的内核代码运行,可以执行对硬件的直接访问和控制。
    • 敏感指令: 内核态可以执行一些敏感指令,如修改全局页表、禁止中断等。
    • 特权级别: 通常,内核态运行在较高的特权级别(Ring 0或Supervisor Mode),这是计算机体系结构(如x86)中的一个常见术语。
  2. 用户态(User Mode):

    • 权限低: 用户态拥有较低的权限,受到更多的限制,无法直接访问底层硬件资源。
    • 用户应用程序运行: 在用户态下,用户应用程序运行,其执行受到操作系统的控制和限制。
    • 受限指令: 用户态下的程序不能直接执行一些特权指令,如修改页表、禁止中断等。
    • 特权级别: 用户态通常运行在较低的特权级别(Ring 3或User Mode)。

       在正常的程序执行中,处理器在用户态和内核态之间进行切换。当应用程序需要执行需要更高权限的操作时(如访问硬件、执行特权指令),会触发一个从用户态到内核态的切换。这通常通过系统调用(system call)来实现,应用程序请求操作系统执行某些特权操作,操作系统会在内核态执行相应的服务例程。 

在进行切换身份进行系统调用的时候,调用的人是进程,但是身份是内核。系统调用是比较占用时间的,所以我们应该尽量频繁的使用系统调用。

理解什么是内核态和用户态

那一个进程,是怎么跑到OS中去执行方法的呢?

 这是因为每个进程都有自己的地址空间(用户独占的空间)内核空间(被映射到了每个进程的3~4G),

这时进程要访问OS的接口,只要在自己的地址空间上跳转就好了

注意:每个进程都会3~4GB地址空间,都会共享一个内核级页表,无论进程如何切换,都吧会更该这个页表

2、信号的捕捉流程 

其实上面的进程捕捉流程,我们可以用倒写的8字来记忆

注意:

  • 默认情况下:我们所以的信号是不被阻塞的
  • 默认情况下:如果一个信号被屏蔽了,该信号就不会被递达

四、信号的补充知识

 1、sigaction函数

功能:读取和修改与指定信号相关联的处理动作

原型: int sigaction(int signum, const struct sigaction *act, struct sigaction *oldact)

参数:

  • signum 是指定信号的编号
  • 若act指针非空,则根据act修改该信号的处理动作
  • 若oact指针非空,则通过oact传 出该信号原来的处理动作

返回:调用成功则返回0,出错则返回- 1

act和oact指向sigaction结构体 :

将sa_handler赋值为常数SIG_IGN传给sigaction表示忽略信号,赋值为常数SIG_DFL表示执行系统默认动作,赋值为一个函数指针表示用自定义函数捕捉信号,或者说向内核注册了一个信号处理函数,该函数返回 值为void,可以带一个int参数,通过参数可以得知当前信号的编号,这样就可以用同一个函数处理多种信 号。显然,这也是一个回调函数,不是被main函数调用,而是被系统所调用

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

下面我们通过代码来理解一下sigaction函数

#include<iostream>
#include<cstdio>
#include<signal.h>
#include<unistd.h>

using namespace std;

void Count(int cnt)
{
    while(cnt)
    {
        printf("cnt: %2d\r", cnt);
        fflush(stdout);
        cnt--;
        sleep(1);
    }
    printf("\n");
}

void handler(int signo)
{
    cout << "get a signo: " << signo << "正在处理中..." << endl;
    Count(20);
}
int main()
{
    struct sigaction act, oact;
    act.sa_handler = handler;
    act.sa_flags = 0;
    sigemptyset(&act.sa_mask); // 当我们正在处理某一种信号的时候,我们也想顺便屏蔽其他信号,就可以添加到这个sa_mask中
    sigaddset(&act.sa_mask, 3);
    sigaction(SIGINT, &act, &oact);

    while(true) sleep(1);

    return 0;
}

这里我们观察到,我们一直给进程发2号信号,发现他不马上执行所育的2号信号的,而是一个一个的执行。

这里我们就知道了,正在递达某个信号期间,同类信号无法被递达,系统会自动将当前信号加入到进程的信号屏蔽字block,当信号完成捕捉动作,系统又会自动解除对该信号的屏蔽(一般一个信号被解除屏蔽的时候,会自动递达当前屏蔽信号,如果该信号已经被pending的话,就不做任何处理)。

2、可重入函数

为了理解可重写入函数,这里我们有一个链表,我们做如下操作:

这里我们发现node2丢失了, 我们代码也没有写错,而仅仅是在一个mian函数中执行了二个执行流。

这里在mian函数handler中该函数重复进入 ,出了问题,我们就称函数insert为不可以重入函数。

这里在mian函数handler中该函数重复进入 ,没有出问题,我们就称函数insert为可以重入函数。

如果一个函数符合以下条件之一则是不可重入的:

  • 调用了malloc或free,因为malloc也是用全局链表来管理堆的。
  • 调用了标准I/O库函数。标准 比特科技 I/O库的很多实现都以不可重入的方式使用全局数据结构

3、 volatile关键字

下面我们看一个现象:

int quit = 0;
void handler(int signo)
{
    printf("pid: %d, %d 号信号,正在被捕捉!\n", getpid(), signo);
    printf("quit: %d", quit);
    quit = 1;
    printf("-> %d\n", quit);
}


int main()
{
    signal(2,handler);
    while(!quit);
    printf("我是正常退出\n");
}

 

这个结果是显而易见。

当我们调整 gcc的优化程度,可用man gcc手册查看

//调整优化gcc
g++ -o $@ $^  -O3 #-std=c++11

在次运行代码 

 发现代码进入了死循环,这是为什么呢?

这是因为main函数中有二个流,编译器认为在main执行流中quit没有改,所以编译器只将物理内存中的值由0变1,但是Cpu中寄存器中0没有变。(编译器的优化)

为了解决编译器的优化这就要用到volatile 关键字

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

 volatile int quit = 0;

在次运行代码:问题就解决了

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

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

相关文章

红黑树-RBTree

目录 1. 红黑树的概念2. 红黑树的性质3. 结点的定义4. 结点的插入5. 整体代码 1. 红黑树的概念 红黑树&#xff0c;是一种二叉搜索树&#xff0c;但在每个结点上增加一个存储位表示结点的颜色&#xff0c;可以是Red或Black。 通过对任何一条从根到叶子的路径上各个结点着色方式…

基于51单片机RFID射频门禁刷卡系统设计

**单片机设计介绍&#xff0c; 基于51单片机RFID射频门禁刷卡系统设计 文章目录 一 概要二、功能设计设计思路 三、 软件设计原理图 五、 程序程序 六、 文章目录 一 概要 基于51单片机RFID射频门禁刷卡系统&#xff0c;是一种将单片机技术和射频标识技术应用于门禁控制系统的…

34 Feign最佳实践

2.4.2.抽取方式 将Feign的Client抽取为独立模块&#xff0c;并且把接口有关的POJO、默认的Feign配置都放到这个模块中&#xff0c;提供给所有消费者使用。 例如&#xff0c;将UserClient、User、Feign的默认配置都抽取到一个feign-api包中&#xff0c;所有微服务引用该依赖包…

一篇文章真正讲懂模型评估指标(准确率,召回率,精确率,roc曲线,AUC值)

背景&#xff1a; 最近在做一些数据分析的比赛的时候遇到了一些头疼的问题&#xff0c;就是我们如何评估一个模型的好坏呢&#xff1f; 准确率&#xff0c;召回率&#xff0c;精确率&#xff0c;roc曲线&#xff0c;roc值等等&#xff0c;但是模型评估的时候用哪个指标呢&…

[工业自动化-12]:西门子S7-15xxx编程 - PLC从站 - ET200 SP系列详解

目录 一、概述 1.1 概述 二、系统组成 2.1 概述 2.2 与主站的通信接口模块 2.3 总线适配器 2.4 基座单元 2.5 电子模块 2.6 服务器模块 一、概述 1.1 概述 PLC ET200 SP 是西门子&#xff08;Siemens&#xff09;公司生产的一款模块化可编程逻辑控制器&#xff08;PL…

初探SVG

SVG&#xff0c;可缩放矢量图形&#xff08;Scalable Vector Graphics&#xff09;。使用XML格式定义图像。SVG有以下优点&#xff1a;1&#xff09;可被非常多的工具读取和修改&#xff1b;2&#xff09;比JPEG和GIF尺寸更小&#xff0c;可压缩性更强&#xff1b;3&#xff09…

科力雷达Lidar使用指南

科力2D Lidar使用指南 作者&#xff1a; Herman Ye Galbot Auromix 版本&#xff1a; V1.0 测试环境&#xff1a; Ubuntu20.04(x86) PC 以及 Ubuntu20.04(Arm) Nvidia Orin 更新日期&#xff1a; 2023/11/11 注1&#xff1a; 本文内容中的硬件由 Galbot 提供支持。 注2&#x…

物联网AI MicroPython学习之语法uzlib解压缩

学物联网&#xff0c;来万物简单IoT物联网&#xff01;&#xff01; uzlib 介绍 uzlib 模块解压缩用DEFLATE算法压缩的二进制数据 &#xff08;通常在zlib库和gzip存档器中使用&#xff09;&#xff0c;压缩功能尚未实现。 注意&#xff1a;解压缩前&#xff0c;应检查模块内可…

C语言——个位数为 6 且能被 3 整除但不能被 5 整除的三位自然数共有多少个,分别是哪些?

#define _CRT_SECURE_NO_WARNINGS 1#include<stdio.h> int main() {int i,j0;for(i100;i<1000;i) {if(i%106&&i%30&&i%5!0){printf("%6d",i); j;}}printf("\n一共%d个\n",j);return 0; } %6d起到美化输出格式的作用&#xff…

(一)QML加载离线地图+标记坐标点

1、实现效果 加载离线地图瓦片、鼠标拖拽、滚轮缩放在地图上固定坐标位置标注地名 &#xff08;一&#xff09;QML加载离线地图标记坐标点&#xff1a;MiniMap-mini 2、实现方法 2.1、使用工具下载离线地图 不废话&#xff0c;直接搬别人的砖&#xff0c;曰&#xff1a;他山…

jbase实现申明式事务

对有反射的语言&#xff0c;申明式事务肯定不可少。没必要没个人都try&#xff0c;catch写事务&#xff0c;写的不好的话还经常容易锁表&#xff0c;为此给框架引入申明式事务。申明式既字面意思&#xff0c;在需要事务的方法前面加一个申明&#xff0c;那么框架保证事务。 首…

比亚迪推动启动电池无铅化 车主有福了

时间过得很快&#xff0c;又到了立冬&#xff0c;意味着冬季已经开始。此时的北方已经下起了大雪&#xff0c;即便是艳阳高照的粤北山区&#xff0c;早晚也出现了较大的温差。笔者不禁想起此前做二手车时期的尴尬场面——三年以上的老车&#xff0c;尤其是没有更换过启动电池的…

38 路由的过滤器配置

3.3.断言工厂 我们在配置文件中写的断言规则只是字符串&#xff0c;这些字符串会被Predicate Factory读取并处理&#xff0c;转变为路由判断的条件 例如Path/user/**是按照路径匹配&#xff0c;这个规则是由 org.springframework.cloud.gateway.handler.predicate.PathRoute…

Python实现局部二进制算法(LBP)

1.介绍 局部二进制算法是一种用于获取图像纹理的算法。这算法可以应用于人脸识别、纹理分类、工业检测、遥感图像分析、动态纹理识别等领域。 2.示例 """ 局部二进制算法&#xff0c;计算图像纹理特征 """ import cv2 import numpy as np imp…

Java自学第9课:JSP基础及内置对象

目录&#xff1a; 目录 1 JSP基础知识架构 1 指令标识 1 Page命令 2 Including指令 3 taglib指令 2 脚本标识 1 JSP表达式 2 声明标识 3 代码片段 3 JSP注释 1 HTML注释 2 带有JSP表达式的注释 3 隐藏注释 4 动态注释 4 动作标识 1 包含文件标识 2 请求转发标…

写在 Chappyz 即将上所之前:基于 AI 技术对 Web3 营销的重新定义

前不久&#xff0c;一个叫做 Chappyz 的项目&#xff0c;其生态代币 $CHAPZ 在 Seedify、Poolz、Decubate、ChainGPT、Dao Space 等几大 IDO 平台实现了上线后几秒售罄&#xff0c;并且 Bitget、Gate.io、PancakeSwap 等几大平台也纷纷表示支持&#xff0c;并都将在 11 月 13 日…

浅析移动端车牌识别技术的工作原理及其过程

随着社会经济的发展与汽车的日益普及带来巨大的城市交通压力,在此背景下,智能交通系统成为解决这一问题的关键。而在提出发展无线智能交通系统后,作为智能交通的核心,车牌识别系统需要开始面对车牌识别移动化的现实需求。基于实现车牌识别移动化这一目标,一种基于Android移动终…

报时机器人的rasa shell执行流程分析

本文以报时机器人为载体&#xff0c;介绍了报时机器人的对话能力范围、配置文件功能和训练和运行命令&#xff0c;重点介绍了rasa shell命令启动后的程序执行过程。 一.报时机器人项目结构 1.对话能力范围 (1)能够识别欢迎语意图(greet)和拜拜意图(goodbye) (2)能够识别时间意…

运行npm install卡住不动的几种解决方案

在前端开发经常会遇到运行npm install 来安装工具包一直卡住不动&#xff0c;为此这里提供几种解决方案&#xff0c;供大家参考学习&#xff0c;不足之处还请指正。 第一种方案、首先检查npm代理&#xff0c;是否已经使用国内镜像 // 执行以下命令查看是否为国内镜像 npm con…

基于FANUC工业机器人的坐标系转换、多视角拼接与三维重建

0.简介 总体任务&#xff1a;机械臂末端安装三维相机&#xff0c;绕着工件进行拍摄&#xff0c;并在计算机中将每次拍摄的点云合并在同一个坐标系下&#xff0c;从而获得更加完整全面的点云。机械臂&#xff1a;FANAUC相机&#xff1a;梅卡曼德技术方案&#xff1a;使用相机外…