c++ - C++ 并发蓝绿模式的解释

Question

在这个关于并发的演讲中，Arthur O'Dwyer 解释了“蓝/绿”模式。这看起来像是我想在我的工具箱中拥有的东西，但还没有完全掌握它。

本质上，它为共享状态（即蓝色和绿色）创建了两个类别，并具有：

• 写入方面，仅当蓝色状态一致时才以原子方式添加修改：

  using ConfigMap = std::map<std::string, std::string>;
  std::atomic<std::shared_ptr<const ConfigMap>> g_config;
  
  void setDefaultHostname(std::string const& value) {
    std::shared_ptr<const ConfigMap> blue = g_config.load();
    do {
      std::shared_ptr<ConfigMap> green = std::make_shared<ConfigMap>(*blue);
      green->insert_or_assign("default.hostname", value);
    } while (g_config.compare_exchange_strong(blue, std::move(green)));
  }
  

• 以无锁方式获取当前值的读取端

  std::shared_ptr<const std::string> getDefaultHostname() {
    std::shared_ptr<const ConfigMap> blue = g_config.load();
    auto& value = blue.at("default.hostname");
    return std::shared_ptr<const std::string>(std::move(blue), &value);
  }
  

也就是说，这是我的问题：

1. 是否有人（开源库/已建立的项目）在生产中使用它？
2. 有更好的解释吗？另一个例子？
3. 值得麻烦吗？特别是因为写入端必须重复昂贵的克隆操作，直到蓝色状态仅包含我们的修改。

标签： c++multithreadingc++20