任务与任务控制块：RTOS 的“灵魂”与“身份证”

各位同学，咱们今天聊点实在的。任务（Task）和任务控制块（TCB），这俩东西是 RTOS 的基石。你想想看，一个系统里跑着好几个任务，谁先跑、谁后跑、谁在睡觉、谁被叫醒了——这些信息总得有个地方存着吧？TCB 就是干这个的。

我个人习惯把任务比作“公司里的员工”，TCB 就是他的“工牌”。工牌上写着姓名、工号、当前状态（在岗/请假/摸鱼），还有他的工作进度。没有工牌，你根本没法管理员工。RTOS 也一样，没有 TCB，调度器就是个瞎子。

1. 任务到底是什么？

任务，说白了就是一段独立的程序，有自己的执行流。在裸机编程里，我们写一个 while(1) 大循环，所有事情都挤在里面。但在 RTOS 里，每个任务都是一个独立的 while(1)，它们“看起来”在同时运行。

我记得刚接触 RTOS 时，总以为任务就是函数。其实不对。函数是被调用的，调用完就结束了。任务是个“无限循环”，它永远不会返回。一旦返回，任务就死了，系统会报错。

// 一个典型的任务函数
void vTask1(void *pvParameters)
{
    while(1)
    {
        // 做点事情
        vTaskDelay(100);  // 阻塞一下，让出CPU
    }
    // 这里永远不会执行到
}

2. 任务的四种状态

任务在它的生命周期里，会在几个状态之间跳来跳去。我见过不少新手把状态搞混，结果调度逻辑写得一团糟。咱们一个一个说清楚。

状态	含义	通俗理解
就绪（Ready）	任务已经准备好运行，只等 CPU	排队等叫号
运行（Running）	任务正在占用 CPU 执行	正在被服务
阻塞（Blocked）	任务在等待某个事件（延时、信号量、队列等）	在休息室等消息
挂起（Suspended）	任务被强制暂停，不参与调度	被叫去开会，暂停服务

状态切换的路径是这样的：

• 创建后进入就绪态
• 调度器选中后进入运行态
• 运行中调用延时或等待资源，进入阻塞态
• 阻塞条件满足，回到就绪态
• 运行中被更高优先级任务抢占，回到就绪态
• 调用 vTaskSuspend() 进入挂起态
• 调用 vTaskResume() 从挂起回到就绪态

3. 任务控制块（TCB）结构体设计

TCB 是 RTOS 内核里最重要的数据结构。每个任务都有一个 TCB，调度器就是靠 TCB 里的信息来做决策的。咱们来看看一个典型的 TCB 长什么样。

// 一个简化的 TCB 结构体
typedef struct tskTaskControlBlock
{
    volatile StackType_t *pxTopOfStack;    // 栈顶指针，最关键！
    ListItem_t xStateListItem;             // 状态链表节点
    ListItem_t xEventListItem;             // 事件链表节点
    UBaseType_t uxPriority;               // 任务优先级
    StackType_t *pxStack;                  // 栈起始地址
    char pcTaskName[configMAX_TASK_NAME_LEN]; // 任务名字，调试用
} tskTCB;

这里我重点说几个字段：

• pxTopOfStack：这是 TCB 的灵魂。每次任务被切换出去，CPU 的寄存器（R0-R15、LR、PC、PSP 等）都会被压到这个任务的栈里，然后 pxTopOfStack 指向栈顶。下次切回来时，直接从栈里弹出恢复。没有这个指针，任务就“失忆”了。
• xStateListItem：任务在就绪列表、阻塞列表或挂起列表里，就是靠这个节点串起来的。调度器遍历这些列表，找到该运行的任务。
• uxPriority：优先级决定了谁先跑。数值越大优先级越高（FreeRTOS 风格）。

4. 任务状态与 TCB 的关系图

下面这张图展示了任务状态、调度器和 TCB 之间的协作关系。我建议你多看几遍，理解了这个图，RTOS 调度你就懂了一半。

5. TCB 设计中的几个关键决策

设计 TCB 时，有几个点需要你认真考虑。我根据自己的项目经验，给你列出来：

1. 栈指针的位置：栈是向下生长的，所以 pxTopOfStack 初始指向栈顶（高地址）。每次压栈后指针递减。这个方向搞反了，系统必崩。
2. 优先级范围：优先级不是越多越好。我见过有人设了 256 级，结果调度器光比较优先级就消耗了大量时间。一般 8-32 级足够用。
3. TCB 的存储位置：TCB 可以放在全局区，也可以动态分配。小系统用静态数组，大系统用动态内存。各有优劣，看你的场景。
4. 调试信息：任务名字、栈使用峰值这些信息，平时觉得没用，出 bug 时就是救命稻草。我建议你保留。