记忆的屏障，不确定我是否可以使用放松

Question

使用伪代码，我有两个线程都试图首先到达并"弹出"相同的数据:

Thread1

DataBlock db = memoryLocationX.reserveBlock();

Thread2

DataBlock anotherDB = memoryLocationX.reserveBlock();

和reserveBlock()在内存上执行std::exchange()，返回原始值并用空值替换它，因此只有一个线程可以获得数据:

DataBlock reserveBlock(){
    return DataBlock(_internalState.exchange(EMPTY_VALUE));
}

我的问题是，在什么情况下我可以使用std::memory_order_relaxed作为exchange()的第二个参数?我所要确保的是，只有一个线程检索存储在_internalState中的数据。但是这已经通过exchange()实现了，所以这是否意味着我可以使用std::memory_order_relaxed呢?

Answer 1

使用std::memory_order_relaxed，您不能保证不会出现数据争用。它避免了未定义的行为，但在少数情况下它是真正有用的(例如，如果你可以通过其他方式保证同步)。

在你的例子中，你需要在线程之间同步，所以如果你使用宽松的语义，你仍然需要显式同步。否则，不能保证其他线程看到修改。

最后，它很可能不会更快，代码会更复杂。