malloc内存分配与free内存释放的原理
2013-12-03 22:34
274 查看
前段时间一直想看malloc的原理,在搜了好几篇malloc源码后遂放弃,晦涩难懂。
后来室友买了本深入理解计算机系统的书,原来上面有讲malloc的原理,遂看了,先明白理论,在看代码就理解比较快了= =
1.问题的引入:
为什么要使用malloc,主要是因为在代码中,为了节约内存,很多数据都是动态生成的,所以会用malloc,对应于C++中的new,底层还是调用malloc.
2.碎片的问题:
会有内部碎片与外部碎片的问题,内部碎片难以消除(因为字对齐之类的问题),而外部碎片是可以消除的(如果不消除的话,外部的内存块越来越小,虽然数量多了,但是利用率会急剧下降!)
3.需要解决的问题:
4.隐式的空闲链表:
一个简单的堆块,这里只有头部,下面为了优化,还会使用尾部。
隐式的空闲链表:
这样就把用链表的方法把堆空间给联系起来了。特点明显,实现简单,但分配时查询空堆块是线性时间的。
5.放置以分配的块:
1)、首次适配:从链表开始寻找适合的空堆块,直到找到为止
2)、下一次适配:从上一次的分配点开始找,直到找到适合的空堆块为止
3)、最佳适配:查询整个链表,找到最合适(浪费最小)的空堆块
6.分割空闲块:
当前的分配的空堆块比所需要的空间大很多的时候,如果不分割,就会照成内部碎片过大,利用率下降。
当需要3个字节的空间时,首次适配找到了满足条件的第二个堆块,但堆块过大,所以分割成两个16字节的堆块。
7.获取额外的堆存储器:
当链表中不能满足申请要求的堆块空间的时候,1)通过合并相邻的堆块空间,形成单个尽量大的堆块空间 2)实在没有其他办法了,分配器通过sbrk函数向内核申请格外的堆空间,分配器将堆空间插入到链表中,然后提供给申请空间的块。
8.合并
如果,在如上的情况下,合并两个块,由于当前块不知道上一个块的情况,它要通过遍历整个链表才能知道上一个堆块的空间是否为空,这样将花费线性的时间来合并与当前相邻的空闲堆块。有个类似双向链表的方法(不过不是真正的双向链表,只是可以加一个信息量,直接就可以知道上一个堆块的情况)
上一个堆块的情况就容易知道了,下面有四种情况:
这样,堆块合并的问题就解决了。
参考:深入理解计算机系统
后来室友买了本深入理解计算机系统的书,原来上面有讲malloc的原理,遂看了,先明白理论,在看代码就理解比较快了= =
1.问题的引入:
为什么要使用malloc,主要是因为在代码中,为了节约内存,很多数据都是动态生成的,所以会用malloc,对应于C++中的new,底层还是调用malloc.
2.碎片的问题:
会有内部碎片与外部碎片的问题,内部碎片难以消除(因为字对齐之类的问题),而外部碎片是可以消除的(如果不消除的话,外部的内存块越来越小,虽然数量多了,但是利用率会急剧下降!)
3.需要解决的问题:
4.隐式的空闲链表:
一个简单的堆块,这里只有头部,下面为了优化,还会使用尾部。
隐式的空闲链表:
这样就把用链表的方法把堆空间给联系起来了。特点明显,实现简单,但分配时查询空堆块是线性时间的。
5.放置以分配的块:
1)、首次适配:从链表开始寻找适合的空堆块,直到找到为止
2)、下一次适配:从上一次的分配点开始找,直到找到适合的空堆块为止
3)、最佳适配:查询整个链表,找到最合适(浪费最小)的空堆块
6.分割空闲块:
当前的分配的空堆块比所需要的空间大很多的时候,如果不分割,就会照成内部碎片过大,利用率下降。
当需要3个字节的空间时,首次适配找到了满足条件的第二个堆块,但堆块过大,所以分割成两个16字节的堆块。
7.获取额外的堆存储器:
当链表中不能满足申请要求的堆块空间的时候,1)通过合并相邻的堆块空间,形成单个尽量大的堆块空间 2)实在没有其他办法了,分配器通过sbrk函数向内核申请格外的堆空间,分配器将堆空间插入到链表中,然后提供给申请空间的块。
8.合并
如果,在如上的情况下,合并两个块,由于当前块不知道上一个块的情况,它要通过遍历整个链表才能知道上一个堆块的空间是否为空,这样将花费线性的时间来合并与当前相邻的空闲堆块。有个类似双向链表的方法(不过不是真正的双向链表,只是可以加一个信息量,直接就可以知道上一个堆块的情况)
上一个堆块的情况就容易知道了,下面有四种情况:
这样,堆块合并的问题就解决了。
参考:深入理解计算机系统
相关文章推荐
- 【转载】malloc内存分配与free内存释放的原理
- malloc内存分配与free内存释放的原理
- 内存分配—malloc()和free()
- 频繁分配释放内存导致的性能问题的分析 --(附)malloc分配原理浅析 mmap关注焦点 如何优化分配内存
- 【malloc原理】 内存分配函数malloc的原理
- malloc/free与 new/delete 内存的分配方式 多态类中的虚函数表 全局变量和局部变量
- linux环境内存分配原理 mallocinfo
- C语言之内存分配与释放:malloc, calloc, realloc & free
- 【Linux应用开发】malloc内存分配原理
- malloc分配原理浅析 mmap关注焦点 如何优化分配内存
- c中内存分配与释放(malloc,realloc,calloc,free)函数内容的整理
- MTK 中内存的分配 OslMalloc 和 OslMfree
- C语言中多维数组的内存分配和释放(malloc与free)(转)
- C/C++ 内存分配方式,堆区,栈区,new/delete/malloc/free
- C/C++ 内存分配:malloc/calloc/realloc/free和new/delete
- C/C++ 内存分配方式,堆区,栈区,new/delete/malloc/free
- FFmpeg函数简单分析:内存的分配和释放(av_malloc()、av_free()等)
- linux环境内存分配原理 mallocinfo
- malloc的内存分配原理
- linux环境内存分配原理 mallocinfo【转】