【Linux学习】进程信号

目录

十七.进程信号

        导言

        17.1 linux中的信号列表

        17.2 标准信号与实时信号

        17.3 信号的产生

        17.3.1 通过终端按键产生信号

        17.3.2 调用系统函数产生信号

        17.3.3 软件条件产生信号

        17.3.4 硬件异常产生信号

        17.3.5 【补充】核心转储 Core Dump

        17.4 信号的阻塞

        17.4.1 信号相关常见概念补充

        17.4.2 信号在内核的表示

        17.4.3 信号集

                sigset_t:

                信号集操作函数:

                sigprocmask :

                sigpending:

        17.4.4 代码测试

        17.5 信号的捕捉

        17.5.1 signal:

        17.5.2 sigaction:

        17.5.3 内核态与用户态

        17.5.4 重谈进程地址空间

        17.5.5 信号捕捉流程图

        17.6 SIGCHLD


十七.进程信号

        导言

生活中充满着各种信号,从交通灯的红绿指示,到手机的震动提示,信号贯穿着我们日常的方方面面。这些信号是为了在复杂的环境中传递简洁而重要的信息,让人们能够迅速做出反应。有趣的是,计算机科学中也有一种类似的机制,那就是进程信号。

想象一下,当你在驾驶时看到红灯亮起,你会停下车子;或者当你的手机收到一条紧急的消息,震动提醒你关注。这些都是生活中的信号,通过它们,我们获得了环境中的重要信息,并且采取了相应的行动。

在Linux操作系统中,进程信号就像是计算机世界中的这些生活信号。它们是一种轻量级的通信方式,操作系统通过发送信号来通知进程发生了特定事件。这些事件可以包括需要终止进程、重新加载配置、处理错误等。通过对进程信号的理解,我们能够使程序更加智能地响应各种情境,就像在生活中接收并处理各种信号一样。在本文中,我们将以生活中信号的概念为切入点,引领你深入了解Linux系统中进程信号的奥妙,以及如何利用这种机制构建更加灵活和可靠的计算机程序。随着我们的探索,你将发现信号在计算机世界中的重要性,以及它们如何成为程序与操作系统之间交流的桥梁。

        17.1 linux中的信号列表

在Linux中,有一系列预定义的信号,每个信号都有一个唯一的编号。这些信号的编号通常以SIG开头,后跟一个描述信号用途的大写字母缩写。

kill -l

 通过kill -l 命令我们可以查看系统为我们定义好的信号列表

 值得注意的是,信号编号范围是1到64,但并不是每一个编号都对应了一个信号,32和33

便没有对应信号

这时,大家也能猜到实际上,信号的本质就是宏定义,这里我们通过源码确定

事实上,通过名字和注释,我们大概可以知道每个信号其实是由大概的含义。这实际上表示了进程对信号的默认处理方式

        17.2 标准信号与实时信号

在Linux系统中,信号可以分为两类:标准信号(Standard Signals)和实时信号(Real-time Signals),这两类信号在其产生和传递的方式上有一些区别。

标准信号(Standard Signals):

  1. 范围: 标准信号的编号范围通常是1到31。
  2. 产生: 这些信号是由操作系统或进程直接产生的,例如用户按下Ctrl+C产生的SIGINT,或者由操作系统发出的SIGHUP
  3. 语义: 标准信号通常用于表示一些常见的事件,如终止进程、中断操作等。
  4. 处理: 标准信号的处理方式包括终止进程、忽略信号、使用默认的信号处理函数或者注册自定义的信号处理函数。

实时信号(Real-time Signals):

  1. 范围: 实时信号的编号范围是34到63。
  2. 产生: 实时信号是由内核和进程共同产生的,通常用于实时进程间通信。
  3. 语义: 实时信号的语义更为灵活,可用于应用层定义的目的,如实现自定义的进程间通信。
  4. 处理: 实时信号的处理方式与标准信号类似,可以忽略、使用默认处理函数或者注册自定义的处理函数。

总的来说,标准信号是操作系统提供的常见信号,用于表示一些标准的事件,而实时信号则更为灵活,可用于实现更复杂的应用层通信。在处理方式上两者并没有本质的区别,都可以通过系统调用注册处理函数。这里我们不会继续深入,我们后续讲解只涉及标准信号。

        17.3 信号的产生

信号是进程之间事件异步通知的一种方式,属于软中断,本质也是数据 。信号是给进程发的,进程在收到信号后,会在合适的时候执行对应的命令。

17.3.1 通过终端按键产生信号

在UNIX或类UNIX系统中,信号可以通过多种方式产生,其中之一是通过终端按键。用户在终端上按下特定的键盘组合时,会生成相应的信号,通常用于与正在运行的程序进行交互或控制。

