为何无锁单生产者/单消费者环形缓冲区生产者(2)需用acquire语义？

好问题！这个细节确实是SPSC（单生产者单消费者）无锁环形缓冲区里容易绕晕的点，咱们一步步拆解清楚核心原因。

首先回忆下咱们的场景：只有一个线程写_tail，一个线程写_head，没有多线程竞争同一变量的情况，所以不用考虑互斥，但指令重排序和内存可见性的坑依然存在。

先看生产者代码里的关键逻辑：

const auto next_tail = increment(current_tail);
if(next_tail != _head.load(std::memory_order_acquire)) // 这里的acquire是疑问点
{
    _array[current_tail] = item; // (3)
    _tail.store(next_tail, std::memory_order_release); // (4)
    return true;
}

你已经理解了生产者(4)的release和消费者(2)的acquire是为了同步生产者的数组写入到消费者可见，那这个生产者(2)的acquire到底在防什么？

核心风险：指令重排序导致的提前写入 #

如果把这里的memory_order_acquire换成relaxed，编译器或者CPU可能会对指令进行重排序——把步骤(3)的数组写入操作，提前到步骤(2)的_head加载之前执行。

举个具体的例子：
假设队列容量是4，当前状态是满队列：_head=0，_tail=3，所以next_tail=0，按照逻辑此时队列满，生产者应该直接返回false，不能写入。
但如果发生了重排序，生产者会先执行_array[3] = item，再去加载_head。这时候刚好消费者执行了一次pop，把_head更新为1（用release语义）。生产者加载到_head=1，发现next_tail=0 !=1，就误以为队列有空间，继续执行_tail.store(0, release)。

这下就出问题了：生产者在队列原本满的时候，偷偷写入了数组，然后因为消费者的操作错误地更新了_tail，导致队列的实际元素数量超过了容量，后续消费者读取时可能会拿到重复数据或者覆盖未消费的元素，完全破坏了SPSC队列的正确性。

acquire语义的作用 #

memory_order_acquire在这里的核心作用就是禁止本线程中，acquire加载之后的操作被重排序到这个加载之前。也就是说，只要用了acquire，步骤(3)的数组写入就绝对不可能跑到步骤(2)的_head加载前面。这样就保证了：只有当生产者确实判断出队列有空间（next_tail != _head）之后，才会执行写入数组的操作，从根源上避免了上述的重排序风险。

额外的同步保障 #

顺带提一句，这个acquire还和消费者更新_head时的release语义形成了隐性的同步关系：当生产者通过acquire加载到消费者更新后的_head值时，消费者在更新_head之前的所有操作（比如读取数组元素的步骤(3)），对生产者来说都是可见且完成的。不过这在SPSC场景里是附加收益，核心还是防止自身的指令重排序。

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