【系统级编程必修课】：sigaction vs signal：为什么专业开发者只用sigaction？

第一章：信号处理的基石：从signal到sigaction的演进

在Unix和类Unix系统中，信号是进程间通信的重要机制之一，用于通知进程某个事件的发生。早期的信号处理接口`signal()`函数虽然简单易用，但其行为在不同系统上存在不一致性，特别是在信号处理过程中是否自动重置信号处理器的问题上。

传统signal函数的局限性

`signal()`函数通过注册一个函数指针来捕获特定信号，但其不可靠性源于历史实现差异。例如，在某些系统中，信号处理函数执行完毕后会自动恢复默认行为，而在另一些系统中则不会。这种不确定性使得编写可移植程序变得困难。

#include <signal.h>
#include <stdio.h>

void handler(int sig) {
    printf("Received signal %d\n", sig);
}

int main() {
    signal(SIGINT, handler);  // 注册SIGINT处理函数
    while(1);  // 持续运行等待信号
    return 0;
}

上述代码使用`signal()`捕获Ctrl+C（SIGINT）信号，但无法保证在所有平台上都具备一致的行为。

sigaction带来的可靠性提升

为解决这一问题，POSIX标准引入了`sigaction`系统调用，提供更精确的控制能力。它允许开发者指定信号处理行为标志、屏蔽其他信号，并查询前一次设置。

• 使用sigaction可避免信号处理期间被中断后不恢复的问题
• 支持在处理信号时阻塞其他特定信号，防止嵌套干扰
• 提供SA_RESTART选项，自动重启被中断的系统调用

特性	signal()	sigaction()
可移植性	低	高
信号掩码控制	无	有
行为可预测性	差	强

struct sigaction sa;
sa.sa_handler = handler;
sigemptyset(&sa.sa_mask);
sa.sa_flags = SA_RESTART;
sigaction(SIGINT, &sa, NULL);  // 可靠地设置信号处理

该结构体配置确保了信号处理的安全性和一致性，成为现代系统编程中的推荐方式。

第二章：sigaction结构体深度解析

2.1 sa_handler与sa_sigaction：信号处理函数的选择艺术

在 POSIX 信号处理机制中，struct sigaction 结构体通过 sa_handler 和 sa_sigaction 两个成员提供信号处理函数的注册方式，选择恰当的方式对程序健壮性至关重要。

基础处理：sa_handler

适用于简单场景，仅接收信号编号：

void simple_handler(int sig) {
    printf("Caught signal %d\n", sig);
}

struct sigaction sa;
sa.sa_handler = simple_handler;
sigaction(SIGINT, &sa, NULL);

该方式简洁，但无法获取额外上下文信息。

高级处理：sa_sigaction

启用 SA_SIGINFO 标志后可使用：

void advanced_handler(int sig, siginfo_t *info, void *context) {
    printf("Signal from PID: %d\n", info->si_pid);
}
sa.sa_sigaction = advanced_handler;
sa.sa_flags = SA_SIGINFO;

参数 siginfo_t 提供发送进程 PID、信号值等详细信息，适用于进程间通信等复杂场景。

特性	sa_handler	sa_sigaction
参数数量	1	3
附加信息	无	有（siginfo_t）
适用场景	简单响应	精细控制

2.2 sa_mask：精确控制信号屏蔽的实践策略

在信号处理中，`sa_mask` 字段用于指定在执行信号处理函数期间额外需要屏蔽的信号集，避免嵌套或竞争。通过合理配置 `sa_mask`，可实现更安全的异步事件处理。

信号掩码的配置方法

使用 sigaction 结构体时，通过 sigaddset() 向 sa_mask 添加需屏蔽的信号：

struct sigaction sa;
sigemptyset(&sa.sa_mask);
sigaddset(&sa.sa_mask, SIGUSR1);  // 屏蔽 SIGUSR1
sigaddset(&sa.sa_mask, SIGTERM);  // 屏蔽 SIGTERM
sa.sa_handler = handler_func;
sa.sa_flags = 0;
sigaction(SIGINT, &sa, NULL);

