Linux 进程信号深剖

news2024/11/26 15:52:21

目录

    • 传统艺能😎
    • 概念🤔
    • 信号发送🤔
    • 信号记录🤔
    • 信号产生🤔
    • 常见信号处理方式🤔
    • 终端按键产生信号🤔
    • 核心转储😋
      • 如何调试🤔
    • 系统函数发送信号🤔
      • raise函数🤔
      • abort函数🤔
    • 由软件条件产生信号🤔
      • SIGPIPE信号🤔
      • SIGALRM信号🤔
    • MMU🤔
    • 阻塞信号🤔
    • 信号的内核表示🤔
      • 总结😋
    • sigset_t🤔
    • 信号集操作函数🤔
    • sigprocmask🤔
    • sigpending🤔
    • 捕捉信号🤔
      • 内核态与用户态🤔
    • 信号捕捉的实现🤔
    • sigaction🤔
      • sa_handler😋
      • sa_sigaction😋
      • sa_mask😋
      • sa_flags😋
      • sa_restorer😋
    • 可重入函数🤔
    • volatile🤔
    • SIGCHILD🤔

传统艺能😎

小编是双非本科大二菜鸟不赘述,欢迎米娜桑来指点江山哦
在这里插入图片描述
1319365055

🎉🎉非科班转码社区诚邀您入驻🎉🎉
小伙伴们,满怀希望,所向披靡,打码一路向北
一个人的单打独斗不如一群人的砥砺前行
这是和梦想合伙人组建的社区,诚邀各位有志之士的加入!!
社区用户好文均加精(“标兵”文章字数2000+加精,“达人”文章字数1500+加精)
直达: 社区链接点我


在这里插入图片描述

概念🤔

信号是一个生活中随处可见的概念,没什么深层隐晦的地方,一个信号包含了各种信息,比如你快递到了,你该吃饭了或者你该睡觉了等等

首先在 Linux 系统中,我们首先需要 明 白 信 号 的 产 生 是 异 步 的 \color{red} {明白信号的产生是异步的} ,比如有以下代码:

#include <stdio.h>
#include <unistd.h>

int main()
{
	while (1){
		printf("hello signal!\n");
		sleep(1);
	}
	return 0;
}

运行结果是死循环,我们要终止死循环的话通常会直接 ctrl c:

在这里插入图片描述
这里的 ctrl c 动作就是一个信号,本质上是因为输入产生了一个硬中断,ctrl c 被翻译成 2 号信号送到操作系统,操作系统再送到前台进程,然后前台进程退出。

这里所谓的 2 号信号我们可以听过 signal 函数进行捕捉,声明为:

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

signum:要捕捉的信号编号  
handler:捕捉信号的处理方法,处理方法的参数是 int,返回值是 void

这里就以对 ctrl c 的捕捉为例:
在这里插入图片描述
可以看到这里系统确实收到另一个 2 号信号!

信号是进程之间事件异步通知的一种方式,属于 软 中 断 \color{red} {软中断}

ctrl c 产生的信号只能发给前台进程,在命令后面加 & 就可以放到后台运行,这样 Shell 不必等待进程结束就可以接收新命令,启动新的进程。当然 Shell 可以同时运行一个前台进程和任意多个后台进程,但是只有前台进程才能接到像 ctrl c 这种控制信号

该进程的用户空间代码执行到任何地方都可能收到 SIGINT信号(ctrl c 对应的 2 号信号)而终止,所以信号相对于进程的控制流程来说是异步的。

信号发送🤔

我们可以通过 kill -l 命令查看 Linux 中所有的信号:

在这里插入图片描述
其中1-31号信号是普通信号,34-64号信号是实时信号,普通信号和实时信号各自都有31个,每个信号都有一个编号和一个宏定义名称:

在这里插入图片描述

信号记录🤔

实际上进程接收一个信号,该信号是被记录在该进程的进程控制块当中的。我们都知道进程控制块本质上就是一个结构体变量,我们主要就是记录一个信号是否产生,因此我们可以用一个 32 位的位图来记录信号是否产生

在这里插入图片描述
其中比特位的位置代表信号的编号,而比特位的内容就代表是否收到对应信号,比如第 6 个比特位是 1 就表明收到了 6 号信号

信号产生🤔

首先我们要知道信号是如何产生的

收到信号的本质就是进程内的信号位图被修改,也就是进程的数据被修改,而只有操作系统才有资格修改进程的数据,因为操作系统是进程的管理者。也就是说,信号的产生本质上就是操作系统直接去修改目标进程的 task_struct 中的信号位图。

常见信号处理方式🤔

对于一个信号我们有三种处理方式:

  1. 执行该信号的默认处理动作
  2. 提供一个信号处理函数,要求内核在处理该信号时切换到用户态执行这个处理函数,这种方式称为捕捉一个信号
  3. 直接忽略信号

Linux 我们可以使用 man 指令来查看处理方式:

man 7 signal

在这里插入图片描述

终端按键产生信号🤔

最开始我们对于死循环程序输入 ctrl c 进行终止的动作就是通过终端按键产生信号,但是其实除了 ctrl c 以外,ctrl \ 也可以终止程序:

在这里插入图片描述
那么问题来了, ctrl c 和 ctrl \ 的区别在哪里

