1. 信号处理的基本概念回顾
在Linux系统中，信号是进程间通信的一种基本机制，用于通知进程发生了某种事件。信号可以由内核、其他进程或进程自身发送。理解信号处理机制对于开发稳定可靠的Linux应用程序至关重要。
信号从产生到最终被处理，会经历三个关键状态：
- 信号产生（Generation）：某个事件触发了信号
- 信号未决（Pending）：信号已经产生但尚未被处理
- 信号递达（Delivery）：信号被进程实际处理
信号保存机制主要关注信号从产生到递达之间的状态管理。在这个过程中，内核需要维护两个关键的数据结构：
- 未决信号集（pending set）：记录当前哪些信号处于等待处理状态
- 阻塞信号集（block set）：定义哪些信号当前被屏蔽，即使产生也不会立即递达
注意：信号阻塞和信号忽略是不同的概念。阻塞是暂时的延迟递达，而忽略是明确指示进程不对该信号做任何处理。
2. 信号保存的核心数据结构
2.1 进程描述符中的信号相关字段
在Linux内核中，每个进程的task_struct结构体都包含信号处理相关的字段：
struct task_struct { // ... struct sigpending pending; // 未决信号队列 sigset_t blocked; // 被阻塞的信号掩码 struct sigaction sigaction[_NSIG]; // 信号处理函数配置 // ... };其中，sigpending结构体定义如下：
struct sigpending { struct list_head list; // 未决信号链表 sigset_t signal; // 未决信号位图 };2.2 信号位图与信号队列
Linux使用两种机制来保存未决信号：
- 位图（signal）：快速判断某个信号是否未决
- 链表（list）：维护信号的附加信息（如实时信号的额外数据）
对于标准信号（1-31），内核只需要记录信号是否产生，因此位图就足够了。而对于实时信号（34-64），由于可能携带额外数据且支持排队，需要使用链表来维护多个同类型信号。
3. 信号阻塞与未决状态的实现机制
3.1 信号阻塞的工作原理
信号阻塞通过blocked位图实现。当某个信号被阻塞时：
- 该信号对应的bit在blocked位图中被置1
- 即使信号产生，也不会立即递送给进程
- 信号会被标记为未决状态，保存在pending中
阻塞信号的常见场景包括：
- 关键代码段执行期间不希望被中断
- 信号处理函数执行期间防止同类信号重入
- 实现原子操作时保证操作的完整性
3.2 未决信号的管理
当信号产生时，内核会执行以下操作：
- 检查该信号是否被阻塞（blocked位图）
- 如果未被阻塞，立即递送给进程
- 如果被阻塞，将信号加入未决集合（pending）
未决信号会一直保持，直到：
- 进程解除对该信号的阻塞
- 进程显式忽略该信号
- 进程终止（某些信号会导致终止）
4. 信号保存相关的系统调用与API
4.1 信号集操作函数
int sigemptyset(sigset_t *set); // 初始化空信号集 int sigfillset(sigset_t *set); // 初始化包含所有信号的信号集 int sigaddset(sigset_t *set, int signum); // 添加信号到集合 int sigdelset(sigset_t *set, int signum); // 从集合中删除信号 int sigismember(const sigset_t *set, int signum); // 测试信号是否在集合中4.2 信号阻塞控制
int sigprocmask(int how, const sigset_t *set, sigset_t *oldset);how参数指定操作类型：
- SIG_BLOCK：将set中的信号加入当前阻塞集
- SIG_UNBLOCK：从当前阻塞集中移除set中的信号
- SIG_SETMASK：直接将当前阻塞集替换为set
4.3 获取未决信号
int sigpending(sigset_t *set); // 获取当前未决信号集5. 信号保存的实际应用场景
5.1 关键代码段保护
sigset_t newmask, oldmask; sigemptyset(&newmask); sigaddset(&newmask, SIGINT); // 阻塞SIGINT信号 sigprocmask(SIG_BLOCK, &newmask, &oldmask); // 执行关键代码 do_critical_work(); // 恢复原有信号掩码 sigprocmask(SIG_SETMASK, &oldmask, NULL);5.2 防止信号处理函数重入
void handler(int sig) { sigset_t mask; sigemptyset(&mask); sigaddset(&mask, sig); // 在处理函数执行期间阻塞相同信号 sigprocmask(SIG_BLOCK, &mask, NULL); // 处理信号... // 处理完成后解除阻塞 sigprocmask(SIG_UNBLOCK, &mask, NULL); }5.3 等待特定信号到来
sigset_t mask, oldmask; sigemptyset(&mask); sigaddset(&mask, SIGUSR1); // 阻塞SIGUSR1 sigprocmask(SIG_BLOCK, &mask, &oldmask); // 检查是否已经有未决的SIGUSR1 sigset_t pending; sigpending(&pending); if (!sigismember(&pending, SIGUSR1)) { // 没有未决信号，可以安全等待 sigsuspend(&oldmask); } // 处理SIGUSR1信号 handle_usr1(); // 恢复原有信号掩码 sigprocmask(SIG_SETMASK, &oldmask, NULL);6. 信号保存的常见问题与调试技巧
6.1 信号丢失问题
标准信号（1-31）是不排队的，这意味着：
- 如果在信号被阻塞期间多次产生同一信号
- 解除阻塞后只会递送一次
- 中间产生的信号会被"合并"
解决方案：
- 对于不可丢失的信号，使用实时信号（34-64）
- 实现信号队列机制，在用户空间维护信号状态
6.2 调试未决信号
查看进程信号状态的几种方法：
- 使用
ps -o pending <pid>查看未决信号 - 通过
/proc/<pid>/status中的SigPnd字段 - 在GDB中使用
info signals命令
6.3 信号处理的最佳实践
- 在信号处理函数中只使用异步信号安全函数
- 避免在信号处理函数中执行复杂逻辑
- 对全局数据的访问要加锁或使用原子操作
- 考虑使用自管道技术(self-pipe)将信号事件转换为I/O事件
7. 信号保存的内核实现细节
7.1 信号递达的时机
内核在以下情况下会检查并递送信号：
- 从系统调用返回用户空间时
- 从中断或异常处理返回用户空间时
- 进程从睡眠状态被唤醒时
- 显式调用sigreturn系统调用时
7.2 信号处理栈帧
当信号被递送时，内核会：
- 保存当前执行上下文到用户栈
- 设置信号处理函数为新的执行点
- 在栈上放置返回地址指向sigreturn系统调用
这种机制使得信号处理完成后可以恢复原有执行流程。
7.3 实时信号的特别处理
实时信号（34-64）相比标准信号有以下特点：
- 支持排队，不会丢失
- 可以携带附加数据（siginfo_t结构）
- 按FIFO顺序递送
- 有明确的发送者和接收者标识
内核使用单独的队列结构管理实时信号：
struct sigqueue { struct list_head list; siginfo_t info; };8. 多线程环境下的信号处理
8.1 线程与信号的关系
在多线程程序中：
- 信号动作（处理函数）是进程范围内共享的
- 信号掩码（阻塞状态）是线程独立的
- 信号的产生可以针对整个进程或特定线程
8.2 pthread_sigmask函数
线程应使用pthread_sigmask而非sigprocmask：
int pthread_sigmask(int how, const sigset_t *set, sigset_t *oldset);8.3 线程定向信号发送
可以向特定线程发送信号：
int pthread_kill(pthread_t thread, int sig);8.4 多线程信号处理建议
- 通常让一个专用线程处理所有信号
- 其他线程阻塞所有信号
- 使用sigwait同步等待信号而非异步处理
void* signal_thread(void* arg) { sigset_t set; int sig; sigfillset(&set); pthread_sigmask(SIG_BLOCK, &set, NULL); while (1) { sigwait(&set, &sig); handle_signal(sig); } return NULL; }9. 信号保存的性能考量
9.1 信号处理的开销来源
- 上下文切换：从用户态到内核态再返回
- 栈帧保存与恢复
- 信号检查的频繁性
- 锁竞争（在多线程环境中）
9.2 优化建议
- 减少不必要的信号阻塞/解阻塞操作
- 合并多个信号为单个事件通知
- 对于高频信号，考虑使用其他IPC机制
- 避免在信号处理函数中执行耗时操作
9.3 信号与性能监控
可以使用perf工具监控信号相关事件：
- signal:signal_generate：信号产生次数
- signal:signal_deliver：信号递送次数
- signal:signal_handler_exit：信号处理完成次数
10. 实际案例：实现可靠的信号处理框架
下面展示一个结合信号保存机制的可靠信号处理框架实现：
#include <signal.h> #include <stdio.h> #include <stdlib.h> #include <unistd.h> #include <errno.h> volatile sig_atomic_t got_signal = 0; void handler(int sig) { // 只设置标志，不做实际处理 got_signal = sig; } int install_signal_handler(int sig, void (*handler)(int)) { struct sigaction sa; sa.sa_handler = handler; sigemptyset(&sa.sa_mask); sa.sa_flags = SA_RESTART; // 自动重启被中断的系统调用 if (sigaction(sig, &sa, NULL) == -1) { perror("sigaction"); return -1; } return 0; } void process_signals(void) { sigset_t pending; int sig; // 获取当前未决信号 if (sigpending(&pending) == -1) { perror("sigpending"); return; } // 检查所有可能的信号 for (sig = 1; sig < NSIG; sig++) { if (sigismember(&pending, sig)) { printf("Processing pending signal %d\n", sig); // 实际信号处理逻辑 handle_signal(sig); } } } int main(void) { sigset_t block_mask, old_mask; // 设置要阻塞的信号 sigemptyset(&block_mask); sigaddset(&block_mask, SIGINT); sigaddset(&block_mask, SIGTERM); // 安装信号处理程序 if (install_signal_handler(SIGINT, handler) == -1 || install_signal_handler(SIGTERM, handler) == -1) { exit(EXIT_FAILURE); } // 阻塞关键信号 if (sigprocmask(SIG_BLOCK, &block_mask, &old_mask) == -1) { perror("sigprocmask"); exit(EXIT_FAILURE); } // 主循环 while (1) { // 执行非关键工作 do_normal_work(); // 临时解除阻塞，处理可能到达的信号 sigset_t tmp_mask; sigemptyset(&tmp_mask); if (sigsuspend(&tmp_mask) == -1 && errno != EINTR) { perror("sigsuspend"); exit(EXIT_FAILURE); } // 处理已到达的信号 if (got_signal) { printf("Received signal %d\n", got_signal); process_signals(); got_signal = 0; } } return 0; }这个框架实现了以下关键特性：
- 关键代码段期间的信号阻塞
- 安全的信号处理标志设置
- 可控的信号处理时机
- 未决信号的显式处理
- 自动重启被中断的系统调用
在实际项目中，可以根据需要扩展这个基础框架，例如添加信号队列、支持实时信号、集成到事件循环等。