上述代码在处理 SIGINT 时，会自动屏蔽 SIGUSR1 和 SIGTERM，防止并发触发导致状态混乱。

常见屏蔽策略对比

策略	适用场景	优点
最小屏蔽	低频信号	响应快
全量屏蔽	临界区操作	安全性高
按需屏蔽	复杂交互逻辑	灵活性好

2.3 sa_flags详解：关键标志位对信号行为的影响分析

在信号处理中，`sa_flags` 字段用于控制信号处理程序的行为方式，其取值直接影响信号的响应机制与执行上下文。

SIGINFO 与实时信号支持

当使用 `SA_SIGINFO` 标志时，信号处理函数可接收附加信息：

struct sigaction sa;
sa.sa_flags = SA_SIGINFO;
sa.sa_sigaction = &handler; // 使用 sa_sigaction 而非 sa_handler

此时必须使用 `sa_sigaction` 函数指针，其原型为：
void handler(int sig, siginfo_t *info, void *context)，可获取发送进程 PID、信号值等元数据。

常见标志位对比

标志位	作用说明
SA_RESTART	自动重启被中断的系统调用
SA_NODEFER	不屏蔽当前信号，允许重入
SA_NOCLDWAIT	子进程终止时不产生 SIGCHLD

2.4 sa_restorer已废弃？历史遗留字段的真相揭秘

在Linux信号处理机制演进过程中，`sa_restorer`字段常被视为过时的实现细节。该字段最初用于在用户态提供信号返回的辅助函数，配合`sigreturn`系统调用完成上下文恢复。

为何被废弃

现代glibc通过`vsyscall`或`vdso`机制自动处理信号返回，不再依赖用户传递`sa_restorer`。内核可通过`SA_RESTORER`标志判断是否使用该字段。

struct sigaction {
    void (*sa_handler)(int);
    unsigned long sa_flags;
    void (*sa_restorer)(void);  // 已废弃
    sigset_t sa_mask;
};

上述代码中，`sa_restorer`字段虽保留于结构体定义，但实际由glibc内部填充或忽略。其存在仅为兼容旧二进制程序。

技术演进路径

• 早期：用户需显式指定restorer函数地址
• 过渡期：glibc自动生成restorer stub
• 现代：内核结合vdso自主完成返回逻辑

2.5 结构体配置实战：构建可靠的信号响应框架

在高并发系统中，信号处理是保障服务优雅启停的关键。通过结构体封装信号监听逻辑，可实现高度可复用的响应框架。

核心结构设计

type SignalHandler struct {
    signals      []os.Signal
    callback     func()
    stopChan     chan struct{}
}

该结构体聚合信号类型、回调函数与控制通道，实现关注点分离。

注册与监听流程

• 使用 signal.Notify 注册操作系统信号
• 通过 select 监听信号与停止通道
• 触发时执行预设回调，如关闭连接池或日志刷盘

典型应用场景

信号	用途
SIGTERM	通知进程终止
SIGINT	中断执行（Ctrl+C）

第三章：信号安全与异步编程模型

3.1 异步信号安全函数：哪些函数可以在信号处理中安全调用

在信号处理函数中，只能调用“异步信号安全”（async-signal-safe）的函数。这些函数在执行期间不会被信号中断而导致未定义行为。

常见的异步信号安全函数

• write()：用于向文件描述符写入数据
• read()：从文件描述符读取数据
• sigprocmask()：修改信号掩码
• kill()：发送信号给进程
• _exit()：终止进程，不可使用exit()

示例：安全的信号处理函数

#include <signal.h>
#include <unistd.h>

void handler(int sig) {
    write(1, "Caught SIGINT\n", 14); // write是异步信号安全的
}

signal(SIGINT, handler);

上述代码中，write() 是异步信号安全函数，可在信号处理函数中安全调用。而如printf()、malloc()等函数因涉及复杂状态管理，非信号安全，禁止使用。

3.2 可重入性与静态变量陷阱：避免信号处理中的竞态条件

