每个进程看到得虚拟地址空间有大量准确定义的区(area)构成,每个区都有专门的功能。 从最低的地址看起:
代码段和数据段:对于所有进程,代码是从同一固定地址开始,紧接着的是和C全局变量相对应的数据区。代码段和数据段是直接按照可执行目标文件的内容初始化的。(.txt--存放的是二进制的机器指令码、.data--初始化的全局变量、初始化的静态变量)
bss段:存放的是未初始化的全局变量和未初始化的静态变量(全是0)。
堆:代码和数据区后紧随着的是运行时堆。作为调用malloc和free这样的C标准库函数,堆可以在运行时动态的扩展和收缩。堆是向高地址扩展的数据结构,是不连续的内存区域。首先操作系统有一个记录空闲内存地址的链表,当系统收到程序的申请时,会遍历该链表,寻找第一个空间大于所申请空间的堆结点,然后将该结点从空闲结点链表中删除,并将该结点的空间分配给程序;对于大多数系统,会在这块内存空间中的首地址处记录本次分配的大小,这样,代码中的delete语句才能正确的释放本内存空间。另外,由于找到的堆结点的大小不一定正好等于申请的大小,系统会自动的将多余的那部分重新放入空闲链表中。潜在问题:内存泄露、内存碎片、内存崩溃。
共享库:在地址空间的中间附近是一块用来存放像C标准库和数学库这样共享库的代码和数据的区域。(链接时加入)
栈:位于用户虚拟地址空间顶部的是用户栈,存放函数的参数值,局部变量的值等,编译器用它来实现函数调用。栈是向低地址扩展的数据结构,是一块连续的内存的区域。我们从函数返回时,栈就会收缩。(1MB到2MB)只要栈的剩余空间大于所申请空间,系统将为程序提供内存,否则将报异常提示栈溢出。
内核虚拟存储器:内核是操作系统总是驻留在存储器中的部分。地址空间顶部的四分之一部分是为内核预留的。不允许应用程序读写该区域内容或直接调用内核函数。