为什么子进程和父进程的变量地址相同

时间:2011-08-31 07:08:35

标签: c unix fork copy-on-write

这是我的代码

int main()
{
  pid_t pid;
  int y = 3;  
  if ( (pid = fork()) <0 )
   return -1;;

  if( pid == 0 )  /* child */
  {
    printf(" before: %d %p\n", y, &y );
    y *= 10;
    printf("after: %d %p\n", y, &y );
  }
  else /* father */
  {
   sleep(1);
   printf("father: %d %p\n" , y , &y );

  }
  return 0;
}

程序的输出如下:

before: 3 ffbff440
after: 30 ffbff440
father: 3 ffbff440

我的问题是为什么孩子和父母的变量的地址相同但价值不同?

2 个答案:

答案 0 :(得分:25)

因为它是虚拟地址,而不是物理地址。

每个进程都有自己的地址空间(例如,32位系统可能允许每个进程拥有自己的完整4G范围的地址空间)。

内存管理单元将虚拟地址映射到物理地址(如果需要从二级存储中重新购买换出的页面,则处理页面错误等内容)。

下图可能有所帮助,每个部分代表4K内存块:

   Process A           Physical Memory      Process B
   +-------+           +-------------+      +-------+
0K |       |---->   0K |  (shared)   | <----|       | 0K
   +-------+           +-------------+      +-------+
4K |       |--+     4K |             | <----|       | 4K
   +-------+  |        +-------------+      +-------+
8K |       |  +->   8K |             |      |       | 8K
   +-------+           +-------------+      +-------+
       |                : : : : : : :           |
       |               +-------------+          |
       |          128K |             | <--------+
       |               +-------------+
       +--------> 132K |             |
                       +-------------+

您可以在该图中看到虚拟内存地址与物理内存地址之间的断开连接(以及进程共享内存块的可能性)。左侧和右侧的地址是进程看到的虚拟地址。

中央块中的地址是数据“真正”的实际物理地址,MMU处理映射。

有关fork(和exec)的更深入说明,您可能还需要查看this answer

答案 1 :(得分:1)

地址是“相同的”,因为每个进程都有自己的虚拟地址空间,并且变量通常会加载到同一位置。请注意,这不是内存中的物理地址。另请注意,有些方案会故意随机加载进程的位置,以便更难攻击/破解进程。在这种情况下,地址会有所不同。