嵌入式系统中应将中间状态变量转为静态局部变量、位域结构体、共享工作区或硬件缓冲区以避免栈溢出。具体包括：用static替代栈上大数组；用位域压缩状态标志；复用全局算法工作区内存块；利用外设寄存器或DMA缓冲区下沉中间结果。
在资源受限的嵌入式系统（如STM8、MSP430、Cortex-M0等）中，算法常需大量中间状态变量（如滤波器系数、滑动窗口缓冲区、递归暂存值等）。若全用自动变量（即函数内定义的局部变量），它们会压入栈中，极易引发栈溢出。解决关键不是“少用变量”，而是**把本该在栈上临时存在的中间状态，转为可控、复用、低开销的普通块管理方式**。
用静态局部变量替代栈上大数组
很多算法（如FIR滤波、PID计算、FFT预处理）需要固定大小的缓冲区。若写成 int buffer[128];，每次函数调用都分配128×4=512字节栈空间，多层调用时风险陡增。改用 static int buffer[128]; 后，变量存于数据段（.data 或 .bss），仅初始化一次，不占栈，且生命周期覆盖整个运行期。
- 适用场景：缓冲区大小固定、无需线程安全、算法单实例运行
- 注意点：避免在递归函数或可重入函数中使用；若需多实例，可用指针参数传入外部分配的buffer
结构体打包+位域压缩状态标志
算法常含多个布尔开关、枚举状态、计数器（如“已校准”“采样过载”“当前阶段=2”）。若用独立 bool、uint8_t、int 声明，编译器可能因对齐浪费空间。将它们整合进一个结构体，并用位域显式控制：
struct filter_state {
uint8_t enabled : 1;
uint8_t saturated : 1;
uint8_t stage : 3; // 0–7 共8种阶段
uint8_t reserved : 3;
uint16_t sample_count;
};
这样一组状态仅占3字节（而非分散声明可能达7+字节），且明确限定范围，便于后续做结构体对齐优化（如 __attribute__((packed))）。
复用全局“算法工作区”内存块
多个算法模块（如IIR、卡尔曼、CRC校验）不一定同时运行。可统一划分一块共享RAM区域（例如256字节），按需动态分配子块：
- 定义
uint8_t algo_work_area[256];在 .bss 段 - 各算法模块提供
init()函数，传入偏移和长度（如iir_init(algo_work_area + 0, 64);） - 运行时通过指针访问，避免重复栈分配
本质是手动实现轻量级内存池，比 malloc 更确定、无碎片、零开销。
将中间计算结果下沉到外设寄存器或DMA缓冲区
某些算法（如ADC采样均值滤波、PWM波形生成）的中间状态天然与硬件耦合。与其在栈上维护一个“最近16次采样”的数组，不如：
- 启用ADC的硬件FIFO或DMA循环缓冲区（如STM32的 circular mode）
- 让DMA直接把新采样写入指定RAM块（如
adc_dma_buffer[16]） - 算法函数只读取该块地址，不再复制或分配栈空间
既省栈，又减少CPU搬运开销，还提升实时性。
