linux进程概念(4)-程序地址空间

程序地址空间

本质：是进程的虚拟地址空间，是操作系统为每个进程对于内存空间的虚拟描述。在linux下是mm_struct。
为什么会存在虚拟地址空间呢？那是因为，如果进程直接在内存当中存储数据，势必会造成空间的浪费。
好处：为进程描述连续的，完整的地址空间使用，经过页表映射之后可以实现数据在物理内存上的离散式存储，提高内存利用率，并且在页表中可以对内存访问进行安全控制。

虚拟地址与物理地址的映射

内存管理方式，有以下三种：
①分段式：对地址空间进行分段，便于编译器对于内存管理。
虚拟地址组成：段号+段内偏移； 段表：段号，物理段起始地址
②分页式：实现数据离散式存储，提高内存利用率。提高内存安全访问控制
虚拟地址组成：页号+页内偏移； 页表：页号，物理块起始地址
③段页式：先进行分段，每个段内进行分页
虚拟地址组成：段号+页号+页内偏移
分段式：

分页式：

段页式：

写时拷贝

先通过下面的一段小程序理解一下：


我们可以看到，两个val的值虽然不一样，但是地址一样。那是为什么呢？难道一个地址指向的同一个值居然还会不一样吗？实际上，这个地址就是我们上文说道的虚拟地址，它并不是真实的物理内存的地址。下面给个图来形象地理解一下。

那么，如果父进程不改变val的值呢？那它们的真实的物理内存的空间也是一样的，就如同下面的图画的一样。只有值改变的时候，它的真实的物理内存的地址才会发生改变。