单机生产者消费者模型宜用环形数组作有界缓冲区，配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 下标使用，既保持环形语义，又让空满判断一步到位

该方式兼顾可读性与线程安全性，适合教学、原型开发和中小规模单机服务。