第2章：堆(Heap)与栈(Stack)基础
好，咱们今天聊聊嵌入式开发里最基础、也最容易踩坑的两个概念——堆和栈。说实话，我见过不少工程师写了三五年代码，对这两个东西的理解还是模模糊糊的。在Zephyr里，它们的实现方式跟Linux桌面开发差别还挺大，搞不好就会出问题。
2.1 栈(Stack)：简单粗暴的临时工
栈是什么？说白了就是一块临时内存，系统自动分配、自动释放。你调用一个函数，局部变量就在栈上分配；函数返回，这些变量自动销毁。整个过程由编译器帮你打理，你基本不用操心。
栈的特点很明显：
- 分配速度极快——就是移动一下栈指针的事儿，纳秒级完成
- 自动管理——不需要你手动malloc/free
- 大小固定——编译时就定死了，运行时不能扩展
- 后进先出(LIFO)——就像叠盘子，后放上去的先拿走
在Zephyr里，每个线程都有自己的栈空间。我记得刚开始用Zephyr时，有个同事把栈设得太小，结果程序跑着跑着就莫名其妙地挂了。查了两天才发现是栈溢出——局部变量太多，把栈给撑爆了。
Zephyr中定义线程栈的典型方式：
/* 定义一个4KB的线程栈 */
K_THREAD_STACK_DEFINE(my_stack, 4096);
/* 或者用宏定义线程，自动分配栈 */
#define MY_STACK_SIZE 2048
K_THREAD_DEFINE(my_thread, MY_STACK_SIZE,
thread_entry, NULL, NULL, NULL,
THREAD_PRIORITY, 0, 0);⚠️ 避坑指南：我曾经在一个项目中，因为递归调用深度没控制好，导致栈溢出。Zephyr里可以用K_THREAD_STACK_ANALYZE来检查栈使用情况，建议在产品开发中把这个功能打开。
2.2 堆(Heap)：灵活但麻烦的长期工
堆就不一样了。堆上的内存需要你手动申请、手动释放。想用多大就用多大（只要系统还有内存），想什么时候释放就什么时候释放。灵活性很高，但代价是管理复杂、容易出内存泄漏。
堆的特点：
- 分配速度较慢——需要查找空闲块、可能触发碎片整理
- 手动管理——malloc/free或者k_malloc/k_free
- 大小动态——运行时可以申请任意大小
- 容易碎片化——频繁申请释放会导致内存碎片
你想想看，堆就像一个大仓库，你每次去领东西都要登记，用完还得还回去。如果忘了还，仓库里的东西就会越来越少。在嵌入式系统里，内存泄漏是致命的——系统跑几天就挂了。
2.3 Zephyr中的实现差异
嗯，这里要注意了。Zephyr的堆和栈实现跟Linux差别很大。Linux里每个进程都有独立的堆和栈，由内核管理。但在Zephyr这种RTOS里，所有线程共享同一个地址空间，内存管理更直接。
| 特性 | 栈(Stack) | 堆(Heap) |
|---|---|---|
| 分配方式 | 自动（编译器管理） | 手动（程序员管理） |
| 分配速度 | 极快（纳秒级） | 较慢（微秒级） |
| 大小限制 | 编译时固定 | 运行时动态 |
| 碎片问题 | 无碎片 | 容易产生碎片 |
| Zephyr API | K_THREAD_STACK_DEFINE | k_malloc / k_free |
| 典型用途 | 局部变量、函数调用 | 动态数据结构、大块数据 |
我个人习惯是：能用栈的地方绝不用堆。为什么？因为栈简单、可靠、不会泄漏。只有那些生命周期不确定、大小不确定的数据，我才会考虑用堆。
2.4 堆的三种实现方式
Zephyr提供了三种堆实现，这个我得好好说说。很多新手不知道该怎么选，其实看场景就行。
2.4.1 系统堆（System Heap）
这是最通用的堆，通过k_malloc和k_free操作。默认使用CONFIG_HEAP_MEM_POOL_SIZE配置大小。适合大多数动态内存分配场景。
/* 使用系统堆 */
void *ptr = k_malloc(1024);
if (ptr != NULL) {
memset(ptr, 0, 1024);
/* 使用内存... */
k_free(ptr);
}2.4.2 内存池（Memory Pool）
内存池是预分配固定大小的内存块。比如你预先分配100个256字节的块，每次申请都从池里取一个。这种方式没有碎片问题，分配速度也快。
/* 定义内存池 */
K_MEM_POOL_DEFINE(my_pool, 64, 1024, 8, 4);
/* 从池中分配 */
void *block = k_mem_pool_alloc(&my_pool, 256, K_NO_WAIT);💡 我的经验：在通信协议栈里，我经常用内存池来管理数据包缓冲区。因为数据包大小基本固定，用内存池既避免了碎片，又保证了分配速度。曾经有个项目，用系统堆频繁分配小数据包，跑了两天就内存碎片严重，换成内存池后问题彻底解决。
2.4.3 堆内存分区（Heap Memory Partition）
这是Zephyr 3.0之后引入的新特性。你可以创建多个独立的堆分区，每个分区有自己的管理策略。比如一个分区专门给音频数据用，另一个给网络数据用。
/* 创建堆分区 */
struct k_heap my_heap;
uint8_t heap_buf[4096];
k_heap_init(&my_heap, heap_buf, sizeof(heap_buf));
/* 从分区分配 */
void *data = k_heap_alloc(&my_heap, 512, K_NO_WAIT);2.5 实际应用场景选择
说了这么多理论，咱们看看实际项目中怎么选。
- 函数局部变量：用栈，没得商量
- 中断服务函数：用栈，但要注意栈大小（中断栈是独立的）
- 动态创建的任务/线程：用堆分配栈空间
- 大小不固定的数据缓冲区：用系统堆
- 固定大小的数据包：用内存池
- 不同优先级的内存管理：用堆分区
⚠️ 重要提醒：在中断上下文里，千万不要用k_malloc！我曾经犯过这个错误，中断里调用了k_malloc，结果触发了调度器，系统直接死锁。中断里只能用k_heap_alloc配合K_NO_WAIT，或者干脆用预先分配好的内存池。
2.6 栈大小估算技巧
最后分享一个实用技巧。怎么估算线程栈需要多大？我一般用这个方法：
- 先设一个较大的栈（比如4KB）
- 运行所有功能，用
K_THREAD_STACK_ANALYZE查看实际使用量 - 根据峰值使用量加上30%的余量，确定最终大小
/* 在代码中启用栈分析 */
#define CONFIG_THREAD_STACK_INFO 1
/* 运行时查看栈使用情况 */
struct k_thread *thread = k_thread_get();
size_t unused = thread->stack_info.size -
thread->stack_info.start +
thread->stack_info.top;嗯，堆和栈的基础就讲到这里。记住一句话：栈是快速可靠的短工，堆是灵活但麻烦的长工。在Zephyr里，选对工具比写对代码更重要。下一章咱们聊聊Zephyr的内存布局，看看这些堆和栈到底放在哪里。