嵌入式开发基础：交叉编译、目标板卡、内存映射、外设寄存器访问、中断与并发基础

嵌入式 Rust 开发与常规桌面或服务器端开发最大的差异，在于我们面对的是一个资源受限、硬件紧密耦合、且没有操作系统托底（或仅有轻量 RTOS）的裸机环境。在编写第一行 HAL 代码之前，开发者必须建立对目标硬件平台的完整认知模型：代码在哪里编译、在哪里运行、如何访问外设、如何响应异步事件。本章将围绕交叉编译工具链、目标板卡选型、内存映射与寄存器操作、中断系统以及并发模型五个核心维度展开，为后续深入 Rust Embedded HAL 的抽象机制打下坚实的工程基础。

嵌入式 Rust 开发基础架构关系图 主机开发环境 x86_64 Linux/macOS cargo build --target rustup target add 交叉编译工具链 arm-none-eabi-gcc rust-lld / cargo-binutils 目标三元组: thumbv7em 编译 目标板卡 STM32F4 / nRF52840 Cortex-M4 / M0+ Flash + SRAM 映射 烧录 内存映射与外设寄存器 0x0000_0000 Flash 0x2000_0000 SRAM 0x4000_0000 外设总线 0xE000_0000 私有外设 volatile 读写 / 位带操作 中断与异常模型 NVIC 嵌套向量中断控制器 向量表: 0x0000_0000 起始 优先级分组 / 抢占 临界区保护 / 原子操作 cortex-m-rt 中断宏 并发与共享状态 中断上下文 vs 主循环 Send / Sync 约束 Mutex / 无锁原子 RTIC / Embassy 模型 共享外设访问仲裁 触发 调度 Rust Embedded HAL 抽象层 embedded-hal trait 定义 GPIO / SPI / I2C / UART / Timer / ADC 基于寄存器实现 硬件访问 并发安全

交叉编译：从主机到目标架构的桥梁

核心原理：交叉编译（Cross Compilation）是指在一种架构（如 x86_64）的主机上，编译生成另一种架构（如 ARM Cortex-M）可执行代码的过程。嵌入式系统通常没有足够的资源运行编译器，因此必须在开发机上完成编译，再将生成的二进制文件烧录到目标板卡。Rust 通过目标三元组（Target Triple）来标识不同的编译目标，例如 thumbv7em-none-eabihf 对应 ARM Cortex-M4/M7 内核（带硬件浮点单元），thumbv6m-none-eabi 对应 Cortex-M0/M0+。与 C/C++ 不同，Rust 的交叉编译不需要单独安装交叉编译器，只需通过 rustup target add 添加对应目标支持即可。

操作流程：配置 Rust 交叉编译环境通常包含以下步骤：

  1. 安装目标支持：rustup target add thumbv7em-none-eabihf
  2. 安装链接器与辅助工具：cargo install cargo-binutils，并安装 arm-none-eabi-gcc 或使用 rust-lld 作为链接器。
  3. 在项目根目录创建 .cargo/config.toml，指定目标平台与链接器参数。
  4. 使用 cargo build --release 生成 ELF 文件，再通过 objcopy 转换为 .bin 或 .hex 格式用于烧录。
# .cargo/config.toml 示例
[build]
target = "thumbv7em-none-eabihf"

[target.thumbv7em-none-eabihf]
rustflags = ["-C", "link-arg=-Tlink.x", "-C", "linker=rust-lld"]
经验提醒：对于 Cortex-M 系列，link.x 链接脚本由 cortex-m-rt crate 提供，它定义了内存布局和向量表。务必确保链接脚本与芯片的 Flash/SRAM 大小匹配，否则可能出现链接错误或运行时异常。

目标板卡与内存映射

核心原理：目标板卡是嵌入式软件的最终运行载体，其核心资源包括处理器内核、Flash（存储代码）、SRAM（存储运行时数据）以及各类外设（GPIO、UART、SPI、定时器等）。ARM Cortex-M 处理器采用统一编址的内存映射方式，即代码、数据和外设寄存器都映射到同一个 4GB 地址空间中。以 STM32F407 为例，0x0800_0000 起始为 1MB Flash，0x2000_0000 起始为 128KB SRAM，0x4000_0000 起始为外设寄存器区域。理解内存映射是编写 HAL 的前提，因为所有外设操作本质上都是对特定内存地址的读写。

