3. 栈与堆的“博弈”：函数调用栈深度优化与堆碎片管理
做智能音箱开发，说白了就是在跟有限的内存资源“掰手腕”。
我刚开始做这个项目时，遇到过音箱播放音乐时突然卡顿，甚至死机。查了半天，发现不是算法问题，而是内存管理出了岔子。嗯，今天我们就来聊聊栈和堆这对“冤家”。
3.1 栈：轻量级选手，但深度有限
栈，是编译器自动管理的。函数调用时压栈，返回时弹栈。速度极快，几乎没有开销。
但栈有个致命弱点：大小固定。你想想看，RTOS里每个任务分配的栈空间，通常是几KB。一旦函数调用嵌套过深，或者局部变量太大，栈就溢出了。
3.2 堆：灵活但“碎片化”严重
堆，是程序员自己管理的乐园。malloc/free，想用就用。但代价是什么？碎片化。
我见过一个项目，运行一周后，堆里全是细小的空洞。明明总空闲内存还有30%，但申请一个100字节的缓冲区却失败了。这就是典型的外部碎片。
为什么会这样？
你频繁地申请、释放不同大小的内存块。比如先申请64字节，再申请128字节，释放64字节。那个64字节的空洞就留在了128字节块的前面。下次想申请一个80字节的块，128的块太大，64的块太小，都不合适。
3.3 栈深度优化：我的三板斧
我个人习惯，在项目初期就估算好每个任务的栈使用量。怎么估？看函数调用链。
- 减少嵌套层级：能平铺的逻辑，不要写成递归。比如菜单处理，用状态机代替递归调用。
- 大数组放全局或堆：局部变量里不要定义超过几百字节的数组。我在项目中遇到过，一个音频处理函数里定义了512字节的临时缓冲区，直接导致栈溢出。后来改成从堆里申请，问题解决。
- 使用静态分析工具：比如IAR的C-STAT，或者GCC的-fstack-usage。可以精确看到每个函数的栈使用量。
// 不好的做法：大数组在栈上
void process_audio() {
char buffer[1024]; // 栈上1KB，危险！
// ...
}
// 好的做法：从堆申请
void process_audio() {
char *buffer = (char *)malloc(1024);
if (buffer) {
// ...
free(buffer);
}
}
3.4 堆碎片管理：实战经验分享
堆碎片，说白了就是内存“不连续”了。怎么治？
第一招：固定大小内存池
我建议，对于频繁申请释放的小块内存（比如音频帧、网络包），使用固定大小的内存池。比如所有音频帧都是256字节，那就预先分配一个256字节的数组池。申请和释放都是O(1)复杂度，而且永远不会产生碎片。
// 简单的固定大小内存池示例
#define POOL_SIZE 10
#define BLOCK_SIZE 256
static char pool[POOL_SIZE][BLOCK_SIZE];
static uint8_t used[POOL_SIZE] = {0};
void *pool_alloc() {
for (int i = 0; i < POOL_SIZE; i++) {
if (!used[i]) {
used[i] = 1;
return pool[i];
}
}
return NULL; // 池满
}
void pool_free(void *ptr) {
// 计算索引，标记未使用
}
第二招：避免频繁的“大小交错”申请
你想想看，如果总是先申请64，再申请128，再释放64，碎片就来了。我建议，尽量让每次申请的大小保持一致，或者使用伙伴算法（Buddy System）的堆实现。
第三招：定期整理（Defragmentation）
在嵌入式系统里，这招比较难。因为需要移动已分配的内存块，更新所有指针。但如果你用的是带MMU的芯片（比如Cortex-A系列），可以考虑。我一般只在内存极度紧张时，才在系统空闲时做一次“内存压缩”。
3.5 栈与堆的“博弈”策略
| 场景 | 推荐使用 | 原因 |
|---|---|---|
| 函数内临时小变量（<64字节） | 栈 | 速度快，无碎片 |
| 大缓冲区（>256字节） | 堆或全局 | 避免栈溢出 |
| 频繁申请释放的小块 | 内存池 | 无碎片，效率高 |
| 生命周期长的对象 | 堆 | 灵活，但注意释放 |
我个人习惯，在智能音箱项目中，音频处理相关的缓冲区全部用内存池。网络协议栈的包缓冲也用固定大小池。只有配置信息、字符串等不频繁操作的数据，才用标准堆。
3.6 避坑指南
我曾经犯过一个错：在中断服务函数里调用malloc。结果呢？堆操作不是可重入的，导致内存管理结构被破坏，系统随机崩溃。嗯，从那以后，我定了个规矩：中断里绝对不用堆，只用栈或全局变量。
还有一次，我为了省事，把一个大结构体直接传值给函数。结果每次调用都要在栈上拷贝几百字节。后来改成传指针，栈压力瞬间下降。
3.7 总结
栈和堆的博弈，没有银弹。你需要根据具体场景，做出取舍。
栈追求“浅而快”，堆追求“整而稳”。
我的经验是：能用栈不用堆，能用池不用malloc，能静态分配就不动态分配。这三句话，基本能覆盖90%的嵌入式内存优化场景。
下一章，我们会聊聊缓存一致性，那又是另一个有趣的话题了。