[嵌入式]RT-Thread记录（八、理解 RT-Thread 内存管理）

RT-Thread内核的我们已经基本都学习过了，除了基本的线程操作和通信，
内核部分还有内存管理和中断处理，本文主要就来说说内存管理相关问题。

前言

记得最初学习 RT-Thread ，对于内存管理我也是简单看看然后一笔带过，当时觉得用不上，在我做的一些传感器单品项目上，对于内存管理确实知道与不知道没什么关系，但是随着认知的增长，项目复杂程度增加，发现内存管理还不可或缺，于是今时今日正好再次来更新 RT-Thread记录，有必要好好的说一说。

RT-Thread 有2种内存管理方式，分别是动态内存堆管理和静态内存池管理。

先不管这两种方式是怎么实现的，首先要明白一个问题，为什么要内存管理？

一、为什么要内存管理

什么是内存管理？为什么需要内存管理？

在我们的程序设计中，一些数据需要的内存大小需要在程序运行过程中根据实际情况确定，在用户需要一段内存空间时，向系统申请，系统选择一段合适的内存空间分配给用户，用户使用完毕后，再释放回系统，以便系统将该段内存空间回收再利用。

这样子不断的申请释放，如果没有内存管理，就会导致内存碎片，对程序产生极大的影响。

具体的原因我在下面博文有详细说明：

浅谈 malloc 函数在单片机上的应用

如果看完上面的博文，就应该知道了内存管理的重要性。

我们确实直接在函数或者线程里面创建临时变量使用 线程栈 或 者系统栈处理临时变量，但是正如上面博文里面所说的，作为一个通用的操作系统，都会且必须得有自己的合理的内存管理方式。
这个在我们现在说明的 RT-Thread 操作系统上是内核已经实现好的，我们得了解它。

知道了为什么，那么接下来我们就来了解一下 RT-Thread 的这2种内存管理方式。

二、RT-Thread 内存堆管理

现在看看内存堆管理， 所谓堆，看过我博文的朋友应该已经很熟悉了，对于裸机中的堆的位置，大小设定都应该会有一个详细的认知，如果还不知道堆，可以查看下面这篇博文一步到位的理解：

STM32的内存管理相关（内存架构，内存管理，map文件分析）

上文虽然是以STM32为例子说明，但是对于 C/C++ 程序编译后的存储数据段 在不同芯片上的顺序基本都是一样的，于是乎在我的又一篇博文中

嵌入式RTOS的 任务栈 和 系统栈

就得到了一张内存分配的示意图：

2.1 RT-Thread 内存分配

要理解 RT-Thread 内存堆管理，首先得知道它管理的是哪一块内存，所以得知道 RT-Thread 内存分配。

其实细心的朋友会发现，我在博文

RT-Thread记录（二、RT-Thread内核启动流程 — 启动文件和源码分析）

中提到过 RT-Thread 内存分配情况，在其中的 2.2.2 RT-Thread 堆和栈空间说明（与FreeRTOS不同）有过说明：

通过上面的分析，我们可以得到 RT-Thread 下的内存分配的示意图：

通过上面我们自己的分析，再结合官方说明文档的说明，我们应该能完全明白了什么是 RT-Thread 的内存堆：

至此，我们可以确实的明白，RT-Thread 内存管理管理的是哪一部分的内存了。

2.2 RT-Thread内存堆管理方式

那么RT-Thread 对于内存堆，是如何管理的呢？

说明：对于这部分，我个人记录是以知道为主，毕竟我们专栏以应用为主，我们了解会用即可，如果以后确实自己会需要自己写内存管理，肯定会单独更新一篇博文。
我们先前的基础介绍直接使用官网说明，本节后部分会说明下程序中是怎么选择使用的。

2.2.1 内存堆管理的3种方式

RT-Thread 内存堆管理又根据具体内存设备划分为三种情况：

• 针对小内存块的分配管理（小内存管理算法）
• 针对大内存块的分配管理（slab 管理算法）
• 针对多内存堆的分配情况（memheap 管理算法）

这里套用官方的介绍做个简单说明（如果需要深入了解可以去官网查看）:

2.2.2 管理方式的程序配置

