C++中acq_rel类型的exchange操作能否拆分为单独的acquire和release操作？

原语句 foo.exchange(bar, std::memory_order_acq_rel) 和给出的四个操作序列全都不等价，具体原因如下：

先明确acq_rel的核心语义 #

std::memory_order_acq_rel 仅适用于读-修改-写（RMW）操作，它的核心特性是：

• 该操作的读部分具备 acquire 语义：禁止后续内存访问被重排到该操作之前，且能看到所有对foo执行release操作的线程的写入。
• 该操作的写部分具备 release 语义：禁止之前的内存访问被重排到该操作之后，且其写入对后续对foo执行acquire操作的线程可见。
• 关键：这两个语义绑定在同一个针对foo的原子RMW操作上，同步关系完全基于foo这个内存位置。

对四个序列的逐一分析 #

序列1

foo.exchange(bar, std::memory_order_acquire);
dummy.store(0, std::memory_order_release);

• 这里是两个独立原子操作：第一个exchange仅具备acquire语义（写部分无release约束），第二个是针对dummy的独立release操作。
• 原acq_rel操作的release语义是绑定在foo的写操作上的，而此序列的release针对dummy，同步对象完全不同。其他线程通过foo的acquire操作无法获取dummy.store带来的内存可见性，重排约束也和原操作不符。

序列2

dummy.store(0, std::memory_order_release);
foo.exchange(bar, std::memory_order_acquire);

• 先对dummy执行release，再对foo执行带acquire语义的exchange。
• 原操作的release和acquire都针对foo，而此序列的release基于dummy，同步链拆分到两个变量，无法实现原操作中单一foo变量上的同步逻辑。

序列3

foo.exchange(bar, std::memory_order_release);
dummy.load(std::memory_order_acquire);

• 第一个exchange仅具备release语义（读部分无acquire约束），第二个是针对dummy的acquire加载。
• 原操作的acquire语义绑定在foo的读操作上，此序列的acquire针对dummy，无法通过dummy.load获取原操作中foo读操作带来的同步效果，重排规则也不一致。

序列4

dummy.load(std::memory_order_acquire);
foo.exchange(bar, std::memory_order_release);

• 先对dummy执行acquire加载，再对foo执行带release语义的exchange。
• 原操作的acquire和release均基于foo的同一RMW操作，此序列将两者拆分到dummy和foo两个变量，同步逻辑完全偏离原操作的语义。

总结 #

四个序列都无法等价于原acq_rel的exchange，核心原因是：

• acq_rel的本质是单一RMW操作在同一内存位置上同时实现acquire和release语义，而所有序列都将这两个语义拆分到独立操作，且大多涉及不同内存位置。
• 原操作的同步关系完全基于foo变量，而序列的同步链涉及dummy，无法匹配原操作的内存可见性和重排约束。

内容的提问来源于stack exchange，提问作者Sourav Kannantha B