话说回来，

从零手写 C++ 无锁并发队列 —— 从 ring buffer 到 CAS 原子操作

为什么需要无锁队列？解决你的性能瓶颈，

多线程下共享队列最常见的写法是 std::queue + std::mutex

std::queue q;std::mutex mtx;// 线程 A
{
std:这方面，lock_guard lk;q.push，老实说，}
// 线程 B
{
从std:来看。lock_guard lk;q.pop，}

你的痛点：

• 锁竞争成本高昂：每次 push/pop 都要加锁——A 和 B 同时操作时一个必须等另一个。锁竞争带来的上下文切换开销不可接受。
• 性能瓶颈：传统有锁队列在高并发场景下表现出严重性能下降，成为程序吞吐量的主要限制因素。
• 复杂度隐患：死锁、优先级反转等问题让多线程编程变得异常脆弱和难以调试。话说回来，

方法：无锁队列！

无锁队列用 std::atomic 的 CAS原子指令替代 std::mutex. 多个线程可以同时操作队列而不会互相阻塞——CAS失败时原地重试，而不是被程序挂起。

再看第1层，SPSC — 单生产者单使用者

• 简单有效：只有一个写入线程和一个读取线程。天然无锁——写线程只碰writeIndex_。读线程只碰readIndex_，两个线程从不竞争同一个变量。说起来，
• 高效安全：避免了所有同步开销和潜在的竞争条件。
• 适用场景：数据流处理管道、生产者-使用者模式等固定双方通信场景。

template 
class SPSCQueue {
至于std:，vector buffer_;// ring buffer
std:的观点是，atomic writeIndex_{};
// 写线程写入下一个位置
std:这方面，atomic readIndex_{};// 读线程读取下一个位置
bool push {
size_t w = writeIndex_.load;按理说，size_t r = readIndex_.load;if return false;话说回来，// 满了
buffer_ = val;writeIndex_.store;怎么说呢，// 告诉使用者：数据准备好了
return true;}
bool pop {
size_t r = readIndex_.load;size_t w = writeIndex_.load;if return false;按理说，// 空了
val = buffer_;readIndex_.store;// 告诉生产者：可以覆盖了
return true;}
}，

为什么无需加锁？关键设计原则，

1. 索引隔离原则:     写线程只改writeIndex,读线程只改readIndex - 各碰各的变量。永远不会竞争. 

性能测试结果

推拉混合 THREADS$ SPMCBENCH$ SPMC_BENCH$

ROWS$ ROWS$

第 层: MPSC - 每个生产者都要抢占!