嵌入式 C++17 设计模式实战: 零虚函数、零堆分配的编译期技术
传统设计模式依赖虚函数和动态分配,在嵌入式系统中代价偏高。本文以 newosp 真实代码为例,给出 8 种编译期替代手法,覆盖类型擦除、RAII、编译期分发、Tag Dispatch、强类型包装、零堆 Pub/Sub、Visitor 与 CRTP。
传统设计模式依赖虚函数和动态分配,在嵌入式系统中代价偏高。本文以 newosp 真实代码为例,给出 8 种编译期替代手法,覆盖类型擦除、RAII、编译期分发、Tag Dispatch、强类型包装、零堆 Pub/Sub、Visitor 与 CRTP。
结合 MISRA C++ 规范和 newosp 工程实践,说明如何用 C++17 模板做编译期分发,在保留代码灵活性的同时去掉虚函数的分发开销。文中数据来自实测:编译期分发比回调模式快 15 倍,比虚函数分发开销低 95% 以上。
在没有面向对象语法的 C 语言中,策略模式和状态模式都通过函数指针表 (vtable) 模拟多态,代码结构几乎一致。本文从设计意图出发,用通用示例 (传感器滤波、通信协议状态机) 剖析二者的本质差异,并展示它们在同一系统中的协作方式。
以 state_machine 框架的重构为案例,展示如何将一个过程驱动的 C 语言状态机改造为数据驱动的层次状态机 (HSM)。涵盖转换表替代 switch-case、LCA 算法消除递归、用户缓冲区替代内部分配、守卫条件与内外转换区分等关键改造点,附完整数据结构和 API 设计。
以激光雷达点云流水线为主线,展示 newosp C++17 事件驱动架构如何解决工业传感器系统的三个问题: 零堆分配消息传递 (CAS 无锁 MPSC + variant 值语义)、可建模的状态管理 (层次状态机 LCA + Guard)、微秒级确定性调度。
在工业 MCU 产品中,固件更新失败意味着设备变砖,安全启动漏洞意味着固件被篡改。本文设计一个裸机环境下的二级 Bootloader,用状态机驱动 A/B 分区 OTA (含 Scratch 分区原子交换的掉电安全方案)、TLV 标准化镜像格式的安全启动验证、以及 ISR + Ring Buffer + 状态机三层解耦的通信协议栈。所有设计面向零 RTOS 依赖的裸机环境。
嵌入式 Linux 设备常需要 telnet 调试 shell:远程执行诊断命令、查看状态、修改参数。本文给出 C++17 header-only 纯 POSIX 实现过程,产物为 telsh。
RT-Thread 的 MSH 是嵌入式里广泛使用的命令行组件。本文梳理它的设计要点,对比在嵌入式 Linux 上实现同等功能的三种方案,并介绍 embsh 如何在纯头文件库中融合多后端 I/O、telnet 协议、认证、历史导航和 Tab 补全。
在嵌入式 ARM Linux 项目中,基于 Boost.Log 的日志方案因临时对象创建、std::regex 解析和动态链接依赖而成为性能瓶颈。本文以 loghelper 的重构为例,将其改造为 C++14 header-only 架构,支持 spdlog/zlog/fallback 三后端编译期切换,实现 10-100 倍性能提升。
在轻量 RTOS 项目和嵌入式Linux中,合作式任务调度器是比操作系统线程更轻量的执行抽象。
MCCC (Message-Centric Component Communication) 消息总线的完整 API 参考,涵盖 FixedString/FixedVector 容器、MessageEnvelope 消息封装、AsyncBus 总线接口、StaticComponent 编译期组件、优先级与背压配置,每个接口附带签名、参数说明和使用示例。
以 512x512 矩阵乘法为载体,基于 newosp 基础设施库实测对比单线程、线程池、消息总线、多进程共享内存四种并行方案的性能差异,分析各方案在嵌入式 Linux 平台上的架构取舍与加速比。
在同一硬件上统一测试 MCCC、eventpp、EnTT、sigslot、ZeroMQ、QP/C++ 六个消息总线方案,从吞吐量、延迟、内存安全、嵌入式适配性四个维度给出选型建议
嵌入式系统中,消息总线是组件间通信的核心基础设施。本文剖析 MCCC 的九项设计决策:Lock-free MPSC 替代互斥锁、Envelope 内嵌消除热路径堆分配、编译期类型索引替代哈希查找,并附实测数据。
在多核 ARM Linux 嵌入式系统中,同步日志的 I/O 阻塞导致控制回路超时和看门狗复位。本文设计一种基于 Per-Thread SPSC 环形缓冲与分级路由的异步日志架构,实现 wait-free 热路径 (~200-300 ns)、零竞争生产者、崩溃安全的关键日志保障。