下面是一些常见的通过终端按键产生的信号:

  1. Ctrl+C (SIGINT)

    • 产生原因:用户按下Ctrl+C组合键。
    • 默认行为:中断(Interrupt)当前运行的程序。
    • 通常用途:允许用户通过终端中断正在运行的程序。
  2. Ctrl+Z (SIGTSTP)

    • 产生原因:用户按下Ctrl+Z组合键。
    • 默认行为:挂起(Suspend)当前运行的程序,将其放到后台。
    • 通常用途:将一个正在前台运行的程序放到后台,暂停其执行。
  3. Ctrl+\ (SIGQUIT)

    • 产生原因:用户按下Ctrl+\组合键。
    • 默认行为:类似于Ctrl+C,但可能会生成core dump文件,用于调试。
    • 通常用途:在出现问题时,用户可以使用该信号强制终止程序,并生成core dump以供调试。

17.3.2 调用系统函数产生信号

在UNIX或类UNIX系统中,信号还可以通过系统函数的调用而产生。这种方式通常是由进程主动调用系统函数,而不是依赖于外部的用户或终端输入。以下是一些产生信号的常见系统函数:

  1. kill函数

    • 函数原型int kill(pid_t pid, int sig);
    • 作用:向指定进程发送特定信号。
    • 例子kill(pid, SIGTERM); 将向进程ID为pid的进程发送SIGTERM信号,请求它正常终止。
  2. raise函数

    • 函数原型int raise(int sig);
    • 作用:使当前进程给自己发送指定信号。
    • 例子raise(SIGALRM); 将使当前进程收到SIGALRM信号。
  3. alarm函数

    • 函数原型unsigned int alarm(unsigned int seconds);
    • 作用:设置一个定时器,经过指定秒数后发送SIGALRM信号给调用进程。
    • 例子alarm(5); 将在5秒后给当前进程发送SIGALRM信号。
  4. abort函数

    • 函数原型void abort(void);
    • 作用:使当前进程接收到SIGABRT信号,导致进程异常终止。
    • 例子abort(); 调用该函数将导致当前进程异常终止,可能生成包含堆栈跟踪的核心转储文件。

17.3.3 软件条件产生信号

SIGPIPE信号实际上就是一种由软件条件产生的信号

我们之前在讲到进程间通信当进程在使用管道进行通信时,读端进程将读端关闭,而写端进程还在一直向管道写入数据,那么此时写端进程就会收到SIGPIPE信号进而被操作系统终止。

例如,下面代码当中,创建匿名管道进行父子进程之间的通信,其中父进程是读端进程,子进程是写端进程,但是一开始通信父进程就将读端关闭了,那么此时子进程在向管道写入数据时就会收到SIGPIPE信号,进而被终止。

