FreeRTOS 提供了5种内存堆管理方案,分别对应heap1/heap2/heap3/heap4/heap5,提供内存管理是作为 OS 的一项基本功能,FreeRTOS 根据具体的使用场景,将内存管理按需切分成为了 5 部分,以供不同的场景来针对性使用;
其实库函数的 malloc 和 free 已经是提供了内存的动态管理功能,但是呢介于一下几个原因:
- 在嵌入式系统中,它们并不总是可以使用的;
- 它们会占用更多宝贵的代码空间;
- 它们没有线程保护;
- 它们不具有确定性(每次调用执行的时间可能会不同);
在小型实时嵌入式 OS 中,使用 malloc 和 free,并不是最明智的选择;所以,FreeRTOS 使用了:pvPortMallo() 和 vPortFree() 函数来代替 malloc() 和 free() 函数,来进行内存管理;
FreeRTOS 内存管理相关的 SourceCode 放置在:
FreeRTOS\Source\portable\MemMang
一共 5 个,今天就来看看第一种内存管理 heap1 是如何实现的;
1、内存大小
heap1 中有几个关键的宏定义:
configTOTAL_HEAP_SIZE
这个是需要用户根据自己的芯片具体情况来定义的,FreeRTOS 管理的内存就来自于这个值:
static uint8_t ucHeap[ configTOTAL_HEAP_SIZE ];
ucHeap 就是管理的对象;
2、对齐
有的处理器是对内存对齐有要求的,比如 ARM-CM3 等,AAPCS规则要求堆栈保持8字节对齐。给任务分配栈时需要保证栈是8字节对齐的。所以这里 FreeRTOS 就需要涉及到对齐操作;针对 ARM-CM3 这类处理器来说,在portmacro.h 文件中,定义了对齐的字节数:
/* Hardware specifics. */
#define portBYTE_ALIGNMENT 8
而在 portable.h 中,定义了对应的 Mask(8字节对齐,那么都要是 8 的倍数,也就是二进制的 4'b1000,所以 MASK 是 4'b0111 也就是 0x07):
#if portBYTE_ALIGNMENT == 8
#define portBYTE_ALIGNMENT_MASK ( 0x0007 )
#endif
3、分配内存
分配内存使用了 pvPortMalloc 函数,入参是希望分配的 Size,返回值是分配到内存的起始地址,失败的话返回 NULL:
/* Index into the ucHeap array. */
static size_t xNextFreeByte = ( size_t ) 0;
void *pvPortMalloc( size_t xWantedSize )
{
void *pvReturn = NULL;
static uint8_t *pucAlignedHeap = NULL;
/* Ensure that blocks are always aligned to the required number of bytes. */
#if( portBYTE_ALIGNMENT != 1 )
{
if( xWantedSize & portBYTE_ALIGNMENT_MASK )
{
/* Byte alignment required. */
xWantedSize += ( portBYTE_ALIGNMENT - ( xWantedSize & portBYTE_ALIGNMENT_MASK ) );
}
}
#endif
vTaskSuspendAll();
{
if( pucAlignedHeap == NULL )
{
/* Ensure the heap starts on a correctly aligned boundary. */
pucAlignedHeap = ( uint8_t * ) ( ( ( portPOINTER_SIZE_TYPE ) &ucHeap[ portBYTE_ALIGNMENT ] ) & ( ~( ( portPOINTER_SIZE_TYPE ) portBYTE_ALIGNMENT_MASK ) ) );
}
/* Check there is enough room left for the allocation. */
if( ( ( xNextFreeByte + xWantedSize ) < configADJUSTED_HEAP_SIZE ) &&
( ( xNextFreeByte + xWantedSize ) > xNextFreeByte ) )/* Check for overflow. */
{
/* Return the next free byte then increment the index past this
block. */
pvReturn = pucAlignedHeap + xNextFreeByte;
xNextFreeByte += xWantedSize;
}
traceMALLOC( pvReturn, xWantedSize );
}
( void ) xTaskResumeAll();
#if( configUSE_MALLOC_FAILED_HOOK == 1 )
{
if( pvReturn == NULL )
{
extern void vApplicationMallocFailedHook( void );
vApplicationMallocFailedHook();
}
}
#endif
return pvReturn;
}
pvReturn 就是如果被分配到内存后的起始地址,初始化成为 NULL;
这里注意一下,pucAlignedHeap 是一个 static 变量,它记录了对齐后,内存 heap 的起始地址;
如果 portBYTE_ALIGNMENT != 1,也就是使用了对齐,那么需要按需来调整分配内存的大小,也就是 xWantedSize,使其能够达到对齐的效果;
接着调用 vTaskSuspendAll();,暂时关闭 OS 调度;
接着对初始的 ucHeap[ configTOTAL_HEAP_SIZE ] 进行对齐操作:
/* Ensure the heap starts on a correctly aligned boundary. */
pucAlignedHeap = ( uint8_t * ) ( ( ( portPOINTER_SIZE_TYPE ) &ucHeap[ portBYTE_ALIGNMENT ] ) & ( ~( ( portPOINTER_SIZE_TYPE ) portBYTE_ALIGNMENT_MASK ) ) );
这里为什么是 ucHeap[ portBYTE_ALIGNMENT ] 呢,因为如果 ucHeap 的起始地址本就不对齐的话,那么经过对齐操作后得到的地址,便可能小于真实的 ucHeap,所以这里往前挪了一点;
接下来便是检查是否能够正常分配到想要的 Size 的内存,xNextFreeByte 记录了不断的分配内存后,可用于分配内存在 ucHeap 的起始地址;这里的 configADJUSTED_HEAP_SIZE 很关键,它被定义为:
/* A few bytes might be lost to byte aligning the heap start address. */
#define configADJUSTED_HEAP_SIZE ( configTOTAL_HEAP_SIZE - portBYTE_ALIGNMENT )
也就是在 configTOTAL_HEAP_SIZE 基础之上预留出了 portBYTE_ALIGNMENT 的空间,这个就是用于了刚刚上一步说的 ucHeap[ portBYTE_ALIGNMENT ] 这部分空间;
如果分配成功,那么 pvReturn 被更新为 ucHeap 对齐后的起始地址,加上可用内存的起始地址指针 xNextFreeByte;
同时,更新 xNextFreeByte 指针;
整个过程,保证了 ucHeap 的起始地址对齐到 pucAlignedHeap,分配内存的时候,Size 是对齐的;
然后再调用 xTaskResumeAll(); 来恢复 OS 调度;
当然,如果定义了 configUSE_MALLOC_FAILED_HOOK,在分配失败的时候,会去调用 vApplicationMallocFailedHook 回调;
4、小结
heap1 不提供 Free 内存的接口,也就是说,这套内存管理是只提供的分配,一旦申请成功后,这块内存再也不能被释放;实际上,大多数的嵌入式系统并不需要动态删除任务、信号量、队列等,而是在初始化的时候一次性创建好,便一直使用,永远不用删除。所以这个内存管理策略实现简洁、安全可靠,使用的非常广泛。