结合acquire与relaxed内存序的内存行为及代码疑问咨询

首先明确代码中acquire加载的实际约束：
_tail.load(std::memory_order_acquire)会强制当前线程中，所有在这个加载之后的内存操作（不管用什么内存序）都不能被编译器或CPU重排到它前面。所以你代码里的_head.load(std::memory_order_relaxed)，绝对会在_tail的加载完成后才执行，不会出现乱序情况。

接下来回答你的核心问题：

1. relaxed序的_head加载行为受acquire的影响吗？ #

会，核心影响就是禁止重排。虽然_head用的是relaxed（本允许编译器/CPU自由重排），但因为前面有一个acquire加载，它必须排在_tail加载之后执行，这是C++内存模型的强制要求。

2. 会不会出现_tail是新值、_head是旧值的情况？ #

会。原因如下：
另一个线程的写tail → StoreStore栅栏 → 写head，只能保证写操作的全局可见顺序——也就是head的新值一定会在tail的新值之后被刷到全局内存。但这并不意味着，当你的线程读到tail的新值时，head的新值一定能被你的线程看到：

• 你的线程的CPU缓存可能还保留着head的旧值，即使全局内存中head已经是新的；
• 更关键的是，你用acquire加载tail，但写线程只是普通写tail（不是release存储），两者之间没有建立happens-before同步关系。这意味着写线程中写head的操作，对你的线程来说没有可见性保证——哪怕你已经读到了tail的新值。

如果要避免这种情况，需要让写线程的head存储用std::memory_order_release，同时你的线程加载head时用std::memory_order_acquire，或者在加载head前加一个std::atomic_thread_fence(std::memory_order_acquire)，这样才能建立跨线程的可见性保证。

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