程序地址空间详解

程序地址空间布局图

来段代码感受一下

   #include<stdio.h>                                                                  
   #include<unistd.h>
   #include<stdlib.h>
   
   int g_val = 0;
   
   int main()
   {
     pid_t id = fork();
     if(id < 0)
     {
       perror("fork error");
       return 1;
     }
     else if(id == 0)
     {
       //child
       printf("child[%d]: %d : %p\n", getpid(), g_val, &g_val);
     }
     else
     {
       //father
       printf("father[%d]: %d : %p\n", getpid(), g_val, &g_val);
       }
     sleep(1);
     return 0;
   }       

输出：

我们发现，输出的变量值和地址是一模一样，很好理解，因为子进程按照父进程为模板，父子并没有对变量进行任何的修改。将代码进行稍稍改动：

   #include<stdio.h>
   #include<unistd.h>
   #include<stdlib.h>
   
   int g_val = 0;
   
   int main()
   {
     pid_t id = fork();
     if(id < 0)
     {
       perror("fork error");
       return 1;
     }
     else if(id == 0)
     {
       //child 子进程先运行完，也就是子进程先修改，完成之后，父进程再读取                             
       g_val = 100;
       printf("child[%d]: %d : %p\n", getpid(), g_val, &g_val);
     }
     else
     {
       //father
       sleep(3);
       printf("father[%d]: %d : %p\n", getpid(), g_val, &g_val);
     }
     sleep(1);
     return 0;
   }

输出结果：

我们发现，父子进程，输出地址是一致的，但变量内容不一样！能得出如下结论：

• 变量内容不一样，所以父子进程输出的变量绝对不是同一个变量
• 但地址值是一样的，说明，该地址绝对不是物理地址！
• 在Linux地址上，这种地址叫做虚拟地址
• 我们在用C/C++语言所看到的地址，全部都是虚拟地址！物理地址，用户一概看不到，由OS统一管理

OS必须负责将虚拟地址转化成物理地址。

进程地址空间

所以之前说‘程序的地址空间’是不准确的，准确的应该说成进程地址空间 ，那该如何理解呢？看图：

• 上面的图就足矣说名问题，同一个变量，地址相同，其实是虚拟地址相同，内容不同其实是被映射到了不同的物理地址！

过程：当访问虚拟内存时，会访问MMU（内存管理单元） 去匹配对应的物理地址，而如果虚拟内存的页并不存在于物理内存中，会产生缺页中断，从磁盘中取得缺的页放入内存，如果内存已满，还会根据某种算法将磁盘中的页换出。（MMU中存储页表，用来匹配虚拟内存和物理内存）