为何信号处理函数无法更新全局volatile sig_atomic_t变量？

你的代码如下：

// my_repro.c

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

volatile sig_atomic_t counter = 1;

void handler(int sig) {
    counter = 15;
    return;
}

int main(void) {
    pid_t pid;
    printf("%d\n", counter);
    fflush(stdout);

    signal(SIGINT, handler);
    if ((pid = fork()) == 0) {
        while(1) {};
    }

    kill(pid, SIGINT);
    printf("%d\n", ++counter);
    fflush(stdout);
}

相关命令与输出 #

• 编译命令：gcc -o my_repro.o my_repro.c
• 注意：你写的运行命令./my_repro.c是错误的，应该执行编译生成的可执行文件./my_repro.o（该错误不影响核心问题）

实际输出：

1
2

预期输出：

1
16

问题根源 #

核心问题出在**fork()的进程隔离特性**：

• 调用fork()后，系统会创建子进程，子进程拥有父进程地址空间的独立副本——包括全局变量counter和注册的信号处理函数。父、子进程的counter是完全独立的两个变量，存储在不同内存地址中。
• 你用kill(pid, SIGINT)给子进程发信号，触发的是子进程内的handler函数，修改的是子进程自己的counter，和父进程的counter毫无关联。
• 父进程的counter始终保持初始值1，执行++counter后自然输出2。

关于volatile sig_atomic_t的作用 #

volatile sig_atomic_t的设计目标是解决同一进程内的信号同步问题：

1. 避免编译器优化将变量缓存到寄存器，确保信号处理函数对变量的修改能被主程序立即感知；
2. 保证变量的读写操作是原子性的，不会被信号打断导致数据不一致。

但它无法突破进程间的内存隔离——不同进程的变量本身就是独立的，再怎么volatile也无法让子进程的修改影响父进程。

如果需要实现子进程修改父进程的变量，你需要使用进程间通信机制，比如共享内存、管道、消息队列等。

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