【Linux篇】信号背后的故事：保存与处理的科学与技巧-CSDN博客

本文链接：https://blog.csdn.net/braveact/article/details/147541364

信号的保存与处理是现代信息技术中的核心环节。信号在传输和应用过程中，往往需要被有效保存以便后续分析和利用。同时，信号处理技术能够提取有用信息、减少噪声干扰、增强信号质量，从而提升系统的性能和可靠性。理解信号的特性及其处理方法，对于实现精准的数据传递和智能化应用具有重要意义。接下来，我们将探讨信号保存与处理的基本概念与关键技术，为深入研究打下坚实基础。

💬 欢迎讨论：如果你在学习过程中有任何问题或想法，欢迎在评论区留言，我们一起交流学习。你的支持是我继续创作的动力！
👍点赞、收藏与分享：觉得这篇文章对你有帮助吗？别忘了点赞、收藏并分享给更多的小伙伴哦！你们的支持是我不断进步的动力！
🚀分享给更多人：如果你觉得这篇文章对你有帮助，欢迎分享给更多对Linux OS感兴趣的朋友，让我们一起进步！

一. 保存信号

1.1 基本概念

当进程收到信号时，内核会将该信号标记为"待处理"（pending），而非立即触发处理。这种机制称为信号保存，具体表现为：

位图记录：内核为每个进程维护一个pending位图（如sigpending字段），每个位对应一个信号（如SIGINT对应位30）。
阻塞支持：若进程通过sigprocmask阻塞了某些信号，这些信号会被暂存到blocked位图，直到解除阻塞。
队列化（实时信号）：对于实时信号（SIGRTMIN~SIGRTMAX），内核使用队列存储多次发送的信号实例，避免丢失。

1.2 为什么需要信号保存？

避免信号丢失：同一时间同一信号再次递达，后续信号会被静默丢弃。
信号阻塞：如果一些信号不需要立刻处理，阻塞的信号会被保存到blocked位图，解除阻塞后触发处理。
实时信号多实例：实时信号（如SIGRTMIN+1）需要支持多次发送，普通信号仅记录一次。内核为实时信号维护队列，保存所有实例。

1.3 信号保存在哪里？

task_struct结构体：每个进程的PCB（进程控制块）包含信号相关字段：

struct task_struct {
…
sigset_t blocked; // 被阻塞的信号集合
sigset_t pending; // 待处理的信号位图
struct sigpending pending_list; // 实时信号队列（链表）
…
};

1.4 sigset_t 信号集

定义与结构

类型本质：sigset_t 是一个无符号长整型数组（unsigned long），每个位对应一个信号。例如：
在 64 位系统中，sigset_t 通常是 unsigned long[16]，可表示 16 * 64 = 1024 个信号（远超实际信号数量）。
每个信号（如 SIGINT）通过宏定义为特定位，例如 SIGINT 对应第 30 位。

内核实现（简化版）：

typedef struct {
unsigned long sig[_NSIG_WORDS]; // _NSIG_WORDS = 信号总数 / 每字长位数
} sigset_t;

核心操作函数：

用户态程序通过以下函数操作 sigset_t：

函数	作用	示例
sigemptyset()	清空信号集	sigemptyset(&set);
sigfillset()	填充所有信号	sigfillset(&set)
sigaddset()	添加指定信号到集合	sigaddset(&set, SIGINT);
sigdelset()	从集合中删除指定信号	sigdelset(&set, SIGTERM);
sigismemeber()	检查信号是否在集合中	sigismember(&set, SIGKILL);
sigprocmask()	设置/获取进程的信号阻塞集合（block位图）	sigprocmask(SIG_BLOCK, &set, NULL);

在信号处理中的作用

(1) 信号阻塞（Blocking Signals）
机制：通过 sigprocmask 修改进程的 blocked 信号集，阻止特定信号触发处理函数。
内核行为：
被阻塞的信号会保存在 task_struct->blocked 位图中。
当信号解除阻塞时，若该信号仍处于待处理状态，则会立即触发处理。
(2) 待处理信号（Pending Signals）

