直接用 std::queue 做双缓冲会因锁竞争和缓存行伪共享导致吞吐骤降；正确做法是用两个无锁环形缓冲区配合原子状态切换，避免跨线程内存同步开销。
为什么直接用 std::queue 做双缓冲会卡死在锁竞争上
双缓冲队列不是简单套两个 std::queue 就行——当生产者（业务线程）和消费者（写入线程）高频 push/pop 同一个队列时，哪怕加了 std::mutex，也会因缓存行伪共享和锁争抢导致吞吐骤降。实测在 16 核机器上，单 mutex + std::queue 在 50k msg/s 以上就明显抖动。
真正可行的路径是：用两个独立的、无锁的环形缓冲区（ring buffer），配合原子状态切换。核心不是“缓冲数量”，而是“避免跨线程内存同步开销”。
- 必须用
std::atomic<bool></bool>或std::atomic_flag控制当前活跃缓冲区 ID，不能用普通 bool + mutex - 每个缓冲区需预分配固定大小（如 64KB 或 128KB），避免运行时 new/delete
- 写入线程只读取“已提交”的缓冲区；业务线程只往“可写入”的缓冲区填数据，且必须保证写指针不越界
- 切换缓冲区前，要确保当前缓冲区所有字节已由业务线程写完（用
std::atomic_thread_fence(std::memory_order_release)）
boost::lockfree::spsc_queue 能直接用吗？它和手写 ring buffer 的关键区别
能用，但要注意：它本质是单生产单消费（SPSC）模型，适合一对一场景；如果你有多个业务线程写入，必须前置一个线程安全的聚合层（比如用 std::mutex + std::vector 暂存，再批量转入 SPSC 队列），否则会丢数据或崩溃。
而手写 ring buffer（如基于 std::atomic<size_t></size_t> 管理 read/write index）可以做到多生产者无锁写入（MPSC），只要每个生产者只操作自己独占的 slot 或使用 fetch_add 抢占式写入位点。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
boost::lockfree::spsc_queue内部用的是 CAS + backoff，对 cache line 友好，但初始化后容量不可变 - 它的
push()在满时返回 false，不会阻塞 —— 这意味着你得自己处理背压（比如丢弃、告警、降级为同步写） - 若日志量突增，SPSC 队列可能积压，此时
writev()批量刷盘比单次write()更省系统调用，建议攒够 4–8KB 再落盘
如何让 write() 不被 page fault 和调度打断
异步写入性能瓶颈常不在用户态逻辑，而在内核态：缺页异常（第一次访问 mmap 区域）、页回收、甚至写入线程被调度器切走。解决思路不是“更快地调 write”，而是“让 write 几乎不等待”。
- 用
mmap()+MAP_HUGETLB（大页）预分配文件映射区域，避免 runtime 缺页；需 root 权限配置/proc/sys/vm/nr_hugepages - 写入线程绑定 CPU 核心（
pthread_setaffinity_np()），并设为SCHED_FIFO优先级（注意避免饿死其他线程） - 禁用写入线程的信号（
sigprocmask()），防止write()被中断重试 - 打开文件时加
O_DIRECT绕过 page cache —— 但要求 offset 和 length 对齐 512B（或 4KB），否则write()直接失败并报EINVAL
缓冲区切换时如何避免数据丢失或重复写入
这是最容易出 bug 的环节：业务线程刚把 32KB 数据写到缓冲区 A，还没来得及标记“已就绪”，写入线程就切走了，结果这 32KB 永远不会落盘。
正确做法是三状态协议：IDLE → READY → FLUSHING，全部用 std::atomic<int></int> 表达，配合 compare_exchange_weak 循环尝试切换，并在每次写入后做 store-release。
- 业务线程填完数据后，先
buffer->size.store(bytes_written, std::memory_order_release)，再尝试将状态从 IDLE 改为 READY - 写入线程只处理状态为 READY 的缓冲区；处理前先 CAS 到 FLUSHING，成功才开始
pwrite()；完成后置为 IDLE - 绝不允许两个线程同时看到同一个缓冲区处于 READY 状态 —— 这靠原子状态机保证，而不是靠“缓冲区指针是否为空”这种易错判断
- 调试时可在状态变更处打日志，但线上必须关闭；可用
perf record -e 'syscalls:sys_enter_write'验证实际系统调用频次是否符合预期
真正难的不是实现双缓冲，而是让所有线程对“哪段内存正在被谁读写”达成无歧义共识。任何绕过原子状态的手动指针交换，都会在高负载下暴露竞态。
