信号的小细节真的很多~

文章目录

  • 前言
  • 一、信号的保存
  • 总结

前言

首先我们先引出一个新的概念,叫核心转储。linux系统提供了一种能力,操作系统可以将一个进程在异常的时候将核心代码部分进行核心转储,将内存中进程的相关数据全部dump到磁盘中,一般这个文件会在当前进程的运行目录下,形成core.pid这样的二进制文件。当然如果我们使用的是云服务器的话,这个核心转储功能是默认关闭的,但是我们可以通过命令将这个功能打开:

使用命令:ulimit -a 查看当前系统中特定资源对应的上限

而我们圈出的core file size就是核心转储的功能,默认为0就是关闭状态,想要打开使用选项:

ulimit -c 10240就是将核心转储文件的大小设置为10240.

下面我们直接用一些信号发送给正常的代码使之异常退出看是否有核心转储文件生成:

#include #include #include using namespace std;void handler(int signo){cout<<"我们的进程确实收到了"<<signo<<"号信号"<<endl;exit(1);}int main(){while (true){cout<<"我是一个正常的进程,正在模拟某种异常:"<<getpid()<<endl;sleep(1);}return 0;}

下面我们将程序运行起来然后发信号:

为什么没有生成核心转储文件呢?下面我们试试其他信号:

为什么8号信号就可以呢” />

里面全是二进制乱码,也就是说这个文件不是给我们看的是给计算机看的,下面我们说一下核心转储有什么用:其实是为了在异常后方便进行调试。

首先将代码修改一下:

然后我们将makefile中的命令调成可调试状态:

只需要在g++指令后面加上-g选项,下面我们重新运行一下代码:

有了核心转储文件后下面我们用gdb进入调试模式:

然后我们直接输入指令:core-file +核心转储文件

这个时候gdb自动帮我们找到了报错的代码行数以及原因,这就验证了我们刚刚说的核心转储文件可以帮助我们在产生异常后方便进行调试,这种方案叫事后调试。当然为什么核心转储功能这么好用云服务器却要默认关闭呢?因为这个文件所占内存很大,一旦有多个出错每次都生成这样的核心转储文件那么服务器很容易挂掉,所以默认不支持打开核心转储功能,下面我们用指令将核心转储功能关闭:

我们只需要用指令:ulimit -c 0即可关闭:

下面我们讲一下系统如何识别核心转储的打开或关闭:

还记得我们之前讲的位图吗?我们的core标志位就在中间的那个比特位,如果这个位置的二进制为1则说明开启了核心转储功能,否则就是没有开始,要验证也很简单,只需要让子进程出现异常让父进程去接收,下面我们演示一下:

int main(){pid_t id = fork();if (id==0){cout<<"野指针问题 ....here"<<endl;cout<<"野指针问题 ....here"<<endl;cout<<"野指针问题 ....here"<<endl;int* p = nullptr;*p = 100; //对空指针进行解引用cout<<"野指针问题........"<<endl;cout<<"野指针问题 ....here"<<endl;cout<<"野指针问题 ....here"<<endl;exit(0);}int status = 0;waitpid(id,&status,0);cout<<"exit code: "<>8)&0xFF)<<endl;cout<<"exit signal: "<<(status&0x7F)<<endl;cout<<"core dump flag: "<>7)&0x1)<<endl;return 0;}

以上代码能在退出后给我们打印返回值,退出信号以及core标志位:

下面我们将核心转储重新打开我们再运行一下程序:

当我们重新运行程序后发现core dump的标志位变成了1也就是核心转储功能被打开了,并且我们成功拿到了核心转储文件:

以上就是核心转储的所有知识,下面我们进入信号的保存。


一、信号的保存和处理

阻塞信号

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

每个信号都有两个标志位分别表示阻塞(block)和未决(pending),还有一个函数指针表示处理动作。信号 产生时,内核在进程控制块中设置该信号的未决标志,直到信号递达才清除该标志。在上图的例子中,SIGHUP信号未阻塞也未产生过,当它递达时执行默认处理动作。 SIGINT信号产生过,但正在被阻塞,所以暂时不能递达。虽然它的处理动作是忽略,但在没有解除阻塞之前不能忽略这个信号,因为进程仍有机会改变处理动作之后再解除阻塞。 SIGQUIT信号未产生过,一旦产生SIGQUIT信号将被阻塞,它的处理动作是用户自定义函数sighandler如果在进程解除对某信号的阻塞之前这种信号产生过多次,将如何处理” />允许系统递送该信号一次或多次。Linux是这样实现的:常规信号在递达之前产生多次只计一次,而实时信号在递达之前产生多次可以依次放在一个队列里。 下面我们解释一下上面所表达的意思:pending表:位图结构。比特位的位置表示哪一个信号,比特位的内容代表是否收到该信号。比如:000010 第二个二进制位为1代表这是某个信号,整体的大小代表了是否收到该信号block表:位图结构。比特位的位置表示哪一个信号,比特位的内容代表是否对应的信号被阻塞。handler表:函数指针数组,如下图:

这个指针数组里存放的函数指针就是上图这样的,该数组的下标表示信号编号,数组的特定下标的内容表示该信号的递达动作。

下面我们看看信号递达的动作,比如执行和忽略:

int main(){signal(2,SIG_DFL);while (true){sleep(1);}return 0;}

首先DFL的意思是默认,默认就是执行了意思就是说遇到2号信号就执行,下面我们运行一下:

键盘输入ctrl+c后就执行了2号信号,下面我们查看SIG_DFL的宏:

通过函数定义我们看到这个宏就是用函数指针实现的,下面我们试试忽略信号:

int main(){signal(2,SIG_IGN);while (true){sleep(1);}return 0;}

IGN是ignore的缩写,就是忽略的意思,就是说我们遇到2号信号就忽略:

代码运行后确实将2号信号忽略了,然后我们用ctrl + \退出程序。

下面我们认识一下sigset_t:

从上图来看,每个信号只有一个bit的未决标志,01,不记录该信号产生了多少次,阻塞标志也是这样表示的。因此,未决和阻塞标志可以用相同的数据类型sigset_t来存储,sigset_t称为信号集,这个类型可以表示每个信号的“有效无效状态,在阻塞信号集中有效无效的含义是该信号是否被阻塞,而在未决信号集中有效”无效的含义是该信号是否处于未决状态。阻塞信号集也叫做当前进程的信号屏蔽字(Signal Mask),这里的屏蔽应该理解为阻塞而不是忽略。

认识了信号集后我们学习一下如何用信号集操作函数:

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

#include 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清零,表示该信号集不包含任何有效信号。 函数sigfifillset初始化set所指向的信号集,使其中所有信号的对应bit置位,表示该信号集的有效信号包括系统支持的所有信号。 注意,在使用sigset_ t类型的变量之前,一定要调用sigemptysetsigfifillset做初始化,使信号集处于确定的状态。初始化sigset_t变量之后就可以在调用sigaddsetsigdelset在该信号集中添加或删除某种有效信号 以上这四个函数都是成功返回 0, 出错返回 -1 sigismember 是一个布尔函数 , 用于判断一个信号集的有效信号中是否包含某种信号, 若包含则返回 1, 不包含则返回 0, 出错返回 -1 下面我们认识一下sigprocmask这个系统调用函数: 调用函数sigprocmask可以读取或更改进程的信号屏蔽字(阻塞信号集)。

#include int sigprocmask(int how, const sigset_t *set, sigset_t *oset); 返回值:若成功则为0,若出错则为-1

如果oset是非空指针,则读取进程的当前信号屏蔽字通过oset参数传出。如果set是非空指针,则更改进程的信号屏蔽字,参数how指示如何更改。如果osetset都是非空指针,则先将原来的信号屏蔽字备份到oset,然后根据sethow参数更改信号屏蔽字。假设当前的信号屏蔽字为mask,下表说明了how参数的可选值:

如果调用sigprocmask解除了对当前若干个未决信号的阻塞,则在sigprocmask返回前,至少将其中一个信号递达。

下面我们演示一下对2号信号进行屏蔽:

void showBlock(sigset_t *oset){int signo = 1;for (;signo<=31;signo++){if (sigismember(oset,signo)){cout<<"1";}else {cout<<"0";}}cout<<endl;}int main(){//只是在用户层面上进行设置sigset_t set,oset;sigemptyset(&set);sigemptyset(&oset);sigaddset(&set,2);//设置进入进程,谁调用,设置谁sigprocmask(SIG_SETMASK,&set,&oset); //1.2号信号没有反应2.我们看到老的信号屏蔽字block位图是全0while (true){showBlock(&oset);sleep(1);}return 0;}

下面我们先讲解一下代码,首先进入main函数我们创建两个对象,因为创建的对象或变量是在栈中存放,所以我们只是在用户层面上进行设置。然后我们先将新的信号集和旧的信号集初始化一下,初始化完成后将2号信号添加到新的信号集上去,这样就相当于屏蔽了2号信号。然后我们设置信号屏蔽字为set所指向的值就是谁调用这个进程谁就将二号信号屏蔽了,然后这个函数返回值返回老的信号屏蔽字,但是由于我们已经将信号屏蔽字初始化了所以老的信号屏蔽字block位图全是0.然后我们写一个死循环去显示老的信号屏蔽字的位图有哪些信号被设置了有哪些信号没有被设置,在这个函数中我们知道一共有31个信号,并且需要判断当前这个信号是否在老的信号集里,如果是就打印1如果不是就打印0,sigismember能判断signo这个信号是否在老的信号集里。

下面我们运行起来:

通过结果我们可以知道与我们所想的是一样的,下面我们修改一下代码将信号屏蔽字取消屏蔽:

int main(){//只是在用户层面上进行设置sigset_t set,oset;sigemptyset(&set);sigemptyset(&oset);sigaddset(&set,2);//设置进入进程,谁调用,设置谁sigprocmask(SIG_SETMASK,&set,&oset); //1.2号信号没有反应2.我们看到老的信号屏蔽字block位图是全0int cnt = 1;while (true){showBlock(&oset);sleep(1);cnt++;if (cnt==10){sigprocmask(SIG_SETMASK,&oset,&set);}}return 0;}

我们设置一个计数器让计数器等于10的时候将进程的信号集恢复为oset也就是取消屏蔽2号信号,现象就是一开始我们按ctrl+c是没有反应的,但是到cnt==10的时候2号屏蔽字恢复直接就终止程序了,下面我们看看现象:

我们可以看到现象与我们想的完全一样。

下面我们在认识一个新的接口:

sigpending函数是获取set的pending表,也就是说可以知道哪些信号是未决的,下面我们看看返回值:

如果成功则返回0如果失败返回-1,下面我们用函数重新写一下上面的代码并且引入新现象:

#include #include #include #include using namespace std;static void PrintPending(const sigset_t &pending){for (int signo=1;signo<=31;signo++){//sigsimember可以判断signo信号是否在pending中存在if (sigismember(&pending,signo)){cout<<"1";}else {cout<<"0";}}cout<<endl;}int main(){//1.屏蔽2号信号sigset_t set,oset;// 1.1初始化sigemptyset(&set);sigemptyset(&oset);// 1.2将2号信号添加到set中sigaddset(&set,2);// 1.3将新的信号屏蔽字设置至进程sigprocmask(SIG_BLOCK,&set,&oset);//2. while获取进程的pending信号集合,并以01打印while (true){// 2.1 先获取pending信号集sigset_t pending;//初始化pendingsigemptyset(&pending);int n = sigpending(&pending);assert(n==0);(void)n; //保证在release模式下不会出现编译时的warning// 2.2 打印,方便我们查看PrintPending(pending);//2.3休眠一下sleep(1);}return 0; }

这段代码的现象是:因为有block和pending位图,当我们将某个信号block后这个信号就不会被递答了,然后我们给进程发送这个信号,一旦发送那么这个信号在pending表中的比特位就会被修改为1,然后我们就可以看到pending表中2号信号位由0变1的过程。

上面的代码与前面那个演示代码非常相似,并且该注释的我们都注释了,下面我们直接运行起来看看现象:

现象和我们说的一样,当然我们输入ctrl+c也是一样的。因为我们将2号信号进行了屏蔽,即使我们发送了2号信号但是2号信号不会被递达,只能留在pending位图里,下面我们让代码在10秒后恢复被屏蔽的信号并且必须看到pending位图从1变成0:

//2. while获取进程的pending信号集合,并以01打印int cnt = 0;while (true){// 2.1 先获取pending信号集sigset_t pending;//初始化pendingsigemptyset(&pending);int n = sigpending(&pending);assert(n==0);(void)n; //保证在release模式下不会出现编译时的warning// 2.2 打印,方便我们查看PrintPending(pending);//2.3休眠一下sleep(1);//2.4 10s之后,恢复对所有信号的block动作if (++cnt==10){cout<<"解除对2号信号的屏蔽"<<endl; //先打印sigprocmask(SIG_SETMASK,&oset,nullptr);}}

由于我们在倒计时结束后已经将之前老的信号屏蔽字设置为进程,所以这次我们不需要老的信号屏蔽字了直接设为nullptr即可。下面我们看一下现象:

为什么与我们预期的不一样呢,我们想要看到的pending表呢?这是因为2号信号由阻塞状态修改为解除屏蔽后2号信号直接终止进程了,所以我们是看不到现象的,要看到现象我们需要对2号信号进行捕捉:

static void handler(int signo){ cout<<"拦截到"<<signo<<"信号"<<endl;}signal(2,handler);while (true){// 2.1 先获取pending信号集sigset_t pending;//初始化pendingsigemptyset(&pending);int n = sigpending(&pending);assert(n==0);(void)n; //保证在release模式下不会出现编译时的warning// 2.2 打印,方便我们查看PrintPending(pending);//2.3休眠一下sleep(1);//2.4 10s之后,恢复对所有信号的block动作if (++cnt==10){cout<<"解除对2号信号的屏蔽"<<endl; //先打印sigprocmask(SIG_SETMASK,&oset,nullptr);}}

下面我们将程序运行起来:

可以看到这次的现象就与我们预期的现象一样了,一开始将2号信号进行了阻塞,然后当我们发送2号信号的时候信号保存在pending表中,等10s后解除2号信号的屏蔽了然后我们立即捕捉这个信号,然后循环继续打印pending表,此时2号信号已经递达所以2号信号的位置由1变成0.


总结

以上就是信号的保存的内容,现在我们已经学会了信号的产生,信号的保存,下一篇文章我们将详细介绍信号的处理。