信号处理与fork()之间的竞态条件问题咨询

核心问题是父进程还未获取到子进程PID时，子进程已完成setpgid并可能收到SIGHUP，导致父进程无法及时转发信号。以下是几种POSIX兼容的解决方案：

1. 管道同步父与子的执行顺序 #

通过匿名管道让子进程完成进程组切换后主动通知父进程，父进程确认后再配置信号转发逻辑，彻底消除竞态窗口：

• 父进程在fork()前创建匿名管道
• 子进程执行setpgid(0, 0)（将自身设为新进程组组长）后，向管道写入一个字节的标识
• 父进程在fork()后先读取管道数据，确认子进程完成切换，再获取PID并设置信号处理程序

示例代码片段：

int sync_pipe[2];
pipe(sync_pipe);

pid_t child_pid = fork();
if (child_pid == 0) {
    // 子进程：切换到新进程组
    setpgid(0, 0);
    // 通知父进程完成切换
    close(sync_pipe[0]);
    write(sync_pipe[1], "1", 1);
    close(sync_pipe[1]);
    // 执行子进程业务逻辑
    execvp("your_command", argv);
} else {
    // 父进程：等待子进程完成进程组切换
    close(sync_pipe[1]);
    char buf[1];
    read(sync_pipe[0], buf, 1);
    close(sync_pipe[0]);
    // 配置SIGHUP转发逻辑
    struct sigaction sa;
    sa.sa_handler = sighup_forward_handler; // 自定义处理函数，向-child_pid发送SIGHUP
    sigemptyset(&sa.sa_mask);
    sa.sa_flags = 0;
    sigaction(SIGHUP, &sa, NULL);
}

2. 直接向进程组发送信号 #

由于新进程组的组长PID等于进程组ID（PGID），父进程确认子进程完成切换后，可直接用kill(-child_pid, SIGHUP)向整个子进程组发送信号，无需单独跟踪每个子进程PID。

这种方式更贴合“转发到进程组”的需求，避免后续子进程衍生带来的PID跟踪问题。

3. 临时阻塞SIGHUP信号 #

在准备阶段临时阻塞SIGHUP，确保父进程完成信号转发配置、子进程完成进程组切换前，不会触发信号处理：

• 父进程fork()前用sigprocmask()阻塞SIGHUP
• 子进程完成setpgid后，按需解除自身的SIGHUP阻塞，并通知父进程
• 父进程确认后配置信号处理程序，再解除自身的SIGHUP阻塞

示例代码片段：

sigset_t mask, old_mask;
sigemptyset(&mask);
sigaddset(&mask, SIGHUP);
sigprocmask(SIG_BLOCK, &mask, &old_mask); // 父进程预阻塞SIGHUP

pid_t child_pid = fork();
if (child_pid == 0) {
    setpgid(0, 0);
    // 子进程解除阻塞（如需自行处理SIGHUP）
    sigprocmask(SIG_SETMASK, &old_mask, NULL);
    // 通知父进程完成切换（同管道逻辑）
    execvp("your_command", argv);
} else {
    // 等待子进程完成切换（同管道逻辑）
    // 配置信号处理程序
    struct sigaction sa;
    sa.sa_handler = sighup_forward_handler;
    sigemptyset(&sa.sa_mask);
    sa.sa_flags = 0;
    sigaction(SIGHUP, &sa, NULL);
    // 父进程解除SIGHUP阻塞
    sigprocmask(SIG_SETMASK, &old_mask, NULL);
}

关键注意事项 #

• 绝不依赖fork()后的执行顺序：POSIX不保证父/子进程的执行先后，必须通过同步机制确保顺序
• setpgid必须在exec前调用：exec后的进程会继承原进程组，导致切换失效
• 信号处理函数需保证异步安全：转发信号时仅使用kill()这类异步安全的函数

内容的提问来源于stack exchange，提问作者lvella