ctrl c 实际上是发送 2 号信号SIGINT,而 ctrl \ 实际上是发送3号信号SIGQUIT。查看这两个信号的默认处理动作,可以看到这两个信号的 Action 是不一样的,2 号信号是 Term,而 3 号信号是 Core

在这里插入图片描述
Term 和 Core 都代表终止进程,但是 Core 在终止进程时会进行 核 心 转 储 \color{red} {核心转储}

在这里插入图片描述

核心转储😋

嘛是核心转储?其实可以理解为运行时报错日志,我们知道在一个代码运行结束后如果有报错,我们可以通过退出码得知错误信息,但是如果是一个运行的代码错误,我们只能通过核心转储获悉错误原因

在运行中如果崩溃了,我们一般会直接进行 debug 调试,但是有些特殊情况下我们会用到核心转储,核心转储的本质是一个 磁 盘 文 件 \color{red} {磁盘文件} ,也叫核心转储文件,它是操作系统在进程收到信号而终止后,会将进程地址空间的内容,状态和其他信息转而存储到磁盘中,一般命名为core.pid

我们我们通过 ulimit -a 指令查看当前资源限制设定,这里我们看到在云服务器里面,核心转储功能是默认关闭的,因为 core 文件大小为 0:

在这里插入图片描述
我们可以自己通过 ulimit -c 来改变 core 文件的大小:

在这里插入图片描述
这里有了 core 文件就证明核心转储功能已经被我们开发♂出来了,再次使用 ctrl \ 就会出现 core dump 信息(因为我的服务器搞了汉化包,这里的硬核翻译比较尴尬,吐核就是 core dump):

在这里插入图片描述
且在当前目录下会产生一个 core+一串数字后缀的文件,这一串数字其实就是这次核心转储的进程的 PID

在这里插入图片描述
ulimit 指令改变的是 shell 的 Resource Limit,这里 signal 的 PCB 也是由 shell 复制来的,所以 signal 也具有和 shell 相同的 Resource Limit

如何调试🤔

我们下面这个简单的除0场景为例:

在这里插入图片描述
崩溃后就会出现报错信息:

在这里插入图片描述
接下来查看 core dump 文件:

在这里插入图片描述
在进入 gdb 调试模式,使用core-file + core文件名命令加载core文件,即可判断出该程序在终止时收到了8号信号,并且定位到了产生该错误的具体代码:

在这里插入图片描述
8 号信号对应的就是算术错误。

core dump 标识在讲 waitpid 时就有说过:

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

waitpid 的第二个参数 status 是一个输出型参数,他用于获取子进程的退出状态,他是一个整型参数,但是我们不能单纯将它看成一个整数,因为他的不同比特位有不同的含义:

在这里插入图片描述
我们只关注 status 的 16 位,如果进程时正常退出,次低 8 位就会记录退出状态,也就是我们说的退出码,如果是因为信号异常退出,低 8 位的第一位就是 core dump,记录了核心转储

在这里插入图片描述
我们此时就可以开启系统的核心转储功能,编写一个代码实现父进程 fork 子进程,并在子进程里面进行野指针的实现,在 *p = 100 执行时,系统会终止并且会立即进行核心转储,我们在 waitpid 后查看对应的终止信号:

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <sys/wait.h>
#include <sys/types.h>

int main()
{
	if (fork() == 0){
		//child
		printf("I am running...\n");
		int *p = NULL;
		*p = 100;
		exit(0);
	}
	//father
	int status = 0;
	waitpid(-1, &status, 0);
	printf("exitCode:%d, coreDump:%d, signal:%d\n",
		(status >> 8) & 0xff, (status >> 7) & 1, status & 0x7f);
	return 0;
}

效果如下:
在这里插入图片描述
因此 core dump 标志就是表示当前进程是否进行了核心转储

那么还有其他组合键操作吗?我们可以通过代码捕捉所有信号,并将收到信号的默认动作改为直接打印出该信号的编号:

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

void handler(int signal)
{
	printf("get a signal:%d\n", signal);
}
int main()
{
	int signo;
	for (signo = 1; signo <= 31; signo++){
		signal(signo, handler);
	}
	while (1){
		sleep(1);
	}
	return 0;
}

此时我们执行 9 号信号系统不会打印出编号而是直接执行他的默认动作,这就说明操作系统里面并不是所有的信号都可以被捕获,因为如果全部可以捕获且可以设置为忽略,那么操作系统将无法杀死这个进程即使是操作系统!

在这里插入图片描述

系统函数发送信号🤔

当我们使用 kill 命令向一个进程发送信号时,我们可以以kill -信号名 进程ID 或者 kill -信号编号 进程ID 的形式进行发送:

在这里插入图片描述
实际上 kill 命令是通过调用 kill 函数实现的,函数的函数原型如下:

int kill(pid_t pid, int sig);

函数用于向进程 ID 为 pid 的进程发送 sig 信号,信号发送成功返回 0 ,不然返回 -1。这里可以用 kill 函数模拟实现一个 kill 命令:

#include <stdio.h>
#include <stdlib.h>
#include <sys/types.h>
#include <signal.h>

void Usage(char* proc)
{
	printf("Usage: %s pid signo\n", proc);
}
int main(int argc, char* argv[])
{
	if (argc != 3){
		Usage(argv[0]);
		return 1;
	}
	pid_t pid = atoi(argv[1]);
	int signo = atoi(argv[2]);
	kill(pid, signo);
	return 0;
}

