单机生产者消费者模型宜用环形数组作有界缓冲区，配in/out下标或原子size变量管理状态，spsc场景可用无锁原子计数器，辅以自旋退避等待逻辑实现轻量解耦。
单机环境下实现简单的生产者消费者模型，关键在于用合适的数据结构表达缓冲区，并通过逻辑规则控制其读写边界和状态流转。不需要分布式协调或复杂锁机制，重点是让“队列”真正起到解耦和节流作用。
用环形数组模拟有界缓冲区
环形数组是最轻量、最可控的缓冲区实现方式。它用固定大小的数组 + 两个下标（生产位置 in、消费位置 out）构成逻辑上的循环队列：
- 容量为 N 的数组，in 和 out 均对 N 取模：例如
in = (in + 1) % N - 缓冲区为空时：in == out
- 缓冲区为满时：(in + 1) % N == out（预留一个空位避免空满难区分）
- 实际可用数据个数 = (in - out + N) % N
用计数器+原子变量替代锁保护（无锁简化版）
若仅限单生产者+单消费者（SPSC），可完全避开互斥锁，改用两个独立的原子计数器：
- 维护 write_index（生产者独写）、read_index（消费者独读）
- 每次写入前检查：
(write_index + 1) % N != read_index→ 缓冲区未满 - 每次读取前检查：
write_index != read_index→ 缓冲区非空 - 写入后原子递增 write_index，读取后原子递增 read_index
这种方式避免了锁开销，也天然规避了竞态——因为读写路径完全分离，无需同步临界区。
用条件判断驱动等待与唤醒逻辑
即使不依赖操作系统信号量，也能靠纯逻辑+主动轮询+短延时实现可控等待：
- 生产者发现缓冲区满时，不忙等，而是执行
usleep(100)或std::this_thread::yield()后重试 - 消费者发现缓冲区空时，同样短暂让出 CPU，避免空转耗资源
- 可加简单计数器限制最大重试次数，超时则记录日志或退出，防止死锁误判
这种“自旋+退避”策略在低并发、调试环境或嵌入式单机场景中足够有效，且代码清晰易验证。
用 size 字段统一管理状态（推荐初学者）
比起反复计算 (in - out + N) % N，直接维护一个原子 size 变量更直观安全：
- 初始化 size = 0，每次成功写入后
size.fetch_add(1)，读取后size.fetch_sub(1) - 生产者检查：
size.load() 才允许写入 - 消费者检查：
size.load() > 0才允许读取 - 配合 in/out 下标使用，既保持环形语义，又让空满判断一步到位
该方式兼顾可读性与线程安全性，适合教学、原型开发和中小规模单机服务。
