C++中atomic变量比较方法及有界无锁队列长度计算、判空问题

问题1：如何正确获取有界无锁队列的当前长度、判断队列是否已满 #

你原本的判断逻辑存在的核心问题是：两次独立load头尾指针的过程不是原子的，中间可能出现指针被其他线程修改、指令重排等情况，拿到的是不一致的快照，判断结果不可靠。具体的解决方案需要结合队列的并发模型区分：

1. SPSC（单生产者单消费者）场景
   这种场景下不需要完全原子的长度计算，仅通过控制内存序就能得到可靠的判断结果：
   生产者判断队列满时，先以std::memory_order_acquire内存序加载消费者专属的读指针（你代码中的tail_），再获取自身维护的写指针（你代码中的head_，生产者自身修改的变量天然本地可见），通过head_ - tail_ >= capacity判断即可。就算两次加载中间读指针被消费者更新，最坏情况只是出现「队列实际有空位但判断为满」的假阳性，后续重试即可，不会出现正确性问题。
2. MPSC（多生产者单消费者）/MPMC（多生产者多消费者）场景
   这类多线程并发场景下，不存在轻量的方案能拿到绝对精确的队列长度：
   • 如果你要实现try_enqueue这类不需要精确长度的接口，可以在申请到写指针之后，再加载最新的读指针判断是否越界，如果越界就回滚刚才的写指针申请即可，不需要单独获取长度。
   • 如果你必须要获取长度，工程上通常不会单独提供这个接口——因为并发场景下你拿到长度的瞬间，队列状态就可能已经变化，长度的参考价值极低。如果必须实现，可以通过seqlock、全局原子计数器等方案实现，但都会引入额外的性能开销。

另外你当前的入队代码存在逻辑缺陷：你先自增了写指针再判断队列状态，一旦队列已满，已经自增的写指针会污染队列的索引状态，正确的逻辑应该是先判断有空位，再申请写指针，最后写入数据。

问题2：folly ProducerConsumerQueue中isEmpty实现的合理性 #

首先这个实现的大前提是：ProducerConsumerQueue明确是SPSC模型的无锁队列，仅支持一个生产者线程和一个消费者线程，脱离这个场景该实现不成立。

bool isEmpty() const {
  return readIndex_.load(std::memory_order_acquire) ==
      writeIndex_.load(std::memory_order_acquire);
}

合理性可以从两个维度解释：

1. 内存序的正确性：std::memory_order_acquire保证加载到的索引值是另一个线程已经通过std::memory_order_release提交的最新值，不会读到线程本地寄存器缓存的旧值，保证了内存可见性。
2. SPSC场景下的逻辑一致性：
   • 消费者调用isEmpty时，只有消费者自身会修改readIndex_，值天然可见；writeIndex_只会被生产者修改，用acquire加载就能拿到最新的写位置，两者比较的结果是可靠的。
   • 生产者调用isEmpty时，只有生产者自身会修改writeIndex_，值天然可见；readIndex_只会被消费者修改，用acquire加载就能拿到最新的读位置，比较结果同样可靠。
     就算两次加载索引的中间出现了指针更新，也只会出现瞬时的状态偏差，比如队列刚变非空时返回空，属于并发场景下快照接口的正常表现，不会影响队列的核心逻辑正确性。

内容的提问来源于stack exchange，提问作者daohu527