任务堆栈初始化：TCB中的堆栈指针与堆栈分配
大家好，我是你们的嵌入式系统讲师。今天我们来聊聊任务堆栈初始化这个话题。说实话，堆栈管理是RTOS里最容易出问题的地方之一，我见过太多系统崩溃都是因为堆栈没处理好。
任务堆栈初始化，说白了就是给每个任务准备一个独立的“工作台”。这个工作台要放什么？局部变量、函数调用返回地址、寄存器现场……嗯，这些都得靠堆栈来保存。
任务控制块(TCB)中的堆栈指针
每个任务都有一个TCB，就像每个人的身份证。TCB里最重要的字段之一就是堆栈指针。我习惯把它叫做SP（Stack Pointer），但注意，这不是CPU的SP，而是任务自己的SP副本。
核心要点：TCB中的堆栈指针用于保存任务被切换出去时的CPU寄存器状态。当任务恢复运行时，系统从这个指针恢复现场。
为什么会这样设计？你想想看，CPU只有一个物理SP，但RTOS里可能有几十个任务。每个任务都需要保存自己的堆栈位置，不然切回来就找不到北了。
我在项目中遇到过这样一个坑：有个同事把TCB中的堆栈指针初始化为0，结果任务第一次切换时直接崩溃。嗯，这个错误其实很典型——堆栈指针必须指向有效的RAM区域。
任务创建时的堆栈分配
任务创建时，我们需要为每个任务分配一块连续的内存作为堆栈。这块内存从哪里来？通常有两种方式：
- 静态分配：在编译时就确定堆栈大小和位置，用数组或全局变量
- 动态分配：运行时从堆内存中申请，用malloc或类似机制
我个人更推荐静态分配，尤其是在资源受限的MCU上。为什么？动态分配容易产生碎片，而且分配失败时处理起来很麻烦。我曾经在一个项目中用了动态分配，结果系统跑了三天后突然死机——堆栈分配失败，但代码没做错误处理。
来看看一个典型的静态分配示例：
// 定义堆栈空间
#define TASK_STACK_SIZE 512
static uint32_t task1_stack[TASK_STACK_SIZE];
// 创建任务时传入堆栈指针
TCB_t task1_tcb;
task1_tcb.stack_ptr = &task1_stack[TASK_STACK_SIZE - 1];注意这里有个细节：堆栈指针指向堆栈的最高地址。因为大多数ARM Cortex-M系列使用满递减堆栈，SP从高地址向低地址生长。嗯，这里要注意，不同架构的堆栈方向可能不同，一定要查手册确认。
堆栈初始化的标准流程
堆栈初始化不是简单地把指针指过去就完事了。我们需要在堆栈里预先放好一些数据，模拟任务第一次运行时的状态。标准流程如下：
- 计算堆栈底部地址：通常是堆栈数组的起始地址
- 计算堆栈顶部地址：底部地址 + 堆栈大小 - 1
- 预填充堆栈内容：放入初始寄存器值
- 设置TCB中的堆栈指针：指向预填充后的栈顶
预填充的内容包括什么？我一般会放这些：
| 寄存器 | 说明 | 初始值 |
|---|---|---|
| xPSR | 程序状态寄存器 | 0x01000000 (Thumb模式) |
| PC | 程序计数器 | 任务函数入口地址 |
| LR | 链接寄存器 | 任务退出处理函数地址 |
| R0-R12 | 通用寄存器 | 0 (或特定参数) |
这里有个关键点：PC必须指向任务函数的入口，而LR要指向一个特殊的退出函数。为什么？当任务函数执行return时，CPU会从堆栈弹出LR到PC，从而跳转到退出处理函数。这个退出函数通常负责删除任务或进入空闲状态。
我的小技巧：在堆栈初始化时，可以用一个固定模式填充整个堆栈区域，比如0xDEADBEEF或0xA5A5A5A5。这样在运行时可以检查堆栈使用情况——看看哪些位置的值被覆盖了，就能估算出最大堆栈深度。
来看看完整的初始化代码：
void Stack_Init(TCB_t *tcb,
void (*task_func)(void *),
void *param,
uint32_t *stack_top)
{
// 模拟异常压栈
stack_top--; *stack_top = 0x01000000; // xPSR
stack_top--; *stack_top = (uint32_t)task_func; // PC
stack_top--; *stack_top = (uint32_t)Task_Exit; // LR
stack_top--; *stack_top = 0x12; // R12
stack_top--; *stack_top = 0x3; // R3
stack_top--; *stack_top = 0x2; // R2
stack_top--; *stack_top = 0x1; // R1
stack_top--; *stack_top = (uint32_t)param; // R0 (任务参数)
// 保存堆栈指针到TCB
tcb->stack_ptr = stack_top;
}警告：堆栈大小一定要留够余量。我见过太多因为堆栈溢出导致的诡异bug——变量莫名其妙被修改、函数返回地址被覆盖、系统随机死机。建议至少留出30%的余量，并且在开发阶段开启堆栈溢出检测。
最后说一句，堆栈初始化看似简单，但每个细节都关系到系统的稳定性。我刚开始做RTOS时，就因为LR没设置对，任务一运行就飞了。调试了整整两天才发现问题。所以，嗯，大家一定要把基础打牢。
下一节我们会讲堆栈溢出检测的具体实现，包括硬件检测和软件检测两种方式。到时候我会分享一些实际项目中的调试经验，敬请期待。