c语言内存块设置函数 c语言实现内存管理器( 二 )


DOS下的malloc原理就是调用申请内存的中断申请内存并记录内存状态以便将来释放 。
UNIX和Linux都有内存管理的系统调用 , malloc相当于给这些系统调用穿了一件
malloc()工作机制
malloc函数的实质体现在,它有一个将可用的内存块连接为一个长长的列表的所谓空闲链表 。调用malloc函数时,它沿连接表寻找一个大到足以满足用户请求所需要的内存块 。然后 , 将该内存块一分为二(一块的大小与用户请求的大小相等,另一块的大小就是剩下的字节) 。接下来 , 将分配给用户的那块内存传给用户,并将剩下的那块(如果有的话)返回到连接表上 。调用free函数时 , 它将用户释放的内存块连接到空闲链上 。到最后,空闲链会被切成很多的小内存片段,如果这时用户申请一个大的内存片段,那么空闲链上可能没有可以满足用户要求的片段了 。于是,malloc函数请求延时,并开始在空闲链上翻箱倒柜地检查各内存片段,对它们进行整理 , 将相邻的小空闲块合并成较大的内存块 。
malloc()在操作系统中的实现
在 C 程序中 , 多次使用malloc () 和 free() 。不过,您可能没有用一些时间去思考它们在您的操作系统中是如何实现的 。本节将向您展示 malloc 和 free 的一个最简化实现的代码,来帮助说明管理内存时都涉及到了哪些事情 。
在大部分操作系统中,内存分配由以下两个简单的函数来处理:
void *malloc (long numbytes):该函数负责分配 numbytes 大小的内存 , 并返回指向第一个字节的指针 。
void free(void *firstbyte):如果给定一个由先前的 malloc 返回的指针,那么该函数会将分配的空间归还给进程的“空闲空间” 。
malloc_init 将是初始化内存分配程序的函数 。它要完成以下三件事:将分配程序标识为已经初始化,找到系统中最后一个有效内存地址,然后建立起指向我们管理的内存的指针 。这三个变量都是全局变量:
//清单 1. 我们的简单分配程序的全局变量
int has_initialized = 0;
void *managed_memory_start;
void *last_valid_address;
如前所述 , 被映射的内存的边界(最后一个有效地址)常被称为系统中断点或者 当前中断点 。在很多 UNIX? 系统中,为了指出当前系统中断点 , 必须使用 sbrk(0) 函数 。sbrk 根据参数中给出的字节数移动当前系统中断点,然后返回新的系统中断点 。使用参数 0 只是返回当前中断点 。这里是我们的 malloc 初始化代码,它将找到当前中断点并初始化我们的变量:
清单 2. 分配程序初始化函数
#include
void malloc_init()
{
last_valid_address = sbrk(0);
managed_memory_start = last_valid_address;
has_initialized = 1;
}
现在,为了完全地管理内存,我们需要能够追踪要分配和回收哪些内存 。在对内存块进行了 free 调用之后,我们需要做的是诸如将它们标记为未被使用的等事情,并且,在调用 malloc 时 , 我们要能够定位未被使用的内存块 。因此 ,  malloc 返回的每块内存的起始处首先要有这个结构:
//清单 3. 内存控制块结构定义
struct mem_control_block {
int is_available;
int size;
};
现在,您可能会认为当程序调用 malloc 时这会引发问题 —— 它们如何知道这个结构?答案是它们不必知道;在返回指针之前 , 我们会将其移动到这个结构之后,把它隐藏起来 。这使得返回的指针指向没有用于任何其他用途的内存 。那样,从调用程序的角度来看,它们所得到的全部是空闲的、开放的内存 。然后 , 当通过 free() 将该指针传递回来时,我们只需要倒退几个内存字节就可以再次找到这个结构 。

推荐阅读