一个目标程序在逻辑地址空间的运行时刻包含数据区(静态区、堆区、栈区)和代码区,字节是内存的最小编址单元,多字节数据总是存储在一段连续的字节中,并把第一个字节作为它的地址。
数据对象的存储布局受目标机的寻址约束的影响很大。在很多机器中,执行整数加法的指令可能要求整数是对齐的,也就是说这些数必须放在一个能够被4整除的地址上。由于对齐的原因而产生的闲置空间称为补白。如果空间紧张,编译器可能会压缩数据已消除补白。
编译器可以将可执行目标代码放在一个静态确定的区域:代码区。这个区域通常位于存储的低端。全局变量和编译器产生的数据放在一个静态的区域:静态区。栈和堆被放在剩余地址空间的相对两端,栈区用来存放称为活动记录的数据结构,这些数据结构在函数调用是生成。堆区用来在程序运行时动态分配(malloc)。在实际中,栈向较低地址方向增长,而堆向较高地址方向增长。
栈式存储:一个过程中的局部名字在栈中分配空间。
堆存储:有些数据的生命周期要比创造它的某次过程调用要长,这些数据通常被分配在一个可复用存储的“堆”中。