FreeRTOS内存管理-heap_2.c

FreeRTOS内存管理-heap_2.c

---

1.1 简介
heap_2.c与heap_1.c相似，也是申请了一个较大的静态数组ucHeap[]用于存放内存，每次内存申请则是将内存划分成不同大小的小块，与heap_1.c不同的是：heap_2.c采用了最佳匹配算法对内存进行分配处理，内存在申请（pvPortMalloc）之后，会对其申请的内存进行相应的释放(vPortFree)。

头文件：FreeRTOSConfig.h 
configTOTAL_HEAP_SIZE//定义系统所用的堆栈大小

相关的函数接口：

• static void prvHeapInit( void ); //单链表的初始化
• void *pvPortMalloc( size_t xWantedSize ); //内存分配
• void vPortFree( void *pv ); //内存释放
• #define prvInsertBlockIntoFreeList( pxBlockToInsert )//插入

---

1.2 最佳匹配算法
最佳匹配算法—保证了在使用pvPortMalloc()申请内存时，会匹配到相应大小的空闲内存块。举例说明：

• 若堆中有3个不同大小的空闲内存块，其大小分别为：5字节、25字节和100字节。
• 若pvPortMalloc()申请了20个字节大小的内存
• 因此系统会匹配与其接近的25字节的内存块，并将该内存块分为20字节和5字节的内存块，返回一个指向20字节内存块的指针，将5字节的内存块留下来，为后续pvPortMalloc()时进行匹配调用。

缺点：因为heap_2.c不会将剩余的内存进行合并，则在内存分配的过程中可能会产生内存碎片。
解决方法：每次对内存进行分配和释放时，可选择相同大小的内存块，可避免内存碎片的问题。
适用场景：适用于重复创建和删除相同栈大小任务的应用程序。

---

1.3 源代码解析
1.3.1 结构体定义以及单链表的插入

extern uint8_t ucHeap[ configTOTAL_HEAP_SIZE ];//定义数组用于内存申请分配

/* 定义链表结构。这用于按顺序链接空闲块他们的大小 */
typedef struct A_BLOCK_LINK
{
	struct A_BLOCK_LINK *pxNextFreeBlock;//单链表中的下一个空闲块 
	size_t xBlockSize;                   //空闲块的大小 
} BlockLink_t;

static const uint16_t heapSTRUCT_SIZE	= ( ( sizeof ( BlockLink_t ) + ( portBYTE_ALIGNMENT - 1 ) ) & ~portBYTE_ALIGNMENT_MASK );             //字节对齐后BlockLink_t的大小
#define heapMINIMUM_BLOCK_SIZE	( ( size_t ) ( heapSTRUCT_SIZE * 2 ) )   //内存块分配后剩余内存大于此数值，就会建立新的空闲内存块

static BlockLink_t xStart, xEnd;                                //空闲单链表的首尾
static size_t xFreeBytesRemaining = configADJUSTED_HEAP_SIZE;   //当前剩余的空闲内存总大小 

/* 单链表插入定义的BlockLink_t类型的指针  */
#define prvInsertBlockIntoFreeList( pxBlockToInsert )								\
{																					\
BlockLink_t *pxIterator;															\
size_t xBlockSize;																	\
																					\
	xBlockSize = pxBlockToInsert->xBlockSize;										\
										                                            \
	for( pxIterator = &xStart; pxIterator->pxNextFreeBlock->xBlockSize < xBlockSize; pxIterator = pxIterator->pxNextFreeBlock )                                                      	  \
	{																				\
		/* There is nothing to do here - just iterate to the correct position. */	\
	}																				\			
	pxBlockToInsert->pxNextFreeBlock = pxIterator->pxNextFreeBlock;					\
	pxIterator->pxNextFreeBlock = pxBlockToInsert;									\
}

1.3.2 内存的分配
内存申请：xWantedSize-需要获取的内存，在空闲链表内找到大小合适的。从空闲链表中删除该内存块。需要注意的是找到大小合适的内存块后如果其大小减去xWantedSize后，剩余空间大于heapMINIMUM_BLOCK_SIZE会将其分配新的内存块，插入空闲链表中使用。
（1）链表的初始化 prvHeapInit( void )

static void prvHeapInit( void )
{
BlockLink_t *pxFirstFreeBlock;
uint8_t *pucAlignedHeap;

	/* 确保堆在正确对齐的边界上启动。即保证pucAlignedHeap也是按照系统内存规定进行对齐*/
	pucAlignedHeap = ( uint8_t * ) ( ( ( portPOINTER_SIZE_TYPE ) &ucHeap[ portBYTE_ALIGNMENT ] ) & ( ~( ( portPOINTER_SIZE_TYPE ) portBYTE_ALIGNMENT_MASK ) ) );

	/* xStart用于保存指向空闲块列表中第一项的指针。 */
	xStart.pxNextFreeBlock = ( void * ) pucAlignedHeap;
	xStart.xBlockSize = ( size_t ) 0;

	/*xEnd用于标记空闲块列表的结束。*/
	xEnd.xBlockSize = configADJUSTED_HEAP_SIZE;
	xEnd.pxNextFreeBlock = NULL;

	/* 首先，有一个空闲块，它的大小需要占用整个堆空间。*/
	pxFirstFreeBlock = ( void * ) pucAlignedHeap;
	pxFirstFreeBlock->xBlockSize = configADJUSTED_HEAP_SIZE;//注意这里的空余内存大小标记为configADJUSTED_HEAP_SIZE，并没有减去BlockLink_t的大小，因此在后面的内存申请中又人为的加了一个heapSTRUCT_SIZE。
	pxFirstFreeBlock->pxNextFreeBlock = &xEnd;
}

