栈上的数据在函数返回后会被释放掉,所以栈无法将数据传递到函数外部;而全局变量能传递到函数外面却无法动态产生,只能在编译时定义(某些是运行时定义),缺乏表现力。
大家都知道申请一个堆空间,用的就是malloc函数,那么是如何实现的呢?
如果每次申请堆空间用系统调用,那么对性能的开销很大。所以应提前向操作系统申请一块适当大小的堆空间由程序自己管理(即程序的运行库)。
即运行库向操作系统申批发了较大的堆空间,零售给程序使用,若是空间仍然不够,则继续向操作系统进货。当然,一次货物不能卖两次,所以有堆的分配算法。
在Linux进程中提供了两种堆空间的分配方式(即两个系统调用):
1.bar()函数:实际的作用是设置进程数据段的结束地址,这样它可以扩大和缩小数据。数据段多出来的空间就可以使用为堆空间。glibc中有个sbrk函数,其实就是bar的包装
2.mmap():即向操作系统申请一块虚拟地址空间,这块空间可以映射到某个文件,若不映射到文件,则称这块空间为匿名空间。
当然,申请空间时是不可能两个调用函数一起作用的。
实际上malloc对于小于128kb的请求,会在现有的堆空间根据堆空间分配算法来分配。若大于128KB则会使用mmap函数来分配一个匿名空间。注意,mmap是基于系统虚拟空间来申请的,申请空间的起始地址和大小必须是系统页的整数倍。