【Linux】--进程信号

news2024/11/20 13:18:54

信号

1.信号入门

  1. 程序员设计进程的时候,早就已经设计了对信号的识别能力!!!!
  2. 进程在没有收到信号的时候,其实它早就已经知道一个信号该怎么处理了!
  3. 因为信号可能随时会产生,所有在信号产生前,我可能正在做优先级更高的事情,我可能不能立马处理这个信号!我们要在合适的时候进行处理,同理进程收到信号的时候,如果没有立马处理这个信号,就需要进程具有记录信号的能力!
  4. 信号的产生对于进程来说是异步的
  5. 进程先描述在组织对应产生的信号,并使用位图这一个数据结构进行记录
  6. 所谓的发送信号,本质其实是写入信号。直接修改特定进程的信号位图中的特定比特位。(0->1)
  7. task_struct 属于内核数据结构,只能由OS进行修改–无论后面有多少种信号产生的方式,最终都必须让OS来完成最后的发送过程!
  8. 信号产生之后,不是立即处理的,是在合适的时候。

2.技术应用角度的信号

用户输入命令,在Shell下启动一个前台进程

我们可以看到,使用./mysignal来运行可执行文件之后,我们可以通过ctrl+Z或者ctrl+C来停止终止程序。在这个过程中如果我们想使用其他的命令,比如pwd是无法使用的。这就是我们的前台进程
在这里插入图片描述
在这里插入图片描述
我们看到如果使用./signal &那来运行程序,我们可以发现还是可以使用我们的命令,这就是后台程序。并且我们用ctrl+c无法终止,只有配合kill+pid来杀掉进程。

在这里插入图片描述

  • 用户按"Ctrl+C“,这个键盘输入产生一个硬件中断,被OS获取,解释成信号,发送给目标前台进程

  • 前台进程因为收到信号,进而引起程序退出
    注意

  • ctrl+c产生的信号只能发给前台进程,一个命令后面加个&可以放到后台运行,遮阳Shell不必等待进程结束就可以接收新的命令,启动新的进程。

  • Shell可以同时运行一个前台进程和多个后台进程,只有前台进程才能接到像ctrl+c这种控制键产生的信号。

  • 前台进程在运行过程中用户随时都可能按下ctrl+c而产生一个信号,也就是说该进程的用户空间代码执行到任何地方都有可能收到SIGINT信号而终止,所以信号相对于进程的控制流程来说是异步(Asynchronous)的。
    注意

  • ctrl+ c产生的信号只能发给前台进程。一个命令后面加个&可以放到后台运行,这样Shell不必等待进程结束就可以接收新的命令,启动新的进程。

  • Shell可以同时运行一个前台进程和任意多个后台进程,只有前台进程才能接到像ctrl+c这种控制键产生的信号

  • 前台进程在运行过程中用户随时可能按下Ctrl+c,而产生一个信号,也就是说该进程的用户空间代码执行到任何地方都有可能收到SIGINT信号而终止,所以信号相对于进程的控制来说是异步的。

3.信号概念

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

kill -l查看系统定义的信号列表

在这里插入图片描述

  • 每个信号都有一个编号和一个宏定义名称,这些宏定义可以在signal.h中找到,例如其中有定义#define SIGINT 2
  • 编号34以上的是实时信号,我们暂时不讨论

处理信号的方式:
  1. 默认动作
  2. 忽略信号
  3. 用户自定义行为

2.产生信号

下面来看一段简单的代码,我们通过实例来看进程产生信号的方式
Makefile

mysignal:mysignal.cc
   g++ -o $@ $^ -std=c++11
.PHONY:clean
clean:
   rm -f mysignal

mysignal.cc

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

int main()
{
    while(true)
    {
        std::cout<<"我是一个进程,我正在运行...,pid:"<<getpid()<<std::endl;
        sleep(1);
    }
    return 0;
}

1.通过终端按键产生信号

SIGINT的默认处理动作是终止进程,SIGQUIT的默认动作是终止进程并且Core Dump,现在我们来验证一下。
Core Dump

首先解释一下,什么是Core Dump。当一个进程要异常终止时,可以选择把进程的用户空间内存数据全部保存到磁盘上,文件名通常是Core ,这叫做Core Dump。进程异常终止通常是因为有Bug,比如非法内存访问导致段错误,事后可以用调试器检查Core文件以查清错误原因,这叫做Post-mortem Debug(事后调试)。一个进程允许产生多大的core文件取决于进程的Resource Limit(这个信息保存在PCB中)。默认是不允许产生core文件的,因为core文件中可能包含用户密码等敏感信息,不安全。在开发调试阶段可以用ulimit命令改变这个限制,允许产生core文件。首先用ulimit命令改变Shell进程的Resource Limit,允许core文件最大为1024K:$ulimit -c 1024
在这里插入图片描述

那么我们可以证明,按下Ctrl+c进程确实发送了信号吗?、
看下面这段代码
我们自定义了一个方法,如果检测到按下Ctrl+c(也就是2号信号),就执行我们方法里的代码。

