嵌入式内存管理：栈溢出检测与堆碎片优化

“内存不够用”和“系统莫名复位”是嵌入式工程师最常听到的两句抱怨。后者往往也是由前者（栈溢出）引起的。在资源受限的 MCU 上，精细的内存管理是稳定性的基石。

1. 内存分布图谱

在 ARM 架构中，一个典型程序的内存布局如下（由低地址到高地址）：

1. Code (Text): 存放指令代码，只读，通常在 Flash 中。
2. RO Data: 存放常量 (const 变量)，只读，通常在 Flash 中。
3. Data: 已初始化的全局变量/静态变量，RAM 中。
4. BSS: 未初始化的全局变量/静态变量，启动时清零，RAM 中。
5. Heap (堆): 动态内存分配区域，由下往上生长。
6. Stack (栈): 局部变量、函数参数、返回地址，由上往下生长。

危机四伏：堆和栈通常共用同一块剩余 RAM 空间，相向生长。如果两者相遇（Collision），就会发生严重的内存破坏。

2. 栈溢出 (Stack Overflow) 检测

栈溢出是最隐蔽的 Bug。它可能只会覆盖掉几个无关紧要的变量，也可能直接修改了函数的 LR 返回地址，导致程序跑飞。

2.1 静态分析

使用编译器生成 .map 文件或 .htm 报告（Keil MDK）。

• 查看 Maximum Stack Usage 一栏。
• 局限性：无法计算递归函数和函数指针调用的深度。

2.2 动态检测手段

方法一：Stack Canary (金丝雀)

原理借鉴自矿工带金丝雀下井检测瓦斯。

1. 埋雷：在栈顶（接近堆的那一端）填充一个魔数（Magic Number），例如 0xDEADBEEF。
2. 巡检：在定时器中断或空闲任务中，定期检查这个地址的值是否被修改。
3. 报警：如果魔数变了，说明栈已经生长过头了，立即触发故障处理。

方法二：MPU (Memory Protection Unit) 硬件保护

如果 MCU 支持 MPU（如 Cortex-M3/M4/M7）。

1. 配置 MPU 最后一个 Region 为栈底的 32 字节。
2. 设置该区域属性为 **”No Access”**。
3. 一旦 SP 指针越界尝试读写该区域，CPU 会立刻触发 MemManage Fault 中断。这是最安全、最硬核的拦截方式。

3. 堆 (Heap) 碎片之痛

在嵌入式系统中，极度不推荐使用标准的 malloc/free。

• 不可重入：标准库函数通常不带锁。
• 碎片化：频繁分配释放大小不一的内存，会导致内存像瑞士奶酪一样全是洞。明明剩余总量够，却分配不出连续的大块内存。
• 不确定性：分配时间不可控，不适合实时系统。

3.1 解决方案：内存池 (Memory Pool)

针对固定大小的内存块（如网络包 buffer），使用内存池。

• 原理：预先申请一大块连续内存，切分成 N 个固定大小的 Block。
• 实现：使用链表连接空闲 Block。分配/释放也是 O(1) 的时间复杂度，且绝无碎片。

3.2 解决方案：TLSF 算法

如果必须动态分配不同大小的内存，推荐使用 TLSF (Two-Level Segregated Fit) 算法。

• O(1) 复杂度：不管堆多大，分配释放时间恒定。
• 低碎片率：专为实时系统设计，碎片率极低。
• 开源库：很多 RTOS（如 RT-Thread）内部堆管理都借鉴了类似思想。

总结

1. 能用栈不用堆：栈由硬件管理，自动释放，速度快。
2. 慎用递归：递归是爆栈的元凶。
3. 启用 MPU：这是防止内存越界的最后一道防线。