Rust嵌入式RTOS内核移植与任务调度实战 - 第1节
一、RTOS 到底是什么？
RTOS，全称 Real-Time Operating System，实时操作系统。说白了，它就是一个能保证「在规定时间内把事情做完」的操作系统。
我刚开始接触嵌入式时，总觉得 RTOS 很神秘。后来做项目多了才明白——它就是个管家，帮你管理 CPU 时间、分配任务、协调资源。你只管写各个功能模块，调度的事交给它。
1.1 实时性的本质
很多人以为「实时」就是「快」。其实不对。实时强调的是「可预测」——任务必须在截止时间前完成，而不是越快越好。
举个例子：安全气囊的触发必须在碰撞后 10ms 内完成。哪怕你 9ms 完成，系统也是合格的。但如果有时 5ms、有时 15ms，那就不行。后者叫「抖动」，是实时系统的大忌。
二、RTOS 与裸机系统的区别
裸机系统就是传统的超级循环（Super Loop），一个 while(1) 里轮询所有任务。我早期做单片机项目时，全是这么干的。简单项目没问题，但一旦功能多了，问题就来了。
| 对比维度 | 裸机系统 | RTOS |
|---|---|---|
| 任务管理 | 手动轮询，代码耦合 | 任务独立，调度器管理 |
| 实时性 | 依赖主循环周期，不可预测 | 优先级抢占，确定性高 |
| 资源利用率 | CPU 空转等待 | 阻塞时让出 CPU |
| 代码复杂度 | 功能越多，main 越乱 | 模块化，可维护性好 |
| 内存开销 | 极小 | 需要任务栈、内核对象 |
| 调试难度 | 简单直接 | 需考虑竞态、死锁 |
我做过一个项目，裸机下接了 5 个传感器、1 个显示屏、1 个无线模块。主循环里各种标志位、状态机，改一个功能就得重新梳理整个流程。后来换成 RTOS，每个传感器一个任务，显示一个任务，通信一个任务——清晰多了。
三、RTOS 的核心组件
RTOS 再复杂，核心组件也就那么几样。我把它总结成三块：任务、调度器、同步机制。
3.1 任务（Task）
任务是 RTOS 的基本执行单元。每个任务有自己的栈空间、优先级、状态。任务状态一般有四种：
- 就绪（Ready）：等待 CPU
- 运行（Running）：正在执行
- 阻塞（Blocked）：等待某事件
- 挂起（Suspended）：被暂停
在 Rust 中，任务通常用闭包或函数表示。我习惯把每个任务写成独立的异步函数，这样逻辑清晰，也方便测试。
// Rust 风格的任务定义示例
fn led_task(ctx: &mut TaskContext) {
loop {
gpio_toggle(LED_PIN);
ctx.delay_ms(500);
}
}3.2 调度器（Scheduler）
调度器是 RTOS 的大脑。它决定「下一个该谁跑」。常见的调度策略有：
- 抢占式调度：高优先级任务随时可以打断低优先级任务
- 时间片轮转：同优先级任务轮流执行
- 协作式调度：任务主动让出 CPU
我个人最常用的是抢占式 + 时间片轮转的组合。高优先级任务保证实时性，同优先级任务公平共享 CPU。
3.3 同步机制
多任务环境下，资源竞争是家常便饭。RTOS 提供了几种同步工具：
| 机制 | 用途 | 典型场景 |
|---|---|---|
| 信号量（Semaphore） | 资源计数、同步 | 控制共享资源访问 |
| 互斥锁（Mutex） | 互斥访问 | 保护临界区 |
| 消息队列（Queue） | 任务间通信 | 生产者-消费者模式 |
| 事件标志（Event） | 多条件等待 | 等待多个外设就绪 |
嗯，这里要注意：Rust 的所有权模型天然适合做资源管理。用 Rust 写 RTOS 时，很多竞态问题在编译期就能发现，这是 C 语言做不到的。
四、常见嵌入式 RTOS 对比
市面上 RTOS 很多，我挑三个最有代表性的说说。
| 特性 | FreeRTOS | RT-Thread | Zephyr |
|---|---|---|---|
| 语言 | C | C | C |
| 许可证 | MIT | Apache 2.0 | Apache 2.0 |
| 最小 ROM | ~4KB | ~3KB | ~8KB |
| 最小 RAM | ~200B | ~1KB | ~2KB |
| 调度策略 | 抢占 + 协作 | 抢占 + 时间片 | 抢占 + 时间片 |
| 设备驱动框架 | 无 | 有 | 有 |
| Rust 支持 | 第三方绑定 | 有限 | 官方实验性 |
4.1 FreeRTOS
FreeRTOS 是嵌入式界的「老大哥」。我第一个 RTOS 项目就是用它做的。它轻量、稳定、文档多。缺点是没有统一的驱动框架，外设移植得自己写。
4.2 RT-Thread
RT-Thread 是国内团队开发的，生态很完善。它自带设备驱动框架、文件系统、网络协议栈。如果你做 IoT 产品，RT-Thread 开箱即用。我有个同事用它做智能家居网关，三个月就量产了。
4.3 Zephyr
Zephyr 是 Linux 基金会旗下的，支持架构最多。它的构建系统基于 CMake，配置灵活。Zephyr 官方在实验性支持 Rust，这对我们做 Rust 嵌入式开发是个好消息。
五、RTOS 核心知识体系
下面这张图总结了 RTOS 的核心知识结构，方便你建立整体认知。
六、为什么用 Rust 做 RTOS？
你可能想问：C 语言做 RTOS 这么多年了，为什么还要用 Rust？
我个人的体会是：Rust 解决了 C 在嵌入式开发中最头疼的几个问题。
- 内存安全：没有野指针、缓冲区溢出、use-after-free。这些在 C 的 RTOS 里是常见 bug 来源。
- 无数据竞争：Rust 的所有权系统在编译期就保证了线程安全。你不需要靠「小心」来避免竞态。
- 零成本抽象：用高级语法写底层代码，性能不输 C。
- 现代工具链：cargo、clippy、rust-analyzer，开发体验比 makefile + gcc 好太多。