ABA

无锁编程的原理梳理。从 CAS 原子操作的硬件实现出发，界定 lock-free 与 wait-free 的进展保证差异，分析 ABA 问题及其解法，说明 acquire/release 内存序的必要性，并以 SPSC/MPSC/MPMC 三种队列模式为主线串联设计与落地。