4. 任务管理：任务创建、删除、挂起、恢复、任务优先级与调度策略（抢占式、时间片轮转）
在嵌入式RTOS中，任务（Task）是系统资源分配和调度的基本单位。与裸机编程中的前后台循环不同，RTOS允许将复杂的应用逻辑拆分为多个独立的任务，每个任务拥有自己的栈空间、优先级和状态。任务管理的核心在于：如何正确地创建和销毁任务，如何通过挂起与恢复控制任务的执行节奏，以及如何设计合理的优先级与调度策略，确保系统在实时性和公平性之间取得平衡。本章将围绕任务生命周期管理、优先级机制以及抢占式与时间片轮转两种调度策略展开，并结合实际工程案例进行深度拆解。
上图展示了RTOS任务状态机的核心转换关系以及调度策略与优先级之间的关联。从图中可以看出，任务在就绪、运行、阻塞和挂起四种状态之间迁移，而调度器正是依据优先级和调度策略来决定哪个任务进入运行态。下面我们将从任务创建与删除、挂起与恢复、优先级设计以及调度策略四个维度展开详细讲解。
4.1 任务创建与删除：生命周期管理的基石
4.1.1 核心原理
任务创建的本质是在内存中为任务分配任务控制块（TCB，Task Control Block）和独立的栈空间。TCB记录了任务的状态、优先级、栈指针、入口函数等关键信息。在FreeRTOS中，xTaskCreate()是创建任务的标准接口，其原型如下：
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 // 任务句柄（用于后续操作）
);任务删除则调用vTaskDelete()，该函数会释放任务占用的TCB和栈内存。需要特别注意的是，任务删除后，其句柄将失效，任何对该句柄的操作都会导致未定义行为。因此，工程实践中通常将任务句柄设为NULL，并在删除前确保任务不再被其他模块引用。
4.1.2 操作流程与最佳实践
- 任务函数设计：任务函数必须是一个无限循环，且不能返回。若任务函数意外返回，RTOS会触发断言或进入错误处理钩子。
- 栈大小估算：栈深度取决于任务中的局部变量、函数调用深度和中断嵌套层数。建议使用
uxTaskGetStackHighWaterMark()在运行时检测栈余量。 - 创建时机：任务可以在
main()中创建，也可以在其他任务中动态创建。但需注意，动态创建涉及内存分配，可能产生碎片。 - 删除策略：任务只能删除自身（传入
NULL）或删除其他任务（传入有效句柄）。删除自身时，RTOS会在任务退出后自动清理资源。
4.1.3 案例拆解：多传感器采集系统的任务管理
假设我们设计一个环境监测节点，需要采集温度、湿度和气压数据。初始方案是创建三个独立任务，每个任务负责一个传感器。但经过分析发现，三个传感器共享同一个I2C总线，若同时运行会产生总线冲突。于是我们调整设计：
| 方案 | 任务数量 | 优先级 | 问题 |
|---|---|---|---|
| 方案A：每传感器一个任务 | 3 | 相同 | I2C总线竞争，需加互斥锁 |
| 方案B：单任务顺序采集 | 1 | 中 | 采集周期长，无法并行处理 |
| 方案C：采集任务+处理任务 | 2 | 采集高、处理低 | 采集任务负责I2C，处理任务负责算法 |
最终选择方案C：采集任务以高优先级运行，通过队列将原始数据发送给处理任务。处理任务在空闲时进行滤波和校准计算。这样既避免了总线冲突，又利用了抢占式调度保证采集的实时性。关键代码片段如下：
void vSensorTask(void *pvParams) {
for(;;) {
// 读取三个传感器（I2C总线独占）
readTemp(&temp);
readHumidity(&hum);
readPressure(&pres);
// 发送到处理队列
xQueueSend(xDataQueue, &temp, 0);
xQueueSend(xDataQueue, &hum, 0);
xQueueSend(xDataQueue, &pres, 0);
vTaskDelay(pdMS_TO_TICKS(100)); // 10Hz采样率
}
}4.2 任务挂起与恢复：灵活控制执行节奏
4.2.1 核心原理
挂起（Suspend）与阻塞（Block）有本质区别：阻塞是任务主动等待某个事件或延时，任务仍处于调度器的管理范围内；而挂起是任务被强制暂停，调度器不再考虑该任务，直到被显式恢复。挂起操作不消耗CPU时间，也不释放任务占用的其他资源（如信号量、队列等）。
4.2.2 判断方法与使用场景
- 调试场景：在系统调试时，挂起非关键任务，集中资源分析主任务行为。
- 低功耗模式：进入休眠前挂起所有非必要任务，减少唤醒源。
- 故障保护：检测到异常时，挂起高优先级任务，防止误动作。
- 任务同步：使用
vTaskSuspend()配合vTaskResume()实现简单的任务间同步。
恢复操作vTaskResume()只能恢复由vTaskSuspend()挂起的任务。若任务因等待事件而阻塞，应使用xTaskNotifyGive()或信号量来唤醒，而非vTaskResume()。
4.2.3 实战场景：设备固件升级流程
在OTA升级过程中，系统需要暂停所有业务任务，仅保留升级任务和看门狗任务。具体流程如下：
- 升级任务获取升级许可后，遍历任务列表，调用
vTaskSuspend()挂起所有优先级低于自身的业务任务。 - 执行固件写入操作，期间通过看门狗任务喂狗，防止系统复位。
- 升级完成后，调用
vTaskResume()恢复所有被挂起的任务。
该方案的关键在于：挂起操作必须在升级任务中完成，且需要记录被挂起任务的句柄列表。若升级过程中发生异常，需在错误处理中恢复所有任务，避免系统进入死锁状态。
4.3 任务优先级与调度策略
4.3.1 优先级设计原则
优先级数值越小，优先级越高（FreeRTOS约定）。设计优先级时需遵循以下原则：
- 实时性要求：硬实时任务（如电机控制、故障保护）应分配最高优先级。
- 执行频率：高频任务优先级应高于低频任务。
- 资源占用：持有共享资源的任务优先级不宜过高，否则会阻塞其他任务。
- 优先级反转：低优先级任务持有高优先级任务需要的资源时，应使用优先级继承机制。
4.3.2 抢占式调度与时间片轮转
抢占式调度（Preemptive Scheduling）是指当高优先级任务就绪时，立即暂停当前运行的低优先级任务，将CPU分配给高优先级任务。这种策略保证了关键任务的响应时间，但可能导致低优先级任务饥饿。
时间片轮转（Round-Robin）用于同优先级任务之间。每个任务运行一个时间片（通常为1ms~10ms），时间片耗尽后切换到下一个同优先级任务。该策略保证了公平性，但增加了上下文切换开销。
| 特性 | 抢占式调度 | 时间片轮转 |
|---|---|---|
| 触发条件 | 高优先级任务就绪 | 时间片耗尽 |
| 响应时间 | 确定性高 | 取决于时间片长度 |
| 适用场景 | 硬实时任务 | 软实时、批处理任务 |
| 风险 | 低优先级任务饥饿 | 上下文切换开销大 |
4.3.3 案例拆解：无人机飞控系统的任务调度
无人机飞控系统包含姿态解算（1kHz）、GPS数据处理（10Hz）、遥控指令解析（50Hz）和日志记录（1Hz）四个任务。若全部使用抢占式调度，日志任务可能永远得不到执行。解决方案是：
// 优先级定义
#define PRIO_ATTITUDE 3 // 最高，姿态解算
#define PRIO_GPS 2 // GPS数据
#define PRIO_RC 1 // 遥控指令
#define PRIO_LOG 0 // 日志，最低
// 创建任务
xTaskCreate(vAttitudeTask, "Attitude", 256, NULL, PRIO_ATTITUDE, NULL);
xTaskCreate(vGpsTask, "GPS", 128, NULL, PRIO_GPS, NULL);
xTaskCreate(vRcTask, "RC", 128, NULL, PRIO_RC, NULL);
xTaskCreate(vLogTask, "Log", 256, NULL, PRIO_LOG, NULL);同时，将日志任务设置为时间片轮转模式（通过configUSE_TIME_SLICING开启），确保日志任务在低优先级任务中也能获得CPU时间。实际测试表明，姿态解算的抖动时间小于50μs，满足控制要求。
vTaskDelayUntil()实现固定周期任务，避免累积误差。
4.4 常见误区与总结复盘
4.4.1 典型误区
- 误区一：任务创建越多越好。实际上，每个任务至少需要数百字节栈空间，过多任务会耗尽内存。
- 误区二：挂起任务可以替代延时。挂起任务不释放CPU，若多个任务互相挂起，会导致系统死锁。
- 误区三：所有任务都用最高优先级。这会导致低优先级任务永远无法运行，系统失去实时性。
- 误区四：删除任务后立即重用其句柄。应先将句柄置
NULL，并确保没有其他模块引用。
4.4.2 总结复盘
任务管理的核心在于理解任务状态机的转换条件，以及调度策略对系统实时性的影响。在实际工程中，建议遵循以下步骤：
- 梳理系统功能，划分任务边界，明确每个任务的实时性要求。
- 根据实时性要求分配优先级，硬实时任务优先。
- 对于同优先级任务，评估是否需要时间片轮转，或通过消息队列实现协作式调度。
- 在开发阶段使用
uxTaskGetStackHighWaterMark()监控栈使用情况，避免栈溢出。 - 在系统联调时，使用RTOS提供的跟踪工具（如FreeRTOS的Tracealyzer）分析任务切换频率和CPU占用率。