栈内存 vs 堆内存
在嵌入式开发中，内存分配方式直接影响系统稳定性和性能。
| 特性 | 栈（Stack） | 堆（Heap） |
|---|---|---|
| 分配方式 | 编译器自动分配/释放 | 手动 malloc/free |
| 速度 | 快（移动指针） | 慢（搜索空闲链表） |
| 大小 | 有限（通常几KB~几十KB） | 较大（可用 RAM 减去栈和BSS） |
| 碎片 | 无 | 有 |
| 安全性 | 超出会栈溢出 | 忘记 free 会内存泄漏 |
栈内存使用要点
1. 避免大数组局部变量
// 危险：栈上分配 4KB
void bad_function() {
char buffer[4096]; // 嵌入式系统中可能直接栈溢出
// ...
}
// 安全：使用 static 或动态分配
void good_function() {
static char buffer[4096]; // 放在 BSS 段，不占栈
// 或
char *buffer = malloc(4096);
// ...
free(buffer);
}2. 注意递归深度
嵌入式系统栈空间有限，递归调用层数过深会栈溢出。尽量用循环替代递归。
3. strdupa vs strdup
// strdupa：在栈上分配，函数返回自动释放，不需要 free
char *s = strdupa(src); // 但要注意栈空间是否足够
// strdup：在堆上分配，需要手动 free
char *s = strdup(src);
// ... 使用 ...
free(s);堆内存使用要点
1. 配对使用
char *p = malloc(100);
if (p == NULL) {
// 必须检查返回值
return -1;
}
// ... 使用 ...
free(p);
p = NULL; // 防止野指针2. 避免内存碎片
嵌入式系统长时间运行后，频繁 malloc/free 会导致内存碎片，最终无法分配大块内存。
策略：
- 使用内存池（memory pool）
- 固定大小分配（每个块大小相同）
- 尽量在初始化时分配，运行时不释放
3. 不要在中断处理中 malloc
中断处理函数中不应调用 malloc/free：
- malloc 可能阻塞（需要获取锁）
- 中断中无法重入堆管理器
4. realloc 的陷阱
p = realloc(p, new_size);
// 如果 realloc 失败返回 NULL，原 p 没有被释放 → 内存泄漏
// 安全写法
char *new_p = realloc(p, new_size);
if (new_p != NULL) {
p = new_p;
} else {
// realloc 失败，p 仍然有效
// 处理错误或继续使用原 p
}常见内存错误
1. 使用已释放的内存
free(p);
p->field = 1; // 使用已释放内存，未定义行为2. 重复释放
free(p);
free(p); // 重复释放，可能导致堆损坏3. 越界访问
char *p = malloc(10);
p[10] = 0; // 越界写入，可能破坏堆管理数据4. 返回栈地址
char *get_string() {
char buf[100] = "hello";
return buf; // 返回栈地址，函数返回后失效
}调试工具
gcc Sanitizer
编译时加 -fsanitize=address，可以检测：
- 越界访问
- 使用已释放内存
- 内存泄漏
- 栈溢出
valgrind
valgrind --leak-check=full ./your_program嵌入式专用
- 在 malloc/free 上加钩子，记录调用位置和大小
- 定期检查堆完整性
- 监控剩余堆空间，低于阈值时报警
嵌入式内存分配最佳实践
- 初始化时全部分配：系统启动时分配所有需要的内存，运行时不做动态分配
- 使用内存池：固定大小块分配，避免碎片
- 栈大小监控：在栈底写入 magic number，定期检查是否被覆盖
- 避免使用标准库的 malloc：嵌入式系统可以使用更简单的分配器（如 TLSF）
- 静态分析：使用
cppcheck等工具检查潜在内存问题