2、RTOS基础回顾：掌握任务、调度器、中断、信号量、队列等核心概念，为性能评估打下基础

在深入TinyML与RTOS的性能评估之前，必须首先建立对RTOS核心机制的清晰认知。性能评估并非简单地测量“快慢”，而是需要理解系统在并发、抢占、同步与通信场景下的行为特征。本章将系统梳理任务、调度器、中断、信号量与队列这五大核心概念，并揭示它们与CPU占用率、任务延迟及栈水位等关键指标之间的内在关联。只有理解了调度器如何“选择下一个任务”、中断如何“打断当前执行”、信号量如何“阻塞与唤醒”，才能准确解读性能数据背后的系统行为。

2.1 任务：RTOS的基本执行单元

核心原理：任务是RTOS中独立调度的最小执行单元，每个任务拥有自己的栈空间、优先级和任务控制块（TCB）。任务在任意时刻处于运行、就绪、阻塞、挂起或终止状态之一。在TinyML场景中，典型的任务划分包括：传感器数据采集任务、推理计算任务、通信上报任务以及看门狗监控任务。每个任务都表现为一个无限循环的C函数，通过调用RTOS API实现状态切换。

任务状态与性能关联：任务状态转换直接影响CPU占用率和系统响应时间。当任务因等待信号量或队列而阻塞时，调度器会切换到其他就绪任务，这既可能提高CPU利用率，也可能引入上下文切换开销。栈空间分配是任务创建时的关键参数——栈过小会导致溢出，过大则浪费RAM。在资源受限的MCU上，通常通过栈水位检测（High-Water Mark）来动态评估实际栈使用峰值。

2.2 调度器：系统性能的核心仲裁者

核心原理：调度器是RTOS的心脏，负责在多个就绪任务中决定下一个运行的任务。主流RTOS（如FreeRTOS、Zephyr）采用基于优先级的抢占式调度策略：高优先级任务就绪时，立即抢占低优先级任务的CPU使用权。同优先级任务之间则通过时间片轮转（Round-Robin）或协作式调度共享CPU。

调度策略对性能的影响：抢占式调度保证了高优先级任务的实时性，但频繁的上下文切换会消耗CPU周期。每次上下文切换需要保存当前任务的寄存器、堆栈指针、FPU状态等，通常耗时在几十到几百个时钟周期。在TinyML推理任务中，如果频繁被高优先级中断或任务抢占，推理延迟的抖动（Jitter）会显著增加。因此，合理设置任务优先级和调度策略，是性能评估的前提。

2.3 中断：异步事件的快速响应通道

核心原理：中断机制允许外部或内部事件（如定时器溢出、GPIO边沿、DMA完成）立即打断当前任务执行，跳转到中断服务程序（ISR）。RTOS通常提供中断安全的API，允许ISR与任务之间通过信号量或队列进行通信。中断延迟（Interrupt Latency）是指从中断请求发生到ISR第一条指令执行的时间，它受临界区长度、中断嵌套深度和硬件响应速度影响。

中断与性能评估的关联：在TinyML系统中，传感器数据通常通过中断或DMA触发采集。如果ISR执行时间过长，会阻塞任务调度，导致推理任务延迟。因此，ISR中应只做最少的必要操作（如读取数据、发送信号量），将耗时处理放到任务中。中断嵌套虽然能提高响应优先级，但会消耗额外栈空间，并增加上下文保存的复杂度。

2.4 信号量与队列：任务间协作的桥梁

核心原理：信号量用于任务或ISR之间的同步与互斥。二值信号量适合事件通知（如“数据已就绪”），计数信号量适合资源计数（如“缓冲区可用数量”）。互斥量（Mutex）带有优先级继承机制，可缓解优先级反转问题。消息队列则用于在任务间传递数据块，队列长度和消息大小在创建时确定。

同步原语对性能的影响：任务在获取信号量或读取队列时，若资源不可用，会进入阻塞状态，调度器切换到其他任务。这个阻塞-唤醒过程涉及任务状态切换和链表操作，是系统延迟的重要来源。在性能评估中，需要关注任务因等待信号量而阻塞的平均时间、队列满/空事件的发生频率，以及优先级反转发生的次数。

