FreeRTOS 基础架构与任务管理

理解 RTOS 存在的意义，掌握 FreeRTOS 任务的完整生命周期，能独立创建多任务程序。本文从裸机与 RTOS 的对比入手，带你一步步搞懂 FreeRTOS 任务的创建、状态机、调度规则和常用 API。

一、FreeRTOS 是什么？为什么需要它？

1.1 裸机 vs RTOS 对比

1.2 FreeRTOS 核心特性

• 开源免费，MIT 许可证
• 抢占式 / 协作式 / 时间片 三种调度方式
• 极小内核，ROM < 10KB，RAM 按需分配
• 支持 40+ 架构（ARM Cortex-M、RISC-V 等）
• 2017 年被 Amazon 收购，维护活跃

1.3 FreeRTOS 内核架构

┌─────────────────────────────────────────┐
│            用户应用（Tasks）             │
├─────────────────────────────────────────┤
│   FreeRTOS API（任务/队列/信号量/...）    │
├─────────────────────────────────────────┤
│          FreeRTOS 内核（调度器）           │
├─────────────────────────────────────────┤
│        硬件抽象层（port.c / portmacro.h）│
├─────────────────────────────────────────┤
│            硬件（STM32 等）              │
└─────────────────────────────────────────┘

核心源码文件：

二、任务（Task）—— FreeRTOS 的核心

2.1 什么是任务？

任务可以理解为进程/线程，创建一个任务，就会在内存开辟一个空间。
任务 = 一个独立的 无限循环函数 + 独立的 栈空间 + 优先级

// 任务函数模板
void vMyTask(void *pvParameters)
{
    // 初始化代码（只执行一次）

    for(;;)  // 任务必须是无限循环
    {
        // 任务逻辑
        vTaskDelay(pdMS_TO_TICKS(100));  // 延时释放CPU
    }

    // 永远不会到达这里
    // 如果要删除自己：vTaskDelete(NULL);
}

2.2 任务创建

方式一：动态创建（常用）

TaskHandle_t xTaskHandle = NULL;

BaseType_t ret = xTaskCreate(
    vMyTask,           // 任务函数
    "MyTask",          // 任务名（调试用，最大 configMAX_TASK_NAME_LEN）
    128,               // 栈大小（单位：字，STM32上 1字=4字节）
    NULL,              // 传给任务的参数
    2,                 // 优先级（0最低，configMAX_PRIORITIES-1 最高）
    &xTaskHandle       // 任务句柄（可为NULL）
);

if(ret == pdPASS) {
    // 创建成功
}

方式二：静态创建（不用动态内存）

StaticTask_t xTaskBuffer;
StackType_t xStack[128];

TaskHandle_t xHandle = xTaskCreateStatic(
    vMyTask,
    "MyTask",
    128,
    NULL,
    2,
    xStack,           // 用户提供的栈数组
    &xTaskBuffer       // 用户提供的任务控制块
);

2.3 任务状态机 ⭐⭐⭐

四种状态详解：

• Running 运行态：CPU 的使用权被该任务占用，同一时间仅一个任务处于运行态。
• Ready 就绪态：任务能够运行（没有被阻塞和挂起），但因同优先级或更高优先级的任务正在运行，暂时没有获得 CPU。
• Blocked 阻塞态：任务因延时、等待信号量、消息队列、事件标志组等原因，主动放弃 CPU 并等待特定事件。
• Suspended 挂起态：类似暂停，通过 vTaskSuspend() 挂起后任务不会被调度，只有调用 xTaskResume() 才能恢复。

2.4 任务调度器 ⭐⭐⭐⭐⭐

调度器使用调度算法来决定当前需要执行哪个任务。FreeRTOS 中开启任务调度的函数是 vTaskStartScheduler()，在 CubeMX 中被封装为 osKernelStart()。

调度规则（三条黄金法则）：

