VIP20

本课程属于：021-TinyML嵌入式CC++工程化 嵌入式边缘AI与TinyML · 共 20 门相关课程，组合学习更完整。

查看所属VIP全部课程 →

← 返回所属目录咨询 / 购买

12. TinyML内存安全：静态分配、栈预算与Buffer边界检查

共计 30 章节

点击此处阅读海量试读课程：100+行业、1000+细分领域

TinyML内存安全的重要性 · 学习目标 · 课程整体框架与适用硬件平台

课程导入TinyML

TinyML内存模型基础

Flash · SRAM · 寄存器

TinyML内存模型基础

静态分配原理

静态内存分配的概念 · 与动态分配的区别 · 在TinyML中的优势与限制

静态分配原理静态内存分配的概…

静态分配实战

使用全局数组和静态变量管理模型缓冲区 · 特征图与中间结果 · 避免堆碎片

静态分配实战使用全局数组

栈预算概念

栈的作用 · 栈溢出风险 · TinyML中栈大小的典型限制与估算…

栈预算概念栈的作用

栈预算计算

通过函数调用深度 · 局部变量大小 · 中断嵌套等估算栈需求

栈预算计算通过函数调用深度

栈预算工具

使用编译器选项（如-fstack-u… · 链接器映射文件 · 静态分析工具检查栈使用

栈预算工具fstack-u

Buffer边界检查基础

缓冲区溢出的危害 · 常见触发场景（如数组越界 · 字符串操作

Buffer边界检查基础

边界检查方法

手动检查 · 编译器插桩（如-fbounds-ch… · 硬件MPU（内存保护单元）的使用

边界检查方法手动检查

静态分配与动态分配对比

在TinyML中为何优先静态分配 · 动态分配（malloc/free）的…

静态分配动态分配对比

内存对齐与填充

对齐规则 · 结构体填充 · 对模型推理性能的影响及正确设置

内存对齐填充

内存生命周期管理

静态对象的初始化 · 复用策略 · 避免悬垂引用与重复释放

内存生命周期管理静态对象的初始化

TensorFlow Lite Micro内存架构

Tensor Arena · 模型缓冲区 · 算子临时内存的静态规划

Tensor Arena实战

配置arena大小 · 分配策略 · 监控使用率与溢出检测

栈预算案例

分析一个典型TinyML推理任务的栈… · 优化递归或深层调用

栈预算案例TinyML

Buffer边界检查案例

在图像预处理或特征提取中 · 如何防止越界读写并添加断言

Buffer边界检查案例

内存安全与实时性

内存访问延迟 · 缓存行为 · 静态分配对实时性的影响

内存安全实时性

常见内存错误模式

数组越界 · 未初始化变量 · 指针错位

常见内存错误模式数组越界

调试内存问题

使用GDB · 内存调试器（如Memfault） · 日志与断言定位越界和栈溢出

调试内存问题GDB

静态分析工具

使用Cppcheck · Clang Static Analy… · Coverity等检查内存安全问题

静态分析工具Cppcheck

单元测试内存安全

编写测试用例验证缓冲区边界 · 栈使用和静态分配的正确性

单元测试内存安全编写测试用例验证…

硬件内存保护

MPU配置 · 区域划分 · 特权级别

硬件内存保护MPU

内存优化技巧

共享缓冲区 · 内存池 · 压缩存储

内存优化技巧共享缓冲区

多任务与内存安全

RTOS下任务栈分配 · 互斥访问共享缓冲区 · 防止优先级反转

多任务内存安全

安全编码规范

MISRA-C · CERT C中与内存相关的规则 · 在TinyML项目中的应用

安全编码规范MISRA-C

构建一个端到端TinyML图像分类器 · 全程应用静态分配 · 栈预算和边界检查

实战项目TinyML

性能与内存权衡

在有限内存下平衡模型精度 · 推理速度和内存安全

性能内存权衡

常见问题与解决方案

内存不足 · 栈溢出 · 缓冲区越界的典型症状与修复流程

常见问题解决方案

设计一个内存安全的内存管理框架 · 支持多模型切换和动态内存需求

综合提升设计一个内存安全…

课程总结与进阶

回顾核心要点 · 推荐工具链 · 未来趋势（如Rust for Tin…

课程总结进阶