多进程场景下static variable是进程共享还是各进程独立持有？

核心结论 #

• 普通通过static关键字声明的变量，每个进程都会持有一份完全独立的私有副本，不存在跨进程共享的全局唯一实例。

底层原理 #

• 现代操作系统对进程的虚拟地址空间做了强隔离设计：每个进程都有独立的页表映射，所有内存页（包括存放static变量的静态存储区）的虚拟地址，在不同进程之间是互相不连通的。
• 当通过fork()创建子进程时，内核会为子进程复制父进程的全部地址空间映射，初始阶段采用写时复制机制：父子进程暂时共用同一个物理内存页，一旦任意一方对static变量发起修改操作，内核就会为被修改的内存页分配独立的物理内存副本，双方后续的读写操作完全不会互相影响。
• static关键字本身的作用，仅包含两个层面：一是将变量的存储位置从栈区迁移到静态存储区，保证变量生命周期覆盖整个程序运行周期；二是限制变量的链接可见范围，避免被其他编译单元的代码直接引用。它本身没有任何跨进程共享的语义。

直观验证示例 #

下面的测试代码可以直接复现上述效果：

#include <stdio.h>
#include <unistd.h>
#include <sys/wait.h>

// 静态全局变量声明
static int test_var = 0;

int main() {
    pid_t pid = fork();
    if (pid == 0) {
        // 子进程修改static变量值
        test_var = 100;
        printf("子进程：static变量虚拟地址%p，值为%d\n", &test_var, test_var);
        return 0;
    }
    wait(NULL); // 等待子进程执行完成
    printf("父进程：static变量虚拟地址%p，值为%d\n", &test_var, test_var);
    return 0;
}

运行输出的典型效果为：

子进程：static变量虚拟地址0x55f8c7a8e008，值为100
父进程：static变量虚拟地址0x55f8c7a8e008，值为0

可以看到哪怕两个进程打印出的static变量虚拟地址完全相同，父进程读到的依然是初始的0值，完全没有感知到子进程的修改，本质是两个虚拟地址对应的物理内存是相互独立的。

容易混淆的边界场景 #

• 同进程内的多线程是共享同一地址空间的，线程之间访问同一个static变量时，看到的是同一个内存实例，这和跨进程的场景有本质区别。
• 如果手动将存放static变量的内存页，通过共享内存映射（mmap的MAP_SHARED配置、System V共享内存等机制）绑定到同一个物理内存块，才会出现跨进程共享的static变量实例——但这种效果是内存配置带来的，不是static关键字本身的能力。

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