FreeRTOS内存管理是目前嵌入式实时操作系统的核心，其中任务堆栈溢出、堆内存碎片、内存泄漏是大家常见的一些问题，这里我们将从堆(Heap)管理、任务(stack)堆栈优化方面给大家提供一些常用的优化方案。

一、堆(Heap)和任务堆栈(Stack)概念

在FreeRTOS中，堆和堆栈(简称栈)是两个完全独立的内存区域，用途和管理方式是完全不同的

1、堆(Heap):

FreeRTOS中提供给用户动态分配内存的区域，全局共享，手动分配/释放，主要存放动态创建的对象，由 xTaskCreate/xQueueCreate/pvPortMalloc等对象创建。

2、堆栈(Stack):

每个任务独立私有，相当于任务专属，自动分配/释放，主要用于存储局部变量、函数调用栈、寄存器现场。平时我们遇到的堆栈溢出就是该区域问题。

二、FreeRTOS堆内存管理优化

FreeRTOS官方给用户提供了5种堆管理方案（heap_1.c ~ heap_5.c）

官方链接如下：

中文:https://www.freertos.org/zh-cn-cmn-s/Documentation/02-Kernel/02-Kernel-features/09-Memory-management/01-Memory-management

英文：https://www.freertos.org/Documentation/02-Kernel/02-Kernel-features/09-Memory-management/01-Memory-management

heap_1.c:https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/portable/MemMang/heap_1.c

heap_2.c:https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/portable/MemMang/heap_2.c

heap_3.c:https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/portable/MemMang/heap_3.c

heap_4.c:https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/portable/MemMang/heap_4.c

heap_5.c:https://github.com/FreeRTOS/FreeRTOS-Kernel/blob/main/portable/MemMang/heap_5.c

1、5种堆方案选型对比

一般优先推荐使用方案4，因为方案4平衡性能高，碎片化低，易用性强

tips：

碎片化：简单理解就是系统空闲内存总和明明够大，但都是一些零散的小碎块，无法拼出一块连续区域。

碎片化原因：

1、频繁malloc/free、pvPortMalloc/vPortFree反复申请释放小内存、释放中间内存

2、申请大小不规律

3、运行中频繁创建删除内核对象，堆内存反复拆分

2、堆内存配置优化

(1)堆大小管理

在 FreeRTOSConfig.h 头文件中用户可以根据芯片RAM定义堆的大小。

所谓堆就是一片连续内存空间，如STM32F103的FreeRTOSConfig.h中，该数组大小为17k。

一般堆大小定义规则为：

堆大小 < 芯片可用RAM - 全局变量/静态变量内存 - 中断栈大小

(2)使用特定API管理内存

FreeRTOS给用户提供了大量线程安全动态内存分配函数，相比于malloc/free安全函数内部带临界保护，可在任务/中断中安全调用

3、堆内存监控

FreeRTOS给用户提供了状态查询函数，以便用户进行调试查询

4、优化方向

1.在初始化分配好动态内存后，运行期间尽量不释放内存

2.禁止频繁调用pvPortMalloc/vPortFree函数，容易产生碎片

3.运行期间，在需要的地方打印剩余堆大小，时刻观察堆空间是否冗余

三、FreeRTOS任务堆栈管理优化

1、单位与基础配置

单位：xTaskCreate函数中的 usStackDepth参数单位为栈字，与字节不同。 

Cortex-M 上 1 栈字 = 4 字节 

最小栈尺寸：一般任务栈尺寸大小不能小于 configMINIMAL_STACK_SIZE,该值为128字，在头文件 FreeRTOSConfig.h 中定义

2、堆栈溢出防护

在运行过程中，堆栈溢出是很严重的一个问题，一旦有堆栈溢出基本上等于程序崩溃，所以我们需要对堆栈溢出进行防护

我们可以在 FreeRTOSConfig.h 头文件的溢出回调函数中，进行溢出处理，达到防护效果

3、计算堆栈大小(不浪费资源)

该函数为高水位(当前值到栈顶的距离)检测函数，可以帮助用户确定任务需要多大的空间，彻底解决栈溢出或栈浪费的问题，返回结果为任务堆栈剩余最小值

我们可以利用该值对运行期堆栈水位线进行监控，使用该函数可以得到3个关键数据：

历史最小剩栈(字)：返回值

历史最大使用栈(字): 分配栈大小 - 返回值

是否安全： 

返回值 > 20%: 安全

返回值 < 10% : 危险，表示快溢出了

返回值 = 0 : 已经溢出 （但未触发检测）

用户可以在系统运行高峰打印水位线，如果空间 <= 10%就加大堆栈

推荐堆栈大小 = 已用大小 * 1.5

4、优化方向

1、堆栈中禁止存放大变量数据：局部数据 > 64字节，就可以改用全局变量或堆分配

2、避免深层次函数嵌套： 每多一层函数调用，堆栈就会多压入一帧数据；嵌套越深，堆栈占用越大，越容易溢出。 

3、不同任务进行差异化配置：例如小任务 64~128 字节，普通任务 128 ~ 1024字节

4、统一管理堆栈大小：FreeRTOS 每个任务都有独立栈，栈大小如果不统一管理 → RAM 失控、溢出频发、调试崩溃、产品无法量产。 

四、静态内存优化

FreeRTOS中支持纯静态内存分配，在程序编译阶段进行分配，可以解决堆碎片、溢出、内存泄漏的问题 。适用于工业、工控、车载等长期运行设备。

1、静态内存优化方法

2、静态内存优化优缺点

优点：

无内存碎片、无内存泄漏

运行时间确定，实时性强，适合实时系统

内存总量可控，编译即可统计 RAM 占用

不需要堆管理，系统稳定性高、抗干扰强

调试简单，地址固定，适合高可靠工业场景

缺点：

需要提前定义大小，灵活性相对较差

由于空间固定，空闲时容易造成资源浪费

不适合长度变化大的空间场景