1. 课程导入

在裸机程序中，内存往往被当作“全局数组 + 栈”的简单组合；一旦引入RTOS，内存就变成了被多个任务、中断服务程序、通信对象和驱动模块并发访问的共享资源。任务栈、TCB、消息队列、信号量、事件组、动态定时器、网络缓冲区、DMA描述符，几乎每一项内核对象都要从某个内存区域中分配。内存管理一旦失控，系统不会立刻崩溃，而是以“偶发死机、任务卡死、数据错乱、重启后恢复”的形式出现，这正是RTOS内存问题最难排查的地方。

一、为什么RTOS内存管理是系统稳定性的核心

RTOS的内存管理与通用操作系统有本质差异。通用系统有MMU、虚拟内存和页回收机制，进程越界通常被隔离；而大多数MCU级RTOS运行在无MMU的平坦地址空间上，任何一次越界写、重复释放或栈溢出，都可能直接破坏相邻任务的TCB或堆管理块。更关键的是，RTOS的分配行为发生在运行时：任务创建时分配栈，队列收发时可能动态申请节点，中断中调用带动态分配的API，都会让堆的碎片和竞争随时间累积。

可以把RTOS内存风险归纳为四类：越界写破坏相邻对象；重复释放/释放非法指针破坏堆链表；栈溢出踩踏任务控制块或全局变量；碎片化导致长时间运行后分配失败。它们共同的特点是：故障点与破坏点往往不在同一处，现场证据容易被后续运行覆盖。

二、课程学习目标

本课程围绕“看得见、算得清、查得到、防得住”四个目标展开。完成学习后，你应当能够：

• 理解RTOS堆、任务栈、静态内存池与内核对象内存的布局关系；
• 读懂FreeRTOS、RT-Thread等常见RTOS的堆管理结构与关键参数；
• 使用heap_4、heap_5、内存池、栈填充等机制定位泄漏与溢出；
• 通过运行时统计、钩子函数、断点与日志建立内存诊断链路；
• 在真实项目中制定分配策略、释放规范和回归验证方法。

三、整体课程框架与实战路线图

课程按“认知—观测—定位—修复—预防”五段推进，共30章。前段建立内存模型与分配机制，中段进入泄漏诊断工具链和典型故障模式，后段通过综合案例完成从现象到根因的闭环。下图给出本章的核心路线图：从RTOS内存区域出发，经过分配/释放路径，进入诊断与修复，最终回到设计规范。

四、核心原理：RTOS内存的三条主线

第一条主线是堆。RTOS通常提供自己的堆实现，例如FreeRTOS的heap_1到heap_5。heap_1只分配不释放，适合确定性极强的系统；heap_2支持释放但不合并相邻空闲块，容易碎片化；heap_4支持合并，是通用选择；heap_5支持多块不连续内存区域。理解这些差异，才能解释“为什么同样代码在heap_2上跑三天就失败，在heap_4上能跑三个月”。

第二条主线是任务栈。每个任务拥有独立栈空间，栈上保存局部变量、返回地址、寄存器上下文。栈溢出不会像堆破坏那样立刻触发断言，而是悄悄改写相邻内存。常用诊断手段是栈填充：任务创建时把栈空间填成固定模式，运行一段时间后检查未被覆盖的深度，得到高水位线。

第三条主线是内核对象内存。队列、信号量、事件组、定时器等对象，既可以在创建时动态分配，也可以用静态方式由用户提供存储。动态创建方便，但把对象生命周期与堆绑定；静态创建确定性强，但需要提前规划内存预算。工程中常见的折中是：任务栈和关键通信对象静态分配，临时缓冲区使用内存池。

五、案例场景：一个“重启就好”的现场故障

某工业采集设备连续运行约6小时后死机，重启后恢复。日志显示最后一次异常发生在CAN接收任务中。初步怀疑驱动问题，但更换驱动后现象依旧。进一步检查发现：该任务每次收到报文都会创建一个临时队列节点，正常路径会释放，但错误分支直接return，导致节点泄漏。6小时后堆耗尽，pvPortMalloc返回NULL，而调用处未检查返回值，随后对空指针解引用，触发HardFault。

void CAN_RxTask(void *pv)
{
    CanMsg_t *msg = pvPortMalloc(sizeof(CanMsg_t));
    if (msg == NULL) {
        /* 缺少失败处理，直接返回或继续使用 */
        return;
    }
    if (xQueueReceive(canQueue, msg, portMAX_DELAY) != pdPASS) {
        return;              /* 错误分支未释放 msg，形成泄漏 */
    }
    process_msg(msg);
    vPortFree(msg);
}

这个案例说明：泄漏诊断不能只看“有没有free”，还要看每条路径是否都覆盖释放，以及分配失败是否被处理。后续章节会围绕这类问题建立系统化排查方法。

六、常见误区与复盘要点