2. 任务状态机：就绪态、运行态、阻塞态、挂起态与状态迁移图

在 RTOS 内核中，任务（Task）是调度与执行的基本单位。每个任务在其生命周期内会经历多个不同的状态，这些状态之间的转换由内核调度器、同步原语以及任务自身的行为共同驱动。理解任务状态机是掌握 RTOS 调度机制的基础，也是后续双缓冲协同优化设计的理论前提。

2.1 四态模型与核心定义

大多数实时内核采用四态模型：就绪态（Ready）、运行态（Running）、阻塞态（Blocked） 和 挂起态（Suspended）。部分内核（如 FreeRTOS）将阻塞态与挂起态合并为“非运行态”，但在调度器内部仍区分其行为差异。下表给出了四态的核心定义与典型触发条件：

2.2 状态迁移图

下图展示了四态之间的完整迁移路径。每个箭头代表一次合法的状态转换，箭头上的标签为触发动作。该图是 RTOS 调度器设计的基础参考模型。

2.3 状态迁移的触发机制

每个状态迁移都由内核原语或硬件事件触发。下表按迁移方向列出了所有合法转换及其对应的内核 API 或硬件行为：

2.4 状态机在调度器中的实现

RTOS 内核通常使用位图或链表来管理任务状态。以 FreeRTOS 为例，每个任务控制块（TCB）中有一个 eTaskState 枚举字段，调度器通过该字段决定任务是否参与调度。以下是一个简化的状态机实现片段：

typedef enum {
    eReady     = 0,   // 就绪态
    eRunning   = 1,   // 运行态
    eBlocked   = 2,   // 阻塞态
    eSuspended = 3,   // 挂起态
    eDeleted   = 4    // 删除态（扩展）
} eTaskState;

// 调度器核心：选择下一个运行的任务
TaskHandle_t selectNextTask(void) {
    UBaseType_t uxTopPriority = uxTopReadyPriority;
    // 从就绪位图中找到最高优先级的就绪任务
    List_t *pxReadyList = &(pxReadyTasksLists[uxTopPriority]);
    TaskHandle_t pxNextTask = listGET_OWNER_OF_HEAD_ENTRY(pxReadyList);
    
    // 将当前运行任务状态切回就绪态（如果它还在运行）
    TaskHandle_t pxCurrentTask = xTaskGetCurrentTaskHandle();
    if (pxCurrentTask->eTaskState == eRunning) {
        pxCurrentTask->eTaskState = eReady;
    }
    
    // 将选中的任务状态设为运行态
    pxNextTask->eTaskState = eRunning;
    return pxNextTask;
}

2.5 状态机与双缓冲协同的关联

在后续章节中，我们将看到任务状态机如何与双缓冲机制协同工作：

• 生产者任务：在缓冲区满时进入阻塞态，等待消费者消费后释放空位；消费完成后回到就绪态。
• 消费者任务：在缓冲区空时进入阻塞态，等待生产者写入数据；数据到达后回到就绪态。
• 调度器：通过状态迁移自动平衡两个任务的执行频率，避免优先级反转和忙等。
• 挂起态：在低功耗模式下用于暂停非关键任务，保留双缓冲区的当前状态。

下图展示了双缓冲场景下两个任务的状态机协同流程：

2.6 状态机设计中的常见陷阱

• 状态泄漏：任务在退出中断服务函数时未正确恢复状态，导致任务永久停留在阻塞态或挂起态。
• 优先级反转：低优先级任务持有资源时被高优先级任务抢占，导致高优先级任务进入阻塞态，而中优先级任务持续运行。
• 挂起态滥用：将挂起态用于等待资源，导致任务无法响应事件，系统死锁。
• 状态转换丢失：在临界区内修改任务状态时未关闭中断，导致状态不一致。