40、程序中的内存布局

先看一张示意图：不同代码在可执行程序中的对应关系

    程序和进程的不同：

     程序是 静态的 概念，表现形式为一个可执行文件
进程是 动态的 概念，程序由操作系统加载运行后得到进程
每个程序可以对应多个进程
每个进程只能对应一个程序

问题：包含脚本代码的文本文件是一种类型的可执行程序吗？如果是，对应什么样的进程呢？

脚本程序是一种可执行程序，但是它需要操作系统加载脚本解释程序来生成进程，然后进程对脚本文件进行读取并解释执行。

文件布局在内存中的映射：

    

各个段的作用：
堆栈段在程序运行后才正式存在，是程序运行的基础
.bss段存放的是未初始化的全局变量和静态变量
.text段存放的是程序中的可执行代码
.data段保存的是已经初始化了的全局变量和静态变量
.rodata段存放程序中的常量值，如字符串常量

静态存储区通常指程序中的.bss和.data段
只读存储区通常指的是程序中的.rodata段（const修饰的变量）
局部变量所占空间为栈上的空间
动态空间为堆上的空间
程序可执行代码存放在.text段

问题：同是全局变量和静态变量，为什么初始化和未初始化的保存在不同段中？

效率问题。
未初始化变量（.bss）的在加载时全部初始化为0，这样加载速度可以更快。初始化（.data）后的变量必须在加载时保证一一对应，且必须保存好，相对复杂一点。区分保存有利于程序加载。

小结：
程序源码在编译后对应可执行程序中的不同存储区
程序和进程不同，程序静态概念，进程是动态概念
堆栈段是程序运行的基础，只存在于进程空间中
程序可执行程序存放于.text段，是只读的
.bss（未初始化的）和.data（已经初始化的）段用于保存全局变量和静态变量