课程导入：学习目标、课程结构、所需工具链与硬件平台、Rust嵌入式生态概览

欢迎来到《裸机编程 Rust嵌入式开发RTOS实时内核入门》的第一章。在接下来的课程中，我们将从零开始，使用 Rust 语言构建一个运行在嵌入式硬件上的实时操作系统（RTOS）内核。本章作为整个课程的基石，将帮助你明确学习方向、理解课程脉络、准备开发环境，并建立对 Rust 嵌入式生态的整体认知。无论你是嵌入式开发者希望引入 Rust 的安全特性，还是 Rust 程序员渴望探索硬件底层，本章都将为你铺设一条清晰可行的进阶路径。

上图展示了本课程的核心知识框架。可以看到，整个课程围绕“学习目标”、“课程结构”、“工具链与硬件”和“生态概览”四大支柱展开，最终汇聚到硬件抽象、内核机制、同步通信三大工程要素。这张图也是你后续学习的地图——每完成一个阶段，都可以回到这张图来定位自己的进度。

1.1 学习目标：从裸机到 RTOS 内核的完整路径

本课程的目标不是教你如何使用现成的 RTOS（如 FreeRTOS），而是带领你亲手用 Rust 从零构建一个微型但功能完整的实时内核。这意味着你将深入到底层，理解操作系统最核心的机制是如何在硬件上落地的。

核心原理：为什么选择裸机 Rust？

裸机（Bare-metal）编程意味着你的代码直接运行在硬件上，没有操作系统、没有标准库（std）的运行时支持。在 Rust 中，这通常意味着使用 #![no_std] 属性，仅依赖核心库（core）。这种模式带来两个关键优势：一是完全掌控硬件资源，没有隐藏的系统调用开销；二是 Rust 的所有权与借用检查机制在编译期就能消除数据竞争、空指针解引用等内存安全问题，这在嵌入式领域尤为重要。

RTOS 内核的本质是一个“中断驱动的状态机”。它通过系统定时器（SysTick）产生周期性中断，在中断上下文中决定哪个任务应该获得 CPU 使用权，并完成上下文切换。你将亲手实现以下核心组件：

• 任务管理：任务控制块（TCB）的定义、任务创建与删除。
• 调度器：基于优先级的抢占式调度算法。
• 上下文切换：利用 Cortex-M 的 PendSV 异常机制保存/恢复寄存器现场。
• 同步机制：信号量、互斥锁、消息队列的实现。
• 内存管理：静态内存池分配，避免动态内存碎片。

判断方法：如何评估自己的学习进度？

每章末尾都会有一个“自测清单”，你可以通过以下问题检验掌握程度：

• 能否不查阅资料，画出上下文切换的完整流程图（含寄存器压栈/出栈顺序）？
• 能否解释为什么 PendSV 必须设置为最低优先级？
• 能否在 10 分钟内定位一个因未使用 volatile 导致的外设寄存器读取失效问题？

案例拆解：一个典型的裸机 LED 闪烁程序

作为第一个实验，我们通常会让 LED 以 1Hz 频率闪烁。但这背后涉及的知识点远超预期：

// 伪代码示例，展示裸机编程的核心要素
#![no_std]
#![no_main]

use cortex_m_rt::entry;
use stm32f4xx_hal::{pac, prelude::*};

#[entry]
fn main() -> ! {
    let dp = pac::Peripherals::take().unwrap();
    let gpioa = dp.GPIOA.split();
    let mut led = gpioa.pa5.into_push_pull_output();
    
    loop {
        led.set_high();
        cortex_m::asm::delay(8_000_000);
        led.set_low();
        cortex_m::asm::delay(8_000_000);
    }
}

这段代码虽然简单，却包含了：PAC 访问（通过 pac::Peripherals）、HAL 抽象（stm32f4xx_hal）、GPIO 控制、延时循环。在后续章节中，我们会逐步拆解这些抽象层，最终用寄存器操作替代 HAL 调用，理解每一行代码背后的硬件动作。

1.2 课程结构：四阶段递进式学习

本课程共 30 章，分为四个阶段，每个阶段都有明确的目标和产出物。

阶段	章节范围	核心主题	阶段产出
阶段一	Ch1 - Ch8	裸机基础：GPIO、UART、中断、定时器、内存映射	一个可用的串口日志库 + 按键中断驱动
阶段二	Ch9 - Ch16	内核原语：任务定义、上下文切换、调度器雏形	支持 2 个任务交替运行的最小内核
阶段三	Ch17 - Ch24	调度与同步：优先级抢占、信号量、互斥锁、消息队列	支持 4 任务 + 优先级抢占 + 同步通信的完整内核
阶段四	Ch25 - Ch30	驱动与进阶：DMA、低功耗、内存保护单元（MPU）、安全认证	具备 MPU 保护的生产级微型 RTOS

核心原理：为什么这样安排？

课程设计遵循“自底向上”的认知规律。阶段一让你熟悉硬件操作，建立“寄存器-外设-中断”的直觉；阶段二开始抽象出“任务”概念，理解 CPU 如何在不同执行流之间切换；阶段三引入并发同步，这是 RTOS 的灵魂；阶段四则面向真实产品需求，加入安全与低功耗特性。每一章都包含理论讲解、代码实验和思考题，确保你不仅“看懂”，更能“写出来”。

