2、MCU内存架构基础：掌握Flash、SRAM、寄存器、堆栈等基本概念，理解MCU内存映射和地址空间
TinyML模型在MCU上的部署，本质上是一场对“稀缺内存资源”的精细管理。无论是模型权重、中间激活值，还是推理时的临时变量，最终都要落在MCU的物理存储介质上。如果对MCU的内存架构没有清晰认知，就难以理解Linker Map文件中那些地址段、符号地址和内存占用数据的真正含义。本章将系统梳理MCU的Flash、SRAM、寄存器与堆栈等核心概念，并深入解析内存映射与地址空间的组织方式，为后续分析Linker Map文件打下坚实的硬件基础。
上图展示了MCU内存架构的核心组成与地址映射关系。在TinyML场景中，Flash、SRAM与外设寄存器三者构成了模型运行的全部物理基础。理解它们各自的特性、访问方式与地址分配规则，是解读Linker Map文件的第一步。
2.1 核心存储介质：Flash、SRAM与寄存器的本质差异
核心原理：MCU内部通常集成三种关键存储资源，它们在物理特性、访问速度和用途上截然不同。Flash（非易失性闪存）用于存放程序代码、常量数据以及经过特殊修饰的只读变量（如const数组、模型权重表）。SRAM（静态随机存取存储器）用于存放可读写的全局变量、静态变量、堆（Heap）和栈（Stack）。外设寄存器则是CPU控制外设（如UART、SPI、GPIO）的“控制面板”，每个寄存器都有固定的物理地址，CPU通过读写这些地址来操作硬件。
判断方法：在分析Linker Map时，可以通过地址段快速判断变量或函数的存储位置。通常，Flash地址范围在0x00000000附近（具体取决于芯片型号），SRAM地址范围在0x20000000附近（Cortex-M内核典型布局），外设寄存器则在0x40000000附近。例如，STM32F4系列Flash起始地址为0x08000000，SRAM起始地址为0x20000000。
| 存储介质 | 物理特性 | 访问速度 | 容量典型范围 | TinyML中的主要用途 |
|---|---|---|---|---|
| Flash | 非易失性，掉电保留 | 较慢（~几十ns） | 256KB ~ 2MB | 模型权重、代码、常量表 |
| SRAM | 易失性，掉电丢失 | 较快（~几ns） | 64KB ~ 512KB | 中间激活值、堆栈、全局变量 |
| 寄存器 | 与外设绑定 | 极快（1个周期） | 几KB ~ 几十KB | 外设配置、DMA控制、状态查询 |
关键认知：在TinyML部署中，Flash容量通常不是瓶颈（模型权重可以压缩到几百KB），而SRAM才是真正的稀缺资源。因为推理过程中的中间特征图（Activation Maps）需要频繁读写，且无法压缩。例如，一个输入为224x224x3的图像分类模型，第一层卷积后的特征图可能就占据数十KB的SRAM。
2.2 内存映射与地址空间：CPU如何“看到”世界
核心原理：内存映射（Memory Mapping）是MCU将Flash、SRAM、外设寄存器以及调试接口统一编址到同一个32位（或更高位）地址空间中的机制。CPU通过地址总线发出地址信号，总线矩阵根据地址范围译码，选择对应的存储介质或外设进行访问。这种统一编址方式使得CPU可以用相同的加载/存储指令（LDR/STR）访问所有资源，无需区分“内存”和“I/O”。
操作流程：以Cortex-M内核为例，典型地址空间布局如下：
- 代码区（0x00000000 - 0x1FFFFFFF）：存放程序代码和只读数据。系统上电后从
0x00000000读取初始堆栈指针（MSP），从0x00000004读取复位向量，跳转到Reset_Handler执行。 - SRAM区（0x20000000 - 0x3FFFFFFF）：存放可读写数据。编译器将全局变量、静态变量分配到此区域，链接器脚本（Linker Script）决定具体地址。
- 外设区（0x40000000 - 0x5FFFFFFF）：映射所有外设寄存器。每个外设占用一段连续的地址块，内部寄存器按偏移量排列。
- 系统区（0xE0000000 - 0xFFFFFFFF）：包含系统控制块（SCB）、SysTick定时器、调试组件等。
案例拆解：假设我们使用STM32F407芯片（Flash 1MB，SRAM 192KB），在Linker Map文件中看到如下条目：
.text 0x08000000 0x2A4F0 // 代码段，位于Flash
.rodata 0x0802A4F0 0x1A3C8 // 只读数据（模型权重）
.data 0x20000000 0x4A20 // 已初始化全局变量（从Flash拷贝到SRAM）
.bss 0x20004A20 0x1E5C0 // 未初始化全局变量（清零）
.heap 0x20023000 0x4000 // 堆区域
.stack 0x20027000 0x1000 // 栈区域通过分析这些地址，我们可以精确计算出模型权重占用Flash 0x1A3C8（约107KB），中间激活值占用SRAM 0x4A20 + 0x1E5C0（约137KB），堆栈预留0x5000（20KB）。这些数据直接决定了模型能否在目标MCU上运行。
2.3 堆栈机制：函数调用与局部变量的“临时舞台”
核心原理：栈（Stack）是MCU中一种后进先出（LIFO）的数据结构，用于保存函数调用时的返回地址、寄存器上下文、局部变量和函数参数。在Cortex-M中，栈指针（SP）指向栈顶，栈向下增长（地址递减）。堆（Heap）则用于动态内存分配（如malloc），向上增长。两者在SRAM中相向生长，中间区域为静态数据。
判断方法：在TinyML推理中，栈的深度通常由函数调用层级决定。例如，TensorFlow Lite Micro的推理引擎会调用多层算子函数，每层调用都会压栈。如果栈空间不足，会导致栈溢出（Stack Overflow），程序跑飞或进入HardFault。通过Linker Map中的.stack段地址和大小，可以估算栈的可用空间。
风险提示：在MCU上部署TinyML时，切勿在算子内部使用大型局部数组（如float temp[256]），这会导致栈空间瞬间耗尽。应优先使用全局静态缓冲区或从堆中分配。例如，在调用卷积算子时，如果需要在栈上创建临时缓冲区，建议将缓冲区大小限制在1KB以内，并检查栈顶地址是否与堆顶地址发生碰撞。
案例拆解：某TinyML项目在STM32L4上运行语音唤醒模型，初始配置栈大小为4KB。推理过程中频繁调用矩阵乘法算子，每个算子内部声明了int8_t temp[512]的局部数组。运行一段时间后，系统进入HardFault。通过查看Linker Map，发现.stack段起始地址为0x20006000，而.heap段结束地址为0x20005800，两者之间仅有2KB空隙。当栈向下增长超过2KB时，便与堆数据重叠，导致内存踩踏。解决方案：将临时缓冲区改为全局静态数组，并将栈大小调整为8KB，同时将堆缩小至2KB，问题解决。
2.4 常见误区与总结复盘
误区一：混淆Flash与SRAM的访问速度。有些开发者误以为Flash和SRAM速度相同，在代码中频繁访问Flash中的常量表。实际上，Flash访问需要等待状态（Wait States），尤其在较高主频下。TinyML推理中，模型权重存储在Flash，每次读取权重都需要经过Flash接口，这成为性能瓶颈。优化方向：利用Cortex-M的指令缓存（I-Cache）或数据缓存（D-Cache），或将频繁访问的权重拷贝到SRAM中。
误区二：忽视内存对齐。ARM Cortex-M内核要求32位数据必须4字节对齐，16位数据2字节对齐。在定义结构体或数组时，如果未使用__attribute__((aligned(4)))，可能导致总线错误或性能下降。Linker Map中会显示每个符号的地址，若发现地址末尾不是0、4、8、C，则可能存在对齐问题。
误区三：堆栈大小设置随意。很多开发者直接使用IDE默认的堆栈大小（如堆512字节，栈1KB），这在简单裸机程序中可能够用，但在TinyML推理中极易溢出。建议通过Linker Map的.stack和.heap段大小，结合实际推理时的最大栈深度（可通过在栈顶填充特定模式，运行后检查填充是否被改写）来精确调整。
复盘经验：在开始TinyML项目前，务必先阅读芯片参考手册中的内存映射章节，画出目标MCU的地址空间分布图。然后，在编译后仔细阅读Linker Map文件，确认以下关键信息：1）模型权重是否被正确放置在Flash的只读数据段；2）中间激活缓冲区是否在SRAM中连续分配；3）栈顶地址是否与堆顶地址有足够的安全间距（建议至少4KB）。这些检查可以在项目早期发现内存不足或布局冲突，避免后期调试的噩梦。
掌握MCU内存架构是分析Linker Map的前提。只有深刻理解Flash、SRAM、寄存器和堆栈的物理特性与地址映射规则，才能准确解读Map文件中的每一个地址和符号，为后续的TinyML内存热点分析提供坚实的理论基础。