Linux下的进程（三）—— 进程地址空间

虚拟地址

进程地址空间是一个逻辑概念，通常是虚拟地址空间。那么，什么是虚拟地址空间？从以下几个方面理解：

1.逻辑理解

虚拟地址空间从高地址到低地址可以分为：栈、堆、数据段、代码段

图示以32位计算机为例，其中数据段包含全局变量和静态变量，分为初始化数据段（存放已初始化全局变量和静态变量，在程序启动时会被分配内存，有明确初始值）和BSS段（存放未初始化全局变量和静态变量，在程序启动时会被分配内存，但是没有明确初始值，通常会被初始化为0）。（少数文献将数据段单独指为已初始化的数据部分，而将BSS段单独列出）

（其中内核态用户态、共享区的内容后续会逐步讲解）

以上图片用于加深理解，只需清楚这里的地址空间是虚拟地址即可

2.代码举例

#include<stdio.h>

int main(){
        char* str = "abcdef";
        int i = 100;
        char arr[] = "zxcvb";
        printf("str = %p\n&i = %p\narr = %p\n", str, &i, arr);
        return 0;
}

 

以上打印出的地址均为虚拟地址！

3.编译

源代码被编译时，按照虚拟地址空间的方式对代码和数据进行编址；虚拟地址不仅影响OS，还会让编译器遵循这样的规则！

物理地址

即内存（RAM）上的某个区域的地址。具体到硬件，通过物理地址就能知道是内存条的具体哪个区域。一定会分多级，通过一级一级层层确定，最终精确到某个最小存储单元

页表

如图，在Linux中用mm_struct结构体管理进程虚拟地址空间，可以清楚的看到虚拟地址和物理内存间存在页表映射。其中MMU是内存管理单元，执行查表的工作。这张图不仅体现了映射关系，也解释了我之前的博客“进程(一)”中提到的写时拷贝，解释了父子进程中同一个虚拟地址为什么会有不同的值（写时拷贝在物理内存中拷贝了一份新数据，并修改了映射关系！）

另外，我在页表右侧特别标出了绿色框，用来提示页表中权限的概念。页表不仅存储映射关系，还存储权限相关内容，以此拦截不合理的访问请求！

缺页中断

以C语言为例，在malloc申请了一片内存空间后，如果不使用，会产生浪费；如果稍后使用，“申请”到“使用”的间隔时间必定会产生资源浪费。因此OS被设置了一种策略：申请内存时，页表映射关系中只写一半（虚拟地址那一部分），而只有在真正要使用时，才完善映射关系中另一半的物理地址！你以为申请到的内存，实际上只是OS给你画的大饼！

程序执行流程（代码部分）

程序开始时，读取程序启动的代码的虚拟地址0x11111，然后通过页表获取该虚拟地址对应的物理地址。接着，从该物理地址中读取物理内存中的数据，该数据中包含指令，这些指令可能会包含新的地址或偏移量，从而得出下一条代码的虚拟地址0x22222。然后，通过虚拟地址0x22222，再次通过页表查找相应的物理地址，继续读取此虚拟地址对应的物理内存数据，并从中得到新的数据（最终得出新的虚拟地址0x33333）。这个过程可以一直持续下去，程序的代码就这样持续执行下去。

总结

以上的模型仅为了便于理解，实际上极为复杂。进程地址空间的意义在于：

1.防止地址随意访问，保护物理内存和其它进程

2.将进程管理和内存管理解耦

3.可以让进程以统一的视角，看待自己的代码和数据