3. 任务创建与管理：任务控制块(TCB)、任务状态机与优先级设计

在RTOS中，任务是竞争CPU时间的基本执行单元。任务管理的核心围绕三个概念展开：任务控制块（TCB）、任务状态机和优先级设计。本章将深入剖析这三者的实现原理与调优策略，帮助你在多平台部署时做出正确的任务架构决策。

3.1 任务控制块（TCB）

TCB是RTOS内核为每个任务分配的数据结构，它保存了任务的所有上下文信息。内核通过TCB来调度、挂起、恢复和删除任务。一个典型的TCB包含以下字段：

以下是一个简化的TCB结构体定义示例：

typedef struct tcb {
    uint32_t    *sp;                /* 栈指针 */
    uint8_t     state;              /* 任务状态 */
    uint8_t     priority;           /* 当前优先级 */
    uint8_t     base_priority;      /* 基础优先级（用于优先级继承） */
    uint32_t    task_id;            /* 任务ID */
    void        *wait_obj;          /* 等待的内核对象指针 */
    uint32_t    timeout_ticks;      /* 阻塞超时时间 */
    struct tcb  *next;              /* 链表指针 */
} TCB_t;

3.2 任务状态机

RTOS中的任务在其生命周期内会经历多个状态。理解状态转换是正确使用RTOS API的前提。下图展示了标准的四状态模型：

3.3 任务优先级设计

优先级是RTOS调度决策的核心依据。错误的优先级设计会导致优先级反转、死锁或实时性不达标。以下是优先级设计的核心原则与常见模式：

3.3.1 优先级分配策略

3.3.2 优先级反转与继承

优先级反转是指低优先级任务持有高优先级任务所需的资源，导致高优先级任务被阻塞。下图展示了优先级继承机制如何缓解这一问题：

3.3.3 优先级设计实战建议

• 中断服务例程（ISR）：ISR的优先级高于所有任务。ISR应尽量短小，仅做标记或数据传递，实际处理交给高优先级任务。
• 关键实时任务：分配最高优先级（如传感器数据采集、控制环路）。
• 通信任务：中等优先级（如协议栈处理、数据打包）。
• 后台任务：最低优先级（如日志记录、状态显示、看门狗喂狗）。
• 空闲任务：RTOS自动创建，优先级最低，用于统计CPU利用率或进入低功耗模式。

3.4 任务创建与删除API

以FreeRTOS为例，任务创建的核心API如下：

BaseType_t xTaskCreate(
    TaskFunction_t pvTaskCode,      /* 任务函数指针 */
    const char * const pcName,      /* 任务名称（调试用） */
    configSTACK_DEPTH_TYPE usStackDepth, /* 栈深度，单位字 */
    void *pvParameters,             /* 任务参数 */
    UBaseType_t uxPriority,         /* 任务优先级 */
    TaskHandle_t *pxCreatedTask     /* 返回的任务句柄 */
);

任务函数的标准结构：

void vTaskFunction(void *pvParameters) {
    /* 初始化代码 */
    for (;;) {
        /* 任务主体逻辑 */
        vTaskDelay(pdMS_TO_TICKS(100)); /* 阻塞100ms，让出CPU */
    }
    /* 任务不应返回，如果返回需调用 vTaskDelete(NULL) */
}

3.5 多平台部署注意事项

在移植RTOS到新平台时，必须检查TCB中栈指针字段的对齐方式是否与硬件异常入栈对齐要求一致。例如，ARM Cortex-M在进入异常时会自动压入8字节对齐的栈帧，如果TCB中的栈指针未对齐，会导致硬件错误。