3. 任务控制块(TCB)：TCB数据结构、栈指针、优先级、状态标志位的作用

任务控制块（Task Control Block, TCB）是RTOS内核管理任务的核心数据结构，每个任务在创建时都会分配一个唯一的TCB。TCB记录了任务的所有关键属性与运行上下文，内核通过TCB实现对任务的调度、切换与状态管理。理解TCB的构成是分析任务状态异常与优先级反转缺陷的基础。

3.1 TCB数据结构全景

TCB本质上是一个结构体，其字段覆盖了任务标识、运行环境、调度参数与同步资源。不同RTOS的TCB实现略有差异，但核心字段高度一致。下表列出了典型RTOS中TCB的主要字段及其作用：

3.2 栈指针：任务上下文的保存与恢复

栈指针是TCB中最重要的运行时字段。每次任务切换时，内核将当前任务的CPU寄存器（通用寄存器、程序计数器、状态寄存器等）压入该任务的私有栈，并将更新后的栈指针保存到TCB中；当任务再次获得CPU时，内核从TCB取出栈指针，恢复寄存器内容，使任务从上次中断点继续执行。

栈指针的典型操作流程如下：

1. 任务创建时：内核分配栈空间，初始化栈帧（包含初始寄存器值），栈指针指向栈顶。
2. 任务切换时：当前任务调用portSAVE_CONTEXT，将CPU寄存器压栈，更新TCB中的栈指针。
3. 任务恢复时：内核从TCB读取目标任务的栈指针，调用portRESTORE_CONTEXT弹出寄存器，跳转到任务断点。
4. 栈溢出检测：部分RTOS在TCB中记录栈底地址，切换时检查栈指针是否超出合法范围。

3.3 优先级：调度决策的核心依据

任务优先级是RTOS调度器选择下一个运行任务的关键参数。在基于优先级的抢占式调度中，就绪队列中优先级最高的任务获得CPU。TCB中的优先级字段通常是一个小整数，数值越小优先级越高（如FreeRTOS中0为最高优先级）。

优先级字段在以下场景中会被动态修改：

• 任务创建时：由用户指定初始优先级。
• 优先级继承：当高优先级任务等待低优先级任务持有的资源时，低优先级任务临时提升到高优先级，防止反转。
• 优先级天花板：任务在获取互斥量时，其优先级被提升到该互斥量预设的天花板优先级。
• 用户显式调用：通过API（如vTaskPrioritySet）动态调整。

3.4 状态标志位：任务生命周期的位图表示

状态标志位是TCB中用于表示任务当前所处状态的位掩码字段。每个位对应一种状态，内核通过置位/清零操作快速切换任务状态，而无需使用多个布尔变量。典型的状态标志位定义如下：

状态标志位的操作遵循严格的原子性要求，通常通过关中断或使用原子指令完成，避免在状态切换过程中被中断或任务切换打断。

3.5 TCB状态转换与调度流程（SVG图）

下图展示了TCB中状态标志位如何驱动任务在就绪、运行、阻塞、挂起之间的转换，以及栈指针和优先级在转换过程中的作用：

3.6 TCB数据结构代码示例

以下是一个简化但完整的TCB结构体定义，展示了栈指针、优先级、状态标志位等核心字段的组织方式：

/* TCB结构体定义（简化版） */
typedef struct tcb {
    uint32_t        task_id;            /* 任务唯一ID */
    uint32_t*       stack_ptr;          /* 当前栈指针（SP） */
    uint32_t*       stack_base;         /* 栈底地址，用于溢出检测 */
    uint32_t        stack_size;         /* 栈大小（字节） */
    uint8_t         priority;           /* 任务优先级（0最高） */
    uint8_t         base_priority;      /* 基础优先级（优先级继承时恢复用） */
    uint16_t        state_flags;        /* 状态标志位（位掩码） */
    uint32_t        delay_ticks;        /* 延时/超时剩余tick数 */
    void*           wait_object;        /* 等待的内核对象指针 */
    list_node_t     state_list_node;    /* 状态队列链表节点 */
    list_node_t     event_list_node;    /* 事件等待队列链表节点 */
    char            name[16];           /* 任务名称（调试用） */
} TCB_t;

/* 状态标志位宏定义 */
#define TASK_STATE_READY        (1 << 0)   /* 0x01 */
#define TASK_STATE_RUNNING      (1 << 1)   /* 0x02 */
#define TASK_STATE_BLOCKED      (1 << 2)   /* 0x04 */
#define TASK_STATE_SUSPENDED    (1 << 3)   /* 0x08 */
#define TASK_STATE_DELETED      (1 << 4)   /* 0x10 */

/* 状态标志位操作宏 */
#define TASK_SET_STATE(tcb, bit)    ((tcb)->state_flags |= (bit))
#define TASK_CLEAR_STATE(tcb, bit)  ((tcb)->state_flags &= ~(bit))
#define TASK_CHECK_STATE(tcb, bit)  ((tcb)->state_flags & (bit))

3.7 优先级反转场景中的TCB字段变化

在优先级反转案例中，TCB中的优先级字段和状态标志位会经历以下典型变化序列：

1. 初始状态：任务L（低优先级，priority=3）持有互斥量M，状态为RUNNING；任务M（中优先级，priority=2）就绪；任务H（高优先级，priority=1）阻塞在互斥量M上，状态为BLOCKED。
2. 反转发生：任务M抢占任务L（因为priority=2 > 3），任务L被剥夺CPU，状态变为READY，但依然持有互斥量M。任务H继续阻塞。
3. 优先级继承（如果实现）：内核检测到任务H等待任务L持有的M，将任务L的priority临时提升为1（继承自H），任务L重新获得CPU并尽快释放M。
4. 反转解除：任务L释放M后，priority恢复为3，任务H变为READY并被调度运行。

下表总结了反转过程中TCB关键字段的变化：