为了让程序在每次执行时可以不带上路径,可以将当前路径导入环境变量 PATH 当中,我们通过 export 函数实现:

在这里插入图片描述
效果如下:

在这里插入图片描述

raise函数🤔

raise 可以给当前进程发送指定信号,即自己给自己发送信号,raise 的函数原型:

int raise(int sig);

raise 的信号发送成功则返回 0,否则返回一个非零值。例如,下面用 raise 每隔一秒向自己发送一个 2 号信号:

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

void handler(int signo)
{
	printf("get a signal:%d\n", signo);
}
int main()
{
	signal(2, handler);
	while (1){
		sleep(1);
		raise(2);
	}
	return 0;
}

效果如下:

在这里插入图片描述

abort函数🤔

abort 可以给当前进程发送 SIGABRT 信号,使进程异常终止,abort 的函数原型如下:

void abort(void);

例如下面代码每隔一秒向当前进程发送一个 SIGABRT 信号:

#include <stdio.h>
#include <stdlib.h>
#include <unistd.h>
#include <signal.h>

void handler(int signo)
{
	printf("get a signal:%d\n", signo);
}
int main()
{
	signal(6, handler);
	while (1){
		sleep(1);
		abort();
	}
	return 0;
}

结果如下:

在这里插入图片描述

这里虽然对 SIGABRT 信号进行了捕捉,并且执行了我们给出的自定义方法,但进程还是异常终止了。

由软件条件产生信号🤔

SIGPIPE信号🤔

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(); 
	if (id == 0){
		//child
		close(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);
	}
	//father
	close(fd[1]); //父进程关闭写端
	close(fd[0]); //再关闭读端导致子进程被操作系统杀掉
	int status = 0;
	waitpid(id, &status, 0);
	printf("child get signal:%d\n", status & 0x7F); 
	return 0;
}

子进程在退出时收到的是13号信号,即SIGPIPE信号:
在这里插入图片描述

SIGALRM信号🤔

alarm 函数可以设定一个闹钟,也就是告诉操作系统在若干时间后发送SIGALRM信号给当前进程,函数原型如下:

unsigned int alarm(unsigned int seconds);

作 用 \color{red} {作用} :操作系统在seconds秒之后给当前进程发送SIGALRM信号,SIGALRM信号的默认处理动作是终止进程

调用 alarm 前进程已经设置了闹钟,则返回上一个闹钟的剩余时间,并且本次闹钟的设置会覆盖上一次。如果没有设置闹钟,则返回值为 0。

例如用下面代码测试云服务器一秒时间内可以将一个变量累加到多大:

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

int main()
{
	int count = 0;
	alarm(1);
	while (1){
		count++;
		printf("count: %d\n", count);
	}
	return 0;
}

效果如下,可以发现我的云服务器可以将一个变量累加到两万左右:
在这里插入图片描述
其实云服务器可以打印到远超 2 万的结果,但是由于每次都进行打印操作,与外设之间的IO操作所需时间比累加时间更长,其次,由于当前使用的是云服务器,因此还需要将累加结果通过网络传输将数据发送过来,因此最终显示的结果要比实际一秒内可累加次数小得多

所以我们可以先让 count 变量一直执行累加操作,直到一秒后进程收到SIGALRM信号后再打印累加后的数据:

#include <stdio.h>
#include <stdlib.h>
#include <signal.h>
#include <unistd.h>

int count = 0;
void handler(int signo)
{
	printf("get a signal: %d\n", signo);
	printf("count: %d\n", count);
	exit(1);
}
int main()
{
	signal(SIGALRM, handler);
	alarm(1);
	while (1){
		count++;
	}
	return 0;
}

结果如下,结果明显变成了 5 亿多,相比原来结果可以看出实际的 IO 是十分消耗时间的:

在这里插入图片描述

MMU🤔

说到硬件异常不得不抛出一个问题: 为 什 么 C + + 程 序 会 崩 溃 ? \color{red} {为什么C++程序会崩溃?} C++

当程序当中出现类似于除0、野指针、越界之类的错误时程序就会崩溃。本质上是因为进程在运行过程中收到了操作系统发来的信号进而被终止,那操作系统是如何识别到一个进程触发了某种问题的呢?

我们知道,CPU有一堆的寄存器,当我们需要进行算术运算时,会先将这两个操作数分别放到两个寄存器当中,计算完后将结果写回寄存器当中。此外,CPU当中还有一组寄存器叫做状态寄存器,它可以用来标记当前结果的状态信息,如有无进位、有无溢出等等。而操作系统是软硬件资源的管理者,在程序运行过程中,若操作系统因为出现了除 0 错误而导致了某个状态位发生了置位,那么此时操作系统就会马上识别到是哪个进程导致的该错误,并将所识别到的硬件错误包装成信号发送给目标进程,本质就是操作系统去直接找到这个进程的task_struct,并向该进程的位图中写入8信号,写入8号信号后这个进程就会在合适的时候被终止。

那对于野指针或者越界访问问题时,操作系统又如何识别呢?

首先我们要知道系统要访问一个变量时,首先需要建立一张页表,将虚拟地址映射成物理地址才能进行访问,这里页表就是一种软件映射关系,而此时完成映射工作还有一个硬件参与工作,那就是 M M U \color{red} {MMU} MMU,他负责处理 CPU 的内存访问请求,虽然目前 MMU 已经集成到了 CPU 里面,但是完成映射的工作是 MMU 完成而不是 CPU

