内存堆管理机制
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 次。每次申请更大的内存,当申请不到的时候就结束,如下代码所示 :
编译运行结果如下: