🎬 渡水无言 ：个人主页渡水无言
❄专栏传送门 ： 《linux专栏》《嵌入式linux驱动开发》《linux系统移植专栏》
❄专栏传送门 ： 《freertos专栏》 《STM32 HAL库专栏》《linux裸机开发专栏》
❄专栏传送门 ：《产品测评专栏》
⭐️流水不争先，争的是滔滔不绝
📚博主简介：第二十届中国研究生电子设计竞赛全国二等奖 |国家奖学金 | 省级三好学生
| 省级优秀毕业生获得者 | csdn新星杯TOP18 | 半导纵横专栏博主 | 211在读研究生
在这里主要分享自己学习的linux嵌入式领域知识；有分享错误或者不足的地方欢迎大佬指导，也欢迎各位大佬互相三连
目录
[一、FreeRTOS 内存来源全梳理](#一、FreeRTOS 内存来源全梳理)
[二、FreeRTOS 5 种堆管理方案深度对比](#二、FreeRTOS 5 种堆管理方案深度对比)
[三、FreeRTOS 内存分配底层原理（以 heap4 为例）](#三、FreeRTOS 内存分配底层原理（以 heap4 为例）)
[3.2、FreeRTOS 堆的本质](#3.2、FreeRTOS 堆的本质)
前言
在嵌入式 RTOS 开发中，内存管理是决定系统稳定性、实时性的核心环节之一。尤其是在 STM32 这类资源受限的 MCU 平台上，FreeRTOS 的内存分配策略直接影响着任务调度、队列通信、信号量同步等核心功能的可靠性。本文将从RTOS 内存来源 、5 种堆管理方案对比 、heap4 内存分配原理三个维度，系统梳理 FreeRTOS 内存管理的核心知识，同时结合项目实战给出选型建议，帮你彻底搞懂 FreeRTOS 内存管理的底层逻辑。
一、FreeRTOS 内存来源全梳理
FreeRTOS 运行时的内存并非单一区域，而是由多个功能明确的内存区域组成，不同区域承担着不同的职责，我们先通过表格清晰梳理各类内存的用途与特点：
| 内存类型 | 用途 | 特点 |
|---|---|---|
| 任务栈 | 任务运行时局部变量、函数调用栈 | 每个任务独立，任务创建时分配，任务删除时回收 |
| TCB（任务控制块） | 存储任务状态、优先级、栈指针等元数据 | 任务元数据，与任务一一对应，内核调度核心依赖 |
| RTOS 堆 | 队列、信号量、互斥量、事件组、任务等对象的动态分配 | 可配置管理策略，是 FreeRTOS 动态内存管理的核心区域 |
| 全局 / 静态区 | 全局变量、静态变量 | 生命周期全局，程序启动时分配，运行期间不释放 |
| 硬件栈 | 异常 / 中断服务函数栈 | CPU 自动使用，用于中断上下文切换，无需手动管理 |
核心说明
任务栈与 TCB：是任务存在的基础，每个任务创建时，FreeRTOS 会为其分配独立的任务栈和 TCB，任务栈用于任务运行时的函数调用、局部变量存储，TCB 则用于内核记录任务状态，实现任务调度。
RTOS 堆：是 FreeRTOS 动态内存管理的核心，队列、信号量等内核对象，以及用户主动申请的动态内存，都从这个堆中分配，堆的大小由configTOTAL_HEAP_SIZE配置。
硬件栈：由 MCU 硬件自动管理，用于中断 / 异常上下文的保存与恢复，开发者仅需在启动文件中配置栈大小，无需参与 RTOS 层面的管理。
二、FreeRTOS 5 种堆管理方案深度对比
FreeRTOS 提供了 5 种堆管理方案（heap_1 ~ heap_5），不同方案在实现复杂度、实时性、内存碎片控制上各有优劣，适用于不同的嵌入式场景，下面通过表格全面对比：
| 堆方案 | 优点 | 缺点 | 典型使用场景 |
|---|---|---|---|
| heap_1 | 1. 实现最简单 2. 分配速度快、时间确定 3. 完全无内存碎片 | 1. 不支持释放内存 2. 无法动态调整内存 | 任务 / 对象数量固定的极简系统 （如工业传感器、小型控制器） |
| heap_2 | 1. 支持 malloc/free 2. 实现简单、代码量小 | 1. 不做碎片整理 2. 长时间运行易碎片化 | 早期 demo、简单产品 （任务创建后不频繁删除） |
| heap_3 | 1. 直接使用 C 库 malloc/free 2. 与已有代码兼容性好 | 1. 实时性不可控 2. 依赖 libc 实现 3. 占用 RAM 较大 | PC 模拟、调试阶段 （不适合量产嵌入式设备） |
| heap_4（⭐项目推荐） | 1. 支持释放内存 2. 自动合并空闲块 3. 碎片风险低 4. 工程实践成熟 | 1. 实现略复杂 2. 分配 / 释放耗时略高 | 绝大多数嵌入式项目 （博主喜欢用这个） |
| heap_5 | 1. 支持多段不连续内存 2. 可管理外部 RAM | 1. 配置复杂2. 调试难度高 | 外挂 RAM、多内存区系统 （如带 SDRAM 的高端 MCU） |
三、FreeRTOS 内存分配底层原理（以 heap4 为例）
FreeRTOS 的内存分配最终都会走向同一套内核堆管理机制，我们以heap_4 为例，拆解内存分配与释放的完整流程。
3.1、内存分配的两类对象
FreeRTOS 中的内存分配主要用于两类对象 ：
内核对象分配： 包括任务（Task）、队列（Queue）、信号量、互斥量、事件组、软件定时器等。这些对象在创建时（如调用xTaskCreate()、xQueueCreate()），会自动从 RTOS 管理的堆中申请内存，其中任务会同时分配任务控制块（TCB）和独立的任务栈。
用户主动动态分配： 应用层通过pvPortMalloc()和vPortFree()主动申请 / 释放内存，用于自定义缓冲区、数据块等。
两类分配最终都会调用同一套堆管理接口，核心入口为pvPortMalloc()（分配）和vPortFree()（释放）。
3.2、FreeRTOS 堆的本质
FreeRTOS 的 "堆" 并非 MCU 硬件意义上的堆，而是FreeRTOS 在软件层面维护的一块 / 多块内存区域：
对于 heap_1、heap_2、heap_4 方案，堆是一个编译期确定大小的静态数组，大小由configTOTAL_HEAP_SIZE宏定义；
对于 heap_5 方案，堆可由多段不连续的内存区域组成，支持管理外部 RAM；
所有 FreeRTOS 动态创建的对象，都从这个 RTOS 堆中分配内存。
3.3、heap_4内存分配流程
在实际分配过程中，所有内存申请最终都会通过 pvPortMalloc() 完成。以工程中最常用的 heap_4 为例，当系统请求一块内存时，FreeRTOS 首先会对申请的大小进行对齐和修正，以满足架构对内存对齐的要求，并保证最小可管理块大小。
随后，内核会进入临界区，以防止多个任务同时访问堆结构导致数据破坏。接着，堆管理器会在维护的 "空闲内存块链表" 中查找一块足够大的空闲区域，如果找到的空闲块大于请求大小，则会进行分裂操作，将多余部分重新挂回空闲链表。最终，分配成功后返回给用户一块可用内存的指针。
当用户或内核对象释放内存时，vPortFree() 会将该内存块重新插入空闲链表中。与 heap_2 不同的是，heap_4 在释放内存时会主动检查该内存块是否与前后相邻的空闲块相连，并在可能的情况下进行合并，从而减少内存碎片的产生。这种 "自动合并空闲块" 的机制，是 heap_4 在长期运行系统中稳定性显著优于其他方案的关键原因之一。
总结
FreeRTOS 内存管理是嵌入式 RTOS 开发的核心知识点，从内存来源的划分，到 5 种堆管理方案的选型，再到 heap4 的底层分配原理，每一个环节都直接影响系统的稳定性。本文系统梳理了 FreeRTOS 内存管理的全流程。