当进行虚拟地址到物理地址的映射时,会先将页表左侧的虚拟地址导给 MMU,然后 MMU 会计算出物理地址,我们再通过这个地址进行访问。

MMU 既然是硬件单元,那么它当然也有状态信息,当我们要访问不属于我们的虚拟地址时,MMU 在进行虚拟地址到物理地址的转换时就会出现错误,然后将对应的错误写入到自己的状态信息中,这时硬件上的信息也会立马被操作系统识别,进而将对应进程发送SIGSEGV信号

所以程序崩溃最终一定会在硬件上有所表现,操作系统识别后就会发生相应信号去终止进程

阻塞信号🤔

  1. 实际执行信号的处理动作,称为信号递达(Delivery)
  2. 信号从产生到递达之间的状态,称为信号未决(pending)
  3. 进程可以选择阻塞(Block)某个信号。

被阻塞的信号产生时将保持在未决状态,直到进程解除对此信号的阻塞,才执行递达的动作。但是阻塞和忽略是不同的,只要信号被阻塞就不会递达,而忽略是在递达之后才能忽略。

信号的内核表示🤔

信号的内核表示如图:

在这里插入图片描述
每个信号都有两个标志位分别表示阻塞 block未决 pending,还有一个函数指针表示处理动作。信号产生时,内核在进程控制块中设置该信号的未决标志,直到信号递达才清除该标志,比如上图中,SIGHUP信号未阻塞也未产生过,当它递达时执行默认处理动作

SIGINT信号产生过,但正在被阻塞,所以暂时不能递达。虽然它的处理动作是忽略,但在没有解除阻塞之前不能忽略这个信号,因为进程仍有机会在改变处理动作之后再接触阻塞。

SIGQUIT信号未产生过,但一旦产生 SIGQUIT 信号,该信号将被阻塞,它的处理动作是用户自定义函数 sighandler。如果在进程解除对某信号的阻塞之前,这种信号产生过多次,POSIX.1 允许系统递达该信号一次或多次。Linux 是这样实现的:普通信号在递达之前产生多次只计一次,而实时信号在递达之前产生多次可以依次放在一个队列里,这里我们讨论普通信号

总结😋

  1. block、pending 和 handler 这三张表的每一个位置是一一对应的
  2. 在block 位图中,比特位的位置代表某一个信号,比特位的内容代表该信号是否被阻塞
  3. 在pending 位图中,比特位的位置代表某一个信号,比特位的内容代表是否收到该信号
  4. handler 表本质上是一个函数指针数组,数组的下标代表某一个信号,数组的内容代表该信号递达时的处理动作,处理动作包括默认、忽略以及自定义

sigset_t🤔

根据信号在内核中的表示方法,每个信号的未决标志只有一个比特位非 0 即 1,如果不记录该信号产生次数,那么阻塞标志也只有一个比特位

因此,未决和阻塞标志可以用相同的数据类型 sigset_t 来存储,sigset_t 称为 信 号 集 \color{red} {信号集} ,这个类型可以表示每个信号的“有效”或“无效”状态。

sigset_t 定义如下(不同操作系统实现 sigset_t 方案可能不同):

#define _SIGSET_NWORDS (1024 / (8 * sizeof (unsigned long int)))
typedef struct
{
	unsigned long int __val[_SIGSET_NWORDS];
} __sigset_t;

typedef __sigset_t sigset_t;

注意阻塞信号集也叫做当前进程的信号屏蔽字,这里的屏蔽应该理解为阻塞而不是忽略!

信号集操作函数🤔

sigset_t 类型内部如何存储这些比特位会依赖于系统的实现,从使用者的角度是不必关心的,使用者只能调用以下函数来操作 sigset_t 变量,比如用 printf 直接打印 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);  

sigemptyset函数:初始化set所指向的信号集,使其中所有信号的对应 bit 清零
sigfillset函数:初始化set所指向的信号集,使其中所有信号的对应bit置位,表示该信号集的有效信号包括系统支持的所有信号
sigaddset函数:在set所指向的信号集中添加某种有效信号
sigdelset函数:在set所指向的信号集中删除某种有效信号 sigemptyset、sigfillset、sigaddset和sigdelset函数都是成功返回0,出错返回-1
sigismember函数:判断在set所指向的信号集中是否包含某种信号,若包含则返回1,不包含则返回0,调用失败返回-1

在使用sigset_t类型的变量之前,一定要调用sigemptyset或sigfillset做初始化,使信号处于确定的状态。例如:

#include <stdio.h>
#include <signal.h>

int main()
{
	sigset_t s; //用户空间定义的变量

	sigemptyset(&s);

	sigfillset(&s);

	sigaddset(&s, SIGINT);

	sigdelset(&s, SIGINT);

	sigismember(&s, SIGINT);
	return 0;
}

代码中的sigset_t类型的变量 s,与我们平常定义的变量一样都是在用户空间定义的变量,所以后面信号集操作函数对 s 的操作实际上是对用户空间的变量 s 做了修改,并不影响进程的任何行为。因此,我们还需要通过系统调用,才能将变量 s 的数据设置进操作系统

sigprocmask🤔

sigprocmask 可以用于读取或更改进程的信号屏蔽字(阻塞信号集),函数函数原型如下:

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

如果 oldset 是非空指针,则读取进程当前的信号屏蔽字通过 oldset 参数传出。如果 set 是非空指针,则更改进程的信号屏蔽字,参数 how 代表如何更改

