Linux进程信号机制与可重入函数实战指南

1. 进程信号机制深度解析

在Linux系统编程中，信号是进程间通信的重要机制之一。当某个事件发生时，内核会向目标进程发送信号，进程可以通过预定义的方式处理这些信号。信号处理的核心在于异步事件响应——信号可能在任何时间点到达，这给程序设计带来了特殊的挑战。

信号处理函数与普通函数最大的区别在于它的执行时机不可预测。想象一下，你的程序正在执行malloc分配内存的过程中，突然被信号中断去执行处理函数，而处理函数中又调用了malloc——这就可能导致内存管理数据结构被破坏。这种可能被信号处理打断并再次进入的函数，就是我们所说的可重入函数。

关键提示：信号处理函数中只能调用异步信号安全的函数（async-signal-safe functions），这些函数要么是原子的，要么通过特殊设计保证可重入性。POSIX标准明确列出了这些函数，如write、read（部分场景）、_exit等。

1.1 信号处理流程全景

当信号产生到最终被处理，经历了以下几个关键阶段：

1. 信号产生：由内核、其他进程或自身触发
2. 信号递送：内核在目标进程的上下文中布置信号处理
3. 信号处理：进程暂停当前执行流，跳转到处理函数
4. 返回恢复：处理完成后恢复原执行流（除非处理函数终止进程）

这个过程中最微妙的在于第3步——信号处理函数执行时，原程序执行状态被"冻结"，所有寄存器状态被保存。这种强行插入的执行流，正是许多信号相关问题的根源所在。

2. 可重入函数：原理与实战

2.1 可重入性本质解析

可重入函数的核心特征是：无论被中断多少次，都能保证正确性。这要求函数：

• 不使用静态或全局变量
• 不调用不可重入函数
• 不依赖任何外部状态

典型的不可重入函数案例：

c复制char *getpass(const char *prompt) {
    static char buf[PASS_MAX]; // 静态变量！
    ... 
    return buf;
}

当主程序调用getpass时被信号中断，信号处理函数也调用getpass，两次调用将共享同一个buf，导致前一次结果被覆盖。

2.2 常见可重入函数列表

以下函数是POSIX明确规定的异步信号安全函数：

• 基本I/O：read, write (对管道/终端)
• 进程控制：_exit, fork (配合exec)
• 信号相关：sigaction, kill
• 原子操作：sem_post

避坑指南：printf、malloc等常用函数都不可重入！信号处理中需要记录日志时，可以用write直接输出到STDERR_FILENO。

2.3 实战中的可重入设计

假设我们需要在信号处理中记录日志，正确的做法是：

c复制void handler(int sig) {
    char msg[] = "SIGINT received\n";
    write(STDERR_FILENO, msg, sizeof(msg)-1);
    _exit(1);
}

错误示范：

c复制void handler(int sig) {
    printf("SIGINT received\n"); // 可能正在被主程序使用
    exit(1); // 会执行清理操作，可能与其他线程冲突
}

3. volatile关键字在信号编程中的关键作用

3.1 volatile的底层语义

volatile关键字告诉编译器：此变量可能在任何时候被意外修改，禁止相关优化。在信号编程中，这主要影响两种优化：

1. 将变量缓存在寄存器而不写回内存
2. 消除"看似冗余"的内存访问

考虑以下信号处理场景：

c复制int flag = 0;

void handler(int sig) { flag = 1; }

int main() {
    signal(SIGINT, handler);
    while(!flag); // 编译器可能优化为无限循环
    printf("Exiting\n");
}

没有volatile时，编译器可能将flag缓存在寄存器中，导致handler的修改对主循环不可见。

3.2 volatile的正确用法

修正后的版本：

c复制volatile sig_atomic_t flag = 0;

sig_atomic_t是POSIX定义的整数类型，保证读写原子性。结合volatile后，具有：

• 原子性：不会被部分写入/读取
• 可见性：修改立即对其他执行流可见

重要限制：volatile不能保证复合操作的原子性！如flag++仍需要额外同步机制。

3.3 volatile与线程同步的误区

虽然volatile保证可见性，但它：

• 不提供原子性（如x++）
• 不阻止指令重排序
• 不提供happens-before保证

在信号处理中可用volatile，但在多线程同步中必须使用专门的同步原语（互斥锁、原子变量等）。

4. SIGCHLD信号：子进程管理的艺术

4.1 SIGCHLD的产生条件

