程序中在栈中保存的数据会随着函数的退出而被清理,只能用于保存局部变量。对于生存期大于局部变量的数据存储通常保存在堆中,堆拥有远比栈更多的可用空间。对于堆的分配和管理,内核使用堆管理器完成,对管理器相当于从系统的内存管理器中批发一块大的内存,然后零售给应用程序使用。这样就不需要频繁的提交和释放物理内存,也可以在程序中直接提交和管理内存,故windows系统主要提供三级内存分配体系灵活管理和使用内存
以c++语言的对空间申请为例说明多级内存分配体系,应用程序中相当于new操作,实际上会调用crt中的malloc,而malloc去在win32平台上调用的win32堆的分配函数HeapAlloc,但是对于释放内存而言通常被优化为直接使用jump指令直接跳转到函数HeapFree函数去释放内存,通常而言这部分内存并不会真的立即归还给系统,而回在释放超过4k,而空闲的内存大于64k的时候才会对内存做一次取消提交的操作。
系统会在进程创建时同时也创建进程的默认堆,而在退出时会销毁进程的默认堆。而堆管理器使用如下结构管理堆和堆块:
HEAP和HEAP_SEGMENT结构起始处都有一个8字节的HEAP_ENTRY结构,HEAP结构内包含一个64元素的HEAP_SEGMENT数组,里面记录了各个HEAP_SEGMENT的信息,对于0号段,首先是一个HEAP结构,在这个之后是该段的HEAP_SEGMENT,其余段则最开始便是HEAP_SEGMENT。
对管理器对于调试的支持:
相对于其他的调试支持都具有滞后性,不能立即找到溢出的地方,而页堆在牺牲大量的性能和内存(为每个对象加入栅栏页)的情况下可以立即找到溢出的地方。
而通常情况下我们的编程语言采用CRT堆的方式分配和管理内存,并提供一定的调试支持:
_heap_alloc_base中进行以下动作:
故CRT堆内对调试提供的支持有:1.分配序号断点。2.分配挂钩。3.手动和自动检查
windows系统还提供讲堆块内容输出到文件或者转储文件的接口,以检查堆状态和内存泄漏的情况。