Linux信号保存的核心（未决信号集与阻塞信号集——探秘内核如何实现信号的阻塞、暂存与派发）

二、核心原理：双位图机制

在进程的内核控制块（PCB/task_struct）中，维护着两张类似位图（bitmap）的数据结构：

1. 阻塞信号集（Block Set / Signal Mask）

也称为信号屏蔽字。它就像是一面“挡箭牌”。如果位图中某个信号对应的位置被设为1，说明该信号当前被屏蔽。即便信号发过来了，内核也不会立即处理它。

2. 未决信号集（Pending Set）

这是信号的“缓冲区”。当一个信号产生时，内核首先会将未决信号集中对应的位设为1。如果该信号没有被阻塞，内核会尽快派发该信号；如果该信号被阻塞了，它就会一直停留在未决信号集中，直到解除阻塞。

三、如何控制这些信号集？

在Linux编程中，我们通常使用 sigset_t 类型来表示这些信号集。以下是几个核心的系统调用：

// 修改进程的信号屏蔽字（阻塞或解除阻塞）int sigprocmask(int how, const sigset_t *set, sigset_t *oldset);// 获取当前的未决信号集int sigpending(sigset_t *set);

关键逻辑总结： 一个信号只有在“未决”状态为1，且“阻塞”状态为0时，才会被递达给进程进行处理。

四、为什么需要信号阻塞？

信号阻塞并不是为了丢弃信号，而是为了保护临界资源。例如，当进程正在执行一段非常关键的代码，不希望被特定的信号中断时，可以先将其设置为信号屏蔽字中的阻塞状态，等关键代码执行完毕后再解除屏蔽，此时暂存在未决信号集中的信号会立即被处理。这种设计保证了系统运行的稳健性。

总结：理解了未决信号集与阻塞信号集，你就掌握了Linux异步处理的核心逻辑。通过灵活操作这些信号集，我们可以编写出更加健壮、高效的系统级应用程序。