我们上面 简单介绍了RT-Thread 内存堆管理的3种方式，虽然我们没有详细分析内部是如何实现，那么我们也得了解在 RT-Thread 工程中，是怎么配置使用哪一种管理方式，同时了解这些方式的实现在程序什么文件中。

在工程的rtconfig.h中有关于内存管理方式的配置：

上图是使用小内存堆管理算法。

如果是使用 slab 管理算法，需要宏定义如下：

#define RT_USING_SLAB
#define RT_USING_HEAP

如果是使用 memheap 管理算法，需要宏定义如下：

#define RT_USING_MEMHEAP_AS_HEAP

具体的实现文件是在工程 mem.c 文件中，如下图：

RT-Thread 内存管理详细的实现方式可以自行查看该文件，这里就不过多介绍。

2.3 内存堆 API 函数

对于 RT-Thread 内存堆管理，是有自己的 malloc 函数，不能直接用 c 语言库中原始的malloc 函数。

其 三种管理算法提供的 API 都是相同的。

初始化：

首先是初始化函数：

/*小内存堆和slab 管理算法*/
void rt_system_heap_init(void* begin_addr, void* end_addr);

/*memheap 管理算法*/
rt_err_t rt_memheap_init(struct rt_memheap  *memheap,
                        const char  *name,
                        void        *start_addr,
                        rt_uint32_t size)

我在《RT-Thread记录（二、RT-Thread内核启动流程 — 启动文件和源码分析）》板级硬件初始化 — rt_hw_board_init 小结中提到过 这个函数，：

RT-Thread内存堆初始化函数是在系统启动时候初始化的，而不是我们用户在main函数中再初始化的。

内存管理操作函数：

简单记录一下:

/*
分配内存块
参数：
nbytes 	需要分配的内存块的大小，单位为字节
返回 	——
分配的内存块地址 	成功
RT_NULL 	失败
*/
void *rt_malloc(rt_size_t nbytes);
/*
释放内存块
参数：
ptr 	待释放的内存块指针
*/
void rt_free (void *ptr);
/*
重分配内存块
参数 	描述
rmem 	指向已分配的内存块
newsize 	重新分配的内存大小
返回 	——
重新分配的内存块地址 	成功
*/
void *rt_realloc(void *rmem, rt_size_t newsize);
/*
分配多内存块
参数 	描述
count 	内存块数量
size 	内存块容量
返回 	——
指向第一个内存块地址的指针 	成功 ，并且所有分配的内存块都被初始化成零。
RT_NULL 	分配失败
*/
void *rt_calloc(rt_size_t count, rt_size_t size);

/*
设置内存钩子函数
参数 	描述
hook 	钩子函数指针
*/
void rt_malloc_sethook(void (*hook)(void *ptr, rt_size_t size));
/*
上面函数的hook 函数接口
参数 	描述
ptr 	分配到的内存块指针
size 	分配到的内存块的大小
*/
void hook(void *ptr, rt_size_t size)；

/*
释放内存钩子函数
参数 	描述
hook 	钩子函数指针
*/
void rt_free_sethook(void (*hook)(void *ptr));
/*
上面函数的hook 函数接口
参数 	描述
ptr 	待释放的内存块指针
*/
void hook(void *ptr);

释放内存块后要清空内存块指针，不然会成为野指针。

三、RT-Thread 内存池

RT-Thread 的第二种内存管理方式是 内存池，内存池是一种内存分配方式，用于分配大量大小相同的小内存块，它可以极大地加快内存分配与释放的速度，且能尽量避免内存碎片化。
他是为了提高内存分配的效率，并且避免内存碎片而产生的。

基本介绍套用官方说明：

内存池属于 内核对象！！支持线程挂起功能。

内核对线什么意思？就是我们前面说到的，线程，IPC机制，这些东西都是内核对象，所以存在 内存池 控制块。

有一个点要注意，内存池申请的内存块大小固定！

3.1 内存池的位置

内存池也是内存管理，那么他创建的之后在内存的什么位置呢？

首先明白内存池作为一个对象，其实可以认为是一个变量，那么他基本上就是属于.bss段的东西了，在RT-Thread 中，他的位置应该是在 .bss段的。