机制：内核通过 task_struct->pending 位图记录所有已到达但未处理的信号。
实时信号队列：对于 SIGRTMIN~SIGRTMAX，内核使用链表（struct sigpending）保存多次发送的实例。

1.4.1 sigprocmask()函数

功能：

用于设置或修改当前进程的信号屏蔽字（Signal Mask），即控制哪些信号会被进程暂时阻塞（不响应）。

函数原型：

#include <signal.h>
int sigprocmask(int how, const sigset_t *set, sigset_t *oldset);

参数：

how：指定如何修改信号屏蔽字，可选值：

SIG_BLOCK：将 set 中的信号添加到当前屏蔽字中（阻塞）。本质上是将block表中对应信号编号位置的比特位置为1。

SIG_UNBLOCK：从当前屏蔽字中移除 set 中的信号（解除阻塞）。

SIG_SETMASK：直接将当前屏蔽字设置为 set。

set：指向 sigset_t 类型的指针，表示要操作的信号集合。若为 NULL，则忽略。

oldset：可选参数，用于返回修改前的信号屏蔽字。

返回值：

成功返回 0，失败返回 -1（如传入无效参数）。

1.4.2 sigpending()函数

功能：
检查当前进程被阻塞的信号中，哪些已经被触发但尚未处理（即处于挂起状态）。
函数原型：

#include <signal.h>
int sigpending(sigset_t *set);

参数：

set：指向 sigset_t 的指针，用于存储当前挂起的信号集合。说白就是将当前进程block表的内容拷贝至set指针中。

返回值：

成功返回 0，失败返回 -1。

二. 捕捉信号

2.1 基本概念

2.1.1 信号（Signal）

信号是Unix/Linux系统中进程间通信的机制，用于通知进程发生了某个事件（如用户输入、硬件异常、子进程终止等）。
每个信号有唯一标识（如 SIGINT、SIGTERM）和默认动作（如终止进程、忽略、暂停进程）。

2.1.2 信号来源

硬件异常：如段错误（SIGSEGV）、非法指令（SIGILL）。
软件触发：如 kill 命令、raise() 函数、alarm() 定时器。
终端输入：如 Ctrl+C（SIGINT）、Ctrl+\（SIGQUIT）。

2.1.3 信号处理方式

默认动作：内核直接执行信号的默认行为（如终止进程）。
忽略信号：进程选择不响应信号（如 SIGCHLD 可被忽略）。
捕捉信号：用户自定义处理函数（Signal Handler）响应信号。

2.2 捕捉信号的方式

2.2.1 使用 signal() 函数（简单但不够灵活）

函数原型：

#include <signal.h>
typedef void (*sighandler_t)(int);
sighandler_t signal(int signum,sighandler_t handler);

参数：

signum：要捕捉的信号（如 SIGINT）。
handler：处理函数指针，或 SIG_IGN（忽略）、SIG_DFL（默认动作）。

2.2.2 使用 sigaction() 函数（推荐方式）

功能：

#include <signal.h>
int sigaction(int signum, const struct sigaction *act, struct sigaction *oldact);

参数：

signum：要操作的信号编号（如 SIGINT, SIGTERM）。
act：指向 struct sigaction 结构体的指针，用于指定新的信号处理方式。若为 NULL，则不修改当前设置。
oldact：可选参数，用于返回修改前的信号处理设置（类似 sigprocmask 的 oldset）。

返回值：

成功返回 0，失败返回 -1（如传入无效信号编号）。

结构体 sigaction：

struct sigaction {
void (sa_handler)(int); // 信号处理函数
void (sa_sigaction)(int, siginfo_t, void); // 扩展处理函数（需SA_SIGINFO标志）
sigset_t sa_mask; // 执行处理函数期间阻塞的信号集
int sa_flags; // 标志位（如SA_RESTART、SA_NOCLDSTOP）
void (*sa_restorer)(void); // 内部使用，忽略
};

示例代码：

void handle_sigint(int sig) {
    write(STDOUT_FILENO, "Caught SIGINT!\n", 14);  // 使用write代替printf（异步安全）
    exit(0);
}
int main() {
    struct sigaction sa;
    sa.sa_handler = handle_sigint;
    sigemptyset(&sa.sa_mask);     // 不额外阻塞信号
    sa.sa_flags = 0;
    sigaction(SIGINT, &sa, NULL); // 注册处理函数
    while(1) pause();
    return 0;
}

