RTOS内存管理基础：堆与栈的区别、任务栈的分配机制、内存碎片化问题
大家好，欢迎来到这门课程。今天咱们聊聊RTOS内存管理里最基础、也最容易踩坑的几个点。说实话，我见过不少开发者，RTOS跑得挺溜，但一问到堆和栈的区别，就开始含糊了。嗯，这其实很危险——内存搞不清楚，系统随时可能崩在你面前。
堆与栈：两个完全不同的世界
先说说堆和栈。很多人觉得它们都是内存，能有什么区别？区别大了去了。我个人的理解是：栈是系统自动管理的，堆是程序员手动管理的。就这么简单。
栈（Stack）是每个任务私有的。任务运行时，局部变量、函数调用参数、返回地址都往栈里压。任务切换时，CPU寄存器也往栈里存。栈的特点是后进先出，分配和释放都是自动的——函数返回时，栈帧自动回收。
堆（Heap）就不一样了。堆是所有任务共享的，你用malloc、free来操作。谁申请了就得谁释放，没人帮你擦屁股。我在项目中遇到过好几次，某个任务malloc了内存忘了free，结果系统跑着跑着就挂了——堆被耗尽了。
核心区别总结：
- 栈：自动分配/释放，每个任务独立，速度快，大小固定
- 堆：手动分配/释放，全局共享，速度慢（需要查找空闲块），大小可动态调整
说白了，栈就像你办公桌上的便签纸，用完就扔。堆就像仓库里的货架，你得自己记住东西放哪了，用完了还得放回去。
任务栈的分配机制：到底给多大才够？
这是RTOS开发里最让人头疼的问题之一。任务栈给大了，浪费内存；给小了，栈溢出，系统崩溃。我刚开始做RTOS时，就吃过这个亏。
任务栈到底怎么分配？我一般遵循这几个原则：
- 估算最大调用深度：数一数任务里最深的函数调用链，每个函数大概用多少栈
- 考虑中断嵌套：中断服务程序也会用栈，尤其是嵌套中断时，栈消耗会暴增
- 留余量：我习惯在估算值上再加30%-50%的安全余量
举个例子，一个简单的LED闪烁任务：
void led_task(void *arg) {
while(1) {
gpio_toggle(LED_PIN); // 约8字节栈
vTaskDelay(1000); // 约16字节栈
}
}这个任务看起来简单，但实际运行时，vTaskDelay内部会调用调度器，调度器又会保存上下文。我建议给这个任务分配256字节的栈——看着多，但安全。
我的经验：大多数RTOS都提供了栈使用量统计功能。比如FreeRTOS的uxTaskGetStackHighWaterMark()。我每次写完任务，都会跑一遍这个函数，看看实际用了多少栈。然后根据结果调整栈大小。别靠猜，靠数据说话。
任务栈的分配机制，说白了就是静态预分配。你在创建任务时，就把栈大小定死了。RTOS内核会在任务控制块（TCB）里记录栈的起始地址和大小。任务切换时，内核通过栈指针（SP）来访问当前任务的栈。
为什么会这样？因为RTOS追求确定性。动态分配栈？那太不可控了。你想想看，如果任务运行时栈不够了，系统怎么办？只能崩。所以RTOS选择了静态分配——每个任务在创建时就拿到自己的栈空间，互不干扰。
内存碎片化问题：看不见的杀手
内存碎片化，这是堆管理的老大难问题。我做过一个项目，系统跑了三天，突然malloc返回NULL了。查了半天，发现堆里还有不少空闲内存，但都是零零碎碎的小块，没有一个能满足申请的大小。
这就是外部碎片。频繁地malloc和free，会导致堆内存被切割成很多小碎片。就像你有一块完整的蛋糕，切来切去，最后全是碎渣，拼不回去了。
RTOS里常用的堆管理算法有几种：
| 算法 | 特点 | 碎片问题 |
|---|---|---|
| 固定大小块分配 | 内存按固定大小（如16、32、64字节）分块 | 无外部碎片，但有内部碎片 |
| 首次适应算法 | 找到第一个足够大的空闲块就分配 | 容易产生碎片 |
| 最佳适应算法 | 找到最接近需求大小的空闲块 | 碎片更严重 |
| 伙伴算法 | 将内存按2的幂次分割 | 碎片较少，但内存利用率不高 |
我个人比较推荐固定大小块分配。虽然会有内部碎片（比如你申请30字节，但只能给你32字节的块，浪费2字节），但至少不会出现外部碎片。对于嵌入式系统来说，确定性比内存利用率更重要。
避坑指南：我曾经在一个项目中大量使用动态内存分配，结果系统运行一段时间后，堆碎片化严重，导致关键任务无法申请到内存。从那以后，我定了个规矩：实时任务里尽量不用malloc。需要内存？要么在初始化时一次性分配好，要么用静态数组。实在要用，也得用固定大小块分配器。
还有一个办法可以减少碎片——内存池。你预先分配好几个大小不同的内存池，比如一个池子全是32字节的块，另一个全是64字节的块。申请内存时，根据大小去对应的池子里取。这样碎片问题基本就解决了。
嗯，这里要注意：内存池虽然好，但会浪费一些内存。因为每个池子里的块大小是固定的，你申请35字节，只能用64字节的块，浪费了29字节。这是典型的空间换时间、换确定性。
知识体系总览
说了这么多，咱们用一张图来梳理一下本章的核心逻辑：
这张图把咱们今天讲的内容串起来了。左边是堆，右边是栈，下面是碎片化问题。你看，这三个东西其实是相互关联的——堆用不好，就会产生碎片；栈分配不合理，就会溢出。搞RTOS内存管理，说白了就是在这三者之间找平衡。
好了，今天的内容就到这里。记住我说的：栈要留余量，堆要用池子，碎片要提前防。这三句话记住了，RTOS内存管理你就入门了。