如果 oldset 和 set 都是非空指针,则先将原来的信号屏蔽字备份到 oldset 里,然后根据 set 和 how 更改信号屏蔽字

参数 how 有如下可选值

在这里插入图片描述
函数调用成功返回0,出错返回-1,注意如果 sigprocmask 解除了对当前若干个未决信号的阻塞,则在 sigprocmask 函数返回前,至少将其中一个信号递达

sigpending🤔

sigpending 可用于读取进程的未决信号集,函数原型如下:

int sigpending(sigset_t *set);

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

我们不妨来实验一下:用上述的函数将 2 号信号进行屏蔽阻塞,再使用 kill 命令或组合按键向进程发送 2 号信号。此时2号信号会一直被阻塞,并一直处于 pending 状态,这时使用 sigpending 获取当前进程的 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");
}
int main()
{
	sigset_t set, oset;
	sigemptyset(&set);
	sigemptyset(&oset);

	sigaddset(&set, 2); //SIGINT
	sigprocmask(SIG_SETMASK, &set, &oset); //阻塞2号信号
	sigset_t pending;
	sigemptyset(&pending);

	while (1){
		sigpending(&pending); //获取 pending
		printPending(&pending); //打印位图,1 即表示未决
		sleep(1);
	}
	return 0;
}

效果如下:

在这里插入图片描述
在这里插入图片描述
使用 kill 向该进程发送 2 号信号后,由于2号信号是阻塞的,因此2号信号一直处于未决状态,所以我们看到pending表中的第二个数字一直是 1

为了看到 2 号信号递达后 pending 表的变化,可以设置一段时间后自动解除 2 号信号的阻塞状态,解除后就会立即递达。因为 2 号信号的默认处理动作是终止进程,所以为了看到 2 号信号递达后的 pending 表,我们可以将 2 号信号进行捕捉,让 2 号信号递达时执行我们所给的自定义动作:

#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);

	sigaddset(&set, 2); //SIGINT
	sigprocmask(SIG_SETMASK, &set, &oset); //阻塞2号信号

	sigset_t pending;
	sigemptyset(&pending);

	int count = 0;
	while (1){
		sigpending(&pending); //获取pending
		printPending(&pending); //打印位图,1 表示未决
		sleep(1);
		count++;
		if (count == 20){
			sigprocmask(SIG_SETMASK, &oset, NULL); //恢复曾经的信号屏蔽字
			printf("恢复信号屏蔽字\n");
		}
	}
	return 0;
}

效果如下:

在这里插入图片描述

进程收到 2 号信号后,信号在一段时间内处于未决状态,当解除 2 号信号的屏蔽后,2 号信号就会立即递达,执行我们所给的自定义动作,而此时的 pending 表又变回了全 0

捕捉信号🤔

每一个进程都有自己的进程地址空间,这个空间又由两部分组成: 内 核 空 间 和 用 户 空 间 \color{red} {内核空间和用户空间}

  1. 用户所写的代码和数据位于用户空间,通过用户级页表与物理内存之间建立映射关系。
  2. 内核空间存储的实际上是操作系统代码和数据,通过内核级页表与物理内存之间建立映射关系

内核级页表是一个全局的页表,它用来维护操作系统的代码与进程之间的关系。因此,用户空间是属于当前进程的,每个进程看到的代码和数据是完全不同的,但内核空间所存放的都是操作系统的代码和数据,所有进程看到的都是一样的内容:
在这里插入图片描述
当然,虽然每个进程都能够看到操作系统,但并不意味着每个进程都能够随时对其进行访问

之前那说的切换进程的本质就是在当前进程的内核空间里面找到操作系统的代码和数据,再执行操作系统代码,将当前进程的代码剥离并换上新的代码和数据

访问用户空间时就必须处于用户态,访问内核空间时必须处于内核态。

内核态与用户态🤔

  1. 内核态通常用来执行操作系统的代码,是一种高权限状态
  2. 用户态是一种用来执行普通用户代码的状态,是一种受监管的普通状态

进程收到信号之后,并不是立即处理信号,而是在从内核态切换回用户态的时候

从用户态切换为内核态通常有如下几种情况:

  1. 需要进行系统调用时
  2. 当前进程的时间片到了,导致进程切换
  3. 产生异常、中断、陷阱等

从内核态切换为用户态有如下几种情况:
4. 系统调用返回时
5. 进程切换完毕
6. 异常、中断、陷阱等处理完毕

用户态切换为内核态又称为陷入内核。每当我们需要陷入内核的时,本质上是因为我们需要执行操作系统的代码,比如系统调用函数是由操作系统实现的,我们要进行系统调用就必须先由用户态切换为内核态

信号捕捉的实现🤔

当进程在用户态执行时会因为一些原因陷入内核,这时在返回用户时会先检查 pending 状态,因为此时还在内核,所以仍有权限查看 pending 表,检查 pending 时如果发现有未决信号且没有被阻塞,就会对这个信号进行处理。

信号的默认动作是忽略或者默认,此时执行完 pending 后就会清除 pending 标志位,如果没有新的信号递达,就会返回用户态然后从主进程中断的地方继续进行:

