在前面我们讲过信号产生和保存以后,我们知道进程对于产生的信号不是立即去处理的,而是在"合适"的时候去处理信号,这是因为信号的产生的异步的,当前进程可能正在做更重要的事情!。
那么信号可以被立即处理吗?答案的可以的,但是要满足这个条件:
在
Linux
中如果一个信号之前被阻塞过,当他解除阻塞时,对应的信号会被立即递达!
那么对于进程来说什么是"合适"的时候呢?
答案是:当进程从内核态切换回用户态的时候,进程会在操作系统的指导下,进行信号的检测与处理!
简单来说内核态与用户态的区别就是:
用户态:进程只能执行用户所写的代码。
内核态:进程只能执行操作系统的代码。
我们知道操作系统也是一款软件,而且是一款专注于搞管理的软件,在对进程进行调度、执行系统调用、异常、中断、陷阱等,都需要借助操作系统,执行操作系统的代码,此时进程便处于内核态。
进程又是如何被调度的呢?
- 操作系统的本质:
- 操作系统也是软件,并且是一个死循环式等待指令的软件。
- 计算机内部存在一个硬件:时钟模块,每隔一段时间向操作系统发送时钟中断
- 进程被调度,就意味着它的时间片到了,操作系统会通过时钟中断,检测到是哪一个进程的时间片到了,然后通过系统调用函数
schedule()
保存进程的上下文数据,然后选择合适的进程去运行,这就完成了一次进程调度。
open
、read
时关于进程地址空间的初级知识可以看这里《进程地址空间》
在以前我们只讨论了[0, 3]G的用户空间,并没有对[3, 4]G的内核空间进行讨论,现在我们对[3, 4]G的内核空间进行讨论。
我们在谈论用户空间时提到,用户空间的地址要经过页表映射到物理地址,这个用户空间的页表其实其真实名称是用户级页表,对于内核空间来说也有一张页表,也负责将内核空间的地址映射到物理地址中,这个页表的名称是内核级页表。这两张页表是相互独立的!
内核空间里面存放的是操作系统代码和数据, 所以执行操作系统的代码及系统调用,其实就是在使用这 1 GB 的内核空间
由于操作系统的代码和数据是不能够被轻易访问的,所以在正文代码中如果要执行操作系统的代码和数据,需要先进行状态转化,由用户态转化为内核态,才能成功执行,那么这个状态转换是怎么实现的呢?
对于状态转化,操作系统采用的是软硬件结合的方式。
CPU
中,存在一个 CR3
寄存器,这个寄存器的作用就是用来表是当前处于进程所处的状态。CR3
寄存器中的值为 3
时:表示处于用户态,可以执行用户的代码。CR3
寄存器中的值为 0
时:表示处于内核态,可以执行操作系统的代码。Linux
并没有给我们提供相应的接口让我们可以更改CR3
寄存器里面的值,因为操作系统没有办法保证每一个用户使用OS的代码和数据时都要先更改CR3
寄存器的值,所以OS提供的所有的系统调用,内部在正执行调用逻辑的时候,会去修改执行级别! 这样就保证了用户使用系统调用的时候用户所处的状态是内核态。当CPU正在执行某条代码时,可能因为中断、异常或系统调用进入内核态,然后在内核态完成相应的任务,任务完成以后并不是直接返回用户态,而是调用系统调用do_signal()
去处理可以递达信号。
处理信号时会从1号到31号逐个检查block
表和pending
表,当block
和pending
表符合处理条件时才进行信号递达。
block表 | pending表 | 是否处理 | 解释 |
---|---|---|---|
0 | 0 | 否 | pending表为0 代表该信号没有产生过,无需处理 |
1 | 0 | 否 | block表为0 ,信号被阻塞,无需处理 |
1 | 1 | 否 | block表为0 ,信号被阻塞,无需处理 |
0 | 1 | 是 | 信号没有被阻塞且pending表为1 ,代表该信号需要递达 |
当信号递达时就需要调用handler
表里面对应位置的的函数进行执行:
handler表 | 执行动作 |
---|---|
SIG_IGN |
忽略该信号,将该信号的pending 表里面的1 改为0 ,然后调用sys _sigreturn() 系统调用进行返回原先中断的位置并恢复为用户态 |
SIG_DFL |
执行默认动作: 1. 如果是暂停,就将该进程从运行队列里面取出放到等待队列里面,操作系统开始调度下一个进程。 2. 如果是终止进程,就直接结束该进程,操作系统开始调度下一个进程。 … |
对于被捕捉的信号,与普通信号有所不同,在调用自定义处理方法时,由handler
表里面的方法是用户的代码,所以还要进行一次状态转换,转换为用户态,然后执行自定义动作,当自定义动作执行完毕时OS会自动调用一次系统调用sigreturn()
使用户态重新陷入内核变成内核态,然后在内核态再调用sys _sigreturn()
进行返回并恢复为用户态。
下面我们通过一张图快速记忆捕捉信号的处理过程:
ps: 在执行
hadler
表中的方法之前,操作系统会先将pengding
表对应位置的1
给清零。
该函数是一个系统调用,功能与signal()
函数类似但是功能会更加强大,sigaction
函数可以读取和修改指定信号相关联的处理动作。
参数:
act
指针非空,则根据act
修改该信号的处理动作。若oact
指针非空,则通过oact
传出该信号原来的处理动作。act
和oact
指向sigaction
结构体。返回值:
调用成功则返回0
,出错则返回-1
结构体的定义如下:
0
。关于信号处理时的一些机制:
当某个信号的处理函数被调用时,内核会自动将当前信号加入进程的信号屏蔽字,当信号处理函数返回时自动恢复原来的信号屏蔽字,这样就保证了在处理某个信号时,如果这种信号再次产生,那么它会被阻塞到当前处理结束为止。
下面我们来使用该函数验证一下信号处理时:内核会自动将当前信号加入进程的信号屏蔽字。
#include
#include
#include
#include
// 打印pending表
void PrintPending(sigset_t set)
{
std::cout << "当前的pending表:";
for (int i = 1; i <= 31; i++)
{
if (sigismember(&set, i))
{
std::cout << '1';
}
else
{
std::cout << '0';
}
}
std::cout << std::endl;
}
// 自定义处理动作
void handler(int signum)
{
std::cout << "捕捉到了" << signum << "信号,执行了自定义动作" << std::endl;
int cnt = 0;
sigset_t set;
sigemptyset(&set);
while (cnt < 5)
{
cnt++;
sigpending(&set);
PrintPending(set);
sleep(1);
}
}
int main()
{
struct sigaction act, oact;
memset(&act, 0, sizeof(act));
memset(&oact, 0, sizeof(act));
act.sa_handler = handler;
sigaction(2, &act, &oact);
while (true)
{
sleep(1);
}
}
这段代码中我们对2
号信号进行了捕捉,自定义处理动作就是在自定义函数中停留5秒,每秒都打印一下当前状态的pending
表。
我们可以运行程序,然后给该进程发送2
号信号触发自定义处理动作,然后再在5秒之内再次发送2
号信号观察pending
表是否为1
,如果为1
就代表当前信号收到了阻塞,如果没有变成1
代表没有受到阻塞。
可以看到结果符合我们的理论。
接下来我们尝试利用sigaction
将3, 4
号信号也加入信号屏蔽集中。
#include
#include
#include
#include
// 打印pending表
void PrintPending(sigset_t set)
{
std::cout << "当前的pending表:";
for (int i = 1; i <= 31; i++)
{
if (sigismember(&set, i))
{
std::cout << '1';
}
else
{
std::cout << '0';
}
}
std::cout << std::endl;
}
// 自定义处理动作
void handler(int signum)
{
std::cout << "捕捉到了" << signum << "信号,执行了自定义动作" << std::endl;
int cnt = 0;
sigset_t set;
sigemptyset(&set);
while (cnt < 15)
{
cnt++;
sigpending(&set);
PrintPending(set);
sleep(1);
}
}
int main()
{
struct sigaction act, oact;
sigset_t set, oset;
// 进行初始化
memset(&act, 0, sizeof(act));
memset(&oact, 0, sizeof(act));
sigemptyset(&set);
sigemptyset(&oset);
// 将3, 4也加入信号屏蔽集中
sigaddset(&set, 3);
sigaddset(&set, 4);
act.sa_handler = handler;
// 设置信号屏蔽字
act.sa_mask = set;
sigaction(2, &act, &oact);
std::cout << "进程的pid是:" << getpid() << std::endl;
while (true)
{
sleep(1);
}
}