安克创新 嵌入式面经 MCU 内存布局与栈溢出排查

《面试题目》

1. MCU 上电运行后，代码、常量、已初始化数据、未初始化数据和临时运行数据一般分布在哪些不同区域？各区域分别承担什么职责，地址安排通常有什么规律？
2. 在资源受限的嵌入式系统中，函数调用产生的临时空间与动态申请得到的空间，在分配方式、释放时机、生存期、速度以及潜在风险上有哪些本质区别？
3. 如果设备偶发死机、复位或进入异常处理，怀疑与调用栈被破坏有关，可以从哪些运行时指标、填充检测、异常现场信息入手排查？工程上怎样降低这类风险？
4. 长期运行的固件出现可用动态内存越来越少、最终分配失败的情况，通常如何定位和预防？为什么 MCU 项目更倾向于用静态区域、内存池或固定缓冲来替代频繁动态申请？
5. FreeRTOS 任务运行一段时间后触发硬件异常，怎样逐步判断根因是否与任务栈余量不足有关？会关注哪些栈水位、溢出检测钩子、异常寄存器或现场信息？
6. 串口接收帧长不固定时，如何结合 DMA、空闲中断、超时机制或协议长度字段来划分帧边界，同时减少 CPU 搬运并保证缓冲安全？

《参考解析》

段布局：.text / .rodata / .data / .bss / heap / stack：.text 放指令（Flash，只读）；.rodata 放常量、字符串、const 表（Flash）；.data 放已初始化的全局/静态变量（初值存在 Flash，上电由启动代码拷进 RAM）；.bss 放未初始化或初值为 0 的全局/静态变量（不占 Flash 空间，启动时清零）；heap 从 .bss 之后向上生长，stack 从 RAM 高地址向下生长，两者相向而行、撞上就是溢出。地址规律是：Flash 从 0x08000000（Cortex-M）开始按 text→rodata→data 初值排，RAM 从 0x20000000 开始按 data→bss→heap 排、栈顶在 RAM 末端。链接脚本（.ld）就是这份布局的权威定义，中断向量表固定在 Flash 起始处。

栈空间 vs 堆空间：栈是编译器在函数入口一次性调整 SP 分配的，函数返回即释放，分配只是一条减法指令，速度极快，生存期严格跟随作用域；代价是大小在编译期就定死（任务栈要手工估计），超了就踩别人的内存，而且没有返回值可检查。堆是运行时按需分配的，生存期由程序员控制、可跨函数存活，但分配要查找空闲块（首次适配/最佳适配），速度慢、会产生外部碎片，失败必须判返回值，泄漏和 double free 都是常见坑。结论是栈适合短生命周期的小对象，堆适合大小不定、生命周期长的对象——而在 MCU 上两者都要克制。

怀疑栈被破坏时怎么找证据：一是栈填充检测，任务创建时把整个栈写成魔数（FreeRTOS 用 0xA5A5A5A5），跑一段时间看还剩多少没被覆盖，uxTaskGetStackHighWaterMark() 直接把最低水位返回来；二是开 configCHECK_FOR_STACK_OVERFLOW（值 2 会在切换时检查栈末尾的 magic 有没有被改写），命中就进钩子函数记录是哪个任务；三是异常现场：HardFault 时读 CFSR（是总线错误、用法错误还是取指错误）、HFSR、MMFAR/BFAR，再解压栈帧拿到 PC 和 LR，用 addr2line 反查代码位置。工程上降低风险靠：栈开够并留 30% 余量、禁止在中断里用大局部数组、避免递归、对大缓冲一律静态分配、必要时加 MPU 把栈区设成只读边界。

动态内存越来越少怎么定位：先看趋势而不是看当下——周期性打印 xPortGetFreeHeapSize() 和 xPortGetMinimumEverFreeHeapSize()，如果最小值持续下探就是泄漏；再按分配点打标记（封装 pvPortMalloc 记录调用处，或者每个模块单独用一个 heap），把泄漏范围缩小到模块。碎片导致的「总量够但分不出连续块」表现为申请大块失败、小块正常，解法是给不同尺寸请求分不同池。MCU 项目倾向静态分配的根本原因：确定性和可验证性——静态分配在编译期就确定了 RAM 占用、没有失败路径、不会碎片化，也没有分配延迟抖动，对实时性是硬要求。

FreeRTOS 任务栈不足的判断链：先看 uxTaskGetStackHighWaterMark()，接近 0 就是栈快满了（注意单位是字不是字节）；再开溢出检测钩子抓现行；如果已经进了 HardFault，看 CFSR 里的 IMPRECISERR/PRECISERR 和压栈帧里的 LR——LR 指向的返回地址若落在别的任务栈范围里，基本就是踩栈。常见诱因是任务里用了大局部数组、printf 类函数吃栈、递归或深调用链。改法是把大数组改静态或堆、把栈调大、精简日志，然后长期拷机看水位是否稳定。

串口不定长帧的三种划界法：① 空闲中断（IDLE）+ DMA，DMA 循环接收进缓冲，总线空闲触发 IDLE 中断说明一帧结束，用 NDTR 算本帧长度，CPU 全程不参与搬运，最省事；② 超时机制，帧间隔超过 3.5 个字符时间（Modbus 就是这么定义的）判定断帧，适合波特率固定的协议；③ 协议自带长度字段，先收固定长度头解析出长度再收正文，最可靠但要求协议配合。缓冲安全的关键是双缓冲或环形缓冲加写指针原子更新：DMA 写一半时 CPU 只读另一半，或者用「写指针只在中断里推进、读指针只在任务里推进」的单生产者单消费者模型；缓冲长度必须按最大帧长乘以缓冲块数静态算好，绝不能让它动态增长。