在这里插入图片描述
如果这个信号是自义定捕捉的,因为是用户自义定的自义定捕捉动作,进程会先从内核返回用户态进行自义定动作处理,然后使用特殊系统调用 sigreturn 再次陷入内核,在清除对应的 pending 标志位后,如果没有新的信号递达,就会返回用户态继续执行:
在这里插入图片描述
注意sighandlermain函数使用不同的堆栈空间,它们之间没有相互调用的关系,是两个独立的控制流程!我们可以简化记忆上面的自义定捕捉:

在这里插入图片描述

那么问题来了,如果识别到当前进程执行自义定动作时,可以直接在内核空间执行吗

理论上内核的高权限是绝对支持的,但是实际上是绝对不可以只有设计的,因为内核的高权限是没有可控性的,如果存在非法代码就寄了,用户态是没办法直接执行清空数据库的,但是内核态是可以的。因为操作系统不能确定用户代码的合法性,因此操作系统不相信任何用户

sigaction🤔

捕捉信号除了用 signal 函数之外,我们还可以使用 sigaction 函数捕捉信号,函数原型如下:

int sigaction(int signum, const struct sigaction *act, struct sigaction *oldact);

sigaction 函数可以读取和修改与指定信号相关联的处理动作,函数调用成功返回 0,出错返回 -1

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

其中 act 和 oldact 都是指针类型结构体变量,定义如下:

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

sa_handler😋

sa_handler 赋值为SIG_IGN传给 sigaction 函数,表示忽略信号
sa_handler 赋值为SIG_DFL传给 sigaction 函数,表示执行默认动作
sa_handler赋值为一个函数指针,表示用自定义函数捕捉信号,或者说向内核注册了一个信号处理函数

所注册的信号处理函数的返回值为 void,参数为 int,通过参数可以得知当前信号的编号,这样就可以用同一个函数处理多种信号。显然这是一个回调函数,不是被 main 函数调用,而是被系统所调用

sa_sigaction😋

sa_sigaction 是实时信号的处理函数

sa_mask😋

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

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

sa_flags😋

这里直接将 sa_flags 设置为0即可

sa_restorer😋

该参数没有使用。我们用 sigaction 函数对 2 号信号进行了捕捉,将2号信号的处理动作改为了自定义的打印动作,并在执行一次自定义动作后将 2 号信号的处理动作恢复为原来默认的处理动作:

#include <stdio.h>
#include <string.h>
#include <unistd.h>
#include <signal.h>

struct sigaction act, oact;
void handler(int signo)
{
	printf("get a signal:%d\n", signo);
	sigaction(2, &oact, NULL);
}
int main()
{
	memset(&act, 0, sizeof(act));
	memset(&oact, 0, sizeof(oact));

	act.sa_handler = handler;
	act.sa_flags = 0;
	sigemptyset(&act.sa_mask);

	sigaction(2, &act, &oact);
	while (1){
		printf("I am a process...\n");
		sleep(1);
	}
	return 0;
}

效果如下,第一次向进程发送2号信号,执行我们自定义的打印动作,当我们再次向进程发送2号信号,就执行该信号的默认处理动作了,即终止进程:
在这里插入图片描述

可重入函数🤔

先来看一个场景,如果有一个 insert 函数支持链表的插入,在主函数中调用异常插入 node1,在信号处理函数中调用一次插入 node2,这里理论上是没有问题的:

在这里插入图片描述
大致就是这个链表:
在这里插入图片描述
首先 main 函数中调用 insert,insert 分为两步,在第一步执行完后会因为硬件中断陷入内核,再次回到用户态就会检查十分有待处理的信号,于是跳转到了 sighandler 函数:

在这里插入图片描述
此时 sighandler 也调用了 insert 函数,继续执行:

在这里插入图片描述
完成插入后会从 sighandler 函数返回内核态,返回后的布局如下:

在这里插入图片描述
再次回到用户态时会从 main 函数原来的地方继续向下执行,布局如下:

在这里插入图片描述
最后就是 main 函数和 sighandler 函数先后向链表中插入了两个结点,但最后只有 node1 结点真正插入到了链表中,而 node2 结点直接寄了,造成了内存泄漏

各函数执行顺序如下:

在这里插入图片描述

insert 函数被不同的控制流调用,这里 main 函数和 sighandler 函数使用不同的堆栈空间,它们之间相互调用关系,是两个独立的控制流程,有可能在第一次调用还没返回时就再次进入该函数,我们将这种现象称之为 重 入 \color{red} {重入}

而 insert 函数访问一个全局链表,有可能因为重入而造成错乱,像这样的函数我们称之为 不 可 重 入 函 数 \color{red} {不可重入函数} ,反之如果一个函数只访问自己的局部变量或参数,则称之为 重 入 \color{red} {重入}

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

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

volatile🤔

该关键字的作用是保持内存的可见性

我们对 2 号信号进行了捕捉,当该进程收到 2 号信号时会将全局变量 flag 由 0 置 1。也就是说在进程收到 2 号信号之前,该进程会一直处于死循环状态,直到收到 2 号信号时将 flag 置1才能够正常退出:

#include <stdio.h>
#include <signal.h>

int flag = 0;

void handler(int signo)
{
	printf("get a signal:%d\n", signo);
	flag = 1;
}
int main()
{
	signal(2, handler);
	while (!flag);
	printf("Proc Normal Quit!\n");
	return 0;
}

效果如下:

在这里插入图片描述
该程序的运行过程好像都在我们的意料之中,但实际并非如此。代码中的 main 函数和 handler 函数是两个独立的执行流,而 while 循环是在 main 函数当中的,编译时只能检测在 main 函数中对 flag 变量的使用

