4、任务基础知识：任务的概念、任务状态（运行、就绪、阻塞、挂起）、任务优先级、任务控制块TCB

在嵌入式实时操作系统中，任务（Task）是系统调度与资源分配的基本单位。与裸机编程中顺序执行的超级循环（Super Loop）不同，FreeRTOS 将应用程序拆分为多个独立的任务，每个任务负责一个特定的功能模块，例如按键扫描、LED 闪烁、传感器数据采集、通信协议处理等。理解任务的概念、状态迁移、优先级机制以及任务控制块（TCB）的内部结构，是掌握 FreeRTOS 的第一步，也是后续学习队列、信号量、互斥锁等 IPC 机制的基础。本章将从理论到实践，系统梳理任务基础知识的完整脉络。

上图展示了 FreeRTOS 任务状态迁移的核心路径以及 TCB 在系统中的地位。可以看到，任务并非始终占用 CPU，而是在运行、就绪、阻塞、挂起四种状态之间动态切换。TCB 作为任务的“身份证”，记录了任务的所有关键信息，调度器正是通过遍历 TCB 链表来完成状态管理和优先级调度。下面我们将逐一深入剖析这些核心概念。

4.1 任务的概念与本质

核心原理：在 FreeRTOS 中，任务是一个无限循环的 C 函数，具有独立的栈空间和优先级。从代码角度看，任务就是一个返回类型为 void 的函数，函数内部通常是一个 for(;;) 或 while(1) 死循环。任务函数不能返回，否则系统会触发断言失败（configASSERT）。每个任务拥有独立的栈，用于保存局部变量、函数调用上下文以及中断现场，这是任务能够独立运行和切换的基础。

任务与裸机编程中的“函数调用”有本质区别：裸机函数是被动调用的，调用完成后返回；而任务是被调度器主动切换的，任务之间是并发执行的关系。例如，一个温控系统可以拆分为三个任务：温度采集任务（每 100ms 读取一次传感器）、PID 计算任务（每 200ms 执行一次控制算法）、显示刷新任务（每 500ms 更新一次 LCD）。这三个任务在逻辑上同时运行，但物理上由单核 CPU 分时复用。

BaseType_t xTaskCreate(
    TaskFunction_t pxTaskCode,   // 任务函数指针
    const char *pcName,          // 任务名称（调试用）
    configSTACK_DEPTH_TYPE usStackDepth, // 栈深度（单位：字）
    void *pvParameters,          // 任务参数
    UBaseType_t uxPriority,      // 优先级（0~configMAX_PRIORITIES-1）
    TaskHandle_t *pxCreatedTask  // 任务句柄（可选）
);

判断方法：如何判断一个函数是否适合作为 FreeRTOS 任务？可以从三个维度考量：① 是否具有周期性或事件驱动的执行需求；② 是否包含阻塞操作（如延时、等待信号量）；③ 是否与其他功能模块存在数据交互。如果三个条件满足任意两个，就应该考虑将其设计为独立任务。

案例拆解：以智能家居网关为例，系统需要同时处理 Wi-Fi 连接、MQTT 消息收发、本地按键输入和 OLED 显示。若采用裸机超级循环，Wi-Fi 重连时的阻塞等待会导致按键响应延迟；而拆分为四个任务后，每个任务独立阻塞，互不干扰。Wi-Fi 任务阻塞在连接事件上，按键任务阻塞在 GPIO 中断队列上，OLED 任务阻塞在延时上，CPU 利用率显著提升。

4.2 任务状态详解：运行、就绪、阻塞、挂起

核心原理：FreeRTOS 任务有四种状态，每种状态对应任务在调度器中的不同位置。理解状态迁移是掌握任务调度的关键。

状态迁移规则：

• 就绪 → 运行：调度器从就绪链表中选取最高优先级任务，若同优先级则按时间片轮转。
• 运行 → 就绪：高优先级任务就绪（抢占）或时间片耗尽。
• 运行 → 阻塞：任务主动调用阻塞 API，如 vTaskDelay()、xQueueReceive()。
• 阻塞 → 就绪：等待的事件到达或超时，任务自动移入就绪链表。
• 运行 → 挂起：任务调用 vTaskSuspend()，无论当前处于何种状态（运行/就绪/阻塞）均可进入挂起。
• 挂起 → 就绪：其他任务调用 vTaskResume() 或中断中调用 xTaskResumeFromISR()。

案例拆解：假设系统中有两个任务：TaskA（优先级 2）和 TaskB（优先级 1）。TaskA 正在运行，执行到 vTaskDelay(100) 后进入阻塞态，此时 TaskB 从就绪态被调度器选中进入运行态。100ms 后 TaskA 超时，从阻塞态回到就绪态，但由于 TaskA 优先级更高，调度器立即抢占 TaskB，TaskA 重新进入运行态。这个过程中，TaskB 经历了“就绪→运行→就绪”的切换，而 TaskA 经历了“运行→阻塞→就绪→运行”的完整循环。

4.3 任务优先级：调度决策的核心依据

