前言

很多刚接触 FreeRTOS 开发的同学，能熟练写出xTaskCreate创建任务，会调用vTaskDelay延时，但是始终搞不懂一个核心问题：RTOS 到底是怎么调度多个任务并发运行？任务切换背后发生了什么？

裸机程序是顺序执行，代码从上跑到下，一轮循环结束再重新开始。而 FreeRTOS 可以同时存在多个任务，看起来多个函数 “同时跑”，这种效果依靠任务管理 + 内核调度器实现。本文由浅入深拆解 FreeRTOS 任务运行底层逻辑。

一、什么是 FreeRTOS 任务？

任务本质是独立、无限循环的 C 函数。

每一个任务拥有专属：

任务栈：保存局部变量、寄存器、函数调用上下文

任务控制块 TCB：内核管理任务的 “档案”，存放优先级、状态、栈地址等信息

重点：任务函数一旦退出（return）程序直接崩溃。裸机函数可以执行完毕返回，RTOS 任务不允许。

二、任务的五大状态

这是理解任务调度的关键，所有任务永远处于下面其中一种状态：

运行态：CPU 当前正在执行这个任务，同一时刻单核 MCU 只能有 1 个任务处于运行态

就绪态：任务准备好了，可以随时运行，只是有更高优先级任务正在占用 CPU

阻塞态：任务主动放弃 CPU，等待某件事（延时、信号量、队列、事件组），不会占用 CPU

挂起态：调用vTaskSuspend()暂停任务，只有主动恢复才能进入就绪态

删除态：任务被vTaskDelete()删除，内核回收资源

日常开发最常混淆： 阻塞 ≠ 就绪

vTaskDelay()会让任务进入阻塞，CPU 去运行其他任务；

如果写空 while 循环等待，任务停留在就绪态，持续抢占 CPU，造成资源浪费。

三、任务切换到底发生了什么？

很多人疑惑：MCU 只有一个核心，怎么做到多个任务同时运行？

答案：时间片抢占式调度 + 上下文保存与恢复

切换流程

触发切换（两种场景）

抢占触发：高优先级任务解除阻塞，立刻抢占当前低优先级任务

主动让出：当前任务调用vTaskDelay、等待信号量主动进入阻塞

保存上下文：把当前 CPU 所有寄存器的值，存入当前任务专属栈中

调度器查找下一个最高优先级就绪任务

恢复上下文：从新任务栈中读取寄存器，CPU 继续执行这个任务

整个切换动作由 PendSV 中断完成，这也是 FreeRTOS 底层最重要的中断。

四、调度规则

FreeRTOS 默认抢占式调度器，规则记住两点：

优先级至高无上

高优先级就绪任务，能立刻打断正在运行的低优先级任务。

同优先级任务：时间片轮转

优先级相同的就绪任务，开启时间片后，按照固定时间轮流执行。

学员经常问到的难点

问题：空闲任务 和 用户任务优先级相同，空闲任务钩子函数开启，空闲任务还能正常执行吗？

解答：可以执行。同优先级开启时间片轮转，两个任务轮流占用 CPU；

注意：空闲任务不能阻塞！一旦空闲任务阻塞，系统存在风险。

五、空闲任务作用补充

系统自动创建，最低优先级；

当所有用户任务都进入阻塞态，CPU 运行空闲任务；

空闲任务钩子，适合放置后台低优先级循环业务；

支持低功耗：可以在空闲任务中开启 MCU 休眠。

六、新手开发常见坑

任务内部使用大量耗时循环，不调用阻塞 API，霸占 CPU，其他任务得不到执行；

多个任务共用全局变量不加保护，出现数据竞争（解决方案：互斥量）；

任务栈分配太小，数组 / 局部变量过多，栈溢出导致死机；

在中断里直接调用大量任务 API，必须使用带FromISR中断专用函数；

七、总结

简单一句话概括整套机制：

FreeRTOS 把每一段独立业务封装成任务，通过 TCB 管理所有任务状态；调度器依据优先级，配合上下文切换，快速切换不同任务，让单核单片机实现 “并发运行” 的效果。

任务能否流畅运行，核心在于合理划分任务优先级、善用阻塞 API，避免持续占用 CPU。理解任务状态与切换原理，后续学习信号量、事件组、队列等通信机制会事半功倍。