在信号处理中，函数的可重入性至关重要。若信号处理器调用非可重入函数或访问静态变量，可能引发竞态条件。

静态变量的风险

当信号中断正在修改静态变量的主流程时，返回后状态可能已不一致。

#include <signal.h>
#include <stdio.h>

static int counter = 0;

void handler(int sig) {
    counter++; // 危险：非原子操作且共享静态变量
}

int main() {
    signal(SIGINT, handler);
    while(1) {
        counter++;
        printf("%d\n", counter);
    }
}

上述代码中，counter++ 在主流程和信号处理器中均被修改，可能导致数据丢失或未定义行为。

安全实践建议

• 避免在信号处理器中使用静态或全局变量
• 仅调用标准规定的异步信号安全函数（如 write、sigprocmask）
• 通过 volatile sig_atomic_t 标志通信，将实际处理延迟至主循环

3.3 使用volatile sig_atomic_t实现安全通信的工程实践

在信号处理与主线程共享状态的场景中，数据一致性是关键挑战。sig_atomic_t 是C标准库中唯一保证可被信号处理器安全访问的整型类型，配合 volatile 修饰可防止编译器优化导致的读写异常。

为何使用 volatile sig_atomic_t

volatile 告诉编译器该变量可能被外部因素（如信号）修改，禁止缓存其值到寄存器。而 sig_atomic_t 确保读写操作原子性，避免信号中断时产生数据撕裂。

典型应用场景示例

#include <signal.h>
#include <stdio.h>

volatile sig_atomic_t flag = 0;

void signal_handler(int sig) {
    flag = 1; // 安全赋值
}

// 主循环中检测 flag
while (!flag) {
    // 正常执行任务
}

上述代码中，信号处理器仅设置标志位，主线程轮询该变量并响应，实现了异步安全通信。

• 仅使用标准定义的原子类型进行跨上下文通信
• 避免在信号处理器中调用不可重入函数
• 保持信号处理逻辑极简，延迟处理至主循环

第四章：典型应用场景与高级技巧

4.1 捕捉SIGSEGV实现崩溃日志生成与堆栈回溯

在C/C++程序中，段错误（SIGSEGV）常因非法内存访问引发。通过注册信号处理器，可捕获该信号并生成崩溃日志。

信号处理机制

使用 signal() 或更安全的 sigaction() 注册 SIGSEGV 处理函数：

#include <signal.h>
#include <execinfo.h>

void segv_handler(int sig) {
    void *array[50];
    size_t size = backtrace(array, 50);
    fprintf(stderr, "Crash detected (SIGSEGV)!\n");
    backtrace_symbols_fd(array, size, STDERR_FILENO);
    exit(1);
}

// 注册：signal(SIGSEGV, segv_handler);

上述代码捕获信号后，调用 backtrace() 获取函数调用栈，backtrace_symbols_fd() 将地址转换为可读符号输出至标准错误。

关键优势

• 无需外部调试器即可获取崩溃上下文
• 支持生产环境下的静默日志收集
• 结合 addr2line 工具可精确定位源码行

4.2 实现精准定时任务：结合SIGALRM与setitimer的高精度调度

在需要微秒级精度的定时场景中，传统alarm函数已无法满足需求。`setitimer`系统调用提供了更高精度的时间控制能力，配合SIGALRM信号可实现可靠的定时调度。

核心机制解析

`setitimer`支持ITIMER_REAL模式，能以指定间隔触发SIGALRM信号。相比alarm，其时间粒度可达微秒级，适用于高精度任务调度。

#include <sys/time.h>
#include <signal.h>

void timer_handler(int sig) {
    // 定时执行逻辑
}

struct itimerval timer = {
    .it_value = {1, 0},        // 首次延迟1秒
    .it_interval = {0, 500000} // 周期500ms
};
signal(SIGALRM, timer_handler);
setitimer(ITIMER_REAL, &timer, NULL);

上述代码设置初始延迟1秒，随后每500毫秒触发一次信号。itimerval结构体中，tv_sec和tv_usec共同决定超时精度。

