土法炼钢 · 系统与基础设施

无锁队列：Michael-Scott 算法与 ABA 问题

2026-04-13 | algorithms | #lock-free #concurrent #queue #cas #aba-problem #michael-scott

当多线程争抢一把 mutex 保护的队列时，吞吐量随线程数增长反而下降——锁成了瓶颈。无锁队列用 CAS 循环取代互斥，换来真正的无阻塞并发，但也引入了 ABA 问题和内存回收的工程深渊。