图解内存分配算法 -- 内存池管理算法

爱出名的狗腿子

已于 2024-08-17 20:04:59 修改

阅读量529

点赞数 21

分类专栏： # 内存管理算法文章标签：算法内存池内存管理内存分配 rtos 单片机嵌入式

于 2024-08-17 20:03:04 首次发布

本文链接：https://blog.csdn.net/qq_43332314/article/details/141284644

版权

内存管理算法专栏收录该内容

2 篇文章 0 订阅

订阅专栏

图解内存分配算法 – 内存池管理算法

文章目录

图解内存分配算法 -- 内存池管理算法

1. 算法介绍

内存池算法也是内存分配算法中相对较为常见的一种，其根本思想是将一跨大内存分割成许多份大小相同的小内存块，各小内存块通过链表或列表链接在一起，操作时每次申请释放一块小内存块。

由于一个大内存块只支持一种大小类型的小内存块，通常在使用时为了满足设计需求，可以通过创建多个内存池的方式，每个内存池下分割的内存块大小不一样，从而实现不同大小的内存块分配方案。

此内存分配算法源码参考自： <rt-thread mempool>

2. 算法图解

2.1 约定

为了方便大家阅读，以及本博客编写，对以下名称进行约定，以下约定适用于本篇博文所有内容：

内存池：一大块连续的内存，其内可以拆分成多个小内存块
内存块：一小块连续的内存，很多块内存块构成一个内存池，可以理解为内存池内的一个子单元。（包含内存块头和有效内存空间）

2.2 数据结构

管理整个内存池有一个重要数据结构，但其存储位置不位于内存池中！而是在内存池外的其他内存区域（如系统堆），其数据结构体如下：

struct rt_mempool
{
    struct rt_object parent;                            /**< inherit from rt_object */

    void            *start_address;                     /**< memory pool start */
    rt_size_t        size;                              /**< size of memory pool */

    rt_size_t        block_size;                        /**< size of memory blocks */
    rt_uint8_t      *block_list;                        /**< memory blocks list */

    rt_size_t        block_total_count;                 /**< numbers of memory block */
    rt_size_t        block_free_count;                  /**< numbers of free memory block */

    rt_list_t        suspend_thread;                    /**< threads pended on this resource */
};

我们重点关注其中最为重要的以下几个参数即可：

start_address: 内存池起始地址
size: 内存池大小
block_size: 内存块的大小
block_list: 内存块列表，类似于链表，其上面挂载着所有空闲的内存块
block_total_count: 内存池中内存块的总个数
block_free_count: 内存池中空闲内存块的个数

在这里插入图片描述

2.3 初始化

在这里插入图片描述

内存池初始化，其主要是将一整块完整的内存，分割成大小相同的很多块内存块，每块内存块前配备由一个头部；当然另外一种处理办法是根据需要的内存块数量以及每块内存块的大小，计算出整个内存池的大小，之后动态申请一块这么大的内存用于内存池管理。

每个内存块前面有一个内存块头，此内存块头为一个指针大小（32位mcu内为4字节），其内存储了下一个内存块的内存块头的地址。初始化的时候，内存池的各个内存块通过此内存块头进行单向链接，构成一个列表，第一个内存块的地址存储在内存池控制块的 block_list 字段内，而最后一个内存块的内存块头存储内容为 NULL 空，代表结束。

Pass: 注意此内存块头不会占用malloc申请的有效数据空间，而是在这块内存空间的前面！

2.4 第一次内存申请 malloc

在这里插入图片描述

对于内存池的内存申请的操作如下：

判断申请的内存大小是否小于等于一个内存块的有效内存大小，如果大于则申请失败
根据内存池控制块的 block_list 成员找到第一个内存块
修改内存池控制 block_list 成员的值，之前存放的是第一个空闲内存块的内存块头的地址，现在第一个内存块被分配出去了，因此需要修改其为第二个内存块的内存块头地址
修改此内存块的内存块头，此内存块头在没有分配出去之前，其存放的是下一个空闲内存块的内存块头地址，现在需要修改它为内存池控制块的地址，以方便后续对此内存进行回收