mysignal.cc文件

#include<iostream>
#include<unistd.h>
#include<signal.h>
//自定义方法
void handler(int signo)
{
    std::cout<<"get a siganl :"<<signo<<std::endl;
}

int main()
{
    signal(2,handler);
    while(true)
    {
        std::cout<<"我是一个进程,我正在运行...,pid:"<<getpid()<<std::endl;
        sleep(1);
    }
    return 0;
}

运行结果:
在这里插入图片描述

可以看到我们在按下ctrl+c之后确实执行了我们自定义的方法,但是现在却无法终止程序。我们可以合理推测:1、ctrl+c确实向终端发送了2号信号;2、2号信号对应系统的默认处理方法是终止进程;3、singal(2,handler)调用完这个函数的时候,handler方法没有被调用,只是更改了2号信号的处理动作,并没有调用handler方法。而是在2号信号产生的时候被调用。

我们如果把1~31号信号的处理方法都自定义为handler,那么我们的程序还可以退出吗?


#include<iostream>
#include<unistd.h>
#include<signal.h>
//自定义方法
void handler(int signo)
{

    std::cout<<"get a siganl :"<<signo<<std::endl;
}

int main()
{
    for(int i=1;i<=31;i++)
    {
        signal(i,handler);

    }
    while(true)
    {
        std::cout<<"我是一个进程,我正在运行...,pid:"<<getpid()<<std::endl;
        sleep(1);
    }
    return 0;
}

我们可以看到ctrl+c,ctrl+z,ctrl+\都无法终止程序,但是我们使用kill -9+uid,还是可以杀掉程序。9号信号是管理员信号,是无法自定义方法的,只能执行默认方法。
在这里插入图片描述

我们平时在输入的时候,计算机怎么知道我从键盘中输入了数据呢?键盘是通过硬件中断的方式,通知系统,我们的键盘已经按下。

2.调用系统函数向进程发信号

kill
运行
首先在后台执行死循环程序,然后用kill命令给它发SIGSEGV

在这里插入图片描述

mykill.cc

#include<iostream>
#include<unistd.h>
#include<assert.h>
#include<signal.h>
#include<cstring>
#include<sys/types.h>
#include<cerrno>
void Usage(std::string proc)
{
    std::cout<<"Usage:\n\t";
    std::cout<<proc<<"./信号编号 目标进程\n"<<std::endl;
}
int main(int argc,char* argv[])
{
    if(argc!=3)
    {
        Usage(argv[0]);
        exit(1);
    }
    int signo=atoi(argv[1]);
    int target_id = atoi(argv[2]);

    int n = kill(target_id,signo);
    if(n!=0)
    {
        std::cerr<<errno<<":"<<strerror(errno);
        exit(2);
    }
}

loop.cc

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

int main()
{
    while(true)
    {
        std::cout<<"我是一个进程,我正在运行...,pid:"<<getpid()<<std::endl;
        sleep(1);
    }
}


Makefile

.PHONY:all
all:mykill loop

loop:loop.cc
	g++ -o $@ $^ -std=c++11
mykill:mykill.cc
	g++ -o $@ $^ -std=c++11
.PHONY:clean
clean:
	rm -f mykill loop

运行结果:
在这里插入图片描述

可以看到我们自己编写的mykill函数和kill命令都达到了杀掉进程的目的。

raise
给当前进程发送指定信号(自己给自己发送信号)

#include <signal.h>
int kill(pid_t pid, int signo);
int raise(int signo);
这两个函数都是成功返回0,错误返回-1

abort
使当前进程接受到信号而异常终止

#include <stdlib.h>
void abort(void);
就像exit函数一样,abort函数总是会成功的,所以没有返回值。

mykill.cc

#include<iostream>
#include<unistd.h>
#include<assert.h>
#include<signal.h>
#include<cstring>
#include<sys/types.h>
#include<cerrno>
void myhandler(int signo)
{
    std::cout<<"get a signal:"<<signo<<std::endl;
}
int main(int argc,char* argv[])
{
    signal(SIGABRT,myhandler);
    while(true)
    {
        std::cout<<"begin"<<std::endl;
        sleep(1);
        abort();
        std::cout<<"end"<<std::endl;
    }
}

运行结果:
在这里插入图片描述

3.由软件条件产生信号

alarm这个函数的返回值是0或者是以前设定的闹钟剩余的秒数,比如我上一个闹钟设定的30s,但是我在闹钟还剩10s的时候醒了,然后重新设定了一个新的闹钟,这个新的闹钟的返回值就是10。

#include<iostream>
#include<unistd.h>
#include<assert.h>
#include<signal.h>
#include<cstring>
#include<sys/types.h>
#include<cerrno>
void myhandler(int signo)
{
    std::cout<<"get a signal:"<<signo<<std::endl;
}

