对malloc和free的思考

为什么80%的码农都做不了架构师？>>>

进程的内存布局：

Heap的顶端的限制叫做program break，通过系统调用brk活着sbrk可以想内核申请内存从而改变break，也就是增加或收缩heap的大小。

进程的地址空间所面对的都是虚拟地址，kernel为每个进程维护一个page table，建立了虚拟地址空间的页和物理内存页或swap空间的映射（虚拟内存或物理内存都是以页为单位）。

很重要的一个特点是，虚拟地址空间是连续的！

虚拟内存管理有很多好处：1、进程相互之间或进程与内核之间相互隔离，进程不能操作其他进程的内存空间，更不能操作内核的空间。2、多个进程可以共享内存。（多个进程执行相同的程序，也就是多个进程的text segment所对应的物理内存是同一份），节约内存。3、进程维护的页表可以更容易的实现内存保护。（标记page table的entry即可）

虚拟内存这块让我想到了，“软件的很多问题都可以靠加一个中间层解决”；o(∩_∩)o 哈哈

下面是一个简单的malloc和free实现，通过系统调用sbrk来实现：

实现细节：

1、在需要的内存块前面追加一小块空间，来存储当前块的大小（貌似都这样）

2、维护两个全局变量，managed_memory_start、所维护内存的起始地址

last_valid_address、所维护内存的最后有效地址，也就是program break

3、free的实现很简单，标记此块为未用

4、malloc实现，遍历所维护的内存块，找到合适的就返回，找不到就要求系统分配所要求大小的内存。

参考这篇文章： http://www.ibm.com/developerworks/cn/linux/l-memory/index.html

这个简单的内存管理程序有很多缺点：

1、每一次内存不够时，都要调用sbrk系统调用。sbrk系统调用的单位通常是页大小的很多倍（页典型为4K，sbrk调用最小典型为128K，数据来自于tlpi），这样会有效减少系统调用的次数。

2、malloc中的内存大小匹配算法，找到size>=required的块，会有很多浪费（glibc的实现，则会把大块分裂，返回用户需要的，剩余的放到free list中）。

3、malloc的块查找算法，是遍历整个进程空间，效率太低（glibc是双向链表）。

4、mem_control_block的结构中变量is_available只有一位，确是个int类型，占用空间过多（glibc中只有一个size记录块大小，free块时在块中分配两个指针插入到free list双向链表中）。

5、申请的内存并不会返回给内核（glibc在某种情况下，释放的内存在heap的顶端形成一大片连续的区域，并且大小达到一定的数值（比如128K，数据来自tlpi），尽量减少sbrk系统调用的次数）。

前面，后面最重要的文字总结，都是我自己写的，哈哈～～～

转载于:https://my.oschina.net/astute/blog/91983

对malloc和free的思考相关推荐

malloc/free函数的简单实现及思考
用于内存管理的malloc/free这对函数,对于使用C语言的程序员应该很熟悉.前段时间听说有的IT公司以"实现一个简单功能的malloc"作为面试题,正好最近在复习K&R ...
malloc为什么会报错：memory corruption
最近遇到一个问题,很有意思,在此记录下,以备后续参考. 程序运行异常,报错:malloc: memory corruption. 用gdb 调试程序,bt 如下,程序在申请344 bytes内存时失败 ...
nginx内存占用高---内存池使用思考
nginx内存占用高-内存池使用思考问题现象 nginx top 进程虚拟内存 200G 实际内存5G 和 CDN 平台相比要高很多排查思路使用pmap -p 进程号,发现从系统角度确实有分 ...
malloc/new函数及malloc()的一种简单原理性实现
malloc函数 void *malloc(int size); 说明:malloc 向系统申请分配指定size个字节的内存空间.返回类型是 void* 类型.void* 表示未确定类型的指针.C,C ...
go二维map_mirrorlang——从0设计二维内存寻址语言及vm（五.内存管理的思考）
目录鹏鹏李李:mirrorlang--从0设计二维内存寻址语言及vm [目录]zhuanlan.zhihu.com 由一段函数开始思考内存布局 func longestPalindrome(s s ...
基于malloc与free函数的实现代码及分析
用于内存管理的malloc与free这对函数,对于使用C语言的程序员应该很熟悉.前段时间听说有的IT公司以"实现一个简单功能的malloc"作为面试题,正好最近在复习K&R ...
malloc()之后free报错的原因[详细解析]
前言今天闲着没事去敲一些简单的编程题来复习复习,结果在用free()函数的时候报错了. 由此引发了我的思考. 题目如下: 输入一串字符,以"?"结束.统计其中字母个数,数字个数, ...
编程思考：对象生命周期的问题
前情提要只要写过 c/c++ 的项目的童鞋应该对对象生命周期的问题记忆犹新.怕有人还不理解这个问题,笔者先介绍下什么是生命周期的问题? 一个 struct 结构体生命周期分为三个步骤: 出生:mal ...
c malloc 头文件_C/C++笔试题：主要考察C/C++语言基础概念算法及编程，附参考答案...
1.编写my_strcpy函数,实现与库函数strcpy类似的功能,不能使用任何库函数: 答:char *strcpy(char *strDest, const char *strSrc) { if ...

对malloc和free的思考

对malloc和free的思考相关推荐

最新文章

热门文章