但 main 函数中并没有对 flag 变量做修改操作,在编译器优化级别较高的时候,就有可能将 flag 设置进寄存器里面,此时 main 函数只检测寄存器里面的值,而 handler 执行流只是将内存中的 flag 置为 1 了,那么就算收到 2 号信号也不会跳出死循环
在这里插入图片描述
编译时加上-O3选项使编译器的优化级别最高,此时再运行代码该进程就不会终止:

在这里插入图片描述

此时即可以使用volatile关键字对 flag 变量进行修饰,告诉编译器对 flag 变量的任何操作都必须真实的在内存中进行,即保持了内存的可见性

#include <stdio.h>
#include <signal.h>

volatile int flag = 0;
…………

效果如图:

在这里插入图片描述

SIGCHILD🤔

为了避免僵尸进程的出现,父进程会使用 wait 或 waitpid 等待子进程结束,而等待方式分为阻塞等待非阻塞等待,阻塞即父进程必须停止运行等待子进程,非阻塞就是采用轮询方式,具体实现复杂,二者都没有尽善尽美

其实子进程在终止时会给父进程发生SIGCHLD信号,默认处理动作是忽略,父进程可以自定义SIGCHLD信号的处理动作,这样父进程就可以专心工作了,子进程终止时通知父进程,最后父进程调用 wait 或 waitpid 清理子进程即可!

过程表示为:

#include <stdio.h>
#include <unistd.h>
#include <signal.h>
#include <stdlib.h>
#include <sys/wait.h>

void handler(int signo)
{
	printf("get a signal: %d\n", signo);
	int ret = 0;
	while ((ret = waitpid(-1, NULL, WNOHANG)) > 0){
		printf("wait child %d success\n", ret);
	}
}
int main()
{
	signal(SIGCHLD, handler);
	if (fork() == 0){
		//child
		printf("child is running, begin dead: %d\n", getpid());
		sleep(3);
		exit(1);
	}
	//father
	while (1);
	return 0;
}

效果如下:

在这里插入图片描述
UNIX 下还提出另外一种办法:父进程调用 signal 或 sigaction 函数将 SIGCHLD 信号的处理动作设置为SIG_IGN,这样 fork 的子进程在终止时会自动清理掉,不会产生僵尸进程也不会通知父进程。但这是一个特列。此方法对于 Linux 可用,但不保证在其他 UNIX 系统上都可用!

aqa 芭蕾 eqe 亏内,代表着开心代表着快乐,ok 了家人们

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

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

相关文章

单片机驱动LCD

单片机驱动LCD的方法有很多&#xff0c;网络上也有很多配套的例程&#xff0c;但是&#xff0c;网上例程千千万&#xff0c;谁是你的“no.1”。 今天给大家分享一个以面向对象的方式用单片机驱动LCD的思路。 LCD种类概述 在讨论怎么写LCD驱动之前&#xff0c;我们先大概了解…

无线传感器网络:差错控制

文章目录Power controlAutomatic repeat request (ARQ)Stop and WaitGo Back NSelective RepeatForward error correction (FEC)Hybrid ARQ (HARQ)References严格意义来说&#xff0c;文章中提到的数据包都应为数据帧更为恰当&#xff0c;这里提出&#xff0c;希望不要给大家造…

3.9 拆解小红书爆文,流量密码原来是这些【玩赚小红书】

具体如何撰写1篇爆文&#xff0c;解决这一问题前&#xff0c;我们先把爆文四要素&#xff0c;选题、首图、标题和正文进行拆解&#xff0c;真正做到选题正确&#xff0c;用户坐着封面、标题、正文滑滑梯&#xff0c;站内留下点赞评&#xff0c;站外去拔草。 ​ 一、选题&#…

了解模型开发与部署,看这里!

11月24日下午15&#xff1a;00顶象第十期业务安全系列大讲堂系列课程《Xintell 模型平台 》正式开讲。 顶象人工智能专家&研发总监无常从模型平台的现状与需求出发&#xff0c;带大家了解了模型平台的开发环境与部署环境&#xff0c;并且就顶象的Xintell 模型平台 为大家做…

[附源码]Python计算机毕业设计DjangoON-FIT

项目运行 环境配置&#xff1a; Pychram社区版 python3.7.7 Mysql5.7 HBuilderXlist pipNavicat11Djangonodejs。 项目技术&#xff1a; django python Vue 等等组成&#xff0c;B/S模式 pychram管理等等。 环境需要 1.运行环境&#xff1a;最好是python3.7.7&#xff0c;…

1988-2020年分省、城市、农村基尼系数数据集(含计算程序和算法)

1、数据来源&#xff1a;《中国统计年鉴》 2、时间跨度&#xff1a;1988-2020 3、区域范围&#xff1a;全国所有省份 4、指标说明&#xff1a; 参照田为民的文章《中国基尼系数计算及其变动趋势分析》里基尼系数的计算方法 部分数据如下 二、基尼系数计算及相关经典文献 …

win10怎么把两个盘合成一个,win10怎么把分区合并

在Windows10系统中&#xff0c;为了更加充分地利用磁盘空间&#xff0c;其中合并分区是很常见的操作之一。由于很多用户都不知道win10怎么把两个盘合成一个&#xff0c;所以&#xff0c;为了防止人为误操作而导致的磁盘数据丢失&#xff0c;在本文中&#xff0c;易我小编在本文…