int main(int argc,char* argv[])
{
    int count=0;
    //设置一秒钟之后的闹钟
    alarm(1);
    while(true)
    {
        std::cout<<"count:"<<count<<std::endl;
        count++;
    }

运行结果;

在这里插入图片描述

可以看到最后的结果,一秒钟计算机将count累加到了11w,并输出到显示器上。由于我们云服务器会存在说网络问题,以及输出到显示器上会拖慢时间。所以这个最后的累加结果并不是我们准确的算力。

#include<iostream>
#include<unistd.h>
#include<assert.h>
#include<signal.h>
#include<cstring>
#include<sys/types.h>
#include<cerrno>
int count=0;

void myhandler(int signo)
{
    std::cout<<"get a signal:"<<signo<<"   count:"<<count<<std::endl;
}

int main(int argc,char* argv[])
{
    signal(SIGALRM,myhandler);
    //设置一秒钟之后的闹钟
    alarm(1);
    while(true)
    {
        // std::cout<<"count:"<<count<<std::endl;
        count++;
    }

在这里插入图片描述

4.硬件异常产生信号

硬件异常被硬件以某种方式被硬件检测到并通知内核,然后内核向当前进程发送适当的信号。例如当前进程执行了除0以外的指令,CPU的运算单元会产生异常,内核将这个异常解释为SIGFPE信号发送给进程。再比如当前进程访问了非法内存地址,MMU会产生异常,内核将这个异常解释为SIGSEGV信号发送给进程。
除0错误
除0的本质就是触发硬件异常(CPU)
在这里插入图片描述
mysignal.cc

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

using namespace std;
int main()
{
    int a = 10;
    a /= 0;

    cout<<"div zero..."<<endl;

    return 0;

}

Makefile

mysignal:mysignal.cc
	g++ -o $@ $^ -std=c++11
.PHONY:clean
clean:
	rm -f mysignal

在这里插入图片描述
我们继续完善mysignal.cc,对除0产生的信号进行捕捉。

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

using namespace std;

void handler(int signo)
{
    cout<<"我们的进程确实是收到了:"<<signo<<"信号导致崩溃的"<<endl;
    exit(1);
}

int main()
{
    signal(SIGFPE,handler);
    int a = 10;
    a /= 0;
    cout<<"div zero..."<<endl;

    return 0;

}

和我们预期一样,捕捉到的信号调用了我们自定义的方法(handler),并且捕捉的信号是8号信号。
在这里插入图片描述
野指针

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

using namespace std;

void handler(int signo)
{
    cout<<"我们的进程确实是收到了:"<<signo<<"信号导致崩溃的"<<endl;
    exit(1);
}
int main()
{
    signal(SIGSEGV,handler);
    int* p = nullptr;
    *p = 100;//野指针问题
    cout<<"野指针问题..."<<endl;
}

*p=100,第一步并不是写入,而是首先进行虚拟到物理地址的转换

  1. 没有映射,MMU硬件报错
  2. 有映射,但是没有权限,MMU直接报错

由此我们可以确认,我们在C/C++当中除0,内存越界等异常,在系统层面,是被当成信号处理的。
总结

  • 上面所说的所有信号产生,最终都要有OS来进行执行,为什么?OS是进程的管理者
  • 信号的处理是否是立即处理的?在合适的时候
  • 信号如果不是被立即处理,那么信号是否需要暂时被进程记录下来?记录在哪里最合适呢?是的;记录在PCB中
  • 一个进程在没有收到信号的时候,能否能知道,自己应该对合法信号做何处理呢?知道,每一个信号对应一个value,对应一种默认方法

在这里插入图片描述

Linux系统提供了一种能力,可以将一个进程在异常的时候,OS可以将该进程在异常的时候,核心代码部分进行核心转储,将内存中进程的相关数据,全部dump到磁盘中,一般会在当前进程的运行目录下,形成core.pid(核心转储文件)这样的二进制文件。
在这里插入图片描述
云服务器将核心转储文件大小默认设置为0,这里我们使用ulimit -c 调整文件大小为1024

在这里插入图片描述
接下来编写程序,然后运行程序,向当前进程发送Action为core的信号。在这里我发送的是8号信号。

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


using namespace std;

int main()
{
    while(true)
    {
        cout<<"我正在模拟进程异常..."<<getpid()<<endl;
        sleep(1);

    }
    return 0;
}

在这里插入图片描述
可以看到通过向进程发送8号信号之后,进程被终止,同时生成了core.pid的这样一个文件,打开文件里面全是乱码。

  • 既然core也可以终止程序,那么和Term有什么不同呢?
    Term:就是终止,没有多余的动作
    Core:终止,会先进行核心转储,然后再终止进程。
  • 核心转储有什么用呢?
    方便异常后,进行调试

我们先人为制造一些错误

#include<iostream>
#include<signal.h>
#include<unistd.h>
using namespace std;
int main()
{
    int *p = nullptr;
    *p=100;
    cout<<"野指针问题..."<<endl;
}

在这里插入图片描述

  • 为什么云服务器默认关闭核心转储这个功能?
    可以看到我们的core文件占比很大,甚至比我们的源程序还大。云服务器作为一款已经上线的服务,可能由于使用者使用不当,有大量的进程可能会出现bug,这时如果可以产生core文件,那么大量的core文件会占据我们大量的空间。
    在这里插入图片描述
#include<iostream>
#include<signal.h>
#include<unistd.h>
#include<sys/types.h>
#include<sys/wait.h>


using namespace std;

int main()
{
    sleep(2);
    pid_t id = fork();
    //子进程
    if(id == 0)
    {
        cout << "野指针问题..." << endl;
        cout << "野指针问题..." << endl;
        cout << "野指针问题..." << endl;

        int *p = nullptr;
        *p = 100; // 野指针问题

        cout << "野指针问题..." << endl;
        cout << "野指针问题..." << endl;
        cout << "野指针问题..." << endl;
        exit(0);
    }
    int status = 0;
    waitpid(id,&status,0);
    cout<<"exit code:"<<(((status)>>8)&0xFF)<<endl;
    cout<<"exit signal:"<<(status&0x7F)<<endl;
    cout<<"core dump flag:"<<((status>>7)&0x1)<<endl;
}

运行结果:
在这里插入图片描述

3.保存信号

阻塞信号

信号其他相关常见概念

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

在内核中的表示在这里插入图片描述

  • pendding 表:位图结构。比特位的位置,表示哪一个信号;比特位的内容,代表是否收到该信号。
  • block 表:位图结构。比特位的位置,表示哪一个信号;比特位的内容,代表是否屏蔽该信号(对应信号是否被阻塞)
  • handler 表 :函数指针数组 void(*sighandler_t[])(int).该数组的下标表示信号编号;数组的特定下标的内容,表示该信号的递达动作

每个信号都有两个标志位分别表示阻塞(block)和未决(pendding),还有一个函数指针表示处理动作。信号产生时,内核在进程控制块中设置该信号的未决标志,直到信号递达才清除该标志。在上图的例子中,SIGUP信号未阻塞也未产生过,当它递达时执行默认处理动作。
SIGINT信号产生过,但正在被阻塞,所以暂时不能递达。虽然它的处理动作是忽略,但在没有解除阻塞之前不能忽略这个信号,因为进程仍有机会改变处理动作之后再解除阻塞。
SIGQUIT信号未产生过,一旦产生SIGQUIT信号江北阻塞,它的处理动作是用户自定义函数sighandler。如果再进策划功能解除对某信号的阻塞之前这种信号产生过多次,将如何处理?POSIX.1允许系统递送该信号一次或多次。Linux是这样实现的:常规信号在递达之前产生过多次只计一次,而实时信号在递达之前产生多次可以依次放在一个队列里。

sigset_t

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

信号集操作函数

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 sigdelset(sigset_t *set,int signo);
int sigismember(const sigset_t *set,int signo);
//成功返回0,出错返回-1,
//sigismember是一个布尔函数,包含返回1,不包含返回0,出错返回-1

:在使用sigset_t类型的变量之前,一定要调用sigemptyset或sigfillset做初始化,使信号集处于确定的状态,初始化sigset_t变量之后就可以在调用sigaddset和sigdelset在该信号集中添加或删除某种有效信号

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

#include<signal.h>
int sigprocmask(int how,const sigset_t *set,sigset_t *oset);
//成功返回0,出错返回-1
  • 如果set为空指针,oset是非空指针,则读取进程的当前信号屏蔽字通过oset参数传出
  • 如果set是非空指针,oset为空指针,则更改进程的信号屏蔽字,参数how指示如何更改。
  • 如果set和oset都是非空指针,则先将原来的信号屏蔽字备份到oset里,然后根据set和how更改信号屏蔽字。假设当前的信号屏蔽字为mask,下表说明了how参数的可选值。
how可选参数解释
SIG_BLOCKset包含了我们希望添加到当前信号屏蔽字的信号,相当于mask=mask
SIG_UNBLOCKset包含了我们希望从当前信号屏蔽字中解除阻塞的信号,相当于mask=mask&~set
SIG_SETMASK设置当前信号屏蔽字为set所指向的值,相当于mask=set

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

下面我们来看一段代码

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

using namespace std;

static void handler(int signo)
{
    cout<<"对特定信号"<<signo<<"执行捕捉动作"<<endl;
}
static void PrintPending(const sigset_t &pending)
{
    cout<<"当前进程的pending位图"<<endl;
    for(int signo=1;signo<=31;signo++)
    {
        if(sigismember(&pending,signo)) cout<<"1";
        else cout<<"0";
    }
    cout<<"\n";
}
int main()
{
    //1.屏蔽2号信号
    sigset_t set,oset;
    //1.1初始化
    sigemptyset(&set);
    sigemptyset(&oset);

    //1.2将2号信号添加到set中
    sigaddset(&set,SIGINT);//2号信号

    //1.3将新的信号屏蔽字设置进程
    sigprocmask(SIG_BLOCK,&set,&oset);

    // 设置对2号信号的捕捉
    signal(2,handler);
    //2.while获取进程的pending信号集合,并01打印
    int cnt = 0;
    while(true)
    {

        //2.1 先获取pending信号集
        sigset_t pending;
        sigemptyset(&pending);//不是必须的
        int n = sigpending(&pending);
        assert(n==0);
        (void)n;//保证不会出现编译时的warning

        //2.2打印
        PrintPending(pending);


        //2.3休眠一下
        sleep(1);
        
        //2.4 10s之后,恢复对所有信号的block动作
        if(cnt++==10)
        {
            cout<<"解除对2号信号的屏蔽"<<endl;
            sigprocmask(SIG_SETMASK,&oset,nullptr);
        }     
    } 
}

运行结果:
在这里插入图片描述

信号可以被立即处理吗?如果一个信号之前被block了,当他被解除block的时候,对应的信号会被立即递达。

为什么?信号的产生是异步的,当前进程可能正在做更重要的事情。什么是合适的时候呢?当进程从内核态切换回用户态的时候,会在OS指导下,进行信号的检测与处理!

用户态:执行你写的代码的时候,进程所处的状态。
内核态:执行OS的代码的时候,进程所处的状态。
常见从用户态转换为内核态的情况有:
1、进程时间片到了
2、系统调用

  1. 所有的进程【0,3】DB是不一样的,每一个进程都要有自己的用户级页表
  2. 所有的进程[3,4]GB是一样的,每一个进程都可以看到同一张内核级页表,所有进程都可以通过统一的窗口,看到同一个OS!
  3. OS运行的本质,其实都是在进程的地址空间内运行的。
    无论进程如何切换,[3,4]GB里面的内容不变。看到OS的内容与进程的切换无关。
  4. 所谓的系统调用的本质:其实就如同调用OS的方法,在自己的地址空间中进行函数跳转并返回。
  5. OS的本质:os是软件,本质是一个死循环;OS时钟硬件,每隔很近的时间向OS发送时钟中断。OS监测当前进程的时间片,执行对应的中断处理方法。

4、捕捉信号


在这里插入图片描述

1、内核如何实现信号的捕捉
如果信号的处理动作时用户自定义函数,在信号递达时就调用了这个函数,这称为捕捉信号。由于信号处理函数的代码是在用户空间的,处理过程比较复杂,举例如下:用户程序注册了SIGQUIT信号的处理函数myhandler。当前正在执行main函数,这时发生中断或异常切换到内核态。在中断处理完毕后要返回用户态的main函数之前检查到有信号SIGQUIT递达。内核决定返回用户态后不是恢复main函数的上下文继续执行,而是执行myhandler函数,myhandler函数和main函数使用不同的堆栈空间,他们之间不存在调用和被调用的关系,而是两个独立的控制流程。myhandler函数返回后自动执行特殊的系统调用sigreturn再次进入内核态。如果没有新的信号要递达,这次再返回用户态就是恢复main函数的上下文继续执行了。
2、sigaction

#include<signal.h>

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

  • sigaction函数可以读取和修改与指定信号相关联的处理动作。调用成功就返回0,调用失败就返回-1。signo是指定信号的编号。若act指针非空,则根据act修改该信号的处理动作。若oact指针非空,则通过oact传出该信号原来的处理动作。act和oact指向sigaction结构体。
  • 将sa_handler赋值为常数SIG_IGN传给sigactionn表示忽略信号,赋值为常数SIG_DEL表示执行系统默认动作,赋值为一个函数指针表示用自定义函数捕捉信号,或者说向内核注册了一个新年好处理函数,该函数返回值为void,可以带一个int参数,通过参数可以得知当前信号的编号,这样就可以用同一个函数处理多种信号。显然,这也是一个回调函数,不是被main函数调用,而是被系统所调用。
    当某个信号的处理函数被调用时,北河自动将当前信号加入进程的信号屏蔽字,当信号处理函数返回时,自动恢复原来的信号屏蔽字,这呀就保证了在处理某个信号时,如果这种信号再次产生,那么他会被阻塞到当前处理结束为止。如果在调用信号处理函数时,除了当前信号被自动屏蔽之外,还希望自动屏蔽另外一些信号,则用sa_mask字段说明这些需要额外屏蔽的信号,当信号处理函数返回时自动恢复原来的信号屏蔽字。

看以下代码:

#include<iostream>
#include<signal.h>
#include<cassert>
#include<unistd.h>
#include<cstring>
using namespace std;

static void PrintPending(const sigset_t &pending)
{
    cout<<"当前进程的pending位图:";
    for(int signo=1;signo<=31;signo++)
    {
        if(sigismember(&pending,signo)) cout<<"1";
        else cout<<"0";
    }
    cout<<"\n";
}
static void handler(int signo)
{
    cout<<"对特定信号"<<signo<<"执行捕捉动作"<<endl;
    int cnt = 30;
    while(cnt)
    {
        cnt--;
        sigset_t  pending;
        sigpending(&pending);
        PrintPending(pending);
        sleep(1);
    }
}

int main()
{
    struct sigaction act,oldact;
    memset(&act,0,sizeof(act));
    memset(&oldact,0,sizeof(oldact));

    act.sa_handler = handler;
    act.sa_flags=0;

    sigemptyset(&act.sa_mask);

    sigaddset(&act.sa_mask,3);
    sigaddset(&act.sa_mask,4);
    sigaddset(&act.sa_mask,5);

    sigaction(2,&act,&oldact);
    while(true)
    {
        cout<<getpid()<<endl;
        sleep(1);

    }
}
// If act is non-NULL, the new action for signal signum is installed from act.  If oldact is non-NULL, the previous  action is saved in oldact.

在这里插入图片描述
我们在对2号信号进行捕捉时,希望对3、4、5号信号进行屏蔽,那么就可以使用sigaddset(&act.sa_mask,signo)。
可重入函数

在这里插入图片描述

  • main函数调用insert函数向一个链表head中插入节点node1,插入操作分为两步,刚做完第一步的 时候,因
    为硬件中断使进程切换到内核,再次回用户态之前检查到有信号待处理,于是切换 到sighandler函
    数,sighandler也调用insert函数向同一个链表head中插入节点node2,插入操作的 两步都做完之后从
    sighandler返回内核态,再次回到用户态就从main函数调用的insert函数中继续 往下执行,先前做第一步
    之后被打断,现在继续做完第二步。结果是,main函数和sighandler先后 向链表中插入两个节点,而最后只
    有一个节点真正插入链表中了。
  • 像上例这样,insert函数被不同的控制流程调用,有可能在第一次调用还没返回时就再次进入该函数,这称
    为重入,insert函数访问一个全局链表,有可能因为重入而造成错乱,像这样的函数称为 不可重入函数,反之,
    如果一个函数只访问自己的局部变量或参数,则称为可重入(Reentrant) 函数。想一下,为什么两个不同的
    控制流程调用同一个函数,访问它的同一个局部变量或参数就不会造成错乱?
    **如果一个函数符合以下条件之一则是不可重入的:
  • 调用了malloc或free,因为malloc也是用全局链表来管理堆的。
  • 调用了标准I/O库函数。标准I/O库的很多实现都以不可重入的方式使用全局数据结构。

volatile
看下面一段代码:

#include<stdio.h>
#include<signal.h>
int quit = 0;

void handler(int signo)
{
    printf("change quit from 0 to 1\n");
    quit = 1;
}
int main()
{
    signal(2,handler);
    while(!quit);//注意这里我们故意没有携带while的代码快,故意让编译器认为在main中,quit只会被检测
    
    printf("main quit 正常\n");
    return 0;
}

运行结果:
在这里插入图片描述
在这里插入图片描述

添加gcc 选项 -O2之后运行结果为:
在这里插入图片描述

在这里插入图片描述

我们在handler函数里面添加一点验证的代码

在这里插入图片描述
可以看到quit的值确实不一样,可以推测是由于编译器优化。本来每一次读取quit的值的时候,应该去内存中拿,但是编译器却仿佛是就近就从CPU中的寄存器里面取了。所以现在我们需要做的就是,告诉编译器,保证每次检测,都要尝试从内存中进行数据读取,不要用寄存器中的数据,让内存数据可见

所以这个时候volatile就出现了。

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

pid_t id;
void handler(int signo)
{
    printf("捕捉到一个信号:%d,who:%d\n",signo,getpid());
    sleep(5); 

    pid_t res =  waitpid(-1,NULL,0);
    if(res > 0)
    {
        printf("wait success,res:%d,id:%d\n",res,id);
    }
}
int main()
{
    signal(SIGCHLD,handler);
    id = fork();
    if(id == 0)
    {
        //child
        int cnt = 5;
        while(cnt)
        {
            printf("我是子进程,我的pid:%d ;ppid:%d\n",getpid(),getppid());
            sleep(1);
            cnt--;
        }
        exit(1);
    }
    while(1)
    {
        sleep(1);

    }
}

运行结果:
在这里插入图片描述
分析:
在这里插入图片描述
SIGCHLD信号
wait和waitpid函数清理僵尸进程,父进程可以阻塞等待子进程结束,也可以非阻 塞地查询是否有子进程结束等待清理(也就是轮询的方式)。采用第一种方式,父进程阻塞了就不 能处理自己的工作了;采用第二种方式,父进程在处理自己的工作的同时还要记得时不时地轮询一 下,程序实现复杂。

其实,子进程在终止时会给父进程发SIGCHLD信号,该信号的默认处理动作是忽略,父进程可以自 定义SIGCHLD信号
的处理函数,这样父进程只需专心处理自己的工作,不必关心子进程了,子进程 终止时会通知父进程,父进程在信号处理
函数中调用wait清理子进程即可

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

pid_t id;
void handler(int signo)
{
    printf("捕捉到一个信号:%d,who:%d\n",signo,getpid());
    sleep(5); 

    while(1)
    {
        pid_t res =  waitpid(-1,NULL,WNOHANG);
        if(res > 0)
        {
            printf("wait success,res:%d,id:%d\n",res,id);
        }
        else break;
    }
    printf("handler done ...\n");
}
int main()
{
    signal(SIGCHLD,handler);
    for(int i = 0;i<=10;i++)
    {
        //child
        id = fork();
        int cnt = 5;
        while(cnt)
        {
            printf("我是子进程,我的pid:%d ;ppid:%d\n",getpid(),getppid());
            sleep(1);
            cnt--;
        }
        exit(1);
    }
    while(1)
    {
        sleep(1);
        printf("我是父进程,我正在运行\n");

    }
}

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

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

pid_t id;
int main()
{
    signal(SIGCHLD,SIG_IGN);
    for(int i = 0;i<=10;i++)
    {
        //child
        id = fork();
        int cnt = 5;
        while(cnt)
        {
            printf("我是子进程,我的pid:%d ;ppid:%d\n",getpid(),getppid());
            sleep(1);
            cnt--;
        }
        exit(1);
    }
    while(1)
    {
        sleep(1);
        printf("我是父进程,我正在运行\n");

    }
}

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

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

相关文章

鲲鹏920的架构分析

*本文信息主要来源于书籍《鲲鹏处理器架构与编程》以及论文《Kunpeng 920: The First 7-nm Chiplet-Based 64-Core ARM SoC for Cloud Services》 * 笔者已然写了一篇上述论文的分析博客&#xff0c;但尚觉论文内容对chiplet架构描述不够清晰&#xff0c;因此查阅《鲲鹏处理器…

Flutter笔记 - 关于 fit 属性以及相关知识的总结

Flutter笔记 关于 fit 属性以及相关知识的总结 作者&#xff1a;李俊才 &#xff08;jcLee95&#xff09;&#xff1a;https://blog.csdn.net/qq_28550263 邮箱 &#xff1a;291148484163.com 本文地址&#xff1a;https://blog.csdn.net/qq_28550263/article/details/13434451…

lenovo联想小新 Air-14 2019 AMD平台API版(81NJ)原装出厂Windows10系统

下载链接&#xff1a;https://pan.baidu.com/s/1HCC66EH4UOcgofRx5_v1oA?pwdlgqw 提取码&#xff1a;lgqw 原厂系统自带所有驱动、出厂主题壁纸、系统属性专属LOGO标志、Office办公软件、联想电脑管家等预装程序 所需要工具&#xff1a;16G或以上的U盘 文件格式&#xf…

关于Google Play应用商店的优化技巧1

作为Google Play商店ASO策略的一部分&#xff0c;我们需要查明并优化有助于应用排名的各种因素。在这里将介绍几个可以增强我们列表并增加在搜索中被发现的机会的技巧。 1、优化标题和描述字段。 在创建有效的Google Play商店列表时&#xff0c;我们应该考虑的第一个元素是应用…

易货:一种绿色、高效的商业模式

随着社会经济的发展和人民生活水平的提高&#xff0c;人们手中闲置的物品越来越多&#xff0c;如何将这些物品盘活&#xff0c;成为了一个亟待解决的问题。易货商业模式应运而生&#xff0c;它不仅可以将闲置物品变成财富&#xff0c;还可以为企业和个人带来更多的商机和资源。…

【题解】2023-11-11 B层模拟赛T1

宣传一下 算法提高课整理 CSDN个人主页&#xff1a;更好的阅读体验 原题链接 CF461B 题目描述 一棵树有 n n n 个节点&#xff0c; n − 1 n − 1 n−1 条边。树上的节点有两种&#xff1a;黑&#xff0c;白节点。 Tyk 想断掉一些边把树分成很多部分。 他想要保证每个部…

【优选算法系列】【专题二滑动窗口】第二节.1004. 最大连续1的个数 III和1658. 将 x 减到 0 的最小操作数

文章目录 前言一、最大连续1的个数 III 1.1 题目描述 1.2 题目解析 1.2.1 算法原理 1.2.2 代码编写二、将 x 减到 0 的最小操作数 2.1 题目描述 2.2 题目解析 2.2.1 算法原理 2.2.2 代码编写总结 前言 一、最大连…

迈巴赫S480升级流星雨大灯 最高配的数字大灯

“流星雨”数字大灯&#xff0c;极具辨识度&#xff0c;通过260万像素的数字微镜技术&#xff0c;实现“流星雨”仪式感与高度精确的光束分布&#xff1b;在远光灯模式下&#xff0c;光束精准度更达之前84颗LED照明的100倍&#xff0c;更新增坡道照明功能&#xff0c;可根据导航…

进程线程

从Android3.0开始&#xff0c;系统要求网络访问必须在子线程中进行&#xff0c;否则会抛出异常&#xff0c;这么做是为了避免主线程被阻塞而导致ANR&#xff0c;那么网络访问的操作就必须要放到线程中去执行。 进程 进程是操作系统结构的基础&#xff0c;是程序在一个数据集合…

极兔面试:微服务爆炸,如何解决?Uber 是怎么解决2200个微服务爆炸的?

尼恩说在前面 在40岁老架构师 尼恩的读者交流群(50)中&#xff0c;最近有小伙伴拿到了一线互联网企业如阿里、滴滴、极兔、有赞、希音、百度、网易、美团的面试资格&#xff0c;遇到很多很重要的面试题&#xff1a; 谈谈你的DDD落地经验&#xff1f; 谈谈你对DDD的理解&#x…

基于HF transformers的AI建模和训练实战

我们经常使用 scikit-learn 对监督学习和无监督学习任务的数据进行建模。 我们熟悉面向对象的设计&#xff0c;例如启动类并从类中调用子函数。 然而&#xff0c;当我个人使用 PyTorch 时&#xff0c;我发现与 scikit-learn 类似但又不一样的设计模式。 在线工具推荐&#xff…

11个最受欢迎的3D打印AI软件【2023】

如今&#xff0c;人工智能&#xff08;AI&#xff09;似乎已经成为每个人都在谈论的话题。 尽管围绕该技术的伦理问题存在着重要的讨论&#xff0c;但不可否认的是&#xff0c;人工智能可能成为包括 3D 打印在内的许多不同行业的重要工具。 事实上&#xff0c;人工智能在 3D 打…

【Java王大师王天师】关注有礼博客模板

【点我-这里送书】 本人详解 作者&#xff1a;王文峰&#xff0c;参加过 CSDN 2020年度博客之星&#xff0c;《Java王大师王天师》 公众号&#xff1a;JAVA开发王大师&#xff0c;专注于天道酬勤的 Java 开发问题中国国学、传统文化和代码爱好者的程序人生&#xff0c;期待你的…

单片机启动流程

存储器 ​ 一个单片机中存在rom和ram&#xff0c;Soc也有rom和ram&#xff08;ddrx&#xff09;&#xff0c;部分Soc还包含MMU&#xff08;Memory Manage Unit 内存管理单元&#xff09;— &#xff08;用于系统内存管理&#xff0c;比如说虚拟内存空间&#xff0c;内存区间的…

YOLOV5改进:RefConv | 即插即用重参数化重聚焦卷积替代常规卷积,无额外推理成本下涨点明显

1.该文章属于YOLOV5/YOLOV7/YOLOV8改进专栏,包含大量的改进方式,主要以2023年的最新文章和2022年的文章提出改进方式。 2.提供更加详细的改进方法,如将注意力机制添加到网络的不同位置,便于做实验,也可以当做论文的创新点 3.涨点效果:RefConv,实现有效涨点! 论文地址 …

响应式婴幼儿早教启蒙网站模板源码

模板信息&#xff1a; 模板编号&#xff1a;6830 模板编码&#xff1a;UTF8 模板颜色&#xff1a;红色 模板分类&#xff1a;学校、教育、培训、科研 适合行业&#xff1a;培训机构类企业 模板介绍&#xff1a; 本模板自带eyoucms内核&#xff0c;无需再下载eyou系统&#xf…

AI批量剪辑矩阵托管系统----源码技术开发

AI批量剪辑矩阵托管系统----源码技术开发 抖音账号矩阵系统是基于抖音开放平台研发的用于管理和运营多个抖音账号的平台。它可以帮助用户管理账号、发布内容、营销推广、分析数据等多项任务&#xff0c;从而提高账号的曝光度和影响力。 具体来说&#xff0c;抖音账号矩阵系统可…

如何通过命令查看某一文件的内容改动和提交记录

1. 查看最近10条的提交记录 一行显示 git log --oneline -102.查看某一个文件的提交记录 git log --oneline -10 文件路径3.查看某个文件的修改内容 查看某次提交的修改 内容 git show bcd9299 查看某次提交某个文件的修改内容git show bcd9299 文件路径4.对比两次提交内容的…

2011年09月21日 Go生态洞察:Go图像处理包

&#x1f337;&#x1f341; 博主猫头虎&#xff08;&#x1f405;&#x1f43e;&#xff09;带您 Go to New World✨&#x1f341; &#x1f984; 博客首页——&#x1f405;&#x1f43e;猫头虎的博客&#x1f390; &#x1f433; 《面试题大全专栏》 &#x1f995; 文章图文…

3.0 熟悉IDAPro静态反汇编器

IDA Pro 是一种功能强大且灵活的反汇编工具&#xff0c;可以在许多领域中发挥作用&#xff0c;例如漏洞研究、逆向工程、安全审计和软件开发等&#xff0c;被许多安全专家和软件开发者用于逆向工程和分析二进制代码。它支持大量的二进制文件格式和CPU架构&#xff0c;并提供了强…