📚 课程目录第4章任务状态与状态迁移

4. 任务状态与状态迁移：就绪态、运行态、阻塞态、挂起态、状态转换图与API

在RTOS内核中，任务（Task/Thread）是资源调度的基本单位。理解任务的五种核心状态及其迁移机制，是进行系统移植与实时性优化的基础。本章将深入剖析就绪态、运行态、阻塞态、挂起态以及可选的终止态，并给出标准的状态转换图与对应的API操作。

4.1 任务状态定义与对比

RTOS内核通常将任务生命周期划分为以下四种基本状态（部分内核增加“终止态”或“休眠态”）：

状态名称	英文名称	核心特征	是否参与调度
就绪态	Ready	任务已具备运行条件，等待调度器分配CPU	是
运行态	Running	任务正在占用CPU执行代码	是（唯一占用CPU）
阻塞态	Blocked	任务因等待某事件（信号量、队列、延时）而暂停	否
挂起态	Suspended	任务被显式暂停，不参与调度，需手动恢复	否
终止态	Terminated	任务执行完毕或被删除，资源待回收	否

关键区别： 阻塞态通常由内核对象（如等待信号量）自动触发，超时或事件到达后自动回到就绪态；挂起态则由应用程序主动调用 API（如 vTaskSuspend()）控制，必须显式调用恢复 API 才能退出。

4.2 状态迁移图与核心路径

下图展示了 RTOS 中任务状态之间的标准迁移路径。箭头上的标签表示触发迁移的典型事件或 API 调用。

    迁移规则总结：
    就绪态 → 运行态： 唯一路径，由调度器根据优先级或时间片轮转选择。
运行态 → 就绪态： 时间片耗尽、被更高优先级任务抢占、主动 taskYIELD()。
运行态 → 阻塞态： 调用带阻塞时间的 API（如 vTaskDelay()、xSemaphoreTake()）。
阻塞态 → 就绪态： 等待的事件发生或超时到期。
任意态 → 挂起态： 调用 vTaskSuspend()。
挂起态 → 就绪态： 调用 vTaskResume() 或 xTaskResumeFromISR()。
运行态 → 终止态： 任务函数返回或调用 vTaskDelete(NULL)。

4.3 核心状态迁移 API 详解

以下以 FreeRTOS 为例，列出与状态迁移直接相关的 API 及其行为。其他 RTOS（如 RT-Thread、uC/OS-III）语义类似，函数名略有差异。

API 函数	作用	目标状态	注意事项
`vTaskDelay()`	任务主动阻塞指定 tick 数	运行态 → 阻塞态	相对延时，从调用时开始计时
`vTaskDelayUntil()`	任务阻塞到指定绝对 tick 值	运行态 → 阻塞态	用于固定周期任务，避免累积误差
`xSemaphoreTake()`	获取信号量，若不可用则阻塞	运行态 → 阻塞态	可指定超时时间，portMAX_DELAY 表示无限等待
`xQueueReceive()`	从队列读取消息，空队列则阻塞	运行态 → 阻塞态	同样支持超时参数
`vTaskSuspend()`	挂起指定任务	任意态 → 挂起态	挂起自身需传入 NULL
`vTaskResume()`	恢复被挂起的任务	挂起态 → 就绪态	不能在 ISR 中调用，需用 `xTaskResumeFromISR()`
`vTaskDelete()`	删除任务，释放 TCB 和栈	任意态 → 终止态	删除自身后需调用 `vTaskDelay()` 让出 CPU
`taskYIELD()`	主动触发任务切换	运行态 → 就绪态	用于协作式调度或紧急让权

4.4 阻塞态与挂起态的关键差异

初学者容易混淆阻塞态和挂起态。下表从触发方式、恢复条件和典型场景三个维度进行对比：

对比维度	阻塞态 (Blocked)	挂起态 (Suspended)
触发方式	自动触发：调用带阻塞的 API（延时、等待事件）	手动触发：显式调用 `vTaskSuspend()`
恢复条件	事件到达 / 超时到期（自动恢复）	必须由其他任务或 ISR 调用 `vTaskResume()`
调度器参与	是，超时机制由内核 tick 中断驱动	否，挂起态任务完全从调度列表移除
典型场景	等待外设数据、周期性延时、互斥锁等待	调试暂停、低功耗模式下的任务冻结、条件性休眠
对实时性影响	可控阻塞时间，适合事件驱动模型	恢复延迟取决于何时调用 Resume，不确定性较高

常见陷阱： 在 ISR 中调用 vTaskResume() 可能导致优先级反转或上下文切换延迟。必须使用 xTaskResumeFromISR() 并检查返回值，若返回 pdTRUE 则需在 ISR 退出前执行一次上下文切换。

4.5 状态查询与调试 API

在移植和优化过程中，实时查询任务状态对定位调度问题至关重要。以下为常用调试 API：

