裸机编程状态机模式与事件驱动架构¶
难度：🟡 中级 | 领域：嵌入式软件架构 | 阅读时间：约 15 分钟
日常类比¶
地铁站值班：问路、进站、广播、报警同时来——当场办完一件再办下一件会误事。把事写成纸条进信箱按规则处理，就是事件驱动；人在“等候/检票/处置”间按规章切换，就是有限状态机（Finite State Machine, FSM）。裸机大 while(1) 易成面条代码；FSM + 事件队列是可维护架构的第一步[1][2]。
摘要¶
super-loop 把“做什么”与“何时做”缠在一起。switch-case、表驱动、层次状态机（HSM）递进解决膨胀与公共逻辑复用；ISR 只入队、主循环派发。QP 等框架把活动对象与 HSM 打包。文中 ROM/队列深度为经验量级[1][3]。
1. 从 super-loop 到 FSM¶
| super-loop 问题 | 根因 |
|---|---|
| 优先级差 | 平等轮询 |
| 隐式状态 | 标志散落 |
| 难测 | 逻辑绑硬件 |
FSM：状态集 × 事件 → 转移/动作。先算下一状态再统一 entry/exit，便于演进到表驱动与 HSM[2][4]。
| 维度 | switch-case | 表驱动 |
|---|---|---|
| 状态少时 | 直观 | 结构开销 |
| 维护 | case 分散 | 规则集中 |
| 测试 | 需更多 mock | 表可离线审 |
2. HSM 与事件驱动¶
父状态承载断连清理等共性；子状态未处理事件冒泡。BLE/MQTT 等协议天然适合 HSM[1][5]。
| 反模式 | 改法 |
|---|---|
| ISR 内跑完整 FSM | ISR 只 post |
| God State + 一堆 flag | 拆状态或上 HSM |
| 任意跳转面条 | 按阶段推进 + 显式恢复 |
| 无守卫乱转移 | 非法事件忽略或断言 |
3. 框架与测试¶
| 概念（QP） | 含义 |
|---|---|
| QActive | 状态机+队列+优先级 |
| QHsm | 层次状态机 |
| QEvt/QTimeEvt | 事件/定时事件 |
测试：状态覆盖、转移覆盖、动作覆盖；硬件通过函数指针/接口注入 mock[1][6]。
| UML 元素 | C 映射 |
|---|---|
| 状态/事件 | enum |
| 转移 | 条件 + 动作 + 改状态 |
| entry/exit | 切换边界调用 |
| 守卫 | 布尔条件 |
4. 局限、挑战与可改进方向¶
1. 状态爆炸¶
局限：平面展开协议子阶段导致上百状态。 改进：引入 HSM；或按活动对象拆多机[1][5]。
2. 队列溢出静默丢事件¶
局限：高负载或优先级反转导致丢超时/丢连接事件。 改进：分优先级队列、水位告警、关键路径计满载统计[3][7]。
3. 框架学习成本 vs 自研缺陷¶
局限：自研 HSM 语义做错（entry/exit 顺序）难查。 改进：小项目 switch；复杂协议优先成熟 QP/同类，并画状态图评审[1][8]。
4. 与 RTOS 职责重叠不清¶
局限：既用任务又用全局 FSM，双重调度难推理。 改进：RTOS 下每任务一个活动对象，任务间只排队事件[3][9]。
5. 实践要点¶
- RAM 极小、状态很少：switch + 环形队列足够。
- 多模块/协议：表驱动或 HSM，定时器事件与业务事件统一入口。
- 禁止在 ISR 做业务状态迁移。
参考文献¶
[1] M. Samek, Practical UML Statecharts in C/C++ (PSiCC2), Newnes. [2] M. Barr, Programming Embedded Systems, O'Reilly. [3] Quantum Leaps, QP/C and QP-nano documentation (state-machine.com). [4] B. P. Douglass, state machine design for embedded systems (ESC materials). [5] Bluetooth LE host state machine design notes (vendor stacks). [6] Unity/Ceedling embedded unit testing guides. [7] Real-time event queue sizing and overload policies (industry notes). [8] UML Statecharts specification background (OMG). [9] FreeRTOS task design with active-object pattern app notes. [10] Jack Ganssle essays on state machines in firmware. [11] SinelaboreRT / SMC code-generation tool documentation (optional toolchain).