3. 任务创建与删除

在RTOS中，任务是独立调度、拥有私有栈空间的执行单元。任务的创建与删除是任务生命周期管理的核心操作，直接决定了系统资源的分配与回收效率。本节将深入剖析FreeRTOS中任务创建的底层机制、参数传递的多种方式，以及任务删除与自我终止的安全实践。

3.1 任务创建API：xTaskCreate 深度解析

xTaskCreate 是FreeRTOS中最核心的任务创建函数，其原型定义在 task.h 中。该函数通过动态内存分配为任务分配任务控制块（TCB）和栈空间，并将任务加入就绪链表。

// 典型任务创建示例
TaskHandle_t xSensorTaskHandle = NULL;

void vSensorTask(void *pvParameters) {
    uint32_t ulSensorID = *(uint32_t *)pvParameters;
    for (;;) {
        // 传感器数据采集逻辑
        vTaskDelay(pdMS_TO_TICKS(100));
    }
}

void vAppMain(void) {
    uint32_t ulID = 1;
    BaseType_t xResult = xTaskCreate(
        vSensorTask,          // 任务函数
        "SensorTask",         // 任务名称
        256,                  // 栈深度：256字 = 1024字节（32位）
        (void *)&ulID,        // 传递传感器ID地址
        2,                    // 优先级2
        &xSensorTaskHandle    // 返回句柄
    );
    if (xResult != pdPASS) {
        // 错误处理：内存不足或优先级无效
    }
    vTaskStartScheduler();
}

3.2 任务参数传递：指针、结构体与注意事项

xTaskCreate 的 pvParameters 参数是一个 void * 指针，这意味着它可以指向任意类型的数据。但嵌入式系统中内存生命周期管理至关重要，必须遵循以下原则：

• 传递基本类型：直接传递整型、枚举等简单值，但需注意指针指向的变量在任务启动后必须仍然有效。
• 传递结构体指针：适用于多参数场景，结构体必须在任务创建前分配，且在任务生命周期内保持有效。
• 传递字符串：字符串常量（存储在Flash或只读区）是安全的；栈上分配的字符数组需确保任务使用前未被覆盖。
• 传递句柄：将队列、信号量、互斥量等内核对象的句柄传递给任务，实现任务间通信。

// 安全传递结构体参数
typedef struct {
    uint8_t ucSensorAddr;
    uint32_t ulBaudRate;
    TickType_t xSamplePeriod;
} SensorConfig_t;

void vSensorTask(void *pvParameters) {
    SensorConfig_t *pxConfig = (SensorConfig_t *)pvParameters;
    // 使用 pxConfig->ucSensorAddr, pxConfig->ulBaudRate 等
    vTaskDelay(pxConfig->xSamplePeriod);
}

void vInitSensors(void) {
    // 使用动态分配确保参数持久有效
    SensorConfig_t *pxConfig = pvPortMalloc(sizeof(SensorConfig_t));
    configASSERT(pxConfig != NULL);
    pxConfig->ucSensorAddr = 0x50;
    pxConfig->ulBaudRate = 115200;
    pxConfig->xSamplePeriod = pdMS_TO_TICKS(50);

    xTaskCreate(vSensorTask, "Sensor", 256, (void *)pxConfig, 1, NULL);
}

3.3 任务删除与自我终止：vTaskDelete 与安全回收

任务删除涉及TCB回收、栈空间释放以及内核链表维护。FreeRTOS提供 vTaskDelete API，支持删除其他任务或任务自我终止。

// 任务自我终止示例
void vOneShotTask(void *pvParameters) {
    // 执行一次性初始化操作
    vHardwareInit();
    // 任务完成，自我删除
    vTaskDelete(NULL);  // 传入NULL表示删除当前任务
}

// 外部删除任务示例
void vSupervisorTask(void *pvParameters) {
    TaskHandle_t xWorkerHandle = (TaskHandle_t)pvParameters;
    vTaskDelay(pdMS_TO_TICKS(5000));  // 等待5秒
    if (eTaskGetState(xWorkerHandle) != eDeleted) {
        vTaskDelete(xWorkerHandle);   // 强制删除工作任务
    }
}

3.4 任务创建与删除的完整生命周期

下图展示了从任务创建到删除的完整状态流转，以及内核内部的数据结构变化：

3.5 任务删除的注意事项与最佳实践

• 资源清理：任务在删除前应主动释放持有的互斥量、动态分配的内存、打开的文件描述符等资源。内核不会自动清理任务持有的用户资源。
• 临界区与挂起：不要在临界区（taskENTER_CRITICAL）或调度器挂起（vTaskSuspendAll）期间调用 vTaskDelete，可能导致死锁或未定义行为。
• 句柄有效性：删除任务后，该任务的句柄不再有效。如果后续代码仍使用该句柄，应将其置为 NULL 或使用 eTaskGetState 检查任务状态。
• 栈溢出检测：任务删除前建议检查栈使用情况（uxTaskGetStackHighWaterMark），若栈溢出已发生，删除操作可能失败。

// 安全的任务删除流程
void vSafeTaskDelete(TaskHandle_t *pxTaskHandle) {
    TaskHandle_t xHandle = *pxTaskHandle;
    if (xHandle == NULL) return;

    // 检查任务状态
    eTaskState eState = eTaskGetState(xHandle);
    if (eState == eDeleted || eState == eInvalid) {
        *pxTaskHandle = NULL;
        return;
    }

    // 通知任务准备退出（通过队列或标志位）
    // ...

    // 执行删除
    vTaskDelete(xHandle);
    *pxTaskHandle = NULL;  // 句柄置空，防止悬空指针
}