【嵌入式面试】RTOS/FreeRTOS 高频面试题
嵌入式开发岗位面试中，RTOS（尤其是 FreeRTOS）几乎是必考板块：从任务调度、上下文切换到同步互斥、内存管理，考点密集且追问深入。本文整理了 RTOS/FreeRTOS 高频面试题 与精炼参考答案，覆盖任务、调度、IPC、中断与低功耗等核心知识点，帮你快速过一遍八股。
任务与调度
1. 前后台系统（裸机）与 RTOS 有什么区别？
前后台系统是"主循环（后台）+ 中断（前台）"结构：主循环顺序轮询处理事务，实时性差，任务之间靠全局变量/标志通信，代码耦合度高。RTOS 将程序拆分为多个独立任务，由优先级抢占调度统一管理，每个任务拥有独立栈和状态，实时性可预测、模块化程度高。代价是额外的 RAM/ROM 开销、调度延迟和更高的调试复杂度，适合业务复杂、实时性要求高的场景。
2. FreeRTOS 任务有哪几种状态？状态之间如何转换？
任务有四种状态：运行（Running）、就绪（Ready）、阻塞（Blocked）、挂起（Suspended）。运行 → 就绪：被更高优先级任务抢占或时间片耗尽；运行 → 阻塞：等待队列/信号量或调用延时；阻塞 → 就绪：等待的事件就绪或延时到期；就绪 → 运行：调度器选中最高优先级就绪任务。挂起状态由 vTaskSuspend 进入，只能靠 vTaskResume 恢复，不参与调度、不能超时自动唤醒。面试常追问：阻塞的两种来源（等待事件、延时）如何区分。
3. 任务切换的原理是什么？SysTick 和 PendSV 各起什么作用？
SysTick 是系统节拍定时器，周期性产生中断，作为时间片、延时和超时的时基；每个 tick 检查是否有更高优先级任务就绪，需要切换时置位 PendSV 挂起位。PendSV 是可悬起的系统调用异常，被配置为最低优先级，用于延迟执行上下文切换：硬件自动压栈 xPSR/PC/LR/R12/R0-R3，软件在 PendSV 中保存 R4-R11、更新 PSP、恢复新任务上下文。系统启动时用 SVC 触发第一个任务的启动。
4. 为什么任务切换要放在 PendSV 里做，而不是直接在 SysTick 中断里切换？
若在 SysTick 内直接切换，当 SysTick 抢占其他中断时，被抢占中断的现场由硬件压栈，但任务切换会破坏"中断返回后恢复原任务"的假设，造成上下文错乱。PendSV 被设置为最低优先级，等所有中断处理完毕后才执行，保证切换时现场完整、不破坏中断嵌套。这是 Cortex-M 上 FreeRTOS 移植的关键设计，面试官常顺着追问嵌套中断与临界区问题。
5. 抢占式调度和时间片轮转有什么区别？
抢占式调度（configUSE_PREEMPTION=1）：高优先级任务一就绪立即抢占低优先级任务的 CPU，实时性有保证。时间片轮转（configUSE_TIME_SLICING=1）：同优先级任务轮流运行，每个任务运行一个 tick 后切换，实现公平调度。两者可同时生效：不同优先级之间抢占，同优先级之间轮转。注意同优先级任务若未开启时间片，则要等当前任务主动让出 CPU。
6. FreeRTOS 的调度器是怎么工作的？
vTaskStartScheduler 创建空闲任务并启动 SysTick；调度规则是始终运行最高优先级的就绪任务，同优先级按时间片轮转。空闲任务优先级最低，负责回收被删除任务的资源、统计空闲时间、在无任务可运行时进入低功耗（Tickless）。vTaskSuspendAll/vTaskResumeAll 可挂起调度器（不关中断）暂停任务切换，配合临界区使用。
同步与互斥
7. 信号量和互斥锁有什么区别？
互斥锁（互斥量）用于资源互斥访问，具有优先级继承机制，并且只能由持有它的任务释放（所有权概念）。二值信号量多用于任务/中断同步（如中断通知任务"有数据了"），谁都可以 give/take，没有所有权。FreeRTOS 中互斥量本质是开启了优先级继承的二值信号量；计数信号量则用于管理多份资源。面试常问：任务间共享资源保护用互斥量，中断唤醒任务用信号量。
8. 什么是优先级翻转？FreeRTOS 如何解决？
典型场景：低优先级任务 L 持有互斥量，高优先级任务 H 等待该互斥量；此时中优先级任务 M 就绪并抢占 L，导致 H 被"饿死"，实时性被破坏，这就是优先级翻转。解决方法是优先级继承：当 L 阻塞了 H 时，L 的优先级被临时提升到 H 的优先级，避免 M 抢占；L 释放互斥量后恢复原优先级。FreeRTOS 的互斥量默认开启优先级继承；另一种方案是优先级天花板协议（部分 RTOS 支持）。
9. 二值信号量和计数信号量有什么区别？分别用在什么场景？
二值信号量只有 0/1 两个状态，典型用于同步：ISR 中 xSemaphoreGiveFromISR 唤醒等待数据的任务。计数信号量维护计数值（最大在创建时指定），用于资源计数（如 N 个缓冲区的占用情况）或事件计数（累计事件发生的次数）。二值信号量每次只记录"有一次事件"，事件密集时可能丢失计数；计数信号量可以累计。
10. 队列和消息邮箱有什么区别？
队列是 FIFO 消息传递，数据深拷贝进队列缓冲区，支持多生产者/多消费者，长度可以大于 1。消息邮箱一般指队列长度为 1 的队列，FreeRTOS 可用 xQueueOverwrite 覆盖旧消息，适合传递"最新状态"而不是"事件流"。队列支持任务间、中断与任务间通信（FromISR 版本），阻塞等待队列消息的任务在消息到达时被唤醒。
11. 事件标志组有什么特点？用在什么场景？
事件标志组是一组事件位（FreeRTOS 中 24 位可用），任务可以等待"任意一个事件"（逻辑或）或"全部事件"（逻辑与），支持超时。一个事件标志组可被多个任务等待，适合"多个事件触发一个任务"的同步场景。与信号量的区别：信号量只记录"发生了多少次"，事件标志组记录"发生了哪些事件"，表达力更强。
12. 任务通知相比队列和信号量有什么优势？有什么限制？
任务通知更快（不经过队列等内核对象）、更省内存（每个任务只有 32 位通知值和通知状态），适合点对点同步与传值。限制：只能一对一通知，不能广播到多个任务；每个任务只有一个通知值，无法传递任意长度数据（可用通知值传索引/标志）。FreeRTOS 中 xTaskNotifyGive/xTaskNotifyWait 可把任务通知当轻量信号量/事件组使用。
定时器、中断与临界区
13. 软件定时器与硬件定时器有什么区别？
软件定时器由 RTOS 的定时器服务（守护）任务统一管理，回调函数在该任务上下文中执行，因此回调不能阻塞（不能调用会阻塞的 API），精度受 tick 周期限制。硬件定时器由外设定时器中断触发，精度高、实时性好，但外设数量有限、需要自己管理。FreeRTOS 中软件定时器通过 xTimerCreate/xTimerStart 创建启动，命令经队列发送给守护任务处理。
14. 中断服务函数里为什么不能调用普通 API？哪些 API 可以在中断里用？
中断上下文没有任务可以阻塞，调用会阻塞的 API（如 xSemaphoreTake、xQueueReceive、vTaskDelay）会导致系统挂死。应使用带 FromISR 后缀的非阻塞版本：xQueueSendFromISR、xSemaphoreGiveFromISR、xEventGroupSetBitsFromISR、xTaskNotifyFromISR、xQueueReceiveFromISR（立即返回）等。这些 API 通过 pxHigherPriorityTaskWoken 参数返回是否需要任务切换，配合 portYIELD_FROM_ISR 触发调度。
15. 什么是临界区？FreeRTOS 如何进入临界区？
临界区是保护共享资源不被并发访问的代码段。方式一：taskENTER_CRITICAL/taskEXIT_CRITICAL，本质是关中断（支持嵌套计数），保护最彻底但会增大中断延迟，只适合极短代码。方式二：vTaskSuspendAll/vTaskResumeAll 挂起调度器，不关中断，中断仍可响应但任务不切换。方式三：互斥量，只能用于任务间互斥，ISR 中不能使用。
16. 关中断和挂起调度器有什么区别？各自适用什么场景？
关中断屏蔽所有中断（含 SysTick），保护最彻底，但实时性受损（中断延迟不可控），只适合极短临界区。挂起调度器只禁止任务切换，中断照常响应，适合稍长但可被中断打断的临界区，注意期间不能调用阻塞 API。原则是临界区越短越好，能优先考虑互斥量/挂起调度器时就不要用关中断。
低功耗、栈与内存
17. FreeRTOS 的 Tickless 低功耗模式是怎么工作的？
开启 configUSE_TICKLESS_IDLE 后，当只有空闲任务可运行时，空闲任务进入低功耗（如 WFI 指令），并挂起 SysTick 停止节拍；进入前计算预计空闲时间，唤醒后补偿丢失的 tick，保证延时和超时准确。该模式依赖硬件支持（如 RTC、外部中断作为唤醒源），STM32 上常配合 STOP/STANDBY 模式，显著降低待机功耗。
18. FreeRTOS 如何检测栈溢出？
方法一（configCHECK_FOR_STACK_OVERFLOW=1）：任务切换时检查栈指针是否越界。方法二（=2）：任务创建时用已知模式填充栈，切换时检查栈底填充模式是否被改写，能发现"轻微溢出"，更可靠。触发后调用 vApplicationStackOverflowHook 钩子函数（默认空实现，可自定义记录错误）。栈溢出会破坏相邻内存（TCB/其他任务栈），是嵌入式最典型的隐蔽故障。
19. FreeRTOS 的 heap_1 ~ heap_5 各有什么特点？如何选择？
heap_1：只分配不释放，无碎片，适合永不删除任务的系统，确定性强。heap_2：支持释放，但不合并相邻空闲块，会碎片化，不适合频繁创建/删除任务。heap_3：包装 C 库 malloc/free，线程安全（挂起调度器），堆大小由链接脚本决定。heap_4：支持释放并合并相邻空闲块，按首次适应分配，最常用。heap_5：在 heap_4 基础上支持多个不连续内存区（如片内 SRAM + 外部 SDRAM），用 vPortDefineHeapRegions 指定。
20. 任务栈大小如何确定？栈太小会怎样？
估算时考虑函数嵌套调用、局部变量、中断嵌套（ISR 使用任务栈）、库函数（如 printf）的栈需求，通常留 20%~50% 余量。可用 uxTaskGetStackHighWaterMark 查询任务栈的历史最大使用量来校准。栈太小会溢出，破坏相邻内存（TCB 或堆），导致随机崩溃，必须配合栈溢出检测尽早发现。
