26、嵌入式系统中的内存管理：裸机环境、RTOS环境、内存限制、栈大小设置
嵌入式开发，说白了就是「戴着镣铐跳舞」。你手上的资源就那么点，RAM 可能只有几十 KB，Flash 也就几百 KB。我见过不少从 PC 端转过来的工程师，上来就 malloc 一个 10KB 的缓冲区，结果芯片直接死给你看。
今天咱们就聊聊嵌入式环境下的内存管理。我会把裸机、RTOS、内存限制、栈大小这几个硬骨头，一个一个啃干净。
裸机环境下的内存管理
裸机，就是没有操作系统。你的 main 函数跑完初始化后，就是一个超级循环。这时候内存怎么管？
静态分配是王道。我个人的习惯是：能用全局数组，就别用动态分配。为什么？因为裸机下没有 MMU，没有虚拟内存，你 malloc 出来的地址就是物理地址。一旦碎片化，系统就崩了。
裸机内存分配原则：
- 全局变量和静态变量：编译时分配，生命周期贯穿整个程序
- 局部变量：运行时分配在栈上，函数返回自动释放
- 堆（Heap）：通过 malloc/free 管理，但慎用
我曾经在一个 STM32F103 的项目上，用了 malloc 来管理一个通信缓冲区。跑了三天，系统突然卡死。查了两天，发现是堆碎片导致分配失败。从那以后，裸机项目我基本只用静态分配。
RTOS 环境下的内存管理
RTOS 来了，事情就复杂了。每个任务都有自己的栈，任务之间还要通信、同步。内存管理不再是「一个人吃饱全家不饿」。
RTOS 的内存管理方式：
| 方式 | 特点 | 适用场景 |
|---|---|---|
| 静态内存分配 | 编译时确定，无碎片 | 任务栈、消息队列、信号量 |
| 动态内存分配 | 运行时分配，灵活但有碎片风险 | 临时缓冲区、动态创建任务 |
| 内存池 | 固定大小块，无碎片 | 网络数据包、DMA 缓冲区 |
我个人推荐：能用静态就别用动态，能用内存池就别用 malloc。RTOS 内核本身也提供了多种内存管理算法，比如 FreeRTOS 的 heap_1 到 heap_5。你想想看，如果每个任务都 malloc 一个缓冲区，任务多了，堆就炸了。
我的经验：在 RTOS 中，任务栈一定要静态分配。我曾经接手过一个项目，任务栈用动态分配，结果任务创建时栈分配失败，系统直接进入 HardFault。调试了整整一天，最后改成静态分配，问题解决。
内存限制：你只有这么多
嵌入式芯片的内存是固定的。你没法像 PC 那样插内存条。所以，你必须精确知道每个模块用了多少内存。
常见的内存限制：
- RAM 大小：从几 KB 到几 MB 不等
- Flash 大小：存放代码和常量数据
- 外设寄存器映射：占用特定地址空间
我建议你在项目初期就画一张内存布局图。嗯，这里要注意：栈和堆的增长方向是相反的。栈从高地址向低地址增长，堆从低地址向高地址增长。如果两者相遇，系统就崩了。
栈大小设置：小了崩，大了浪费
栈大小是嵌入式开发中最容易出问题的地方。栈太小，函数调用深了就溢出；栈太大，RAM 不够用。
如何估算栈大小？
- 计算最深层函数调用路径：main → funcA → funcB → funcC，每个函数的局部变量加起来
- 考虑中断嵌套：中断服务函数也会用栈
- 加上 RTOS 任务切换的上下文保存开销
我曾经踩过的坑：一个 FreeRTOS 项目，我设置了每个任务栈 256 字节。结果某个任务里调用了 sprintf，直接栈溢出。后来查手册才知道，sprintf 内部会分配一个临时缓冲区，至少需要 512 字节。所以，库函数调用会显著增加栈需求。
栈大小设置建议：
| 场景 | 建议栈大小 | 说明 |
|---|---|---|
| 简单任务（无库函数调用） | 128 - 256 字节 | 只有几个局部变量 |
| 中等任务（有 printf/sprintf） | 512 - 1024 字节 | 库函数会占用额外栈空间 |
| 复杂任务（有递归、大数组） | 2048 字节以上 | 递归深度和数组大小决定 |
| 中断服务函数 | 独立栈或共享任务栈 | 建议独立栈，避免污染任务栈 |
调试技巧：在栈底填充一个特殊标记（比如 0xDEADBEEF），程序运行一段时间后检查这个标记是否被覆盖。如果被覆盖，说明栈溢出了。很多 RTOS 都内置了这个功能，比如 FreeRTOS 的 uxTaskGetStackHighWaterMark()。
实战：一个典型的嵌入式内存管理方案
说了这么多，咱们来个实际的。假设你有一个 STM32F407 芯片，RAM 128KB，Flash 1MB。你要跑一个 FreeRTOS，有 5 个任务。
我的做法：
- 静态分配所有任务栈：每个任务栈 1024 字节，总共 5KB
- 使用内存池管理网络数据包：每个数据包 256 字节，共 20 个，5KB
- 堆只用于临时分配：比如日志字符串拼接，用完就释放
- 全局变量集中管理：所有全局变量放在一个结构体中，方便查看内存占用
// 静态分配任务栈
StackType_t task1Stack[256];
StackType_t task2Stack[256];
// ... 其他任务
// 内存池定义
typedef struct {
uint8_t buffer[256];
uint8_t used;
} Packet_t;
Packet_t packetPool[20]; // 5KB 内存池
// 全局变量结构体
typedef struct {
uint32_t systemTick;
uint8_t sensorData[64];
uint16_t errorCode;
} GlobalVars_t;
GlobalVars_t g_vars; // 所有全局变量集中管理你想想看，这样管理下来，内存使用一目了然。每个模块用了多少，还剩多少，清清楚楚。
总结
嵌入式内存管理，说白了就是「精打细算」。裸机下多用静态分配，RTOS 下用好内存池，栈大小要留余量但别浪费。我做了十几年嵌入式，最大的体会就是：内存管理不是技术问题，是习惯问题。养成好习惯，少踩坑。
嗯，今天就聊到这儿。记住：嵌入式开发，内存就是你的命根子。
核心要点回顾：
- 裸机环境：优先静态分配，慎用 malloc
- RTOS 环境：任务栈静态分配，通信机制用内存池
- 内存限制：画内存布局图，监控堆栈使用
- 栈大小：估算 + 留余量 + 运行时监控
公众号:蓝海资料掘金营，微信deep3321