2.5 案例拆解：TinyML音频唤醒系统的RTOS配置分析

背景与约束：某智能音箱产品使用Cortex-M4F内核MCU（主频120MHz，RAM 256KB），运行FreeRTOS。系统需实现关键词唤醒（KWS）功能，包含音频采集（I2S中断）、特征提取（任务A）、神经网络推理（任务B）、结果上报（任务C）。约束条件：推理任务必须在50ms内完成，音频采样率为16kHz，每次处理20ms音频帧。

初始现象与目标：系统运行后，发现推理任务偶尔出现80ms以上的延迟，导致唤醒响应不及时。通过RTOS内核调试视图观察，发现任务B（推理）的CPU占用率仅为45%，但延迟抖动极大。进一步分析发现，音频采集ISR每5ms触发一次，ISR中执行了I2S数据读取和简单的预处理，耗时约200μs，这本身可接受。但问题在于，任务A（特征提取）的优先级高于任务B，且任务A在每次处理完一帧后，会通过信号量通知任务B。由于任务A处理速度略快于任务B，导致任务B频繁被任务A抢占。

关键数据与参数：

• 任务A（特征提取）：优先级5，周期20ms，执行时间约8ms
• 任务B（推理）：优先级4，执行时间约25ms
• 任务C（上报）：优先级3，仅在推理完成后执行
• ISR（音频采集）：优先级最高，每5ms触发，执行200μs

分析判断过程：通过栈水位检测发现，任务B的栈水位为62%，无溢出风险。通过跟踪调度器切换记录，发现任务B在25ms执行期间，被任务A抢占了约3次，每次抢占导致约1.5ms的上下文切换和缓存失效开销。此外，任务A和任务B之间通过信号量传递“帧就绪”事件，信号量操作本身耗时约50μs，但频繁的阻塞-唤醒导致任务B的流水线效率下降。

实际操作步骤：

1. 调整优先级：将任务B（推理）优先级提升至6，高于任务A（特征提取）。这样任务B一旦开始推理，不会被特征提取任务打断，保证推理连续性。
2. 优化同步机制：将任务A与任务B之间的信号量通知改为直接队列传递数据指针，减少一次信号量操作。
3. 调整调度策略：为任务B设置时间片为0（禁用时间片轮转），避免同优先级任务干扰。
4. ISR优化：将I2S数据读取改为DMA方式，ISR中仅做DMA完成标志判断和信号量释放，ISR执行时间从200μs降至30μs。

结果对比：优化后，任务B的最大延迟从80ms降至42ms，满足50ms要求。CPU占用率从45%降至38%（因减少了上下文切换和ISR开销）。栈水位保持稳定，无新增风险。

风险与代价：提升任务B优先级后，若推理任务出现异常死循环，将阻塞所有低优先级任务。因此，需为任务B增加看门狗监控。此外，DMA配置增加了外设初始化复杂度，需仔细验证缓冲区管理。

复盘经验：在TinyML多任务系统中，推理任务通常应具有最高优先级（仅次于关键ISR），以保证计算连续性。同步机制应优先选择队列而非信号量+共享内存，以减少数据竞争风险。性能评估必须结合调度器行为分析，而非仅看CPU平均占用率。

2.6 常见误区与总结复盘

误区一：认为CPU占用率越低越好。实际上，过低的CPU占用率可能意味着任务频繁阻塞，系统吞吐不足。在TinyML场景中，应关注推理任务是否能在规定时间内完成，而非单纯追求低占用率。

误区二：忽视栈水位检测。栈溢出是RTOS系统中最隐蔽的故障之一，可能导致随机崩溃或数据损坏。应在开发阶段对所有任务启用栈水位检测，并在压力测试中观察最大水位。

误区三：在ISR中执行复杂逻辑。ISR应保持极短执行时间，所有耗时操作应通过信号量或队列延迟到任务中处理。否则，中断延迟和任务调度延迟都会恶化。

误区四：信号量使用不当导致优先级反转。当低优先级任务持有互斥量，而高优先级任务等待该互斥量时，中优先级任务可能抢占低优先级任务，导致高优先级任务被间接阻塞。应使用支持优先级继承的互斥量，或设计无阻塞的同步机制。