FreeRTOS 任务管理：创建、删除与调度

FreeRTOS 任务管理

任务（Task）是 FreeRTOS 的核心概念。在 RTOS 中，一个复杂的应用程序被分解为多个独立的、互不干扰的执行流，这些执行流被称为“任务”。

本文详细介绍了 FreeRTOS 中任务的创建、删除、状态管理以及调度机制。

1. 动态创建任务

使用 xTaskCreate 函数动态创建任务，系统会自动从堆（Heap）中分配任务所需的栈（Stack）和任务控制块（TCB）。

函数原型

BaseType_t xTaskCreate( TaskFunction_t pxTaskCode,           // 任务函数
                        const char * const pcName,           // 任务名（字符串）
                        const configSTACK_DEPTH_TYPE usStackDepth, // 栈大小（单位是字，非字节）
                        void * const pvParameters,           // 任务参数
                        UBaseType_t uxPriority,              // 任务优先级
                        TaskHandle_t * const pxCreatedTask );// 任务句柄

参数详解

• pxTaskCode: 指向任务函数的指针。任务函数通常是一个死循环，不能返回。
• pcName: 任务的描述性名称，主要用于调试，最大长度由 configMAX_TASK_NAME_LEN 定义。
• usStackDepth: 任务栈的大小。注意：单位是 StackType_t（通常是 4 字节），而不是字节。 例如传入 100，在 32 位系统上分配的是 400 字节。
• pvParameters: 传递给任务函数的参数指针，如果没有参数可传 NULL。
• uxPriority: 任务的优先级。数值越大，优先级越高（0 是最低优先级）。
• pxCreatedTask: 用于传出任务句柄。如果不需要句柄，可传 NULL。

任务句柄 (TaskHandle_t) 的作用

任务句柄是任务的唯一标识，类似于文件句柄或进程 ID。

• 标识任务：区分不同的任务实例。
• 管理任务：通过句柄调用 API 操作任务：
  • 删除任务：vTaskDelete(pxCreatedTask)
  • 挂起任务：vTaskSuspend(pxCreatedTask)
  • 恢复任务：vTaskResume(pxCreatedTask)
  • 修改优先级：vTaskPrioritySet(pxCreatedTask, newPriority)
  • 查询状态：eTaskGetState(pxCreatedTask)
• 通信机制：用于向特定任务发送通知（Task Notifications）。

---

2. 静态创建任务

使用 xTaskCreateStatic 函数静态创建任务，任务的栈和 TCB 内存由用户在编译时或运行时手动分配（通常定义全局数组），不占用动态堆内存。

函数原型

TaskHandle_t xTaskCreateStatic( TaskFunction_t pxTaskCode,           // 任务函数
                                const char * const pcName,           // 任务名
                                const uint32_t ulStackDepth,         // 栈大小
                                void * const pvParameters,           // 任务参数
                                UBaseType_t uxPriority,              // 任务优先级
                                StackType_t * const puxStackBuffer,  // 栈缓冲区（用户分配）
                                StaticTask_t * const pxTaskBuffer ); // TCB缓冲区（用户分配）

注意事项

• 需要手动定义 StackType_t 类型的数组作为栈空间。
• 需要手动定义 StaticTask_t 类型的变量作为 TCB 空间。
• 相比动态创建，静态创建更安全（无内存碎片风险），但使用相对繁琐。
• 注：静态任务创建在某些配置下可能存在特定限制或 Bug，需查阅具体版本文档。

---

3. 任务删除

使用 vTaskDelete 函数将任务从内核管理列表中移除。

函数原型

void vTaskDelete( TaskHandle_t xTaskToDelete );

• xTaskToDelete: 要删除的任务句柄。如果传入 NULL，则删除调用该函数的任务（即删除自己）。

内存回收机制（重要）

1. 动态创建的任务 (xTaskCreate):

   • 任务被删除后，其占用的栈和 TCB 空间不会立即释放。
   • 这些内存由 空闲任务 (Idle Task) 负责回收。
   • 风险提示：如果高优先级任务频繁创建和删除任务，导致空闲任务一直得不到执行（Starvation），内存将无法回收，最终导致内存耗尽。确保空闲任务有运行机会。

2. 静态创建的任务 (xTaskCreateStatic):

   • 系统不会自动释放内存，因为内存是用户定义的变量。用户需要自己管理这些变量的生命周期。

---

4. 任务调度与优先级

FreeRTOS 是一个抢占式（Preemptive）的实时操作系统。

• 抢占式调度：
  • 高优先级任务一旦就绪，会立即抢占低优先级任务的 CPU 使用权。
  • 除非高优先级任务进入阻塞态（Blocked）或挂起态（Suspended），否则低优先级任务无法运行。
• 时间片轮转：
  • 当多个任务处于相同的高优先级时，它们会轮流执行（时间片轮转）。