（2）内存分配pvPortMalloc( size_t xWantedSize )

void *pvPortMalloc( size_t xWantedSize )
{
BlockLink_t *pxBlock, *pxPreviousBlock, *pxNewBlockLink;
static BaseType_t xHeapHasBeenInitialised = pdFALSE;    //初始化标志
void *pvReturn = NULL;

	vTaskSuspendAll();//挂起所有任务，以防重入
	{
		/* 如果这是第一次调用malloc，那么堆将需要初始化来设置空闲块列表。 */
		if( xHeapHasBeenInitialised == pdFALSE )
		{
			prvHeapInit();  //初始化链表
			xHeapHasBeenInitialised = pdTRUE;
		}
 
		/* 需要申请的内存大小会增加，因此除了请求的字节量之外，它还可以包含一个BlockLink_t结构。*/
		if( xWantedSize > 0 )
		{
			xWantedSize += heapSTRUCT_SIZE;

			/* 空余内存的头部要放一个BlockLink_t来管理，因此这里需要人为的扩充下申请的内存大小 */
			if( ( xWantedSize & portBYTE_ALIGNMENT_MASK ) != 0 )
			{
				/* 确保块始终与所需的字节数对齐。 */
				xWantedSize += ( portBYTE_ALIGNMENT - ( xWantedSize & portBYTE_ALIGNMENT_MASK ) );
			}
		}
        /* 从空余内存链表的头部开始找，（链表是从大到小排序）如果该空余内存的大小>xWantedSize，就    从这块内存中抠出一部分内存返回，剩余的内存生成新的BlockLink_t插入链表中*/
		if( ( xWantedSize > 0 ) && ( xWantedSize < configADJUSTED_HEAP_SIZE ) )
		{
			pxPreviousBlock = &xStart;
			pxBlock = xStart.pxNextFreeBlock;
			while( ( pxBlock->xBlockSize < xWantedSize ) && ( pxBlock->pxNextFreeBlock != NULL ) )
			{
				pxPreviousBlock = pxBlock;
				pxBlock = pxBlock->pxNextFreeBlock;
			}

			/* 如果我们找到了链表的结束标记，那么没有找到足够大小的空闲块。 */
			if( pxBlock != &xEnd )
			{
				/* 返回内存空间-跳过BlockLink_t结构在它开始。 */
				pvReturn = ( void * ) ( ( ( uint8_t * ) pxPreviousBlock->pxNextFreeBlock ) + heapSTRUCT_SIZE );

				/* 此块正在返回以供使用，因此必须从空闲块的列表。 */
				pxPreviousBlock->pxNextFreeBlock = pxBlock->pxNextFreeBlock;

				/* 如果块比需要的大，它可以被分成两部分。 */
				if( ( pxBlock->xBlockSize - xWantedSize ) > heapMINIMUM_BLOCK_SIZE )
				{
					/* 这个块要分成两半。创建一个新块在请求的字节数之后。*/
					pxNewBlockLink = ( void * ) ( ( ( uint8_t * ) pxBlock ) + xWantedSize );

					/* 计算从单个块拆分出来的两个块的大小块。 */
					pxNewBlockLink->xBlockSize = pxBlock->xBlockSize - xWantedSize;
					pxBlock->xBlockSize = xWantedSize;

					/* 将新块插入到空闲块列表中。 */
					prvInsertBlockIntoFreeList( ( pxNewBlockLink ) );
				}

				xFreeBytesRemaining -= pxBlock->xBlockSize;
			}
		}

		traceMALLOC( pvReturn, xWantedSize );
	}
	( void ) xTaskResumeAll();

	#if( configUSE_MALLOC_FAILED_HOOK == 1 )
	{
		if( pvReturn == NULL )
		{
			extern void vApplicationMallocFailedHook( void );
			vApplicationMallocFailedHook();
		}
	}
	#endif

	return pvReturn;
}

1.3.3 内存的释放vPortFree

void vPortFree( void *pv )
{
uint8_t *puc = ( uint8_t * ) pv;
BlockLink_t *pxLink;
 
	if( pv != NULL )
	{
		/*  被释放的内存在它之前会有一个BlockLink_t结构。*/
		puc -= heapSTRUCT_SIZE;
 
		pxLink = ( void * ) puc;
 
		vTaskSuspendAll();
		{
			prvInsertBlockIntoFreeList( ( ( BlockLink_t * ) pxLink ) );//将此块添加到空闲块列表中
			xFreeBytesRemaining += pxLink->xBlockSize;                 //剩余内存大小
			traceFREE( pv, pxLink->xBlockSize );
		}
		( void ) xTaskResumeAll();
	}
}
 
size_t xPortGetFreeHeapSize( void )
{
	return xFreeBytesRemaining;
}

void vPortInitialiseBlocks( void )
{
	/* This just exists to keep the linker quiet. */
}