无锁编程核心原理: 从 CAS 原子操作到三种队列设计模式
无锁编程的原理梳理。从 CAS 原子操作的硬件实现出发,界定 lock-free 与 wait-free 的进展保证差异,分析 ABA 问题及其解法,说明 acquire/release 内存序的必要性,并以 SPSC/MPSC/MPMC 三种队列模式为主线串联设计与落地。
无锁编程的原理梳理。从 CAS 原子操作的硬件实现出发,界定 lock-free 与 wait-free 的进展保证差异,分析 ABA 问题及其解法,说明 acquire/release 内存序的必要性,并以 SPSC/MPSC/MPMC 三种队列模式为主线串联设计与落地。
死锁与优先级反转的实战指南。用 6 个可编译运行的 C++ 示例复现 AB-BA 死锁、回调重入死锁、自死锁和优先级反转,逐一给出修复方案(全局锁序、std::scoped_lock、try_lock 回退、PTHREAD_PRIO_INHERIT、无锁架构),并纠正「编译优化导致死锁」的误解。
双重检查锁定 (DCLP) 是 C++ 并发编程中最臭名昭著的模式之一。2004 年 Scott Meyers 和 Andrei Alexandrescu 论证了它在 C++03 中不可移植地安全实现。本文从 DCLP 的历史缺陷出发,解释 C++11 内存模型如何修复它,对比 Magic Statics、acquire/release 原子操作和顺序一致性三种实现,并讨论嵌入式场景下的工程选择。
系统级性能优化是在编译器、数据布局、并发架构三个层面做出的选择。本文按编译器内建函数、编译期多态替代虚函数、零堆分配热路径、缓存友好布局、无锁并发、Active Object 去锁化、行为树并行启动、实时调度八个方向,结合 newosp 基础库的代码,给出可落地的嵌入式 C/C++ 优化实践。
基于 C++14 实现一个带超时管理的线程安全消息总线,解决回调内重入死锁、线程安全订阅管理等工程问题。通过压力测试暴露 mutex + std::function + std::map 方案在多线程高频场景下的性能瓶颈,为后续引入 Lock-free MPSC 方案提供数据支撑。
以 512x512 矩阵乘法为载体,基于 newosp 基础设施库实测对比单线程、线程池、消息总线、多进程共享内存四种并行方案的性能差异,分析各方案在嵌入式 Linux 平台上的架构取舍与加速比。
在同一硬件上统一测试 MCCC、eventpp、EnTT、sigslot、ZeroMQ、QP/C++ 六个消息总线方案,从吞吐量、延迟、内存安全、嵌入式适配性四个维度给出选型建议
性能基准测试远比 ‘跑个循环、算个平均’ 复杂得多。队列溢出会虚高吞吐 30%,时钟调用本身构成 60-160% 的测量开销,功能差异让 ‘apples-to-apples’ 几乎不可能。本文从实际踩坑经验出发,系统梳理消息总线与并发数据结构基准测试中的常见陷阱与应对策略。
嵌入式系统中,消息总线是组件间通信的核心基础设施。本文剖析 MCCC 的九项设计决策:Lock-free MPSC 替代互斥锁、Envelope 内嵌消除热路径堆分配、编译期类型索引替代哈希查找,并附实测数据。
在多核 ARM Linux 嵌入式系统中,同步日志的 I/O 阻塞导致控制回路超时和看门狗复位。本文设计一种基于 Per-Thread SPSC 环形缓冲与分级路由的异步日志架构,实现 wait-free 热路径 (~200-300 ns)、零竞争生产者、崩溃安全的关键日志保障。
通读 eventpp v0.1.3 核心代码,定位回调遍历加锁、双锁入队、排他锁查 map 等 6 个瓶颈。优化后 Active Object 吞吐量从 1.5 M/s 升到 8.5 M/s,并用 processQueueWith 编译期 Visitor 模式去掉 5 层间接调用,提速 16.7x。
死锁是嵌入式多线程系统中最隐蔽的故障之一。本文从一个典型的双锁死锁场景出发,逐步演示有序锁、lock_guard、try_lock、无锁队列四种防御策略,分析各方案在嵌入式实时系统中的工程权衡。
在嵌入式 C++ 消息总线中,std::function 回调看似方便,实则是延迟抖动和代码膨胀的隐性来源。本文分析回调链路的逐层开销,给出三个递进式优化方案:std::visit 编译期分发、CRTP 静态组件、FixedFunction 栈上类型擦除,最终在保留动态订阅能力的同时,为编译期确定的场景实现零开销分发。
基于 GCC 13 / x86-64 实测数据,面向 ARM-Linux 工业嵌入式开发者
消息总线(Message Bus)作为一种重要的通信模式,被应用于解耦系统中的组件,实现异步通信和事件驱动架构。本文介绍如何使用 C++11 实现一个基于 mutex 保护的消息总线。