// 获取任务优先级
UBaseType_t uxTaskPriorityGet(const TaskHandle_t xTask);

// 获取任务当前状态（返回 eTaskState 枚举）
eTaskState eTaskGetState(TaskHandle_t xTask);
// 枚举值：eRunning, eReady, eBlocked, eSuspended, eDeleted

// 获取空闲任务及统计任务相关信息
TaskHookFunction_t xTaskGetIdleTaskHandle(void);

// 运行时统计（需开启 configGENERATE_RUN_TIME_STATS）
unsigned long ulTaskGetRunTimeCounter(const TaskHandle_t xTask);
unsigned long ulTaskGetRunTimePercent(const TaskHandle_t xTask);

    移植调试建议：
    在系统硬故障（HardFault）处理函数中，调用 eTaskGetState() 遍历所有任务句柄，打印状态和栈高水位线。
使用 uxTaskGetStackHighWaterMark() 监控任务栈使用情况，防止栈溢出导致状态异常。
若发现任务长期处于阻塞态但预期事件未到达，检查信号量/队列创建是否成功，以及 ISR 中是否正确调用了 Give API。

4.6 状态迁移对实时性的影响

任务状态迁移的效率和确定性直接影响系统的实时性。以下是几个关键优化点：

减少不必要的状态切换： 高频调用 vTaskDelay(0) 或 taskYIELD() 会导致调度器频繁触发，增加上下文切换开销。建议使用阻塞 API 替代忙等待。
阻塞超时参数选择： 对于硬实时任务，应使用 vTaskDelayUntil() 实现固定周期，避免使用相对延时导致的相位漂移。
挂起态的使用限制： 挂起态任务不参与调度，若系统中有多个挂起态任务，恢复时需注意优先级顺序，避免优先级反转。
ISR 中的状态恢复： 在 ISR 中恢复任务时，必须使用带 FromISR 后缀的 API，并在 ISR 退出前检查是否需要执行上下文切换（portYIELD_FROM_ISR()）。

4.7 实战：状态迁移代码示例

以下代码演示了如何创建两个任务，并观察它们在不同 API 调用下的状态迁移过程：

#include "FreeRTOS.h"
#include "task.h"

TaskHandle_t xTaskAHandle = NULL;
TaskHandle_t xTaskBHandle = NULL;

void vTaskA(void *pvParameters) {
    for (;;) {
        // 运行态：打印信息
        print("TaskA: Running\n");

        // 运行态 -> 阻塞态：延时 100ms
        vTaskDelay(pdMS_TO_TICKS(100));

        // 阻塞态 -> 就绪态：延时到期后自动迁移
        // 调度器选择后回到运行态
    }
}

void vTaskB(void *pvParameters) {
    for (;;) {
        // 运行态：打印信息
        print("TaskB: Running\n");

        // 运行态 -> 挂起态：挂起自身
        print("TaskB: Suspending itself\n");
        vTaskSuspend(NULL);  // 传入 NULL 表示挂起当前任务

        // 挂起态 -> 就绪态：需要 TaskA 或其他任务调用 vTaskResume
        // 恢复后从此处继续执行
        print("TaskB: Resumed\n");

        vTaskDelay(pdMS_TO_TICKS(50));
    }
}

void main(void) {
    xTaskCreate(vTaskA, "TaskA", 256, NULL, 2, &xTaskAHandle);
    xTaskCreate(vTaskB, "TaskB", 256, NULL, 1, &xTaskBHandle);

    vTaskStartScheduler();

    // 调度器启动后，以下代码不会执行
    for (;;);
}

// 在 TaskA 中恢复 TaskB 的示例（需在 vTaskA 循环中添加）：
// if (eTaskGetState(xTaskBHandle) == eSuspended) {
//     vTaskResume(xTaskBHandle);
// }

观察方法： 在调试器中暂停系统，调用 eTaskGetState() 查看两个任务的状态。TaskA 应交替处于 Running 和 Blocked 状态；TaskB 在第一次运行后应进入 Suspended 状态，直到被 TaskA 恢复。

4.8 状态迁移与内核移植的关联

在移植 RTOS 到新 MCU 时，任务状态迁移的正确性依赖于以下底层机制的实现：

上下文切换（PendSV 或等效异常）： 运行态与就绪态之间的迁移依赖 PendSV 中断的正确触发与恢复。移植时需确保 PendSV 优先级为最低，且中断入口/出口保存了完整的寄存器上下文。
系统 Tick 中断： 阻塞态的超时恢复依赖 Tick 中断递增时间计数。移植时需配置硬件定时器产生固定周期（如 1ms）的 Tick 中断，并调用 xTaskIncrementTick()。
临界区保护： 状态迁移过程中对任务控制块（TCB）链表的操作必须在临界区内完成，防止中断嵌套导致链表损坏。移植时需实现 taskENTER_CRITICAL() 和 taskEXIT_CRITICAL()。