直接用原子变量加减同步环形缓冲区读写指针是危险的，因缺乏顺序一致性保障和边界校验，易致数据覆盖或可见性错误；SPSC场景可用普通整型配合acquire-release栅栏，MPMC则需原子CAS与双检重试。
为什么直接用原子变量加减会出错
循环缓冲区（ring buffer）的读写指针同步，很多人第一反应是用 std::atomic_size_t 对 read_pos 和 write_pos 做无锁自增——但这是危险的。问题不在原子性，而在「顺序一致性」和「边界检查缺失」：两个线程可能同时把指针推到同一位置，导致覆盖未读数据或读取空区域；更隐蔽的是，编译器或 CPU 可能重排指针更新与实际内存读写操作，造成数据可见性错乱。
真正安全的前提是：指针更新必须与缓冲区数据访问形成 happens-before 关系，且每次读/写前必须完成容量校验。
- 不要单独对读/写指针做
fetch_add(1)后直接访问数据——校验必须在原子操作之前或之后紧邻进行 - 避免使用
memory_order_relaxed，除非你已手动插入atomic_thread_fence配合数据搬运 - 若缓冲区大小是 2 的幂，可用位掩码替代取模（
pos & (capacity - 1)），但注意：该优化仅在指针值本身不溢出size_t范围时成立；否则仍需用% capacity
单生产者单消费者（SPSC）场景下最简可靠的同步模式
SPSC 是唯一能完全避开原子操作+内存序复杂性的场景。此时可放弃原子变量，改用普通整型 + 内存栅栏约束，性能接近裸指针。
关键点在于：写端只改 write_pos，读端只改 read_pos，双方各自负责校验；但必须确保写入数据对读端可见——这靠 std::atomic_thread_fence(std::memory_order_release)（写后）和 std::atomic_thread_fence(std::memory_order_acquire)（读后）保障。
立即学习“C++免费学习笔记（深入）”；
- 写流程：
buffer[write_pos & mask] = data→std::atomic_thread_fence(std::memory_order_release)→++write_pos - 读流程：
auto pos = read_pos→if (pos != write_pos) { data = buffer[pos & mask]; std::atomic_thread_fence(std::memory_order_acquire); ++read_pos; } - 注意：
read_pos和write_pos必须是普通size_t，不能是原子类型；否则会引入不必要的缓存行竞争
多生产者或多消费者（MPMC）必须用原子操作+双检策略
MPMC 下无法规避原子读-改-写，但常见错误是只做一次 compare_exchange_weak 就认为成功。真实情况是：多个线程可能同时通过容量检查，然后全部卡在 CAS 上，导致部分线程失败后没重试就退出，造成死锁或数据丢失。
正确做法是「先预占空间，再填数据，最后提交」三阶段，且每次失败都必须重试整个流程：
- 读端：循环执行
read_pos.load()和write_pos.load()获取当前范围 → 计算可读数量 → 若 >0，则用compare_exchange_weak尝试将read_pos推进 1 → 成功后才读取对应位置数据并提交 fence - 写端同理，但要防止
write_pos - read_pos == capacity（满）→ 此时应返回失败或阻塞，不能强行覆盖 - 所有 load 操作建议用
memory_order_acquire，所有 store 用memory_order_release；CAS 默认即为 acquire-release 语义，无需额外 fence
调试时最容易被忽略的边界：wraparound 与 signed/unsigned 混用
当用 size_t 表示位置、缓冲区大小非 2 的幂时，write_pos - read_pos 计算剩余空间极易因无符号回绕出错。例如 read_pos = 3, write_pos = 1, capacity = 4，直接相减得 18446744073709551614，而非预期的 2。
解决方式不是强行转成 int64_t，而是统一用带符号差值逻辑：
auto diff = static_cast<std::make_signed_t<size_t>>(write_pos - read_pos); if (diff < 0) diff += capacity;
或者更稳妥地，始终用 (write_pos - read_pos) & (capacity - 1)（仅限 capacity 是 2 的幂），否则老老实实做分支判断：
- if
write_pos >= read_pos: 可用空间 =write_pos - read_pos - else: 可用空间 =
capacity - read_pos + write_pos
这个判断必须出现在每次读写前，且不能被编译器优化掉——必要时加 volatile 或 [[maybe_unused]] 中间变量锚定。