SIGCHLD在以下情况下由内核发送给父进程：

1. 子进程终止（正常/异常）
2. 子进程被信号停止
3. 停止的子进程继续执行

但有一个关键例外：如果父进程将SIGCHLD的处理设为SIG_IGN，子进程终止后会立即被清理，不会成为僵尸进程。这是预防僵尸进程的推荐方法之一。

4.2 正确处理SIGCHLD的范式

基本处理模式：

c复制void cleanup_child(int sig) {
    int saved_errno = errno; // 保存errno
    while(waitpid(-1, NULL, WNOHANG) > 0);
    errno = saved_errno; // 恢复errno
}

int main() {
    struct sigaction sa = {
        .sa_handler = cleanup_child,
        .sa_flags = SA_RESTART | SA_NOCLDSTOP
    };
    sigemptyset(&sa.sa_mask);
    sigaction(SIGCHLD, &sa, NULL);
    ...
}

关键点：

• 使用waitpid而非wait（避免漏处理）
• WNOHANG非阻塞模式（防止处理期间新信号丢失）
• 保存/恢复errno（避免影响主程序）
• SA_NOCLDSTOP忽略停止/继续信号

4.3 僵尸进程预防大全

除信号处理外，还有以下方法避免僵尸进程：

1. 双重fork技术：

c复制if (fork() == 0) {
    if (fork() == 0) {
        // 实际工作进程
        exit(0);
    }
    exit(0); // 中间进程立即退出，工作进程被init接管
}
waitpid(...); // 只等待中间进程

2. 显式忽略SIGCHLD：

c复制signal(SIGCHLD, SIG_IGN); // 传统方式
// 或
struct sigaction sa = { .sa_handler = SIG_IGN };
sigaction(SIGCHLD, &sa, NULL); // 更现代的方式

5. 综合案例：构建健壮的服务器进程

5.1 设计要点

一个需要处理多种信号的服务器程序需要考虑：

1. 信号处理栈空间（可能需使用sigaltstack）
2. 信号屏蔽字管理（防止处理期间被其他信号中断）
3. 与线程的交互（在多线程程序中更复杂）

5.2 完整信号处理框架

c复制#define _GNU_SOURCE
#include <signal.h>
#include <unistd.h>
#include <sys/wait.h>

volatile sig_atomic_t shutdown_flag = 0;
volatile sig_atomic_t reload_flag = 0;

void handle_shutdown(int sig) {
    shutdown_flag = 1;
}

void handle_reload(int sig) {
    reload_flag = 1;
}

void handle_child(int sig) {
    int saved_errno = errno;
    while (waitpid(-1, NULL, WNOHANG) > 0);
    errno = saved_errno;
}

int setup_signal_handlers() {
    stack_t ss = {
        .ss_sp = malloc(SIGSTKSZ),
        .ss_size = SIGSTKSZ,
        .ss_flags = 0
    };
    if (ss.ss_sp == NULL || sigaltstack(&ss, NULL) == -1) {
        perror("sigaltstack");
        return -1;
    }

    struct sigaction sa = {
        .sa_flags = SA_ONSTACK | SA_RESTART
    };

    // 终止信号
    sa.sa_handler = handle_shutdown;
    sigemptyset(&sa.sa_mask);
    sigaction(SIGTERM, &sa, NULL);
    sigaction(SIGINT, &sa, NULL);

    // 重载配置
    sa.sa_handler = handle_reload;
    sigaction(SIGHUP, &sa, NULL);

    // 子进程清理
    sa.sa_handler = handle_child;
    sa.sa_flags |= SA_NOCLDSTOP;
    sigaction(SIGCHLD, &sa, NULL);

    return 0;
}

5.3 生产环境经验

1. 信号竞争处理：在检查标志位和进入睡眠之间可能收到信号，解决方案：

c复制sigset_t mask, orig;
sigemptyset(&mask);
sigaddset(&mask, SIGINT);
sigprocmask(SIG_BLOCK, &mask, &orig);
while (!flag) {
    sigsuspend(&orig); // 原子操作
}
sigprocmask(SIG_SETMASK, &orig, NULL);

2. 性能考量：频繁信号可能影响性能，考虑：

• 使用signalfd将信号转为文件描述符事件
• 对高频信号进行批处理

3. 调试技巧：

bash复制strace -e trace=signal -p <pid> # 跟踪信号
gdb -p <pid> # 然后使用"handle SIGINT nostop"等命令