操作流程：每章的标准学习路径

1. 阅读理论：理解本章涉及的硬件原理或算法机制。
2. 运行示例：在开发板上运行随章代码，观察现象。
3. 修改实验：改变参数（如时钟频率、任务优先级），观察结果变化。
4. 完成挑战：每章末尾的“挑战任务”需要你独立实现一个功能。
5. 复盘总结：记录遇到的问题和解决过程，形成自己的知识库。

1.3 所需工具链与硬件平台

工欲善其事，必先利其器。本节列出所有必需的软硬件工具，并给出安装配置建议。

核心原理：工具链的层次关系

Rust 嵌入式工具链分为三层：编译层（将 Rust 源码编译为 ARM 机器码）、运行层（提供运行时支持如启动代码）、调试层（烧录与调试）。理解这个分层有助于你排查工具链问题。

硬件平台清单

硬件	型号/规格	用途	备注
开发板	STM32F407VET6 最小系统板	主控平台，Cortex-M4F 内核	168MHz，192KB RAM，512KB Flash
调试器	ST-Link V2	程序烧录与调试	支持 SWD 接口
串口模块	USB-TTL (CH340)	串口日志输出	用于调试信息打印
逻辑分析仪	Saleae 8CH (可选)	时序分析，观察 GPIO 波形	调试任务切换时序时非常有用

软件工具链安装步骤

# 1. 安装 Rust (推荐使用 rustup)
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

# 2. 添加 ARM Cortex-M 目标
rustup target add thumbv7em-none-eabihf

# 3. 安装辅助工具
cargo install cargo-binutils
cargo install probe-rs-tools
rustup component add llvm-tools-preview

# 4. 安装 ST-Link 驱动 (Linux/macOS 通常无需额外驱动)
# Windows 用户需安装 STSW-LINK009 驱动

案例拆解：验证工具链是否安装成功

安装完成后，创建一个测试项目并编译，验证环境是否正常：

cargo new --bin test_baremetal
cd test_baremetal
# 修改 Cargo.toml 添加依赖
# [dependencies]
# cortex-m = "0.7"
# cortex-m-rt = "0.7"
# panic-halt = "0.2"

# 在 src/main.rs 中写入最简单的裸机程序
# #![no_std]
# #![no_main]
# use panic_halt as _;
# #[cortex_m_rt::entry]
# fn main() -> ! { loop {} }

cargo build --target thumbv7em-none-eabihf

如果编译成功，会生成一个 ELF 文件。你可以使用 cargo size 查看二进制大小，正常情况应该只有几百字节（因为没有任何外设初始化）。如果编译报错，请检查目标是否添加正确、依赖版本是否匹配。

1.4 Rust 嵌入式生态概览

Rust 嵌入式生态近年来发展迅猛，已经形成了从底层到应用层的完整工具链。了解这些生态组件，能帮助你避免重复造轮子，并选择合适的技术方案。

核心原理：生态分层架构

Rust 嵌入式生态可以划分为四个层次，每一层解决不同的问题：

• 微架构层：cortex-m 库提供对 Cortex-M 内核的底层访问（如寄存器操作、中断控制）。
• PAC（外设访问库）：stm32f4xx-pac 提供对特定芯片外设寄存器的类型安全访问。
• HAL（硬件抽象层）：stm32f4xx-hal 在 PAC 之上提供更友好的 API，如 gpio.split()、serial.write()。
• 应用框架：如 RTIC、Embassy，它们提供了更高层的并发模型和异步运行时。

关键生态组件对比

组件	定位	适用场景	本课程使用
embedded-hal	硬件抽象标准 trait	编写与芯片无关的驱动	理解其设计思想
cortex-m-rt	启动代码与中断向量表	所有 Cortex-M 裸机项目	✅ 核心依赖
stm32f4xx-hal	STM32F4 系列 HAL	快速原型开发	✅ 前期使用，后期替换
RTIC	实时中断驱动框架	硬实时任务调度	参考对比
defmt	嵌入式日志格式化	低开销日志输出	✅ 调试辅助

案例拆解：为什么本课程不直接使用 RTIC？

你可能会问：既然 RTIC 已经提供了成熟的 RTOS 功能，为什么还要自己写内核？答案是：理解原理。RTIC 是一个高度优化的框架，它通过编译时分析消除了许多运行时开销，但这也意味着它的实现非常复杂，不适合作为学习材料。本课程的目标是让你掌握内核的每一个细节，这样当你使用 RTIC 或 Embassy 时，能够理解它们的设计取舍，甚至在必要时修改它们。

例如，RTIC 使用“硬件优先级”直接映射任务优先级，避免了软件调度器的开销。但这种方式灵活性较低，无法实现时间片轮转。通过本课程的学习，你将能够评估这些权衡是否适合你的项目。

常见误区与复盘

• 误区一：认为 no_std 意味着不能使用任何标准库功能。实际上，core 库提供了迭代器、字符串格式化（部分）、数学函数等常用功能。
• 误区二：忽视 panic 处理。在裸机环境中，默认的 panic 行为是无限循环，这会导致程序“卡死”。建议使用 panic-halt 或 panic-probe 来提供明确的错误指示。
• 误区三：直接使用 std 库的集合类型（如 Vec）。在 no_std 环境中，你需要使用 heapless 库提供的静态分配集合，或者自己实现内存池。