2. RTOS内存管理基础
在裸机程序中，内存往往被当作一整块连续空间随意使用；而在RTOS中，多个任务并发运行、随时可能创建或删除对象，内存必须被“组织”起来管理。理解RTOS内存管理，核心是弄清三件事：内存被划分成哪些区域、这些区域分别由谁使用、以及分配与释放遵循什么规则。本节围绕内存分区、堆与栈、静态与动态分配，以及主流RTOS的内存模型展开。
一、内存分区：把物理内存切成有职责的“地块”
RTOS通常把可寻址内存划分为若干逻辑区域，每个区域承担不同职责。典型划分包括：
- 代码区（.text）：存放指令与常量，通常位于Flash，只读。
- 已初始化数据区（.data）：存放有初值的全局/静态变量，启动时从Flash拷贝到RAM。
- 未初始化数据区（.bss）：存放初值为0的全局/静态变量，启动时清零。
- 堆（Heap）：动态分配区，供malloc/free或RTOS内存池使用，向上或向下增长。
- 栈（Stack）：每个任务独立的运行栈，保存局部变量、返回地址和上下文。
分区不是物理隔离，而是链接脚本与启动代码约定的地址范围。理解分区，才能判断“内存不够”到底是不够哪一块——是堆碎片、栈溢出，还是.bss过大挤占了堆空间。
二、堆与栈：动态分配与任务上下文的两个世界
堆和栈是RTOS内存问题最集中的两个区域，但它们的性质完全不同。
栈是后进先出、由编译器自动管理的区域。每个任务创建时分配独立栈空间，任务切换时保存/恢复上下文。栈的关键风险是溢出：局部数组过大、递归过深、中断嵌套过多，都会让栈指针越过边界，破坏相邻内存。RTOS通常提供栈填充检测（如FreeRTOS的uxTaskGetStackHighWaterMark）来评估余量。
堆是动态、随机、由程序显式管理的区域。它的关键风险是碎片与泄漏：频繁申请释放不同大小块，会形成大量无法利用的小空洞；忘记释放则导致可用堆持续减少。RTOS往往用内存池替代通用堆，以固定块大小换取确定性和抗碎片能力。
三、静态分配与动态分配：确定性与灵活性的权衡
静态分配在编译期或启动时确定内存，典型形式是全局数组、静态任务控制块、静态栈、静态消息队列。它的优点是：无碎片、无分配失败、时间确定、便于认证（如MISRA、DO-178C）。缺点是灵活性差，资源上限固定。
动态分配在运行时按需申请，典型形式是malloc/free、pvPortMalloc/vPortFree、rt_malloc/rt_free。优点是灵活、按需使用；缺点是分配时间不确定、可能失败、可能碎片化、可能泄漏。
工程上常见的折中策略是：关键路径用静态，非关键或数量可预估的对象用内存池，通用堆仅用于启动阶段或低频场景。下面是一段FreeRTOS中静态创建任务的示意：
StaticTask_t xTaskBuffer;
StackType_t xStack[512];
xTaskCreateStatic(
vTaskCode, // 任务函数
"Worker", // 任务名
512, // 栈深度（字）
NULL, // 参数
2, // 优先级
xStack, // 静态栈
&xTaskBuffer); // 静态TCB
与之对应的动态版本xTaskCreate会从FreeRTOS堆中分配TCB和栈。若堆不足，创建直接失败，且失败点难以预测。
四、常见RTOS内存模型对比
不同RTOS对堆的管理策略差异很大，直接影响碎片行为和实时性。下表从分配方式、碎片风险、确定性等维度进行对比：
| RTOS | 堆管理方式 | 碎片风险 | 时间确定性 | 典型适用场景 |
|---|---|---|---|---|
| FreeRTOS | heap_1~heap_5多种方案，heap_4带合并 | 中（heap_4可合并） | 中 | 通用嵌入式，可裁剪 |
| RT-Thread | 小内存管理+SLAB+内存池 | 低（SLAB/池） | 较高 | 物联网、组件丰富 |
| Zephyr | sys_heap + k_mem_slab + 内存池 | 低（slab固定块） | 高 | 多架构、安全认证 |
| ThreadX | 字节池+固定块池 | 低（块池） | 高 | 工业、医疗、高可靠 |
| µC/OS-III | 固定分区内存管理 | 极低 | 高 | 认证类、确定性要求高 |
可以看到，越是强调实时确定性的RTOS，越倾向于固定块或分区式管理；而通用型RTOS则提供多种堆方案供开发者按场景选择。
五、案例与误区复盘
案例：某设备运行数小时后创建任务失败。排查发现，任务中周期性malloc一块日志缓冲区，但异常分支未释放，堆逐渐耗尽。改为静态日志缓冲+环形队列后问题消失。这说明：动态分配必须配对，异常路径尤其容易漏掉释放。
常见误区：
- 把栈当堆用：在栈上定义大数组，导致栈溢出而非堆不足。
- 认为“堆越大越好”：堆过大挤占.bss和栈，反而引发其他区域溢出。
- 忽略任务栈独立：只检查主栈，忘记每个任务都有自己的栈。
- 用通用堆做高频小对象分配：碎片迅速累积，实时性恶化。
掌握内存分区、堆栈差异、静态与动态分配的取舍，以及各RTOS内存模型的倾向，是后续进行泄漏诊断和内存优化的基础。只有先看清内存“长什么样”，才能在出问题时快速定位到正确的区域和机制。