芯耀
289
大家好，我是杂烩君。本篇整理了FreeRTOS的一些经典问题。
一、经典问题
1. 任务状态有哪些？如何切换？
FreeRTOS 有 5 种任务状态。关键点：任务状态不是通过 TCB 中的成员变量存储的，而是通过任务所在的链表隐式表示——在就绪列表中就是就绪态，在延时列表中就是阻塞态。
2. TCB 的核心成员有哪些？
typedef struct tskTaskControlBlock {
volatile StackType_t *pxTopOfStack; /* 栈顶指针（必须是第一个成员！） */
ListItem_t xStateListItem; /* 状态列表项（决定任务在哪个列表中） */
ListItem_t xEventListItem; /* 事件列表项 */
UBaseType_t uxPriority; /* 优先级：0=最低，数值越大越高 */
StackType_t *pxStack; /* 堆栈起始地址 */
char pcTaskName[configMAX_TASK_NAME_LEN];
} tskTCB;
pxTopOfStack 必须是第一个成员——因为 PendSV 汇编通过 pxCurrentTCB 指针直接取第一个成员获取栈顶，偏移错误会导致上下文切换崩溃；
3. 优先级：数值越大越高，还是越小越高？
| 概念 | 优先级方向 | 最低值含义 |
|---|---|---|
| FreeRTOS 任务优先级 | 数值越大，优先级越高 | 0 = 空闲任务 |
| ARM NVIC 中断优先级 | 数值越小，优先级越高 | 0 = 最高优先级 |
调度器选择任务时，比较 pxCurrentTCB->uxPriority < pxTCB->uxPriority，若成立则切换到 pxTCB——说明数值大的优先执行。
4. 中断中调用 FreeRTOS API 有什么规则？
中断中只能用后缀 FromISR 的 API（如 xQueueSendFromISR），不能用任务级 API（如 xQueueSend），否则系统崩溃。
关键限制：需要调用 FreeRTOS API 的中断，其 NVIC 优先级数值必须 >= configMAX_SYSCALL_INTERRUPT_PRIORITY，否则 BASEPRI 无法屏蔽该中断，临界区保护失效。
5. 同步通信机制怎么选？
传数据用队列，简单同步用通知，多事件用事件组，互斥访问用互斥锁。
6. 上下文切换是怎么实现的？
ARM Cortex-M 上，上下文切换分两步：
portYIELD() 只是"提请求"（设 PendSV 挂起位），实际上下文保存/恢复在 PendSV 中断中完成。PendSV 被设为最低优先级异常，确保所有其他中断处理完后才执行。
7. taskENTER_CRITICAL() vs vTaskSuspendAll()
| 对比项 | taskENTER_CRITICAL() | vTaskSuspendAll() |
|---|---|---|
| 实现方式 | 提升BASEPRI屏蔽中断 | 调度器挂起计数+1 |
| 中断响应 | 受管理中断被屏蔽 | 中断正常响应 |
| 保护级别 | 高（任务+中断） | 低（仅任务） |
| 适用场景 | 任务与中断共享资源 | 仅任务间共享资源 |
| 嵌套支持 | 支持 | 支持 |
8. 优先级反转是什么？如何解决？
解决方案：优先级继承
使用互斥锁（xSemaphoreCreateMutex()）而非普通信号量。当 H 等待 L 持有的互斥锁时，L 的优先级被临时提升到 H 的级别，M 无法再抢占 L，L 尽快释放锁后恢复原优先级。
源码核心：xTaskPriorityInherit() 函数比较持有者和等待者的 uxPriority，若持有者更低则提升，并将任务移到对应优先级的就绪列表。
9. 动态内存管理有哪几种方案？
FreeRTOS 提供 5 种 heap 方案（位于 portable/MemMang/）：
实际项目优先用 heap_4。heap_4 的 BlockLink_t 只有两个成员（pxNextFreeBlock + xBlockSize），是单向链表，采用首次适应算法分配，释放时合并相邻空闲块。
10. 创建任务：动态 vs 静态
| 对比项 | xTaskCreate() 动态 | xTaskCreateStatic() 静态 |
|---|---|---|
| TCB和堆栈 | FreeRTOS自动分配 | 用户手动提供 |
| 适用场景 | RAM充足，快速开发 | RAM紧张，高可靠性 |
| 内存碎片 | 有（动态分配导致） | 无 |
二、容易踩的坑
坑1：堆栈溢出 → HardFault
STM32F407，4个任务运行约30分钟后随机崩溃
根因：任务堆栈设置过小，嵌套函数调用+大局部变量导致溢出，破坏相邻内存。
解法：① 开启 configCHECK_FOR_STACK_OVERFLOW 2；② 用 uxTaskGetStackHighWaterMark() 监控，预留30%冗余；③ 大数组改 static 或全局。
坑2：中断中调用任务级API → 系统崩溃
在 USART1_IRQHandler 中调用 xQueueSend() 而非 xQueueSendFromISR()
根因：任务级API可能触发任务切换，在中断上下文中不安全。
解法：中断中只用 FromISR 后缀API，别忘了检查 xHigherPriorityTaskWoken 并调用 portYIELD_FROM_ISR()。
坑3：中断优先级"太高" → API失效
串口中断优先级设为1，configMAX_SYSCALL_INTERRUPT_PRIORITY=5，调用FromISR后数据错乱
根因：NVIC优先级1 < 5（优先级更高），BASEPRI无法屏蔽，临界区保护失效。
解法：需要调用FreeRTOS API的中断，NVIC优先级数值必须 >= configMAX_SYSCALL_INTERRUPT_PRIORITY。
坑4：优先级搞反 → 任务饿死
根因：误以为"数值越小优先级越高"（和NVIC搞混），导致关键任务优先级设得比辅助任务低。
解法：牢记 FreeRTOS 数值越大优先级越高，0=空闲任务。
坑5：死循环不加延时 → 其他任务无法运行
根因：while(1) 中无 vTaskDelay() 或 taskYIELD()，同优先级或低优先级任务永远得不到 CPU。
解法：每个任务循环必须有阻塞点（延时、等待队列/信号量等）。
坑6：信号量死锁
根因：① 二值信号量创建后忘记 xSemaphoreGive() 初始化；② 多个信号量交叉获取（A等B的锁，B等A的锁）。
解法：二值信号量创建后立即Give初始化；多把锁统一获取顺序。
坑7：malloc/free 与 pvPortMalloc/vPortFree 混用 → 内存错乱
根因：两者使用不同的内存管理结构，交叉使用会破坏对方的管理链表。
解法：全局统一用一种。推荐直接宏重定义：
#define malloc(size) pvPortMalloc(size)
#define free(ptr) vPortFree(ptr)如果觉得本文对你有帮助，欢迎点赞、在看、转发支持一波，我们下期见！