我们按照上面的内存分配的示意图说明一下内存池申请的内存位置：

为了验证一下是否如此，可以初始化一个内存池，编译后查看一下.map文件：

内存池属于.bss段的数据，只不过他一般来说都是申请的相对比较大的一块内存空间，然后在这个大空间内自己有自己的分配管理方式。

3.2 内存池程序配置和控制块

内存池程序配置：

RT-Thread 的内存池在程序中的配置和实现文件如下图：

内存池控制块：（因为是内对象，所以还是熟悉的配方，熟悉的味道~ ~）

struct rt_mempool
{
    struct rt_object parent;

    void        *start_address;  /* 内存池数据区域开始地址 */
    rt_size_t     size;           /* 内存池数据区域大小 */

    rt_size_t     block_size;    /* 内存块大小  */
    rt_uint8_t    *block_list;   /* 内存块列表  */

    /* 内存池数据区域中能够容纳的最大内存块数  */
    rt_size_t     block_total_count;
    /* 内存池中空闲的内存块数  */
    rt_size_t     block_free_count;
    /* 因为内存块不可用而挂起的线程列表 */
    rt_list_t     suspend_thread;
    /* 因为内存块不可用而挂起的线程数 */
    rt_size_t     suspend_thread_count;
};
typedef struct rt_mempool* rt_mp_t;

内存池具体管理方法的实现可以自己查看下源码，这里暂时不做深入研究。

3.3 内存池操作 API 函数

内存池作为内核对象，那么他的操作就和以前那些IPC机制，线程一样的方式，分为动态创建，静态初始化这些。

并不需要在 板级初始化的时候就初始化。用户可以自己选择用于不用。

简单记录说明一下内存池操作函数：

/*
创建内存池
参数 	描述
name 	内存池名
block_count 	内存块数量
block_size 	内存块容量
返回 	——
内存池的句柄 	创建内存池对象成功
RT_NULL 	创建失败
*/
rt_mp_t rt_mp_create(const char* name,
                         rt_size_t block_count,
                         rt_size_t block_size);
/*
删除内存池
参数 	描述
mp 	rt_mp_create 返回的内存池对象句柄
返回 	——
RT_EOK 	删除成功
*/
rt_err_t rt_mp_delete(rt_mp_t mp);
/*
初始化内存池
参数 	描述
mp 	内存池对象
name 	内存池名
start 	内存池的起始位置
size 	内存池数据区域大小
block_size 	内存块容量
返回 	——
RT_EOK 	初始化成功
- RT_ERROR 	失败
*/
rt_err_t rt_mp_init(rt_mp_t mp,
                        const char* name,
                        void *start, rt_size_t size,
                        rt_size_t block_size);
/*
脱离内存池
参数 	描述
mp 	内存池对象
返回 	——
RT_EOK 	成功
*/
rt_err_t rt_mp_detach(rt_mp_t mp);
/*
分配内存块
参数 	描述
mp 	内存池对象
time 	超时时间
返回 	——
分配的内存块地址 	成功
RT_NULL 	失败
*/
void *rt_mp_alloc (rt_mp_t mp, rt_int32_t time);
/*
释放内存块
参数 	描述
block 	内存块指针
*/
void rt_mp_free (void *block);

结语

本文从为什么要内存管理说起，了解了 RT-Thread 的2种内存管理方式：内存堆 和 内存池。

相信不管你平时用不用动态内存申请，看了这篇文章以后也会对 RT-Thread 的内存管理有一定的了解，在以后需要用到动态内存分配的同时也不会手足无措！

但是特别注意，不管使用哪种方式，在申请的内存使用完之后都必须及时释放，而且要注意清空相应的指针！

但是本文的重点在于理解 为什么要内存管理，和 内存管理管理的是哪一块的内存，对于如何实现内存管理我们只是借用了官方的说明，还是没有深入的研究分析。这个需要等以后博主有机会自己写一套内存管理方式的时候，或许会单独开一篇博文深入分析。

谢谢！

创作挑战赛

新人创作奖励来咯，坚持创作打卡瓜分现金大奖