c - C 中的全局变量不会跨线程更新

Question

我什至都不好意思问这个问题，因为我认为我的实验结果会非常明显。

我的目的是演示跨线程更新全局变量的潜在陷阱。我预计该值会增加(即使只增加 1)。

但结果似乎根本没有更新，关于数据如何跨线程共享，我错过了什么？

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

int global = 0;

void child_code(int i)
{
  sleep(i);
  global++;
  printf("Child %d: global=%p/%d\n", i, &global, global);
}

int main()
{
    pid_t pid;
    int i, num_children;

    num_children = 10;

    for (i=0; i<num_children; i++) {
        pid = fork();
        if (pid == -1) exit(1);

        /* see if we're the parent or the child */
        if (pid == 0) {
            child_code(i);
            exit(i);
        }
    }

    /* parent continues */
    for (i=0; i<num_children; i++) {
      pid = wait(NULL);
    }

    printf("Parent: global=%p/%d\n", &global, global);

    exit(0);
}

这是一个示例输出:

Child 1: global=0x10a5d7038/1
Child 2: global=0x10a5d7038/1
Child 3: global=0x10a5d7038/1
Child 4: global=0x10a5d7038/1
Child 5: global=0x10a5d7038/1
Child 6: global=0x10a5d7038/1
Child 7: global=0x10a5d7038/1
Child 8: global=0x10a5d7038/1
Child 9: global=0x10a5d7038/1
Parent: global=0x10a5d7038/0

Answer 1

fork() 不会创建线程，它会使用单独的内存段创建单独的进程。更准确地说，在 Linux 上，它克隆当前进程并将所有数据段页面标记为写时复制，这就是为什么一旦子进程尝试写入变量，它就会获得自己的该变量的副本以及自己的变量副本它所在的内存页。