1. RTOS内核概述
1.1 RTOS定义与核心特征
实时操作系统（RTOS，Real-Time Operating System）是一种专门为实时应用设计的操作系统内核。与通用操作系统（如Linux、Windows）追求平均吞吐量不同，RTOS的核心目标是确定性（Determinism）——即系统必须在可预测的时间范围内响应外部事件。
RTOS三大核心特征：
- 可抢占式调度：高优先级任务可立即抢占低优先级任务的CPU使用权，保证紧急事件优先处理。
- 中断响应确定性：中断延迟有明确的上界，不随系统负载增加而无限增长。
- 资源同步机制：提供信号量、互斥锁、消息队列等原语，确保多任务协作时的数据一致性。
RTOS广泛应用于嵌入式系统、工业控制、汽车电子、航空航天、物联网设备等对实时性有严格要求的领域。
1.2 RTOS内核组成
一个典型的RTOS内核由以下核心模块构成，它们协同工作以提供实时多任务环境。
1.2.1 任务调度器（Scheduler）
调度器是RTOS的心脏，负责决定哪个任务获得CPU使用权。常见的调度策略包括：
- 优先级抢占式调度：最高优先级的就绪任务立即运行，相同优先级任务按时间片轮转。
- 单调速率调度（RMS）：周期越短的任务优先级越高，适用于周期任务集合。
- 最早截止时间优先（EDF）：截止时间越近的任务优先级越高，理论最优但实现复杂。
调试要点：在单步执行调试中，调度器上下文切换（Context Switch）是排查时序问题的关键观察点。每次任务切换都会保存/恢复寄存器组和栈指针，中断此过程可能导致任务状态不一致。
1.2.2 内存管理（Memory Management）
嵌入式RTOS通常采用轻量级内存管理方案，避免通用OS的虚拟内存开销：
| 管理方式 | 原理 | 典型应用 |
|---|---|---|
| 静态内存分配 | 编译时确定任务栈、队列大小 | 安全关键系统（如航空、医疗） |
| 固定大小内存块（Heap） | 预分配多个固定尺寸块，避免碎片 | FreeRTOS heap_4 |
| 动态内存分配（malloc/free） | 标准C库方式，需注意碎片和实时性 | 资源较丰富的RT-Thread |
1.2.3 中断管理（Interrupt Management）
中断管理是RTOS实时性的基石。内核需要协调中断服务程序（ISR）与任务之间的执行关系：
- 中断嵌套：高优先级中断可打断低优先级ISR。
- 中断延迟：从硬件中断信号到ISR第一条指令执行的时间，是衡量RTOS实时性的关键指标。
- 中断退出时的任务切换：ISR结束后，调度器可能选择更高优先级的任务运行，而非回到被中断的任务。
1.3 常见RTOS对比
目前嵌入式领域主流的开源RTOS包括FreeRTOS、RT-Thread和Zephyr。下表从多个维度进行对比，帮助开发者根据项目需求选择合适的内核。
| 对比维度 | FreeRTOS | RT-Thread | Zephyr |
|---|---|---|---|
| 许可证 | MIT（商业友好） | Apache 2.0 | Apache 2.0 |
| 最小ROM占用 | ~4 KB | ~6 KB（nano版本） | ~8 KB |
| 调度策略 | 优先级抢占 + 同优先级时间片轮转 | 优先级抢占 + 时间片轮转 + 软实时 | 多调度类（优先级、EDF、协作式） |
| 内存管理 | 5种heap实现（heap_1~heap_5） | 静态/动态 + 内存池 + SLAB分配器 | 内存池 + 堆内存 + 用户空间（MMU可选） |
| 中断模型 | ISR中可调用受限API，退出时可选任务切换 | 中断剥离（Interrupt剥离），ISR与任务分离 | 中断嵌套 + 中断偏移（Offload）工作队列 |
| 支持的CPU架构 | ARM Cortex-M/R/A、RISC-V、Xtensa等20+ | ARM Cortex-M/R/A、RISC-V、MIPS等 | ARM Cortex-M/R/A、RISC-V、x86、ARC等30+ |
| 调试工具链 | FreeRTOS+Trace、SEGGER SystemView | RT-Thread Studio、FinSH控制台 | West + GDB、Tracing子系统 |
| 典型应用场景 | MCU小型嵌入式、IoT终端 | IoT网关、智能家居、工业控制 | 多协议IoT、可穿戴、边缘计算 |
选型提示：对于本课程关注的“单步执行与中断处理时序排查”，FreeRTOS因其简洁的内核结构和广泛的调试工具支持，是学习RTOS内核调试的最佳入门选择。RT-Thread和Zephyr功能更丰富，但内核复杂度更高，调试时需关注更多子系统交互。
1.4 内核架构对比图
下图展示了三种RTOS的内核模块组织方式，帮助理解它们在设计哲学上的差异。
1.5 本章小结
本章建立了RTOS内核的基础认知框架：
- RTOS的核心价值在于提供确定性的实时响应能力。
- 内核三大组成——任务调度器、内存管理、中断管理——是调试时序问题的核心关注点。
- FreeRTOS、RT-Thread、Zephyr在架构复杂度、功能丰富度和适用场景上各有侧重，选择时需权衡实时性要求、资源约束和调试工具链支持。