动态内存分配（malloc/free）简单实现--隐式空闲链表

最新推荐文章于 2024-11-12 15:41:25 发布

WalkingInTheWind

最新推荐文章于 2024-11-12 15:41:25 发布

阅读量1.3w

点赞数 8

分类专栏： c/c++ 文章标签：内存分配内存管理 malloc

本文链接：https://blog.csdn.net/luckyxiaoqiang/article/details/8669602

版权

本文介绍了一种使用隐式空闲链表简单实现动态内存分配的方法，涉及空闲块组织、放置、分割和合并策略，并讨论了其优缺点。通过在每个块的头部存储信息来定位下一个块，当分配或释放内存时，只需更新控制信息。在内存分配请求无法找到合适大小的空闲块时，会尝试合并空闲块。

摘要由CSDN通过智能技术生成

本文使用隐式空闲链表实现简单的动态内存分配。

动态内存分配器维护一个大块区域，也就是堆，处理动态的内存分配请求。分配器将堆视为一组不同大小的块的集合来维护，每个块要么是已分配的，要么是空闲的。

实现动态内存分配要考虑以下问题：

（1）空闲块组织：我们如何记录空闲块？

（2）放置：我们如何选择一个合适的空闲块来放置一个新分配的块？

（3）分割：在我们将一个新分配的块放置到某个空闲块之后，我们如何处理这个空闲块中的剩余部分？

（4）合并：我们如何处理一个刚刚被释放的块？

任何分配器都需要一些开销，需要数据结构来记录信息，区分块边界，区分已分配块和空闲块等。大多数实现方式都把信息放在块本身内部。隐式空闲链表就是通过每个块的头部中存放的信息可以方便的定位到下一个块的位置。头部一般就是本块的大小及使用情况（分配或空闲）。

本块的起始地址加上本块的大小就是下一个块的起始地址。

本文使用的控制块结构如下：

struct mem_block
{
	int size;     // 本块的大小，包括控制结构
	int is_free;  // 使用情况，1为空闲，0为已分配
}

为了内存对齐，这里is_free也是用4字节的int存储。其实控制信息根本不需要这么多，此处为了方便理解。

下面是一个块的表示图