目录
前言
一、信号的常见概念
1.信号递达
2.信号未决
3.信号阻塞
二、Linux中的递达未决阻塞
三、信号集
四、信号集的处理
1.sig相关函数
2.sigprocmask()函数
3.sigpending()函数
五、信号的处理时机
六、信号处理函数
前言
在之前,我们学习了信号的概念以及信号的产生方式,知道进程在何种情况下会收到信号,进程收到并不一定会立刻执行,因此需要对信号进行保存,再来处理信号。
一、信号的常见概念
在学习信号的保存前, 我们先来看看信号的常见概念
- 实际执行信号的处理动作称为信号递达(Delivery)
- 信号从产生到递达之间的状态,称为信号未决(Pending)。
- 进程可以选择阻塞 (Block )某个信号。
- 被阻塞的信号产生时将保持在未决状态,直到进程解除对此信号的阻塞,才执行递达的动作.
- 注意,阻塞和忽略是不同的,只要信号被阻塞就不会递达,而忽略是在递达之后可选的一种处理动作。
1.信号递达
执行信号的处理动作称之为信号递达,具体操作中,对信号一般有三种处理方法
- 信号默认处理
- 信号忽略
- 信号自定义捕捉
我们先来看看信号的默认处理,代码中首先是先自定义捕捉了,当我们前sleep(5),之前输入ctrl+c信号,就会被自定义捕捉,而再后输入,就是默认的处理方式了。
因此5秒之前,输入ctrl+c会先打印自定义内容,然后2号信号变默认处理方式,开始循环,现在我们给2号新号就会终止进程
那如果我们选择忽略2号新号
自然ctrl+c就不能终止了。
SIG_DFL和SIG_IGN的本质就是被函数指针强转的0和1,因为用户传递的地址是非常大的,0和1地址处是代码区,用户是没有设置权限的,因此不用担心传递的自定义函数地址是0和1,如果是0和1,编译器就会特殊处理,知道你想要的是默认还是忽略。
注意:忽略也是一种处理方式
2.信号未决
信号从产生到递达之间的状态,称之为信号未决。
信号产生时,可能当前进程再做更重要的事情,不能及时递达,这种情况就叫做信号未决,那么就要求进程对信号进行保存,进程使用了信号位图的方式进行保存。那么信号如果被处理,信号位图中肯定就要置0,因此当还在信号位图为1的时候,也可以称作信号未决。
3.信号阻塞
进程可以选择阻塞某个信号。
被阻塞的信号产生时将保持在未决状态,直到进程接触对信号的阻塞,才执行递达的操作。
这里我们看到阻塞和忽略好像差不多,那么阻塞和忽略有什么区别呢?
阻塞是进程根本没有处理该信号,而是处于未决状态,而忽略是阻塞通过后处理的一种操作,只不过我的处理方式是忽略。
小总结
信号是未决的,却不一定被阻塞,因为进程可能还没来得及处理信号。
如果信号被阻塞,且收到了当前信号,那么信号一定是未决的。
二、Linux中的递达未决阻塞
我们说了这么多概念,是有点绕,但确实是比较重要的,进程PCB实际中是真有这三张表的,block(阻塞)、pending(未决)、handler(递达:处理方法)。
如果我们想给进程2号信号阻塞,那么就将进程task_struct中指针指向的block表的bit位1(2-1)处置1就好了。因为没有0号信号,因此要-1。
那么从此以后,我们要查看进程对信号的设置以及处理方式,只需要横向观看就好。block是否阻塞,pending是否有信号,handler处理方法是什么。
- block 0 ,pending 0,代表没有阻塞,也没信号产生或进程已经处理完信号
- block 0 ,pending 1,代表没有阻塞,信号产生,进程还没来得及处理。
- block 1 ,pending 0,代表阻塞,没有信号产生或进程已经处理完信号
- block 1 ,pending 1,代表阻塞,信号产生,进程无法处理信号。同时如果当阻塞取消,进程就会收到信号再做相应处理,并将pending表置0。当然如果此时有很多该信号产生,比如你一直ctrl+c,由于阻塞进程收不到信号,当阻塞取消,只会产生一次信号。
三、信号集
从上面可知,每个信号只有一个bit的未决标志,非0即1,不记录该信号产生了多少次,阻塞标志也是这样表示的。 因此,未决和阻塞标志可以用相同的数据类型sigset_t来存储,sigset_t称为信号集。
这个类型可以表示每个信号的“有效”或“无效”状态,在阻塞信号集中“有效”和“无效”的含义是该信号是否被阻塞,而在未决信号集中“有效”和“无效”的含义是该信号是否处于未决状态。
sigset_t本质上就是位图。
四、信号集的处理
1.sig相关函数
#include<signal.h>
int sigemptyset(sigset_t *set); //使其中所有信号的对应bit清零
int sigfillset(sigset_t *set); //使其中所有信号的对应bit置1
int sigaddset (sigset_t *set, int signo); //该信号集中添加某种有效信号
int sigdelset(sigset_t *set, int signo); //该信号集中删除某种有效信号
int sigismember(const sigset_t *set, int signo); //判断一个信号集的有效信号中是否包含某种信号
2.sigprocmask()函数
sigprocmaks:可以读取或更改进程的信号屏蔽字
- 参数1:how,选项:SIG_BLOCK、SIG_UNBLOCK、SIG_SETMASK
1.SIG_BLOCK,添加到阻塞的信号 mask = mask|set
2.SIG_UNBLOCK:解除阻塞的信号 mask = mask&~set
3.SIG_SETMASK:直接设置当前set的值 mask = set
- 参数2:set,表示对那些信号进行处理
- 参数3:oset,输出型参数,设置为block表之前的信号信息
函数有点多,我们直接使用起来,我们让进程2号信号阻塞,如果没阻塞,肯定会打印消息,阻塞了发送2号信号就没有反应。
现在无论我们是ctrl+c,还是发送2号信号,该进程都不会有反应,因为2号信号被阻塞了。
你可以阻塞绝大部分信号,但是进程无法阻塞9号信号。9号信号是管理员信号,操作系统发现恶意进程会直接发9号信号kill他,可不管你有没有屏蔽。
3.sigpending()函数
sigpending:读取当前进程的未决信号集,通过set参数传出。
- 参数1:set,输出型参数,可以将进程的未决信号输出到set中。
- 返回值:成功返回0,出错返回1
我们直接来使用sigpending,并写了打印函数帮助我们观看pending表的变化。
#include <iostream>
#include <unistd.h>
#include <signal.h>
#include <string>
using namespace std;
void PrintPending(const sigset_t &pending)
{
for (int i = 31; i > 0; i--)
{
if (sigismember(&pending, i))
cout << "1";
else
cout << "0";
}
cout << endl;
}
int main()
{
cout << "pid: " << getpid() << endl;
// 屏蔽2号信号
sigset_t block, oblock;
sigemptyset(&block); // 初始化为全0
sigemptyset(&oblock); // 初始化为全0
sigaddset(&block, 2); // 将bit位置1
sigaddset(&block, 3); // 将bit位置1 // 将bit位置1
sigprocmask(SIG_BLOCK, &block, &oblock); // 写入到block信号集中
sigset_t pending;
while (true)
{
sigpending(&pending); // 获取pending表里的内容
PrintPending(pending); // 打印
sleep(1);
}
}
效果如下,可以看到pending表的状态变化
我们知道,当进程收到信号,执行相关操作后,pending表对应的信号bit位会被置为0,那他是将处理操作做完再置0还是处理之前就置为0了呢?
我们写如下代码验证一下
我们发现pending表在自定义捕捉函数中已经是0了,证明在信号处理前pending表已经被置0。
我们学习了这么多,都没有提到信号的保存,但实际上,什么block表,pending表,都是信号保存的实现。
五、信号的处理时机
我们一直在说,信号会在合适的时候处理,那么具体什么时候是合适的时候?
其实是进程从内核态返回到用户态的时候,会进行信号的检测和信号的处理。
其中用户态是一种受控的状态,能够访问的资源是有限的,内核态是一种操作系统的工作状态,能访问大部分的系统资源。
我们所写的代码,如果涉及到了系统调用,那么就会将身份切换为内核,那么此时就可以访问内核中的数据结构或字段,当访问结束,准备返回时,并不会立刻返回,而是利用内核身份先看看进程block和pending是否有内容,发现有内容,就会做相应的处理。
就算你没有代码里写得很干净,确实没有系统调用,但是当进程切换的时候,进程也会在用户态和内核态转化,因此不用担心你的代码不会被终止。但这里也涉及到一些问题,这样可能会中断关键代码的执行,因此还需要合理的信号函数或者设置关键代码适当的同步机制来确保其原子性执行。(不懂没关系,等学过多线程就明白了)
如果检测的时候发现某个信号block没有被阻塞,同时pending表为1,就要根据handler表做相应的处理,此时身份一定要切换为用户,为了防止进程利用handler的内核身份去执行自己的恶意操作。那么执行完毕,需要返回时,如果直接返回到用户代码处,那么你怎么知道代码执行到哪一步了,该返回到那个地方,你仅仅是个函数呀!
那么你执行完sighandler函数后,仍然需要执行系统调用sigreturn回到内核(虽然我们代码中没写,但是操作系统会帮我们执行),之后就能访问到相关寄存器或者pc指针等等内容,直到当前进程执行到哪里了,回去继续执行代码。
六、信号处理函数
上一章信号的概念和产生,我们学过signal自定义捕捉信号。今天我们再来学一个函数sigaction
sigaction:检查并改变信号的处理动作
参数1:signum,对那个信号进行自定义捕捉
参数2:是一个结构体,重要字段我们只看sa_handler和sa_mask
1.sa_handler:跟signal的第二个参数一样,自定义捕捉函数的地址
2.sa_mask:设置其他信号屏蔽(在当前自定义捕捉函数中,将其他信号也屏蔽,等到捕捉函数处理完,再取消屏蔽)
参数3:输出型参数,用来保存调用之前的结构体数据
返回值:成功返回1,失败返回0。
直接上代码,我们让sa_handler进行2号信号自定义捕捉,同时给sa_mask设置3号信号,观察给2号信号后,再发2号信号与3号信号pending表的变化。
#include <iostream>
#include <unistd.h>
#include <signal.h>
#include <string>
using namespace std;
void PrintPending(const sigset_t &pending)
{
for (int i = 31; i > 0; i--)
{
if (sigismember(&pending, i))
cout << "1";
else
cout << "0";
}
cout << endl;
}
void sighandler(int signo)
{
cout << "收到了" << signo << "号信号" << endl;
while(1)
{
sigset_t pending;
sigpending(&pending);
PrintPending(pending);
sleep(1);
}
}
int main()
{
cout << "pid: " << getpid() << endl;
struct sigaction act,oact;
act.sa_handler = sighandler; //自定义捕捉(更改变量阶段,还没进行写入)
sigemptyset(&act.sa_mask); //sa_mask清空
sigaddset(&act.sa_mask,3); //sa_mask写入3号信号
sigaction(2,&act,&oact); //更改信号的处理动作
while(1)
sleep(1);
}
当我们ctrl+c给了2号信号,就开始执行自定义捕捉的代码了,由于自定义捕捉是死循环,因此你再发送2号信号,只会让pending表置1,同时由于我们设置了sa_mask的3号信号,于是在执行2号信号的自定义捕捉时,3号信号也无法处理,于是pending表3号信号也置1了。