堆栈区别变量布局

 

        每个进程看到得虚拟地址空间有大量准确定义的区（area）构成，每个区都有专门的功能。 从最低的地址看起：

        代码段和数据段：对于所有进程，代码是从同一固定地址开始，紧接着的是和C全局变量相对应的数据区。代码段和数据段是直接按照可执行目标文件的内容初始化的。（.txt--存放的是二进制的机器指令码、.data--初始化的全局变量、初始化的静态变量）

        bss段：存放的是未初始化的全局变量和未初始化的静态变量（全是0）。

        堆：代码和数据区后紧随着的是运行时堆。作为调用malloc和free这样的C标准库函数，堆可以在运行时动态的扩展和收缩。堆是向高地址扩展的数据结构，是不连续的内存区域。首先操作系统有一个记录空闲内存地址的链表，当系统收到程序的申请时，会遍历该链表，寻找第一个空间大于所申请空间的堆结点，然后将该结点从空闲结点链表中删除，并将该结点的空间分配给程序；对于大多数系统，会在这块内存空间中的首地址处记录本次分配的大小，这样，代码中的delete语句才能正确的释放本内存空间。另外，由于找到的堆结点的大小不一定正好等于申请的大小，系统会自动的将多余的那部分重新放入空闲链表中。潜在问题：内存泄露、内存碎片、内存崩溃。

        共享库：在地址空间的中间附近是一块用来存放像C标准库和数学库这样共享库的代码和数据的区域。（链接时加入）

        栈：位于用户虚拟地址空间顶部的是用户栈，存放函数的参数值，局部变量的值等，编译器用它来实现函数调用。栈是向低地址扩展的数据结构，是一块连续的内存的区域。我们从函数返回时，栈就会收缩。（1MB到2MB）只要栈的剩余空间大于所申请空间，系统将为程序提供内存，否则将报异常提示栈溢出。

        内核虚拟存储器：内核是操作系统总是驻留在存储器中的部分。地址空间顶部的四分之一部分是为内核预留的。不允许应用程序读写该区域内容或直接调用内核函数。