在采用段式内存管理方式进行程序内存分配的架构中,堆栈段用来存放
局部变量和函数返回地址。堆栈段是在程序运行时动态分配使用,只需要通过
栈顶指针即可访问。大多数
CPU中都有专用
寄存器可以被用来存放
栈顶地址。
理论上,最小的栈可能是一个仅能保存函数调用(function call)地址的结构,以致被调用的函数能根据该地址返回(return)到原函数里。除此功能以外,开发者也可以将栈另作他用。
基于栈的内存分配法的另一特点就是,当程序结束时,栈所用的内存能够自动快速地被回收,开发者不用干预,省心省力。如果栈顶的数据需要以某种格式被保存起来,那么在程序结束前,此数据必须被复制到其他位置,不然就会被弹出栈而丢失。因此,基于栈的内存分配法适用于那些只需暂时数据的保存情况。
代码段通常是指用来存放程序执行代码的一块内存区域。这部分区域的大小在程序运行前就已经确定,并且内存区域通常属于只读, 某些架构也允许代码段为可写,即允许程序自修改(self-modifying code)。 在代码段中,也有可能包含一些只读的常数变量,例如
字符串常量等。
操作系统在装载一个程序时会进行进程地址空间的分段,而代码段通常处于最底部,即最低地址部分,而堆和栈在高处,所以在允许代码段可写的架构上,当堆或栈内存溢出时,代码段中的数据就会开始被覆盖。