|
内存堆管理机制
RT-Thread 操作系统在内存管理上，根据上层应用及系统资源的不同，有针对性地提供了不同的内存分配管理算法。内存堆管理根据具体内存设备划分为三种情况：
针对小内存块的分配管理（小内存管理算法）； 针对大内存块的分配管理（slab 管理算法）； 针对多内存堆的分配情况（memheap 管理算法）；
RT-Thread 系统为了满足不同的使用需求，提供了三种内存管理算法：
小内存管理算法。主要用于系统资源较少的系统。 slab 管理算法。主要用在系统资源比较丰富的场景。 memheap 管理算法。适用于系统存在多个内存堆的情况，它可以将多个内存连接在一起，形成一个大的内存堆。
备注：这几类内存堆管理算法只能启用一个，但是提供给用户的接口完全相同。
注意事项：内存堆管理为了满足多线程场景下的安全分配，考虑多线程间的互斥问题。因此，不要在中断服务程序中分配或释放动态内存块。否则，会引起当前上下文挂起，引发问题出现。
1. 小内存管理算法
这种算法比较简单。初始时，它是一块大的内存。当需要分配内存块时，将从这个大的内存块上分割出相匹配的内存块，然后把分割出来的空闲内存块还回给堆管理系统中。
每个内存块都包含一个管理用的数据头，通过这个头把使用块与空闲块用双向链表的方式链接起来，如下图所示：
数据头内容包括： magic： 变数（幻数），初始值为 0x1ea，用于标记这个内存块是一个内存管理用的内存数据块 。 used：用于标识当前内存块是否已经分配。 next 用于将各个内存块链接起来，指向下一个内存块节点 prev 用于将各个内存块链接起来，指向当前内存节点的上一个节点。
2. slab 管理算法
RT-Thread 的 slab 分配器是在 DragonFly BSD 创始人 Matthew Dillon 实现的 slab 分配器基础上，针对嵌入式系统优化的内存分配算法。
RT-Thread 的 slab 分配器实现主要是去掉了其中的对象构造及析构过程，只保留了纯粹的缓冲型的内存池算法。 slab 分配器会根据对象的大小分成多个区（zone），也可以看成每类对象有一个内存池，如下图所示：
一个 zone 的大小在 32K 到 128K 字节之间，分配器会在堆初始化时根据堆的大小自动调整 。
系统中 zone 的个数最大为 72，一次最大可以分配 16K 的内存空间，如果超出了 16K 那么直接从页分配器中分配 。每个 zone 上分配的内存块大小是固定的，相同大小内存块的 zone 会链接在一个链表中。
72 中对象的 zone 链表则放在一个数组中进行统一管理（zone_array[]）。
（1）内存分配 分配内存时，首先从 zone_array[] 链表头数组中查找相依大小的 zone 链表。如果链表为空，则分配一个新的 zone，然后从 zone 中返回第一个空闲内存块。若非空，则返回空闲块地址。
（2）内存释放 内存释放时，分配器需要找到内存块所在的 zone 节点，然后把内存块链接到 zone 的空闲内存块链表中 。
3. memheap 管理算法
这种管理方法适用于系统中含有多个地址可不连续的内存堆。这种方法可以简化系统中存在多个内存堆时的使用：用户在系统初始化时将多个 memheap 初始化，并开启 memheap 功能，就可以把多个 memheap 粘合起来用于系统的 heap 分配。
其工作机制如下图所示。系统首先会将多个内存加入到 memheap_item 链表进行粘合。应用程序就可以在粘合后的内存堆中申请分配内存，就像在操作一个内存堆。
内存堆管理方式
RT-Thread 的内存堆管理操作有以下几种：初始化、申请内存块、释放内存块。
需要注意的是，在使用完动态内存之后，应该将其释放掉。否则，会出现内存泄漏的问题。
1. 分配和释放内存块
RT-Thread 系统提供的动态申请内存块的函数接口如下，与我们平时接触到的 malloc() 类似。
![]()
函数 rt_malloc() 会从系统堆空间中找到合适大小的内存块，然后把内存块首地址返回给用户。
参数 nbytes 为需要分配内存的大小，单位为字节。分配成功，则返回内存块的地址；失败，返回 RT_NULL。
在申请的动态内存使用完毕后，必须及时释放，否则会造成内存泄漏。释放内存块的接口函数如下：
![]()
此函数会把待释放的内存块还给堆管理器。
参数 ptr 为动态申请内存块的指针，即需要释放的内存块指针。如果为空指针，则直接返回。
2. 重新分配内存块
同 C 函数库类似，RT-Thread 也提供了重新分配内存块，即在已分配内存块的基础上重新分配内存块的大小。重新分配内存块时，原来的内存块数据保持不变。如果内存块缩小，则后面的数据会被截断。
重新分配内存块大小的函数接口如下：
![]()
参数 rmem 为指向已分配的内存块指针；newsize 为重新分配的内存大小，单位为字节。
分配成功，则返回重新分配的内存块地址；否则，返回 RT_NULL。
3. 分配多个内存块
RT-Thread 也提供了从内存堆中分配连续内存的多个内存块的接口，其具体的函数原型如下：
![]()
参数 count 表示内存块的数量；size 表示每个内存块的大小，单位为字节。
分配成功，则返回第一个内存块地址的指针；失败，则返回 RT_NULL。
该函数会把所有分配的内存块初始化为零。
应用实例
老规矩，用一个示例来演示 RT-Thread 内存管理接口的使用方法。
这个例程会创建一个动态线程，这个线程动态申请内存并释放，一共申请 10 次。每次申请更大的内存，当申请不到的时候就结束，如下代码所示 ：
![]()
![]()
编译运行结果如下：
| 
3
/6 
工商网监
湘ICP备2023018690号
3699
淘帖
0