核心原理：FreeRTOS 支持基于优先级的抢占式调度。每个任务在创建时被分配一个优先级，数值范围从 0 到 configMAX_PRIORITIES-1。在默认配置中，数值越大优先级越高（注意：部分移植版本可能相反，需查阅 portmacro.h 中的 configMAX_PRIORITIES 定义）。调度器永远选择就绪态中优先级最高的任务运行。

调度策略：

• 抢占式调度：当高优先级任务进入就绪态时，立即打断当前运行的低优先级任务。
• 时间片轮转：当多个同优先级任务就绪时，每个任务运行一个时间片（默认 1ms，由 configTICK_RATE_HZ 决定）后切换到下一个同优先级任务。
• 空闲任务：系统自动创建优先级为 0 的空闲任务（Idle Task），当所有用户任务阻塞或挂起时，空闲任务运行，负责清理被删除任务的资源。

优先级分配原则：

1. 实时性要求高的任务（如电机控制、紧急报警）分配高优先级。
2. 周期长、容忍延迟的任务（如 LCD 刷新、日志打印）分配低优先级。
3. 避免优先级反转：低优先级任务持有高优先级任务需要的资源时，应使用互斥量（Mutex）而非二值信号量。
4. 优先级数量不宜过多：一般 5~10 个优先级足够，过多会增加调度开销和调试难度。

案例拆解：考虑一个无人机飞控系统，任务划分如下：

当 GPS 数据解析任务（优先级 3）正在运行时，遥控信号到达（优先级 4），调度器立即暂停 GPS 任务，切换到遥控信号处理任务。GPS 任务在遥控任务阻塞后自动恢复。这种设计保证了关键任务的实时性。

4.4 任务控制块 TCB：任务的“身份证”

核心原理：任务控制块（Task Control Block，TCB）是 FreeRTOS 内部维护的一个结构体，用于保存任务的所有元数据。每个任务创建时，系统会分配一个 TCB，并将其插入到对应的状态链表中。TCB 是任务存在的唯一标识，任务句柄（TaskHandle_t）本质上就是指向 TCB 的指针。

TCB 关键字段解析：

TCB 与状态链表的关系：FreeRTOS 使用双向链表管理任务。就绪链表是一个指针数组，数组下标对应优先级，每个元素指向该优先级下的任务链表。阻塞链表和挂起链表则按超时时间或挂起顺序排列。调度器通过遍历这些链表，找到最高优先级的就绪任务，然后切换上下文。

案例拆解：假设系统中有三个任务：TaskA（优先级 2）、TaskB（优先级 1）、TaskC（优先级 2）。创建后，TaskA 和 TaskC 被插入就绪链表[2]，TaskB 插入就绪链表[1]。调度器从最高优先级索引（2）开始查找，找到 TaskA 并运行。当 TaskA 调用 vTaskDelay(50) 后，其 TCB 从就绪链表[2] 移除，插入阻塞链表。此时就绪链表[2] 中只剩 TaskC，调度器切换到 TaskC。50ms 后 TaskA 超时，其 TCB 重新插入就绪链表[2] 的尾部，由于 TaskA 和 TaskC 同优先级，它们将按时间片轮转运行。

4.5 实战场景：多任务温控系统设计

场景描述：设计一个工业恒温槽控制器，要求：温度采集（每 200ms 一次）、PID 控制计算（每 500ms 一次）、OLED 显示（每 1s 刷新）、按键输入（事件触发）。系统使用 STM32F407 芯片，FreeRTOS 内核。

任务划分与优先级分配：

关键实现要点：

// 温度采集任务
void TempSensorTask(void *param) {
    for(;;) {
        vTaskDelay(pdMS_TO_TICKS(200));  // 阻塞 200ms
        uint16_t adc_val = Read_ADC();    // 读取温度传感器
        xQueueOverwrite(tempQueue, &adc_val); // 发送到队列
    }
}

// PID 控制任务
void PidControlTask(void *param) {
    for(;;) {
        vTaskDelay(pdMS_TO_TICKS(500));
        uint16_t current_temp;
        xQueuePeek(tempQueue, ¤t_temp, 0); // 非阻塞读取
        float output = PID_Calculate(current_temp, setpoint);
        Set_Heater(output);  // 控制加热器 PWM
    }
}

运行效果分析：PidControlTask 优先级最高（4），当它从阻塞态唤醒时，会立即抢占 TempSensorTask（优先级 3）。但由于 PID 任务每 500ms 才运行一次，且运行时间极短（微秒级），对温度采集任务的影响可以忽略。OLED 显示任务优先级最低，只在 CPU 空闲时运行，不会干扰控制回路。

风险与代价：如果 PID 计算中出现浮点运算导致运行时间过长（超过 200ms），会阻塞温度采集任务，导致温度数据丢失。解决方案：① 将 PID 计算改为定点运算；② 提高 TempSensorTask 优先级至 5，但需注意优先级反转问题；③ 使用 DMA 采集 ADC，减少 CPU 占用。

复盘经验：任务优先级的分配不是一成不变的，需要结合任务的实际执行时间和阻塞时间综合评估。建议使用 vTaskGetRunTimeStats() 统计各任务 CPU 占用率，根据实测数据调整优先级和周期。