地址范围用途典型大小访问属性
0x0000_0000 - 0x1FFF_FFFF代码区（Flash/ROM）256KB - 2MB只读（运行时）
0x2000_0000 - 0x3FFF_FFFFSRAM 数据区32KB - 512KB读写
0x4000_0000 - 0x5FFF_FFFF外设寄存器区512MB读写（volatile）
0xE000_0000 - 0xFFFF_FFFF私有外设（NVIC、SysTick等）512MB读写

外设寄存器访问：Rust 中访问外设寄存器必须使用 volatile 读写，防止编译器优化掉看似“无用”的访问。核心工具是 core::ptr::read_volatile 和 write_volatile。更优雅的方式是使用 svd2rust 工具从芯片的 SVD 文件自动生成类型安全的寄存器访问库，这也是许多 HAL crate 的基础。

// 手动访问寄存器示例（以 GPIO ODR 为例）
let odr_addr = 0x4002_0014 as *mut u32;
unsafe { core::ptr::write_volatile(odr_addr, 0x0000_0001); }
风险提示：直接使用裸指针访问寄存器容易出错且难以维护。生产代码应优先使用 svd2rust 生成的 PAC（Peripheral Access Crate），它提供了编译期检查的寄存器字段读写方法，并自动处理 volatile 语义。

中断与并发基础

核心原理：中断是嵌入式系统响应异步事件的核心机制。Cortex-M 内核使用 NVIC（嵌套向量中断控制器）管理中断，每个中断源都有独立的向量表项。当外设事件发生时，CPU 自动保存当前上下文，跳转到对应的中断服务函数（ISR）。在 Rust 中，cortex-m-rt crate 提供了 #[interrupt] 属性宏，允许开发者以安全的方式定义中断处理函数。并发问题源于中断可能随时抢占主循环的执行，导致共享数据出现竞态条件。

并发模型与安全策略：嵌入式 Rust 的并发安全建立在 Send 和 Sync 两个 trait 之上。中断上下文与主线程共享数据时，必须使用 Mutex（基于临界区实现）或原子操作。更高级的框架如 RTIC（Real-Time Interrupt-driven Concurrency）和 Embassy 提供了基于优先级的中断调度模型，将并发问题转化为编译期可检查的约束。

// 使用 cortex_m::interrupt::Mutex 保护共享数据
static SHARED: Mutex<Cell<u32>> = Mutex::new(Cell::new(0));

fn main() {
    // 主循环中读取
    let val = cortex_m::interrupt::free(|cs| SHARED.borrow(cs).get());
}

#[interrupt]
fn TIM2_IRQHandler() {
    // 中断中写入
    cortex_m::interrupt::free(|cs| SHARED.borrow(cs).set(42));
}
案例拆解：GPIO 按键中断与主循环共享标志位
背景：在 STM32F411 开发板上，使用 PA0 引脚连接按键，按下时触发 EXTI0 外部中断，主循环根据中断设置的标志位控制 LED 翻转。
初始现象：未使用任何同步机制时，主循环读取标志位偶尔出现不一致，LED 闪烁频率不稳定。
分析：中断写入标志位与主循环读取标志位之间存在数据竞争。由于标志位是 32 位整数，在 Cortex-M4 上单次读写是原子的，但编译器可能将标志位缓存到寄存器中，导致主循环无法及时看到更新。
解决方案：使用 AtomicBool 替代普通 bool，并指定 Ordering::Relaxed 保证可见性。
结果：LED 闪烁稳定，中断响应正常。
复盘：即使目标架构支持原子操作，也必须显式使用原子类型，并理解内存序（Memory Ordering）的含义。在嵌入式场景中，Relaxed 通常足够，但若涉及多核或 DMA，则需要更严格的内存屏障。

常见误区总结：

  • 误区一：认为 volatile 可以解决所有并发问题。实际上 volatile 只保证编译器不优化访问，不保证原子性或内存序。
  • 误区二：在中断处理函数中执行耗时操作（如打印日志）。中断应尽快完成，耗时操作应放到主循环或低优先级任务中。
  • 误区三：忽视临界区保护，直接在主循环和中断中操作同一个变量。即使变量是单字节，也可能因编译器优化或中断嵌套导致数据损坏。
  • 误区四：混淆 Send 和 Sync。简单来说，Send 表示类型可以安全地移动到另一个线程，Sync 表示类型可以安全地被多个线程共享引用。中断上下文与主循环的关系更接近“共享引用”，因此需要 Sync。
← 上一章 📖 返回目录 下一章 →