Atomic

无锁编程的基础性原理文章。从 CAS 原子操作的硬件实现出发，严格定义 lock-free 与 wait-free 的进展保证差异，深入分析 ABA 问题及其解决方案，阐明 acquire-release 内存序的必要性，最终以 SPSC/MPSC/MPMC 三种队列模式为主线，展示无锁数据结构从设计到工程落地的完整知识体系。

双重检查锁定 (DCLP) 是 C++ 并发编程中最臭名昭著的模式之一。2004 年 Scott Meyers 和 Andrei Alexandrescu 论证了它在 C++03 中不可移植地安全实现。本文从 DCLP 的历史缺陷出发，解释 C++11 内存模型如何修复它，对比 Magic Statics、acquire/release 原子操作和顺序一致性三种实现，并讨论嵌入式场景下的工程选择。