应用场景对比

• 实时数据采集：需严格周期性触发传感器读取
• 协议超时重传：TCP-like重传机制依赖精确计时
• 性能监控：定期采样CPU/内存使用率

4.3 子进程管理：可靠处理SIGCHLD避免僵尸进程

在多进程编程中，子进程终止后若未被及时回收，会成为僵尸进程，占用系统资源。为避免此问题，必须正确处理 SIGCHLD 信号。

信号处理机制

当子进程退出时，内核向父进程发送 SIGCHLD 信号。通过注册信号处理器并调用 waitpid() 可安全回收子进程。

#include <sys/wait.h>
#include <signal.h>

void sigchld_handler(int sig) {
    int status;
    pid_t pid;
    while ((pid = waitpid(-1, &status, WNOHANG)) > 0) {
        // 成功回收子进程
    }
}

// 注册信号处理
signal(SIGCHLD, sigchld_handler);

上述代码使用 waitpid() 配合 WNOHANG 标志非阻塞地清理所有已终止的子进程，防止遗留僵尸进程。

关键注意事项

• 必须在循环中调用 waitpid()，以处理多个子进程同时退出的情况
• 信号处理函数中应仅调用异步信号安全函数
• 避免在信号处理中执行复杂逻辑，防止竞态条件

4.4 忽略与恢复默认行为：SIG_IGN和SIG_DFL的实际应用边界

在信号处理中，SIG_IGN 和 SIG_DFL 是两个特殊常量，分别用于忽略信号和恢复默认行为。它们的应用需谨慎，尤其在关键系统信号上。

忽略信号：使用 SIG_IGN

#include <signal.h>
#include <stdio.h>

int main() {
    // 忽略Ctrl+C中断信号
    signal(SIGINT, SIG_IGN);
    printf("SIGINT 被忽略，程序将继续运行。\n");
    while(1); // 模拟持续运行
    return 0;
}

该代码将 SIGINT（通常由 Ctrl+C 触发）设置为忽略状态，进程不会因此终止。适用于守护进程等不希望被终端中断的场景。

恢复默认行为：使用 SIG_DFL

signal(SIGHUP, SIG_DFL); // 恢复挂起信号的默认行为（终止进程）

当先前屏蔽或自定义处理了信号后，可通过 SIG_DFL 恢复其原始响应，如终止、忽略或暂停。

• SIG_IGN 适用于临时屏蔽非关键通知信号（如 SIGPIPE）
• SIG_DFL 常用于子进程清理时重置信号处理方式
• 不可对 SIGKILL 和 SIGSTOP 使用这两种操作

第五章：现代系统编程中的信号处理最佳实践

避免在信号处理函数中调用非异步信号安全函数

在信号处理函数中调用如 printf、malloc 或 strcpy 等函数可能导致未定义行为。应仅使用异步信号安全函数，例如 write。

• 常见的异步信号安全函数包括：write、read、_exit
• 避免在信号处理函数中执行复杂逻辑或内存分配
• 推荐通过设置标志位通知主循环处理中断

使用 sigaction 替代 signal

signal 接口在不同系统上行为不一致，而 sigaction 提供更精确的控制能力。

struct sigaction sa;
sa.sa_handler = handle_sigint;
sigemptyset(&sa.sa_mask);
sa.sa_flags = SA_RESTART; // 自动重启被中断的系统调用
sigaction(SIGINT, &sa, NULL);

正确处理 EINTR 错误

当系统调用被信号中断时，可能返回 -1 并设置 errno 为 EINTR。需显式重试：

ssize_t n;
while ((n = read(fd, buf, sizeof(buf))) == -1 && errno == EINTR) {
    continue; // 重试被中断的读操作
}

统一信号分发机制

大型服务常采用“信号转发”模式：信号处理函数仅写入 signalfd 或管道，主事件循环统一处理。

方法	适用场景	优点
signalfd	Linux epoll 架构	集成事件循环，无需全局变量
self-pipe trick	跨平台兼容	可移植性强