做叉子时有趣的父母和孩子行为

Question

谁能解释一下下面程序的输出。为什么我的 &a 值对父母和孩子都是一样的。

它们必须具有不同的物理地址。如果我认为我正在获取虚拟地址，那么它们如何具有相同的虚拟地址，因为据我所知，每个物理地址都是唯一绑定到虚拟地址的。

#include <stdio.h>
#include <stdlib.h>
int main(void) {


    int pid=fork();
      int a=10;
    if(pid==0)
        {
            a=a+5;
            printf("%d %d\n",a,&a);
        }
        else
        {
            a=a-5;
            printf("%d %d\n",a,&a);
        }
        return 0;
}

Answer 1

子进程从父进程继承其虚拟地址空间，即使子进程写入页面后虚拟地址开始引用不同的物理地址。这称为写时复制 (CoW) 语义。

因此，在父 &a 中映射到某个物理地址。 Fork 最初只是复制映射。然后，当进程写入a 时，CoW 启动并在子进程中，复制保存a 的物理页面，更新虚拟地址映射以引用副本，并且两个进程都有自己的副本a，在同一个虚拟地址&a，但在不同的物理地址。

每个物理地址都唯一绑定到虚拟地址

那不是真的。一个物理内存地址可能未映射，也可能映射到一个或多个进程地址空间中的多个虚拟地址。

反之，一个虚拟地址可以映射到多个物理地址，只要这些虚拟地址存在于不同进程的虚拟地址空间中。

[顺便说一句，您无法使用%d 可靠地打印内存地址（这恰好适用于 32 位 x86）。请改用%p。另外，fork 的返回类型是pid_t，而不是int。]