程序地址空间

关于环境变量的知识点：

1、环境变量具有全局属性，可以被子进程继承下去。

2、本地变量本质上是定义在bash内部，不会被子进程继承。

3、Linux中大部分命令都是通过子进程方式执行，但有部分不通过子进程，比如export(导出环境变量)，echo等它们是bash自己执行（调用自己的函数来完成特定的功能），这个叫内建命令。

1.验证地址空间

程序地址图解

 

   我在Linux下进行正文、初始化数据、未初始化数据等地址打印，从结果我们可以看出，正文的地址最小，然后是初始化数据、未初始化数据，堆地址、栈地址。堆地址到栈地址突然增大许多，这之间的地址空间大小即时共享区大小。

   从图中可以看出堆地址在不断增大，栈地址在不断减小。

 我们在c中定于的变量通常在栈上保存，那么先定义的一定地址比较高。

        上两图中，局部变量在栈中地址最高，高于全局变量，而静态变量并没有保存在栈中，它的地址在初始化的全局变量之后，在未初始化的全局变量之前，所以这个静态变量其实在函数内的全局变量。

         所以static变量本质上是编译器会把该变量编译进全局变量数据区。

2.感知地址空间

         上图中，在val修改之前，父子进程中val的值和地址是一样的，但在val被修改后，父进程和子进程的val的值不同，但地址空间却一样，这说明这个地址肯定不是物理地址，而是虚拟地址。

         在全局变量在被修改之前，父子进程共享该数据。

3.为什么地址一样但值不同

        所谓地址空间是OS通过软件的方式，给进程提供了一个软件视角，认为自己会独占系统的所有资源。

        将mm_struct分为多个区域，每个区域就是正文、初始化数据、未初始化数据等虚拟地址，每个虚拟地址都有与之对应的物理地址，这个表就是页表，通过页表可以将虚拟地址转化为物理地址，从而实现堆物理内存的读写。

 当val的值被改变之前，父子进程中两个val的虚拟地址对应页表中的物理地址相同。

 当val的值被改变后，子进程中val的虚拟地址对应页表中的物理地址发生变化，指向另一个物理地址，但虚拟地址没有变化，页表中左侧的虚拟地址不变，右侧的物理地址发生改变，与此同时发生 了写时拷贝，将val拷贝。