#include <stdio.h>
#include <unistd.h>
#include <string.h>
#include <stdlib.h>
#include <sys/types.h>
#include <sys/wait.h>
int main()
{int fd[2] = { 0 };if (pipe(fd) < 0){ //使用pipe创建匿名管道perror("pipe");return 1;}pid_t id = fork(); //使用fork创建子进程if (id == 0){//childclose(fd[0]); //子进程关闭读端//子进程向管道写入数据const char* msg = "hello father, I am child...";int count = 10;while (count--){write(fd[1], msg, strlen(msg));sleep(1);}close(fd[1]); //子进程写入完毕,关闭文件exit(0);}//fatherclose(fd[1]); //父进程关闭写端close(fd[0]); //父进程直接关闭读端(导致子进程被操作系统杀掉)int status = 0;waitpid(id, &status, 0);printf("child get signal:%d\n", status & 0x7F); //打印子进程收到的信号return 0;
}

17.3.4 硬件异常产生信号

在操作系统中,硬件异常通常指的是由 CPU 探测到的一些错误或异常情况。当这些异常发生时,CPU 会向操作系统发出信号,操作系统会相应地采取措施,例如发送相应的信号给受影响的进程。

以下是一些常见的硬件异常,以及它们在信号中的映射:

  1. 除零异常(Division by Zero):

    • 当程序试图执行除以零的操作时,CPU 探测到除零异常。
    • 操作系统通常会将这个异常映射为 SIGFPE 信号(浮点异常)。
  2. 非法指令异常(Illegal Instruction):

    • 当程序尝试执行一条非法的机器指令时,CPU 探测到非法指令异常。
    • 操作系统通常会将这个异常映射为 SIGILL 信号。
  3. 非法地址访问异常(Illegal Address Access):

    • 当程序尝试访问未映射到其地址空间的内存区域时,CPU 探测到非法地址访问异常。
    • 操作系统通常会将这个异常映射为 SIGSEGV 信号(段错误)。
  4. 浮点溢出异常(Floating-Point Overflow):

    • 当程序中进行的浮点运算结果过大,无法表示时,CPU 探测到浮点溢出异常。
    • 操作系统通常会将这个异常映射为 SIGFPE 信号。

这些硬件异常产生信号的方式是由操作系统内核管理的,操作系统负责捕获硬件异常并向受影响的进程发送相应的信号。


这里我们就常见的除零错误,野指针或越界来分解一下从硬件到软件的信号处理

除零错误:

  1. 硬件层面: 当 CPU 进行除法运算时,如果除数为零,就会导致除零错误。这是硬件级别的异常,通常由硬件内部的控制逻辑进行检测。

  2. 状态标志: CPU 内部有状态标志位,例如溢出标志。如果发生除零错误,会设置相应的状态标志。操作系统会定期检查这些标志,如果发现异常状态,就会采取相应的措施。

  3. 信号处理: 操作系统可以通过发送信号的方式通知进程。在除零错误的情况下,通常会发送 SIGFPE(浮点异常)信号给进程。

  4. 进程退出: 默认情况下,操作系统可能会终止发生除零错误的进程。但这并非绝对,操作系统的具体行为可能受到进程对信号的处理方式的影响。

  5. 死循环: 如果除零错误引发了异常而进程没有适当处理,可能导致程序陷入死循环。这是因为异常没有得到解决,寄存器中的异常标志一直保持未解决状态。

野指针或越界:

  1. 虚拟地址和物理地址: 计算机程序中使用的地址是虚拟地址,需要通过页表和内存管理单元(MMU)将其转化为物理地址。MMU 是硬件的一部分,负责地址转换。

  2. 异常检测: 当程序尝试访问非法地址(野指针、越界等),MMU 会检测到这一异常,触发硬件异常。

  3. 页表: 操作系统通过页表管理虚拟地址到物理地址的映射。非法地址访问可能导致页表中的相应条目不存在,从而引发异常。

  4. 操作系统处理: 操作系统可以通过信号通知进程发生了非法地址访问。常见的是 SIGSEGV(段错误)信号。

  5. 死循环: 类似于除零错误,如果异常没有被适当处理,程序可能会进入死循环,导致无法正常执行。

总的来说,硬件和操作系统协同工作,通过硬件异常检测和操作系统的信号处理,确保程序在发生错误时能够得到适当的通知,从而采取相应的措施。

对于异常,进程不一定会立即退出,具体行为可能受到信号处理的影响。但是,即使我们不退出,基本上也做不了什么,因为寄存器上中的异常还没有解决,程序会陷入死循环。

17.3.5 【补充】核心转储 Core Dump

Core Dump(核心转储)是在进程发生异常终止时,将进程的内存数据保存到磁盘上的文件。

一般情况下,当进程遇到致命错误(如段错误)时,操作系统会生成一个 Core Dump 文件。这个文件可以被调试器用于事后调试,帮助开发人员定位程序崩溃的原因。通常,Core Dump 文件保存在进程当前工作目录中,文件名为 "core"。

在Linux和类Unix系统上,通过ulimit命令可以控制 Core Dump 文件的生成大小。默认情况下,操作系统可能会禁止生成 Core Dump 文件,因为它们可能包含敏感信息。

在云服务器中,核心转储是默认被关掉的,我们可以通过使用ulimit -a命令查看当前资源限制的设定。

ulimit -a

在开发和调试阶段,开发人员可以使用ulimit命令来调整 Core Dump 文件的大小限制。例如:

ulimit -c 1024

core文件的大小设置完毕后,就相当于将核心转储功能打开了。

此时如果我们再使用Ctrl+\对进程进行终止,就会发现终止进程后会显示core dumped。

并且会在当前路径下生成一个core文件,该文件以一串数字为后缀,而这一串数字实际上就是发生这一次核心转储的进程的PID。

这里我们写一个除0错误的代码进一步演示:

使用gdb对当前可执行程序进行调试,然后直接使用core-file core文件命令加载core文件,即可判断出该程序在终止时收到了8号信号


还记得进程等待函数waitpid函数的第二个参数吗:

pid_t waitpid(pid_t pid, int *status, int options);

core dump标志实际上就是用于表示程序崩溃的时候是否进行了核心转储。如果该位是1,则进行了核心转储;0,则没有进行了核心转储

说明一下: 

ulimit命令是用来设置用户级资源限制的命令,它会影响当前Shell进程及其子进程。在Unix-like系统中,每个进程都有与之相关的资源限制,这些限制定义了进程在运行时可以消耗的资源的上限。

ulimit命令改变的是Shell进程的Resource Limit,但myproc进程的PCB是由Shell进程复制而来的,所以也具有和Shell进程相同的Resource Limit值。

        17.4 信号的阻塞

17.4.1 信号相关常见概念补充

  • 信号递达(Signal Delivery):

    • 信号递达指的是实际执行信号处理动作的过程。一旦信号递达,进程就会执行与该信号关联的处理函数或默认动作。
  • 信号未决(Signal Pending):

    • 信号从产生到递达之间的状态称为信号未决。即,信号已经产生,但尚未被进程处理。在信号未决状态下,信号可以被阻塞,也可以等待进程处理。
  • 信号阻塞(Signal Blocking):

    • 进程可以选择阻塞某个信号,使得被阻塞的信号在进程解除对其阻塞之前,不会递达。这种机制允许进程对特定信号进行控制,以便在某些时候忽略或推迟对该信号的处理。
  • 阻塞状态下的信号保持未决状态:

    • 当一个信号被阻塞时,即使信号已经产生,它会一直保持在信号未决状态。直到进程解除对该信号的阻塞,信号才能递达并触发相应的处理动作。
  • 阻塞与忽略的区别:

    • 阻塞和忽略是两个不同的概念。当信号被阻塞时,它会保持在未决状态,直到解除阻塞;而当信号被忽略时,它在递达时不会触发任何处理动作。忽略是一种处理信号的方式,而阻塞是一种控制信号递达的方式。

17.4.2 信号在内核的表示

在内核中,每个进程的内核控制块(PCB)中会包含阻塞位图、未决位图以及处理动作表,用于跟踪和管理该进程的信号状态

  • 阻塞位图(Block Bitmap):

    • 阻塞位图是一个比特位图,每个比特位表示一个特定的信号。如果某个信号的阻塞位被设置为 1,说明该信号被阻塞;如果为 0,说明该信号没有被阻塞。
  • 未决位图(Pending Bitmap):

    • 未决位图也是一个比特位图,每个比特位表示一个特定的信号。如果某个信号的未决位被设置为 1,说明该信号在进程中是未决状态;如果为 0,说明该信号没有产生或已经被处理。
  • 处理动作表(Handler Table):

    • 处理动作表是一个函数指针数组,每个数组元素对应一个特定的信号。函数指针指向信号递达时要执行的处理动作,可能是默认动作、忽略动作或用户自定义函数。

  • 在上图的例子中,SIGHUP信号未阻塞也未产生过,当它递达时执行默认处理动作。
  • SIGINT信号产生过,但正在被阻塞,所以暂时不能递达。虽然它的处理动作是忽略,但在没有解除阻塞之前不能忽略这个信号,因为进程仍有机会改变处理动作之后再解除阻塞。
  • SIGQUIT信号未产生过,一旦产生SIGQUIT信号将被阻塞,它的处理动作是用户自定义函数sighandler。 

如果在进程解除对某信号的阻塞之前这种信号产生过多次,将如何处理?

POSIX.1允许系统递送该信号一次或多次。Linux是这样实现的:常规信号在递达之前产生多次只计一次,而实时信号在递达之前产生多次可以依次放在一个队列里。本章不讨论实时信号。

17.4.3 信号集

信号集(Signal Set)是一个用于表示一组信号状态的数据结构。在 POSIX 操作系统中,通常使用 sigset_t 数据类型来表示信号集。每个信号集包含了系统所支持的所有信号,并使用比特位图的形式表示每个信号的状态。

在信号集中,每个比特位(bit)代表一个特定的信号。如果某个比特位的值为 1,表示该信号在信号集中是有效的(被包含),如果为 0,则表示该信号是无效的(未包含)。


sigset_t:

sigset_t 是一个数据类型,用于表示信号集。信号集是一个集合,其中每个元素对应一个可能的信号。从上面阻塞位图(Block Bitmap)和 未决位图(Pending Bitmap)来看,每个信号只有一个bit的未决标志,非0即1,不记录该信号产生了多少次,阻塞标志也是这样表示的。 因此,未决和阻塞标志可以用相同的数据类型sigset_t来存储。


信号集操作函数:
#include <signal.h>int sigemptyset(sigset_t *set);int sigfillset(sigset_t *set);int sigaddset(sigset_t *set, int signum);int sigdelset(sigset_t *set, int signum);int sigismember(const sigset_t *set, int signum);  
  1. 初始化信号集:

    • sigemptyset:将信号集中的所有比特位都清零,表示该信号集不包含任何信号。
    • sigfillset:将信号集中的所有比特位都设置为 1,表示该信号集包含所有系统支持的信号。
  2. 添加和删除信号:

    • sigaddset:将指定信号的比特位设置为 1,将该信号添加到信号集中。
    • sigdelset:将指定信号的比特位清零,将该信号从信号集中删除。
  3. 查询信号是否包含在信号集中:

    • sigismember:用于判断指定信号是否包含在信号集中,返回 1 表示包含,返回 0 表示不包含。
这四个函数都是成功返回 0, 出错返回 -1 sigismember 是一个布尔函数 , 用于判断一个信号集的有效信号中是否包含 某种 信号, 若包含则返回 1, 不包含则返回 0, 出错返回 -1

sigprocmask

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

int sigprocmask(int how, const sigset_t *set, sigset_t *oldset);

参数说明:

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

sigpending:

该函数用于读取当前进程的未决信号集

int sigpending(sigset_t *set);

sigpending函数读取当前进程的未决信号集,并通过 set 参数传出。该函数调用成功返回0,出错返回-1

17.4.4 代码测试

首先我们编写一段程序 signal ,阻塞1~31号信号,并不断的打印pending位图

#include <stdio.h>
#include <unistd.h>
#include <signal.h>
void printPending(sigset_t *pending)
{int i = 1;for (i = 1; i <= 31; i++){if (sigismember(pending, i)){printf("1 ");}else{printf("0 ");}}printf("\n");
}
void handler(int signo)
{printf("handler signo:%d\n", signo);
}
int main()
{signal(2, handler);sigset_t set, oset;sigemptyset(&set);sigemptyset(&oset);for(int i=1;i<=31;i++){sigaddset(&set, i); //SIGINT}sigprocmask(SIG_SETMASK, &set, &oset); sigset_t pending;sigemptyset(&pending);int count = 0;while (1){sigpending(&pending); //获取pendingprintPending(&pending); //打印pending位图(1表示未决)sleep(1);count++;}return 0;
}

再编写一个shell脚本,来向运行后的程序 signal 发送1~31 号信号(这里我们避开9号与19号,原因后面会将)

#!/bin/bashi=1
id=$(pidof signal)
while [ $i -le 31 ]
do if [ $i -eq 9 ];then let i++continuefiif [ $i -eq 19 ];then      let i++continuefi kill -$i $id echo "kill -$i $id"let i++sleep 1
done 

程序运行后的效果如下

        17.5 信号的捕捉

17.5.1 signal:

signal 函数是一个用于处理信号(signals)的函数,通常在UNIX和类UNIX系统上使用。信号是在计算机系统中用于通知进程发生了某些事件的一种机制。例如,当用户按下键盘上的中断键(Ctrl+C),操作系统会向前台进程发送一个中断信号(SIGINT)。程序可以通过注册信号处理函数来捕捉和处理这些信号。

在C语言中,signal 函数的原型为:

#include <signal.h>void (*signal(int signum, void (*handler)(int)))(int);

这个函数的作用是设置对信号 signum 的处理方式。其中,signum 是信号的编号,handler 是一个指向处理函数的指针。

signal 函数有三种可能的返回值:

  • 如果 signum 无效,返回 SIG_ERR。
  • 如果 handler 为 SIG_DFL,表示使用默认的信号处理方式,返回当前的信号处理函数。
  • 如果 handler 为 SIG_IGN,表示忽略该信号,返回当前的信号处理函数。

以下是一个使用 signal 函数注册信号处理函数的简单示例:

#include <stdio.h>
#include <signal.h>
#include <unistd.h>// 信号处理函数
void signal_handler(int signum) {printf("Received signal %d\n", signum);
}int main() {// 注册信号处理函数if (signal(SIGINT, signal_handler) == SIG_ERR) {perror("Error setting up signal handler");return 1;}printf("Press Ctrl+C to send a SIGINT signal\n");// 进入一个无限循环while (1) {sleep(1);}return 0;
}

在这个例子中,程序注册了一个处理 SIGINT 信号的处理函数 signal_handler。当用户按下 Ctrl+C 时,操作系统将发送 SIGINT 信号,触发 signal_handler 函数的执行。

17.5.2 sigaction:

sigaction 函数是用于设置和检查信号处理动作的系统调用。它提供了更灵活和可移植的信号处理方式,相较于 signal 函数,sigaction 函数的接口更为强大,可以更精确地控制信号处理。

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

以下是关于 sigaction 函数参数的详细说明:

  • signum: 指定信号的编号。
  • act: 如果非空,根据 act 修改该信号的处理动作。
  • oldact: 如果非空,通过 oldact 传出该信号原来的处理动作。

其中,参数act和oldact都是结构体指针变量,该结构体的定义如下:

struct sigaction {void (*sa_handler)(int);          // 信号处理函数,类似于 signal 函数的第一个参数void (*sa_sigaction)(int, siginfo_t *, void *);  // 实时信号的处理函数sigset_t sa_mask;                 // 用于屏蔽的信号集合int sa_flags;                     // 一些标志位void (*sa_restorer)(void);        // 未使用
};
  • sa_handler: 与 signal 函数中的信号处理函数类似,用于处理信号的函数指针。
  • sa_sigaction: 用于处理实时信号的函数指针。如果设置了 sa_sigaction,则 sa_handler 会被忽略。
  • sa_mask: 一个信号集合,用于指定在处理当前信号时需要阻塞的其他信号。当信号处理函数执行时,系统会自动将 sa_mask 中的信号添加到进程的信号屏蔽字中,以避免处理函数的递归调用。
  • sa_flags: 一些标志位,用于设置 sigaction 的行为。一般将其设置为0。
  • sa_restorer: 未使用,忽略即可。

下面是一个简单的使用 sigaction 函数的例子:

#include <stdio.h>
#include <signal.h>// 信号处理函数
void signal_handler(int signum) {printf("Received signal %d\n", signum);
}int main() {struct sigaction sa;// 设置信号处理函数sa.sa_handler = signal_handler;sa.sa_flags = 0;// 注册信号处理函数if (sigaction(SIGINT, &sa, NULL) == -1) {perror("Error setting up sigaction");return 1;}printf("Press Ctrl+C to send a SIGINT signal\n");// 进入一个无限循环while (1);return 0;
}

在这个例子中,sigaction 函数被用来注册 SIGINT 信号的处理函数,该处理函数为 signal_handler。

17.5.3 内核态与用户态

在计算机系统中,操作系统内核和用户程序运行在不同的特权级别或者说不同的模式下,这被称为内核态(Kernel Mode)和用户态(User Mode)。这种划分是为了提高系统的稳定性和安全性。

  1. 内核态(Kernel Mode)

    • 内核态是操作系统运行的特权级别,具有最高的权限。
    • 在内核态下,操作系统可以直接访问所有硬件资源、执行敏感指令,并对系统进行完全的控制。
    • 在内核态下运行的代码被称为内核代码。
  2. 用户态(User Mode)

    • 用户态是普通应用程序运行的特权级别,权限较低。
    • 在用户态下,应用程序不能直接访问硬件资源,不能执行一些敏感指令,只能通过操作系统提供的服务来访问硬件和执行需要特权的操作。
    • 在用户态下运行的代码被称为用户代码。

切换模式是通过中断(Interrupt)或异常(Exception)来触发的。当应用程序需要操作系统的服务时(例如,申请内存、进行文件操作等),会触发一个中断或异常,将控制权从用户态切换到内核态。在完成服务后,操作系统会再次将控制权切回用户态。

这种划分有助于保护操作系统的稳定性,因为用户程序在用户态下运行时受到较为严格的限制,无法直接影响到操作系统的核心部分。操作系统通过中断、异常等机制掌握对硬件的控制,确保系统的安全性和可靠性。

17.5.4 重谈进程地址空间

首先简单回顾下 进程地址空间 的相关知识:

  • 进程地址空间 是虚拟的,依靠 页表+MMU机制 与真实的地址空间建立映射关系
  • 每个进程都有自己的 进程地址空间,不同 进程地址空间 中地址可能冲突,但实际上地址是独立的
  • 进程地址空间 可以让进程以统一的视角看待自己的代码和数据

  • 所有进程的用户空间 [0, 3] GB 是不一样的,并且每个进程都要有自己的 用户级页表 进行不同的映射
  • 所有进程的内核空间 [3, 4] GB 是一样的,每个进程都可以看到同一张内核级页表,从而进行统一的映射,看到同一个 操作系统
  • 操作系统运行 的本质其实就是在该进程的 内核空间内运行的(最终映射的都是同一块区域)
  • 系统调用 的本质其实就是在调用库中对应的方法后,通过内核空间中的地址进行跳转调用
     

当我们执行系统调用时,会从用户态切换到内核态。这个切换是通过 CPU 中的 CR3 寄存器实现的。

  • 当 CR3 寄存器中的值为用户态对应的页表时,表示正在执行用户的代码,即处于用户态。
  • 当 CR3 寄存器中的值为内核态对应的页表时,表示正在执行操作系统的代码,即处于内核态。

通过修改 CR3 寄存器中的值,操作系统可以在用户态和内核态之间进行切换。这个寄存器的值的变化涉及到地址空间的切换,确保用户程序无法直接访问内核空间的代码和数据。

17.5.5 信号捕捉流程图

  1. 当我们在执行主控制流程的时候,可能因为某些情况而陷入内核,当内核处理完毕准备返回用户态时,就需要进行信号pending的检查。(此时仍处于内核态,有权力查看当前进程的pending位图)
  2. 在查看pending位图时,如果发现有未决信号,并且该信号没有被阻塞,那么此时就需要该信号进行处理。
  • 如果待处理信号的处理动作是默认或者忽略,则执行该信号的处理动作后清除对应的pending标志位,如果没有新的信号要递达,就直接返回用户态,从主控制流程中上次被中断的地方继续向下执行即可。
  • 但如果待处理信号是自定义捕捉的,即该信号的处理动作是由用户提供的,那么处理该信号时就需要先返回用户态执行对应的自定义处理动作,执行完后再通过特殊的系统调用sigreturn再次陷入内核并清除对应的pending标志位,如果没有新的信号要递达,就直接返回用户态,继续执行主控制流程的代码。

对于上图的信号捕捉,为了方便好记可以画个简化的图:

当识别到信号的处理动作是自定义时,能直接在内核态执行用户空间的代码吗?

当检测到信号的处理动作是自定义时,理论上是可以在内核态执行用户空间的代码的,因为内核态拥有极高的权限。然而,绝对不能采用这样的设计方案。

如果允许在内核态直接执行用户空间的代码,用户就有可能在其代码中包含一些非法操作,比如尝试清空数据库等。虽然在用户态时没有足够的权限执行这类敏感操作,但如果在内核态执行这种非法代码,由于内核态权限的高度,这些操作就有可能被成功执行,导致潜在的系统数据损坏或丧失。

简而言之,不应该让操作系统直接执行用户提供的代码,因为操作系统无法信任任何用户提供的代码。为了确保系统的稳定性和安全性,操作系统采用了分层设计的原则,限制了用户空间和内核空间之间的直接交互。在信号处理的背景下,通常选择在用户态执行用户提供的信号处理函数,通过明确定义的系统调用接口和权限机制来控制用户代码的执行,以维护系统的完整性。

        17.6 SIGCHLD

进程一章讲过用 wait waitpid 函数清理僵尸进程 , 父进程可以阻塞等待子进程结束 , 也可以非阻 塞地查询是否有子进 程结束等待清理( 也就是轮询的方式 ) 。采用第一种方式 , 父进程阻塞了就不 能处理自己的工作了 ; 采用第二种方式 , 父 进程在处理自己的工作的同时还要记得时不时地轮询一 下, 程序实现复杂。
其实 , 子进程在终止时会给父进程发 SIGCHLD 信号 , 该信号的默认处理动作是忽略 , 父进程可以自 定义 SIGCHLD 信号的处理函数, 这样父进程只需专心处理自己的工作 , 不必关心子进程了 , 子进程 终止时会通知父进程 , 父进程在信号处理 函数中调用wait 清理子进程即可。
下面编写一个程序完成以下功能 : 父进程 fork 出子进程 , 子进程调用 exit(1) 终止 , 父进程自定 义 SIGCHLD 信号的处理函数 , 在其中调用wait 获得子进程的退出状态并打印
#include <stdio.h>
#include <stdlib.h>
#include <signal.h>
#include <sys/wait.h>
#include <unistd.h>void handler(int sig) {pid_t id;while ((id = waitpid(-1, NULL, WNOHANG)) > 0) {printf("等待子进程成功:%d\n", id);}printf("子进程退出:%d\n", getpid());
}int main() {signal(SIGCHLD, handler);pid_t cid;if ((cid = fork()) == 0) { // 子进程printf("子进程:%d\n", getpid());sleep(3);exit(1);}while (1) {printf("父进程正在执行一些操作!\n");sleep(1);}return 0;
}

事实上,由于UNIX 的历史原因,要想不产生僵尸进程还有另外一种办法:父进程调 用sigactionSIGCHLD的处理动作 置为SIG_IGN,这样fork出来的子进程在终止时会自动清理掉,不 会产生僵尸进程,也不会通知父进程。系统默认的忽 略动作和用户用sigaction函数自定义的忽略 通常是没有区别的,但这是一个特例。此方法对于Linux可用,但不保证 在其它UNIX系统上都可用。

下面代码中调用signal函数将SIGCHLD信号的处理动作自定义为忽略。

#include <stdio.h>
#include <unistd.h>
#include <signal.h>
#include <stdlib.h>int main()
{signal(SIGCHLD, SIG_IGN);if (fork() == 0){//childprintf("child is running, child dead: %d\n", getpid());sleep(3);exit(1);}//fatherwhile (1);return 0;
}

此时子进程在终止时会自动被清理掉,不会产生僵尸进程,也不会通知父进程。

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

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

相关文章

将字符串中可能被视为正则表达式的特殊字符进行转义re.escape()

【小白从小学Python、C、Java】 【计算机等考500强证书考研】 【Python-数据分析】 将字符串中可能被视为 正则表达式的特殊字符 进行转义 re.escape() [太阳]选择题 请问以下代码最后输出的结果是&#xff1f; import re s [a-z] print("【显示】s ",s) print(&q…

python24.1.21面向对象编程

面向对象编程&#xff1a;创建对象&#xff0c;定义对象的方法和属性 封装&#xff1a;隐藏内部实现细节&#xff0c;只通过外部接口访问使用 继承&#xff1a;允许创建有层次的类&#xff08;子类&#xff0c;父类&#xff09; 多态&#xff1a;同样接口&#xff0c;对象具体…

JVM:Java类加载机制

Java类加载机制的全过程&#xff1a; 加载、验证、准备、初始化和卸载这五个阶段的顺序是确定的&#xff0c;类型的加载过程必须按照这种顺序按部就班地开始&#xff0c;而解析阶段则不一定&#xff1a;它在某些情况下可以在初始化阶段之后再开始&#xff0c; 这是为了支持Java…

QWidget: Must construct a QApplication before a QWidget 20:10:25: 程序异常结束。

如果你在Windows上混合并匹配了Release和Debug的dll&#xff0c;则会导致这种情况。我的链接的库是release的版本&#xff0c;也就是qwt.dll&#xff0c;但是点击Qt Creator的运行按钮默认是debug启动&#xff0c;所以报错了&#xff0c;Qt Creator运行按钮里选择release就可以…

重构改善既有代码的设计-学习(一):封装

1、封装记录&#xff08;Encapsulate Record&#xff09; 一些记录性结构&#xff08;例如hash、map、hashmap、dictionary等&#xff09;&#xff0c;一条记录上持有什么字段往往不够直观。如果其使用范围比较宽&#xff0c;这个问题往往会造成许多困扰。所以&#xff0c;记录…

【Linux系统编程二十八】基于条件变量的阻塞队列(生产消费模型)

【Linux系统编程二十八】基于条件变量的阻塞队列(生产消费模型&#xff09; 一.同步问题二.条件变量1.实现原理2.等待的前提3.使用接口①.【定义条件变量】②.【初始化条件变量】③.【让线程去条件变量下等待】④.【为什么第二个参数是锁&#xff1f;】条件变量和锁的关系是什么…

【开源】基于JAVA语言的软件学院思政案例库系统

目录 一、摘要1.1 项目介绍1.2 项目录屏 二、功能模块2.1 系统管理员2.2 普通教师 三、系统展示四、核心代码4.1 查询思政案例4.2 审核思政案例4.3 查询思政课程4.4 思政案例点赞4.5 新增思政案例评语 五、免责说明 一、摘要 1.1 项目介绍 基于JAVAVueSpringBootMySQL的软件学…

Java根据模板文件生成excel文件,同时将excel文件转换成图片

需求 需要将指定数据导出成表格样式的图片&#xff0c;如图 业务拆解 定义一个导出模板将得到的数据填入模板中&#xff0c;生成excel文件将ecxel文件转换成png格式的图片 代码实现 需要引入的依赖 <dependency><groupId>cn.hutool</groupId><artif…

【JavaEE】_基于UDP实现网络通信

目录 1. 服务器 1.1 实现逻辑 1.2 代码 1.3 部分代码解释 2. 客户端 2.1 实现逻辑 2.2 代码 2.3 客户端部分代码解释 3. 程序运行结果 4. 服务器客户端交互逻辑 此篇内容为实现UDP版本的回显服务器echo server&#xff1b; 普通服务器&#xff1a;收到请求&#xff…

Docker搭建MySQL主从数据库-亲测有效

1、测试环境概述 1、使用MySQL5.7.35版本 2、使用Centos7操作系统 3、使用Docker20版本 案例中描述了整个测试的详细过程 2、安装Docker 2.1、如果已经安装docker,可以先卸载 yum remove -y docker \ docker-client \ docker-client-latest \ docker-common \ docker-l…

机器人电机综述 — 电机分类、舵机、步进与伺服、物理性质和伺服控制系统

电机综述 图片与部分素材来自知乎大佬不看后悔&#xff01;最全的电机分类&#xff0c;看这一篇就够了&#xff01; - 知乎 (zhihu.com)&#xff0c;本文只是把机器人中常用的电机知识提炼了一下 1 按照结构和工作原理划分 1. 同步电机 ​ 电机的转速与定子磁场的转速相同步…

线性表的案例引入 | 稀疏多项式的运算

#include <iostream> using namespace std;#define TRUE 1 #define FALSE 0 #define OK 1 #define ERROR 0 #define INFEASIBLE -1 #define OVERFLOW -2typedef int Status;// 定义单链表 typedef struct PNode {float coef; //系数int expn; //指数struct PNode *nex…

基于深度学习的细胞感染性识别与判定

基于深度学习的细胞感染性识别与判定 基于深度学习的细胞感染性识别与判定引言项目背景项目意义项目实施数据采集与预处理模型选择与训练模型评估与优化 结果与展望结论 基于深度学习的细胞感染性识别与判定 引言 随着深度学习技术的不断发展&#xff0c;其在医学图像处理领域…

【UEFI基础】EDK网络框架(UDP4)

UDP4 UDP4协议说明 UDP的全称是User Datagram Protocol&#xff0c;它不提供复杂的控制机制&#xff0c;仅利用IP提供面向无连接的通信服务。它将上层应用程序发来的数据在收到的那一刻&#xff0c;立即按照原样发送到网络。 UDP报文格式&#xff1a; 各个参数说明如下&…

基础+常用的数据结构

基础 java基础 JDK 和 JRE JDK&#xff0c;它是功能齐全的 Java SDK&#xff0c;是提供给开发者使用&#xff0c;能够创建和编译 Java 程序的开发套件。它包含了 JRE,同时还包含了编译 java 源码的编译器 javac 以及一些其他工具比如 javadoc&#xff08;文档注释工具&#…

舵机使用总结

文章目录 1 舵机简介2 注意事项3 编写驱动程序3.1 使用STM32作为控制器3.1.1 计算高电平对应程序中的取值范围3.1.2 编写控制程序 1 舵机简介 舵机使用PWM控制&#xff0c;周期为20ms&#xff0c;通过改变高电平占空比来驱动&#xff0c;高电平通常为1~2ms&#xff08; 或 0.5 …

Find My卡片正成为消费电子香饽饽,伦茨科技ST17H6x可以帮到您

今年CES许多公司发布支持苹果Find My的卡片产品&#xff0c;这种产品轻薄可充电&#xff0c;放在钱包、背包或者手提包可以防丢查找&#xff0c;在智能化加持下&#xff0c;防丢卡片使得人们日益关心自行车的去向。最新的防丢卡片与苹果Find My结合&#xff0c;智能防丢&#x…

vue生命周期图示

详见&#xff1a;官网介绍

聊聊Java虚拟机(一)—— 类加载子系统

1. 前言 ​ 虚拟机就是一款用来执行虚拟计算机指令的计算机软件。它相当于一台虚拟计算机。大体上&#xff0c;虚拟机分为系统虚拟机和程序虚拟机。系统虚拟机就相当于一台物理电脑&#xff0c;里面可以安装操作系统&#xff1b;程序虚拟机是为了执行单个计算机程序而设计出来…

海外媒体发稿:出口贸易媒体发稿推广8种方式让您事半功倍-华媒舍

出口贸易已成为越来越多企业的发展方向。要让更多潜在客户了解并选择你的产品&#xff0c;仅靠传统的销售手段已远远不够。作为一名出口贸易从业人员&#xff0c;如何利用媒体发稿推广&#xff0c;事半功倍地扩大市场影响&#xff0c;成为摆在我们面前的一大任务。本文将为您介…