原子加载重排问题：双缓冲线程同步的读取有效性验证方案咨询

原始代码与问题描述 #

线程A与线程B的初始实现 #

int normalData[2];
std::atomic<int> counter {0};

// 线程A：
// 写入新数据
normalData[(counter + 1) % 2] = newData;
counter.fetch_and_add(1, std::memory_order_release);

// 线程B：
auto before = counter.load(std::memory_order_acquire);
auto tmp = normalData[before % 2];
auto after = counter.load(?);
bool success = (before == after);

核心问题 #

线程A每次写入新值后递增counter，std::memory_order_release确保normalData的写入操作先于counter的递增完成。线程B通过std::memory_order_acquire加载counter，保证normalData的读取不会早于线程A已完成的数据写入。

但二次加载counter时，必须防止它被编译器/CPU重排到normalData读取操作之前——也就是要避免出现以下错误执行顺序：

// 线程B被重排后的错误逻辑
auto before = counter.load(std::memory_order_acquire);
auto after = counter.load(?);
auto tmp = normalData[before % 2];
bool success = (before == after);

最终目标是确保线程B读取的normalData未被线程A的并发写入修改。

更新方案的可行性分析 #

提出的更新方案如下：

// 线程B：
auto before = counter.load(std::memory_order_acquire);
auto tmp = normalData[before % 2];
bool success = counter.compare_exchange_strong(before, before, std::memory_order_acq_rel);

方案有效性说明 #

这个方案是可行的，原因如下：

1. 内存屏障阻止重排：compare_exchange_strong使用std::memory_order_acq_rel时，会插入双向内存屏障：
   • 读取counter的比较阶段是acquire语义，确保后续操作不会重排到该读取之前；
   • 即使这里没有修改counter（期望值和新值都是before），release语义也会确保之前的normalData读取操作不会重排到counter的二次读取之后，彻底避免了我们担心的重排问题。
2. 逻辑验证有效性：如果compare_exchange_strong返回true，说明从第一次加载before到执行CAS期间，counter未被其他线程修改（线程A没有执行过fetch_and_add），因此线程B读取的normalData[before%2]必然是未被并发修改的有效数据。

注：这里的CAS操作本质是带内存屏障的验证性读取，不会改变counter的实际值。

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