C程序的存储空间布局
历史沿袭至今,C程序一直由下列几部分组成:
1. 正文段。这是由CPU执行的机器指令部分。通常,正文段是可共享的,所以即使是频繁执行的程序(编辑器,编译器,命令解释器)在存储器中也只需一个副本,另外正文段常常是只读的,以防止程序由于意外而修改
其指令。
2. 初始化数据段。通常将此段称为数据段,它包含了程序中需要明确地赋初值的变量。例如,C程序中任何函数之外的声明:int maxcount = 99;
3. 未初始化数据段。通常将此段称为bss段,这一名称来源于早期汇编程序一个操作符,意思是“由符号开始的块”,在程序开始执行之前,内核将此段中的数据初始化为0或空指针。函数外的声明:long sum[100];使此
变量存放在非初始化数据段中。
4. 栈。自动变量以及每次函数调用时所需保存的信息都存放在此段中。每次函数调用时,其返回地址以及调用者的环境信息(如某些机器寄存器的值)都存放在栈中。然后,最近被调用的函数在栈上为其自动和临时变量
分配存储空间。通过以这种方式使用栈,C递归函数可以工作。递归函数每次调用自身时,就用一个新的栈帧,因此一次函数调用实例中的变量集不会影响另一次函数调用实例中的变量。
5. 堆。通常在堆中进行动态存储分配。由于历史上形成的惯例,堆位于未初始化数据段和栈之间。
a.out中还有若干其他类型的段,如包含符号表的段、包含调试信息的段以及包含动态库链接表的段等。这些部分并不装载到进程执行的程序映像中。
栈从高地址向低地址方向增长,堆顶和栈顶之间未用的虚地址空间很大。