1. 为什么选择Rust进行嵌入式开发？
十年前我第一次接触嵌入式开发时，C语言几乎是唯一的选择。直到2018年在一个物联网项目中遇到内存泄漏问题，调试了整整三天后，我开始寻找更安全的替代方案。Rust的出现彻底改变了嵌入式开发的游戏规则——它能在编译期捕获大多数内存错误，同时保持与C相当的性能。特别是在no_std环境下，Rust展现出了惊人的潜力。
no_std是Rust的一个特殊编译模式，意为"无标准库"。与常规Rust程序不同，no_std环境剥离了依赖操作系统的标准库组件，只保留核心语言特性和极简的libcore。这种精简特性使其成为资源受限的嵌入式设备的理想选择。我最近用STM32F103C8T6（俗称"蓝莓派"）做了一个智能温控器，整个固件编译后仅占用12KB Flash，运行时内存稳定在4KB以内。
2. 搭建no_std开发环境
2.1 工具链配置
首先需要安装nightly版本的Rust工具链，因为no_std开发目前还需要一些不稳定特性。在终端执行：
bash复制rustup toolchain install nightly
rustup default nightly
rustup target add thumbv7m-none-eabi # 针对Cortex-M3架构
这里选择thumbv7m-none-eabi目标是因为它支持大多数Cortex-M系列MCU。如果是其他架构，可以参考rustc --print target-list列出所有支持的目标。
注意：虽然stable Rust也在逐步支持嵌入式开发，但截至2023年，LLD链接器和一些关键特性仍需要nightly版本
2.2 项目初始化
创建一个新的cargo项目时需特别指定lib类型：
bash复制cargo new --lib embedded_demo
cd embedded_demo
然后在Cargo.toml中添加关键配置：
toml复制[package]
name = "embedded_demo"
version = "0.1.0"
edition = "2021"
[dependencies]
cortex-m = "0.7.6"
cortex-m-rt = "0.7.3"
panic-halt = "0.2.0"
[profile.release]
opt-level = 'z' # 最小体积优化
lto = true # 链接时优化
2.3 内存布局配置
嵌入式开发必须明确内存布局。创建memory.x文件：
text复制MEMORY
{
FLASH : ORIGIN = 0x08000000, LENGTH = 64K
RAM : ORIGIN = 0x20000000, LENGTH = 20K
}
这个配置对应STM32F103C8T6的64KB Flash和20KB RAM。对于其他芯片需要查阅对应数据手册调整。
3. no_std下的核心编程模式
3.1 入口函数处理
与标准Rust程序不同，no_std环境没有main函数。我们需要使用cortex-m-rt提供的入口机制：
rust复制// src/lib.rs
#![no_std]
#![no_main]
use cortex_m_rt::entry;
use panic_halt as _;
#[entry]
fn main() -> ! {
// 初始化代码
loop {
// 主循环
}
}
#![no_main]告诉编译器我们不使用标准main函数，#[entry]宏标记真正的程序入口。返回类型!表示这个函数永远不会返回。
3.2 硬件抽象层实践
直接操作寄存器虽然高效但容易出错。我推荐使用HAL库，比如stm32f1xx-hal：
toml复制[dependencies]
stm32f1xx-hal = { version = "0.10.0", features = ["stm32f103", "rt"] }
初始化GPIO的示例：
rust复制use stm32f1xx_hal::{
pac,
prelude::*,
gpio::gpioc::PC13,
gpio::Output,
gpio::PushPull,
};
#[entry]
fn main() -> ! {
let dp = pac::Peripherals::take().unwrap();
let mut flash = dp.FLASH.constrain();
let mut rcc = dp.RCC.constrain();
let clocks = rcc.cfgr.freeze(&mut flash.acr);
let mut gpioc = dp.GPIOC.split(&mut rcc.apb2);
let mut led = gpioc.pc13.into_push_pull_output(&mut gpioc.crh);
loop {
led.set_high();
cortex_m::asm::delay(1_000_000);
led.set_low();
cortex_m::asm::delay(1_000_000);
}
}
这个例子实现了LED闪烁，展示了如何：
- 获取外设访问权
- 配置时钟树
- 初始化GPIO引脚
- 实现简单延时逻辑
4. 内存管理技巧
4.1 静态内存分配
no_std环境下不能使用堆分配，所有内存必须静态确定。常用方案包括：
rust复制use heapless::Vec; // 固定容量版本的Vec
static mut BUFFER: Vec<u8, 128> = Vec::new();
#[entry]
fn main() -> ! {
unsafe {
BUFFER.push(42).unwrap();
}
// ...
}
这里使用了heapless库提供的固定容量容器。注意对static mut的访问必须放在unsafe块中。
4.2 自定义全局分配器
如果确实需要动态内存，可以实现GlobalAllocator：
rust复制use core::alloc::GlobalAlloc;
struct MyAllocator;
unsafe impl GlobalAlloc for MyAllocator {
unsafe fn alloc(&self, layout: Layout) -> *mut u8 {
// 实现分配逻辑
}
unsafe fn dealloc(&self, ptr: *mut u8, layout: Layout) {
// 实现释放逻辑
}
}
#[global_allocator]
static ALLOCATOR: MyAllocator = MyAllocator;
5. 中断处理实战
嵌入式开发离不开中断处理。Rust提供了优雅的解决方案：
rust复制use cortex_m::peripheral::syst::SystClkSource;
use cortex_m_rt::exception;
#[exception]
fn SysTick() {
// 系统滴答定时器中断处理
}
#[entry]
fn main() -> ! {
let mut cp = cortex_m::Peripherals::take().unwrap();
cp.SYST.set_clock_source(SystClkSource::Core);
cp.SYST.set_reload(8_000_000); // 1s中断
cp.SYST.enable_counter();
cp.SYST.enable_interrupt();
loop {}
}
关键点：
- 使用
#[exception]宏标记中断处理函数 - 正确配置中断源和触发条件
- 确保中断处理函数尽量简短
6. 调试与优化技巧
6.1 打印调试信息
在没有操作系统的环境下，可以通过ITM（Instrumentation Trace Macrocell）输出调试信息：
toml复制[dependencies]
itm = "0.4.1"
rust复制use cortex_m::{iprintln, Peripherals};
#[entry]
fn main() -> ! {
let mut cp = Peripherals::take().unwrap();
iprintln!(&mut cp.ITM.stim[0], "系统启动");
loop {
iprintln!(&mut cp.ITM.stim[0], "循环执行");
cortex_m::asm::delay(1_000_000);
}
}
6.2 最小化二进制体积
在Cargo.toml中添加：
toml复制[profile.release]
opt-level = "z" # 优化体积
lto = true # 链接时优化
codegen-units = 1
panic = "abort"
此外，使用cargo-bloat工具分析占用：
bash复制cargo install cargo-bloat
cargo bloat --release --target thumbv7m-none-eabi -n 20
7. 常见问题解决
7.1 链接错误处理
遇到链接错误时，首先检查：
- memory.x文件是否正确配置
- 目标芯片是否选对
- 是否缺少必要的启动文件
典型错误解决方案：
text复制error: language item required, but not found: `eh_personality`
添加panic实现：
toml复制[dependencies]
panic-halt = "0.2.0"
7.2 外设访问冲突
Rust的所有权机制能有效防止外设访问冲突。例如：
rust复制let gpioa = dp.GPIOA.split(&mut rcc.apb2);
let mut pin1 = gpioa.pa0.into_push_pull_output(&mut gpioa.crl);
let mut pin2 = gpioa.pa1.into_push_pull_output(&mut gpioa.crl);
这种方式确保了对GPIO寄存器的安全访问，编译器会阻止同时修改同一寄存器的操作。
8. 进阶开发建议
8.1 使用RTOS抽象层
对于复杂应用，可以考虑RTIC（Real-Time Interrupt-driven Concurrency）框架：
toml复制[dependencies]
rtic = "1.0.0"
rust复制#[rtic::app(device = stm32f1xx_hal::pac)]
mod app {
#[shared]
struct Shared {}
#[local]
struct Local {}
#[init]
fn init(cx: init::Context) -> (Shared, Local) {
(Shared {}, Local {})
}
#[task]
fn task1(_cx: task1::Context) {
// 任务逻辑
}
}
8.2 跨平台抽象
使用embedded-hal创建可移植代码：
rust复制use embedded_hal::digital::v2::OutputPin;
fn toggle_led<P: OutputPin>(pin: &mut P) {
pin.set_high().unwrap();
pin.set_low().unwrap();
}
这种写法可以在不同硬件平台间复用代码。