1024短信盲盒 | 暖心短信陪你过节,还有更多好礼

掘友你好&#xff0c;见字如面。 一年一度的程序员节快要到了&#xff0c;我们为此准备了一个特别的短信盲盒活动。现在报名&#xff0c;活动期间每天都会定时收到一条来自掘金的短信&#xff0c;在活动最后一天10.24日&#xff0c;可能还会收到掘金团队不同成员的祝福哦&#…

给容灾找对象!数据流转更自由,拓宽云上更多场景

云计算高速发展&#xff0c;企业却有新问题&#xff1f; 1979年&#xff0c;软件和IT服务公司SunGard在美国费城建立了世界上第一个灾备中心&#xff0c;对数据和系统进行备份&#xff0c;标志着数据灾备行业的起源。20世纪80-90年代&#xff0c;计算机网络技术的迅速发展和普及…

文本表示(Representation)

文本表示&#xff08;Representation&#xff09; 这里写目录标题文本表示&#xff08;Representation&#xff09;独热编码(one-hot representation)整数编码Word2vec模型整体理解我的理解CBoW & Skip-gram Model改进方案Hierarchical SoftmaxNegative Sampling代码GloveG…

Servlet请求转发与重定向

目录 一、请求转发 1、RequestDispatcher 接口 2、请求转发的工作原理 3、request 域对象 4、示例 二、重定向 1、response.sendRedirect() 2、示例 3、转发和重定向的区别 一、请求转发 Web 应用在处理客户端请求时&#xff0c;经常需要多个 Web 资源共同协作才能生成…

工作中规范使用Java集合

目录 一、前言 二、规范使用Java集合 1.【强制】关于 hashCode 和 equals 的处理&#xff0c;遵循如下规则&#xff1a; 2.【强制】判断所有集合内部的元素是否为空&#xff0c;使用 isEmpty() 方法&#xff0c;而不是 size() 0 的方式。 3.【强制】在使用 java.util.str…

防火墙原理讲解——练习实验

♥️作者&#xff1a;小刘在C站 ♥️每天分享云计算网络运维课堂笔记&#xff0c;一起努力&#xff0c;共赴美好人生&#xff01; ♥️夕阳下&#xff0c;是最美的&#xff0c;绽放。 目录 一防火墙基础 二防火墙配置 三防火墙的高级应用 四.实验图纸 五.实验命令 一防火…

使用SPARK进行特征工程

文章目录特征工程预处理特征选择归一化离散化Embedding向量计算效果对比特征工程 在机器学习领域&#xff0c;有一条尽人皆知的“潜规则”&#xff1a;Garbage in&#xff0c;garbage out。它的意思是说&#xff0c;当我们喂给模型的数据是“垃圾”的时候&#xff0c;模型“吐…

1. Vue 3.0介绍

Vue3.0介绍 1.Vue.js 3.0 源码组织方式 Vue2.x与Vue3.0的区别 源码组织方式的变化 Vue3.0的源码全部采用TypeScript重写使用Monorepo方式来组织项目结构&#xff0c;把独立的功能模块都提取到不同的包中。 packages下都是独立发行的包&#xff0c;可以独立使用。 Compositi…

[U3D ShaderGraph] 全面学习ShaderGraph节点 | 第二课 | Input/Geometry

ShaderGraph是可视化的着色器编辑工具。您可以使用此工具以可视方式创建着色器。 本专栏可以让你更了解ShaderGraph中每个节点的功能&#xff0c;更自如的在做出自己想要的效果。 如果你想学习在unity中如何制作一个特效&#xff0c;如何在unity中让模型更炫酷&#xff0c;那就…

Python实现导弹自动追踪

自动追踪算法&#xff0c;在我们制作射击类游戏时经常会用到。这个听起来很高大上的东西&#xff0c;其实并不是军事学的专利&#xff0c;从数学上来说就是解微分方程。 这个没有点数学基础是很难算出来的。但是我们有了计算机就不一样了&#xff0c;依靠计算机极快速的运算速…

【Scala专栏】走进Scala

官方文档: https://www.scala-lang.org/ 一、What is Scala? Scala是一种针对JVM 将面向函数和面向对象技术组合在一起的编程语言。Scala编程语言近来抓住了很多开发者的眼球。它看起来像是一种纯粹的面向对象编程语言&#xff0c;而又无缝地结合了命令式和函数式的编程风格…

服务访问质量(QoS)——流量整形与拥塞管理

作者简介&#xff1a;一名在校云计算网络运维学生、每天分享网络运维的学习经验、和学习笔记。 座右铭&#xff1a;低头赶路&#xff0c;敬事如仪 个人主页&#xff1a;网络豆的主页​​​​​​ 目录 前言 一.流量整形和监管配置 1.流量整形配置两种方式 ①流量整形的命…

从零开始上手 MQTT over QUIC:快速体验下一代物联网标准协议

前言 QUIC(RFC9000) 是下一代互联网协议 HTTP/3 的底层传输协议&#xff0c;与 TCP/TLS 协议相比&#xff0c;它在减少连接开销与消息延迟的同时&#xff0c;为现代移动互联网提供了有效灵活的传输层。 EMQX 5.0 是首个将 QUIC 引入 MQTT 的开创性产品。在长期的客户服务和技…