• 注意事项：
  • 如果有一个高优先级任务通过死循环一直执行（且不调用阻塞延时函数如 vTaskDelay），低优先级任务将永远得不到执行机会（被“饿死”）。

---

5. 任务状态 (Task States)

FreeRTOS 中的任务永远处于以下四种状态之一：

1. 运行态 (Running):
   • 当前正在 CPU 上执行的任务。在单核处理器上，任何时刻只有一个任务处于运行态。
2. 就绪态 (Ready):
   • 任务已经准备好执行，但由于有一个同优先级或更高优先级的任务正在运行，因此暂时无法执行。
3. 阻塞态 (Blocked):
   • 任务正在等待某个事件（如延时结束、信号量、队列消息）。
   • 处于阻塞态的任务不占用 CPU 资源。
   • 这是任务最常见的状态，通常通过调用 vTaskDelay、xQueueReceive 等函数进入。
4. 挂起态 (Suspended):
   • 任务被显式挂起（调用 vTaskSuspend）。
   • 挂起的任务对调度器是不可见的，无论优先级多高都不会被执行，直到被恢复（调用 vTaskResume）。

状态转换动画演示

下面是一个交互式的任务调度动画，展示了三个不同优先级任务之间的状态转换过程：

🎮 操作说明：

• 点击「播放演示」按钮开始动画
• 观察任务在 Ready、Running、Blocked、Suspended 四个状态之间的流转
• 注意抢占发生时高优先级任务如何立即获得 CPU
• 底部日志实时显示当前发生的调度事件

---

6. 任务延时

任务延时函数是实现多任务调度的关键，它允许任务主动放弃 CPU 使用权，进入阻塞态，从而让低优先级任务有机会运行。

6.1 相对延时 (vTaskDelay)

void vTaskDelay( const TickType_t xTicksToDelay );

• 功能：使任务进入阻塞态，持续 xTicksToDelay 个系统时钟节拍（Tick）。
• 特点：相对时间。延时是从调用该函数的那一刻开始计算的。
• 应用场景：简单的延时，不要求严格的周期性。
• 示例：vTaskDelay(pdMS_TO_TICKS(1000)); // 延时 1000 毫秒

6.2 绝对延时 (vTaskDelayUntil)

void vTaskDelayUntil( TickType_t * const pxPreviousWakeTime, const TickType_t xTimeIncrement );

• 功能：使任务进入阻塞态，直到系统时间达到某个绝对时刻。
• 特点：绝对时间。常用于实现精确的周期性任务（如每 50ms 采样一次）。它会自动补偿任务执行消耗的时间。
• 参数：
  • pxPreviousWakeTime: 指向一个变量，保存上一次唤醒的时间。初次使用前需初始化为当前时间。
  • xTimeIncrement: 周期时间（Ticks）。

代码示例：

void vTaskCode( void * pvParameters )
{
    TickType_t xLastWakeTime;
    const TickType_t xFrequency = pdMS_TO_TICKS( 50 ); // 50ms 周期

    // 初始化 xLastWakeTime 为当前时间
    xLastWakeTime = xTaskGetTickCount();

    for( ;; )
    {
        // 等待下一个周期。注意这里传递的是地址 &xLastWakeTime
        vTaskDelayUntil( &xLastWakeTime, xFrequency );

        // 执行周期性任务...
        // 无论这里的代码执行了多久（只要小于50ms），
        // 下次唤醒总是在 (Start + 50ms), (Start + 100ms)... 
    }
}

---

7. 任务挂起与恢复

用于暂停和恢复任务的执行，通常用于临时的控制逻辑。

7.1 挂起任务 (vTaskSuspend)

void vTaskSuspend( TaskHandle_t xTaskToSuspend );

• 将任务设置为挂起态。
• 传入 NULL 则挂起当前任务自己。
• 挂起态的任务永远不会超时，必须由其他任务唤醒。

7.2 恢复任务 (vTaskResume)

void vTaskResume( TaskHandle_t xTaskToResume );

• 将挂起的任务重新移回就绪态。
• 注意：不要在中断服务函数（ISR）中调用此函数，应使用 xTaskResumeFromISR()。

---

8. 空闲任务 (Idle Task)

• 创建：当调用 vTaskStartScheduler() 启动调度器时，内核会自动创建一个空闲任务。
• 优先级：最低优先级 (0)。
• 职责：
  1. 当没有其他就绪任务时，运行空闲任务，保证系统总有任务在运行。
  2. 回收被删除任务的内存（针对动态创建的任务）。
• 空闲任务钩子 (Idle Hook)：
  • 用户可以定义 vApplicationIdleHook() 函数，让空闲任务在运行时执行特定代码（如进入低功耗模式、喂狗等）。
  • 注意：钩子函数不能调用导致阻塞的 API。