1. 高优先级优先：优先级高的 Ready 任务先运行
2. 同优先级时间片轮转：相同优先级的任务轮流执行（需开启 configUSE_TIME_SLICING）
3. 抢占式调度：高优先级任务就绪时，立即抢占低优先级任务（需开启 configUSE_PREEMPTION）

优先级 3: ████░░░░████░░░░████  ← 最先运行
优先级 2: ░░░░████░░░░░░░░░░░░  ← 优先级3阻塞时才运行
优先级 1: ░░░░░░░░░░░░████░░░░  ← 优先级2也阻塞时才运行
优先级 0: Idle Task（空闲任务） ← 没人运行时才运行

2.5 关键配置项 (FreeRTOSConfig.h)

#define configUSE_PREEMPTION        1    // 1=抢占式, 0=协作式
#define configUSE_TIME_SLICING      1    // 1=同优先级时间片轮转
#define configCPU_CLOCK_HZ          72000000  // CPU主频
#define configTICK_RATE_HZ          1000      // Tick频率（1ms一次）
#define configMAX_PRIORITIES        5         // 最大优先级数
#define configMINIMAL_STACK_SIZE    128       // 最小栈大小（字）
#define configTOTAL_HEAP_SIZE       (10*1024) // FreeRTOS堆大小
#define configMAX_TASK_NAME_LEN     16        // 任务名最大长度

三、任务常用 API 速查

3.1 创建与删除

xTaskCreate 函数原型：

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          // 任务句柄（输出参数）
);

参数说明：

返回值：

• pdPASS：任务创建成功
• errCOULD_NOT_ALLOCATE_REQUIRED_MEMORY：堆内存不足，创建失败

vTaskDelete 函数原型：

void vTaskDelete(TaskHandle_t xTaskToDelete);

将待删除的任务句柄传入即可删除该任务。当传入 NULL 时，代表删除任务自身（当前正在运行的任务）。

3.2 延时

3.3 挂起与恢复

3.4 优先级操作

四、实战练习

练习 1：LED 双任务闪烁

// 任务1：LED1 以 500ms 间隔闪烁
void vLED1Task(void *pvParameters)
{
    for(;;)
    {
        HAL_GPIO_TogglePin(LED1_GPIO_Port, LED1_Pin);
        vTaskDelay(pdMS_TO_TICKS(500));
    }
}

// 任务2：LED2 以 200ms 间隔闪烁
void vLED2Task(void *pvParameters)
{
    for(;;)
    {
        HAL_GPIO_TogglePin(LED2_GPIO_Port, LED2_Pin);
        vTaskDelay(pdMS_TO_TICKS(200));
    }
}

int main(void)
{
    HAL_Init();
    SystemClock_Config();
    MX_GPIO_Init();

    xTaskCreate(vLED1Task, "LED1", 128, NULL, 1, NULL);
    xTaskCreate(vLED2Task, "LED2", 128, NULL, 1, NULL);

    vTaskStartScheduler();  // 启动调度器，永不返回

    while(1) {}  // 如果到这里说明堆内存不足
}

练习 2：抢占式调度验证

创建 3 个不同优先级的任务，通过串口打印观察执行顺序，验证高优先级抢占行为。

void vHighTask(void *p)  { for(;;) { printf("H\r\n"); vTaskDelay(pdMS_TO_TICKS(1000)); } }
void vMidTask(void *p)   { for(;;) { printf("M\r\n"); vTaskDelay(pdMS_TO_TICKS(1000)); } }
void vLowTask(void *p)   { for(;;) { printf("L\r\n"); vTaskDelay(pdMS_TO_TICKS(1000)); } }

// 创建时：High=3, Mid=2, Low=1

五、常见问题

六、更多练习题

七、总结 Checklist

• [ ] 理解裸机 vs RTOS 的核心区别
• [ ] 掌握任务四种状态及转换关系
• [ ] 能独立用 xTaskCreate 创建多任务程序
• [ ] 理解抢占式调度的工作原理
• [ ] 区分 vTaskDelay 和 vTaskDelayUntil
• [ ] 完成 LED 双任务实验