4、任务创建与删除：任务的概念、任务控制块（TCB）、任务创建函数（xTaskCreate）、任务删除、任务参数与优先级

FreeRTOS 作为一个轻量级实时操作系统，其核心价值在于对任务的调度与管理。在裸机开发中，程序通常是一个无限循环（如 while(1)），所有功能按顺序轮流执行，实时性和模块化都受到限制。而引入 FreeRTOS 后，我们将整个应用拆分为多个独立的任务（Task），每个任务负责一个具体的功能模块，由内核根据优先级和时间片进行调度。本章将深入剖析任务从创建到删除的完整生命周期，重点讲解任务控制块（TCB）的内部结构、xTaskCreate 函数的参数细节、任务删除的注意事项，以及任务参数与优先级的实际应用方法。理解这些内容，是后续学习队列、信号量、互斥锁等 IPC 机制的基础。

4.1 任务的概念与任务控制块（TCB）

核心原理：在 FreeRTOS 中，任务是一个独立的执行流，拥有自己的栈空间、优先级和状态。任务函数通常是一个无限循环，结构如下：

void vTaskFunction(void *pvParameters) {
    // 初始化代码
    for(;;) {
        // 任务主体逻辑
        vTaskDelay(pdMS_TO_TICKS(100)); // 延时释放 CPU
    }
    // 任务函数不应返回，若返回则相当于调用 vTaskDelete(NULL)
}

每个任务在创建时，内核会为其分配一个任务控制块（Task Control Block, TCB）。TCB 是内核管理任务的核心数据结构，保存了任务的所有上下文信息。在 FreeRTOS 源码中，TCB 定义在 tasks.c 文件中，主要成员包括：

判断方法：在调试时，可以通过查看 TCB 中的 pxTopOfStack 和 pxStack 来判断任务栈的使用情况。若 pxTopOfStack 接近 pxStack 的起始地址，说明栈空间即将耗尽，存在溢出风险。FreeRTOS 提供了 uxTaskGetStackHighWaterMark() API 来获取任务栈的最小剩余空间。

4.2 任务创建函数 xTaskCreate 详解

操作流程：xTaskCreate 是动态创建任务的标准 API，其原型如下：

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

返回值：pdPASS 表示创建成功，errCOULD_NOT_ALLOCATE_REQUIRED_MEMORY 表示内存不足。

关键参数说明：

• usStackDepth：栈深度单位是字（Word），在 32 位 MCU 上 1 字 = 4 字节。例如设置 128，实际分配 512 字节。栈空间大小需根据任务局部变量、函数调用深度和中断嵌套情况估算，过小会导致栈溢出，过大浪费 RAM。
• pvParameters：任务参数以 void* 指针形式传入，可以指向任意类型的数据。这是实现任务复用和数据传递的重要手段。
• uxPriority：取值范围为 0 到 configMAX_PRIORITIES-1。数值越大优先级越高。0 为最低优先级，通常分配给空闲任务。
• pxCreatedTask：如果不需要句柄，可以传入 NULL。句柄用于后续操作，如删除任务、修改优先级、向任务发送通知等。

typedef struct {
    uint16_t freq_hz;
    uint8_t  gpio_pin;
} led_config_t;

void vLEDTask(void *pvParameters) {
    led_config_t *cfg = (led_config_t*)pvParameters;
    TickType_t delay = pdMS_TO_TICKS(1000 / cfg->freq_hz / 2);
    for(;;) {
        GPIO_Toggle(cfg->gpio_pin);
        vTaskDelay(delay);
    }
}

void app_main(void) {
    static led_config_t led_cfg = { .freq_hz = 2, .gpio_pin = 5 };
    TaskHandle_t led_handle = NULL;
    xTaskCreate(vLEDTask, "LED", 128, &led_cfg, 2, &led_handle);
    // 创建其他任务...
}

4.3 任务删除与资源回收

核心原理：任务删除使用 vTaskDelete(TaskHandle_t xTask) 函数。当参数为 NULL 时，表示删除当前正在运行的任务（即任务自杀）。删除任务后，内核会释放该任务的 TCB 和栈空间，但释放操作由空闲任务（Idle Task）完成，因此删除操作后不会立即释放内存，而是延迟到空闲任务获得 CPU 时执行。

操作流程与注意事项：

1. 删除其他任务时，需持有该任务的句柄。若句柄丢失，则无法删除该任务。
2. 任务被删除后，其句柄变为无效，不应再使用。
3. 空闲任务（优先级为 0）和定时器服务任务（若启用）不能被删除。
4. 任务删除前，应确保其不再占用任何互斥锁、信号量或队列，否则可能导致死锁或资源泄漏。
5. 若任务持有动态分配的内存（如 malloc），需在任务退出前自行释放，内核不会自动清理。

4.4 任务参数与优先级的进阶应用

判断方法：任务参数是 void* 指针，这提供了极大的灵活性。常见用法包括：

• 传入结构体指针，实现多参数传递。
• 传入数组指针，让多个任务共享同一份数据。
• 传入整数值（通过强制类型转换），用于区分同一任务函数的多个实例。

优先级设计原则：

案例拆解：以一个温控系统为例，系统包含三个任务：温度采集任务（优先级 3）、PID 控制任务（优先级 5）、OLED 显示任务（优先级 1）。温度采集任务每 100ms 读取一次传感器，将数据放入队列；PID 控制任务阻塞在队列上，收到新温度后立即计算并输出 PWM；OLED 显示任务每 500ms 刷新一次界面。这种设计保证了控制回路的实时性，同时显示任务不会干扰核心控制逻辑。

常见误区与复盘：

• 误区一：所有任务都设为相同优先级。这会导致时间片轮转调度，若某个任务执行时间过长，会延迟其他任务的执行。应区分实时任务和非实时任务。
• 误区二：任务参数传入局部变量地址。任务创建后，局部变量可能已失效，导致悬垂指针。应使用 static 变量或全局变量，或动态分配内存。
• 误区三：删除任务后立即访问其句柄。句柄已失效，应置为 NULL。
• 误区四：栈深度设置过小。在调试阶段，应开启栈溢出检测（configCHECK_FOR_STACK_OVERFLOW），并使用 uxTaskGetStackHighWaterMark() 检查余量。