2.3 信号处理流程

之前说过，信号不是立即处理而是合适的时候处理，过程如下：

一般是指令发生异常，中断或系统调用进入内核，此时身份从用户态切换为内核态；
内核处理完上述操作后，会处理当前进程可以传递的信号使用do_signal()函数，此时；
如果此时信号的处理是自定义的信号，此时会检查pending表是否有，同时还有block表检查是否阻塞，如果阻塞则直接返回至用户态,否则，此时身份则内核态切换至用户态；
调用信号自定义处理函数，处理完后再次调用系统调用sigreturn（），身份从用户态切换至内核态；
此时恢复上下文。从中断的地方继续向下执行，这个阶段调用sys_sigreturn()系统调用，身份从内核态切换至用户态。程序又重新开始了。

图解（如下）：
在这里插入图片描述
该图可以展示信号处理的流程,方便大家理解。

2.4 典型应用场景

优雅终止进程

捕捉 SIGTERM，执行资源清理后退出。

实力代码：

void sigterm_handler(int sig) {
    cleanup_resources();  // 释放内存、关闭文件
    exit(0);
}

int main() {
    struct sigaction sa;
    sa.sa_handler = sigterm_handler;
    sigemptyset(&sa.sa_mask);
    sa.sa_flags = 0;
    sigaction(SIGTERM, &sa, NULL);
    // 等待信号...
    return 0;
}

子进程管理

捕捉 SIGCHLD，通过 waitpid() 回收僵尸进程。

示例代码：

void sigchld_handler(int sig, siginfo_t *info, void *context) {
    pid_t child_pid = info->si_pid;
    int status;
    waitpid(child_pid, &status, 0);  // 回收子进程
}

int main() {
    struct sigaction sa;
    sa.sa_sigaction = sigchld_handler;
    sa.sa_flags = SA_SIGINFO | SA_NOCLDSTOP;
    sigemptyset(&sa.sa_mask);
    sigaction(SIGCHLD, &sa, NULL);
    // 创建子进程...
    return 0;
}

定时任务

结合 SIGALRM 和 alarm() 实现周期性操作。

示例代码：

void alarm_handler(int sig) {
    perform_task();
    alarm(5);  // 重新设置5秒后触发
}

int main() {
    struct sigaction sa;
    sa.sa_handler = alarm_handler;
    sigemptyset(&sa.sa_mask);
    sa.sa_flags = SA_RESTART;
    sigaction(SIGALRM, &sa, NULL);
    alarm(5);  // 首次设置
    // 主循环...
    return 0;
}

用户交互

捕捉 SIGINT（Ctrl+C）实现自定义退出逻辑。

2.5 与 signal() 的对比

特性	sigaction()	signal()
跨平台一致性	✅ 符合POSIX标准	❌ 行为可能因系统而异
功能丰富性	✅ 支持信号屏蔽、扩展处理函数	❌ 仅支持简单处理函数
安全性	✅ 推荐用于生产环境	❌ 历史遗留，存在兼容性问题

2.6 总结

sigaction 是 Unix/Linux 信号处理的核心工具，通过精细控制信号屏蔽、处理函数和标志位，实现了安全、可靠的异步事件响应。其典型应用场景包括优雅终止、子进程管理、定时任务等。开发者需严格遵循异步安全编程规范，并结合实际场景设计健壮的信号处理逻辑。

三. 最后

本文深入解析了Linux信号的保存与处理机制。信号保存通过pending位图和blocked位图实现，支持阻塞与队列化，避免信号丢失。核心操作依赖sigset_t及sigprocmask/sigpending函数。捕捉信号推荐使用sigaction，其通过结构体精细控制处理函数、信号屏蔽和标志位，支持异步安全编程。典型场景包括优雅终止、子进程管理、定时任务等。sigaction相比signal()具有跨平台一致性、功能丰富性优势，是生产环境首选。开发者需遵循异步安全规范，结合实际需求设计健壮的信号处理逻辑。