时间戳

首页 > 解决方案 > 放宽内存顺序的原子加载和存储

c++ - 放宽内存顺序的原子加载和存储

问题描述

在我阅读的所有地方，我都看到强烈建议不要使用宽松的内存顺序，我想知道下面的代码是否是可以工作的异常之一，或者我没有看到任何后果。

class SessionHolder {
public:

  void set_session(std::shared_ptr<Session> session) {
    std::atomic_store_explicit(&_session, session, std::memory_order_relaxed);
  }

  std::shared_ptr<Session> get_session() const {
    return std::atomic_load_explicit(&_session, std::memory_order_relaxed);
  }

private:

  std::shared_ptr<Session> _session;
};

原则上，当我做 a 时get_session，我不在乎我得到的是哪个会话，只要它是一个会话或 nullptr。但是，如果另一个线程进行存储（这种情况很少发生），我希望最终在合理的延迟内获得该值。

有关如何使用此类的更多上下文：

基本上，我有某种持续产生数据的流。在某个时刻，客户端进程可能会连接（启动会话）并开始收听此数据。生产者线程不断写入流，如果没有活动会话，则丢弃数据，否则发送到客户端。另一个线程，在某个点（不经常），当客户端连接到该流并设置会话时。

生产者线程必须尽可能少地争用，即使这意味着丢失一些消息。

标签： c++c++11concurrencymemory-modelmemory-barriers

解决方案

据我了解，甚至不能保证我会得到那个值，只是我会得到一个在某个时间点存储在那里的值，但我总是可以得到 nullptr。

是的，假设每次调用都get_session可能返回一个空指针，但不太可能。即使是宽松的内存顺序也提供了一个保证，即一旦特定线程观察到一个值，同一个线程就不能随后观察到先前的值。因此，一旦特定线程开始观察非空指针，该线程将始终在后续调用中观察非空指针get_session（假设从未存储空指针）。

在实践中似乎可行，我可以期望它在某些情况/平台上失败（总是检索 nullptr）吗？

不是我知道的。

我可以在存储操作中调整内存顺序来解决这个问题吗？例如memory_order_release会将更改传播到另一个线程？

不，该标准没有提供任何方法来确保线程间通信在任何特定的时间内完成。只有实现才能提供这样的保证。

最后一点：nullptr与“空指针”不同。它是唯一类型的特殊常量，可以转换为另一种类型的空指针。

推荐阅读