RTIC，一个基于 Rust 的「硬件加速 RTOS」

作者

你是不是在做嵌入式开发，天天跟中断、任务、死锁、资源抢占打交道？用 Rust 想要保证绝对安全，结果调度层面头爆炸？赶紧了解下 RTIC（Real-Time Interrupt-driven Concurrency），绝对能帮你省一大堆心。

一眼看懂 RTIC 是啥
RTIC，就是一个基于 Rust 的「硬件加速 RTOS」（感觉像个超级轻量级操作系统），核心思想很简单：

  • • 把任务（Task）当作并发的基本单位

  • • 中断直接驱动任务执行，硬件优先级就是你最好的调度器

  • • 静态分配，无堆分配，所有任务共用一个栈

它解决的痛点也很直接：

  • • 你不用自己写裸机的中断优先级分组、屏蔽和嵌套逻辑

  • • 避免了死锁，编译就能保证不会有资源抢占冲突

  • • 零动态内存，适合对内存极度敏感的场景

  • • 最低几十字节的调度开销，性能杠杠的

RTIC 帮你搞定哪些痛点？

  1. 1. 并发逻辑混乱：传统裸机里，你写几个中断，写几把互斥锁，秒变 spaghetti code。

  2. 2. 资源抢占风险：Mutex／Critical Section 管不住抢占顺序，一不小心就死锁。

  3. 3. 动态分配焦虑：Malloc 一顿乱用，内存碎片+OOM 随时来敲门。

  4. 4. 调度性能瓶颈：自己写任务切换，陷入堆栈保存恢复、优先级管理的泥潭。

核心特性速览

特性

说明

任务模型

事件触发（interrupt / software task）或应用主动 spawn

消息传递

spawn 的时候传参，解耦任务间通信

定时队列

支持延迟/定时唤醒，轻松实现周期任务

优先级抢占

硬件 NVIC 优先级直接映射到任务优先级，天然抢占调度

零死锁

编译期保证无死锁，比标准 Mutex 更强

单一调用栈

全部任务共享，同步任务间切换，节省内存

最小调度开销

调度主要靠硬件，软件路径几乎零成本

多架构支持

全家桶 Cortex-M，以及大多数 RISC-V 平台

来段简单代码瞧瞧

#![no_main]
#![no_std]

use panic_halt as _;// 出问题就停
use rtic::app;

#[app(device = stm32f4xx_hal::pac, peripherals = true)]
const APP:()={
// 空闲任务，CPU 无其他任务时跑这里
    #[idle]
    fn idle(_: idle::Context)->!{
        loop {
            cortex_m::asm::wfi();
        }
    }

    // 中断触发的任务，响应按键
    #[task(binds = EXTI0, priority = 2)]
    fn on_button(ctx: on_button::Context){
       // 处理按键
       // ...
       // 延迟 1 秒后再次执行
       ctx.spawn.after(1_000_000.cycles()).unwrap();
    }

    // 延时任务，1 秒钟后运行
    #[task(priority = 1)]
    fn blink(ctx: blink::Context){
        // 翻转 LED
        // ...
        // 再来一次
        ctx.spawn.after(1_000_000.cycles()).unwrap();
    }
};

这段代码里：

  • • #[app] 宏帮你声明 RTIC 应用

  • • idle、on_button、blink 都是任务

  • • NVIC 中断自动触发 on_button

  • • spawn.after(...) 实现延时/周期任务

优缺点对比表

优点

缺点

编译期死锁检测、数据竞态零隐患

学习曲线：RTIC 宏和属性比较多，需要时间熟悉

任务优先级映射硬件 NVIC，性能极佳

只支持 Rust，不适合混合 C/C++ 项目

无动态内存分配，内存可预测

对动态任务数或不定时任务支持有限

单一栈模型，超省 RAM

对一些特殊外设或架构，可能需要写 glue code

开源活跃：Cortex-M、RISC-V 平台全家支持

调试信息可能略少，需要结合 defmt、硬件断点等工具一起用

小结：是不是很香？
总的来说，RTIC 就像给你准备好了「高级中断驱动框架 + 任务调度器」：

  • • 你不再手动写 NVIC 优先级分组、屏蔽位之类的冗余代码

  • • 无需担心死锁、数据竞态，全部交给编译器检查

  • • 调度的主要工作交给硬件，性能、内存占用都在可控范围内

适合场景：

  • • 对延时/周期任务、事件驱动要求高的工业控制

  • • 内存资源紧张、不能用堆的微控制器项目

  • • 需要精确 Worst-Case 执行时间分析 (WCET) 的实时系统

如果你正好在做一个需要稳定高效、可预测的嵌入式实时系统，不妨花点时间上手 RTIC。学习成本算是值得的，一旦用上，你会觉得分分钟省下无数调度调试的折腾！

项目地址：https://github.com/rtic-rs/rtic

发表评论