Linux信号深度剖析：从诞生到归宿（内核如何管理信号的生成、阻塞和递达）

1. 信号的诞生：内核如何生成信号？

信号生成指的是内核或用户态进程触发一个信号并将它记录到目标进程的PCB（进程控制块，即task_struct）中的过程。信号的来源主要有三种：

• 硬件异常：例如除零错误、非法内存访问，CPU会捕获异常并通知内核，内核再生成相应的信号（如SIGFPE、SIGSEGV）发送给当前进程。
• 软件条件：比如通过kill()、raise()系统调用主动发送信号；或者当定时器到期、子进程退出等，内核也会生成信号（如SIGALRM、SIGCHLD）。
• 终端输入：用户在终端按下Ctrl+C，驱动会生成SIGINT信号发送给前台进程组。

2. 信号的阻塞：内核如何暂缓信号递达？

进程可以通过系统调用（如sigprocmask()）告诉内核：我不想立刻接收某些信号。内核为每个进程维护了一个阻塞信号集（blocked mask），也称作信号掩码。当某个信号被阻塞后，即使它已经生成并进入pending状态，内核也不会立即将它递送给进程，而是将其“挂起”在pending队列中。值得注意的是，信号阻塞不同于信号忽略：忽略是信号递达后执行的动作，而阻塞是阻止信号递达本身。如果信号在阻塞期间多次生成，对于标准信号，内核只会记录一次（pending集只保留一位）；对于实时信号，则会排队。

内核在每次中断或系统调用结束返回用户态时，会检查当前进程的pending信号集和阻塞信号集。只有那些既处于pending又不在阻塞集中的信号，才会进入下一步——递达。

3. 信号的归宿：内核如何递达信号？

信号递达就是信号真正被进程处理的过程。当内核决定递送一个信号时，会根据进程预先设定的处理方式（通过signal()或sigaction()注册）来执行相应的动作。处理方式分为三类：

• 默认动作：由内核预定义，例如终止进程、停止进程、忽略等。大部分信号的默认动作是终止进程。
• 忽略信号：内核直接丢弃该信号，不做任何处理。
• 用户自定义处理函数：内核会保存当前进程的上下文（如寄存器、栈信息），然后跳转到用户注册的信号处理函数执行，执行完毕后再恢复上下文继续运行。

4. 内核数据结构：信号管理的幕后功臣

每个进程的task_struct中都包含几个关键字段用于信号管理：

• pending：struct sigpending，保存当前未决的信号集（包括标准信号和实时信号）。
• blocked：信号掩码，表示当前阻塞的信号集。
• sighand：指向信号处理函数表的指针，表中记录了每个信号的处理函数地址、标志等。

5. 实时信号与标准信号的区别

标准信号（1~31）不支持排队，如果同一个信号在阻塞期间多次产生，只会被记录一次。而实时信号（34~64）支持排队，并且有优先级顺序，内核会维护一个队列，确保每个信号都能被递达。实时信号的引入增强了Linux信号机制的可靠性。

总结

从信号的诞生（生成）到归宿（递达），内核通过精心设计的pending位图、阻塞掩码以及信号处理表，实现了高效且灵活的异步通信机制。理解信号生成、信号阻塞和信号递达的完整流程，不仅能帮助我们编写更健壮的Linux程序，也能加深对操作系统内核设计思想的认识。

—— 小白也能懂的Linux信号内核指南