怎么能说出条件_variable.wait_ for to not to not of to not of to not of to novious wakeup或cv_status ::超时？

Question

据我所知，只有code> prention_variable.wait_for带有谓词（因为内部进行双检查）可以避免被虚假的唤醒所掩盖，但没有谓词的版本（如果不是在一定时间内使用）。

但是，如果我只想在cv_status ::超时发生并通过notify_xxx做其他事情时，该怎么办？ 因为code> prentigh _variable.wait_for带有谓词返回bool，它无法确定它是否被notify> notify_xxx或cv_status :: timeout code>代码>;虽然code> code_variable.wait_for没有谓词返回cv_status :: timeout，但无法分辨它是否被虚假的唤醒或notify_xxxx。

Answer 1

条件变量最好用作三重。简历，静音和有效载荷。

没有有效载荷（隐式或明确），就无法确定唤醒是否虚假。

谓词版本可以轻松检查有效载荷，但是在某些复杂的情况下，检查有效载荷的情况可能会更容易而不在lambda中进行。因此提供了另一个API。

修改有效载荷后，条件变量运行的静音必须在发送信号之前处于锁定状态。 （例如，您可以使用MUTEX来保护有效载荷；或者您可以在原子上修改有效载荷，然后锁定并解锁Mutex，然后发送信号）。否则，可能会发生虚假唤醒（错过的信号）的相反。

所有这些都是棘手的，易于意外地误会。

如果您想编写新的并发代码（尤其是使用低级别的原始码），则必须学习足够的C ++内存模型，并学习如何证明您的算法是正确的。因为这是一种方式，因此很难编写代码并基于“有效”来基于其正确性。

您已经正确识别了没有其他数据就无法解决此问题。您需要添加其他数据，并使用它来确定唤醒是虚假的还是真实的。那就是设计。

C ++可以将其他数据添加到条件变量中，但是即使您不使用它，它也会使您付费。条件变量是一个低级别的原始性，使您可以尽可能地编写代码，事实是，它包裹在类中可能会使某些人感到困惑。

而且有很多有效载荷。如果您有一个计数信号量，其中发送信号的数量与接收信号的数量匹配，则有效负载将是一个整数。如果您有一个闩锁或门，一旦打开每个人都可以自由地通过它，那么您的有效载荷将是一个布尔。

struct gate {
  void wait_on_gate() const {
    auto l = lock(); 
    cv.wait( l, [&]{ return !closed; } );
  }
  // false iff it times out
  template<class Time>
  bool wait_on_gate_until(Time time) const {
    auto l = lock(); 
    return cv.wait_until( l, time, [&]{ return !closed; } );
  }
  // false iff it times out
  template<class Duration>
  bool wait_on_gate_for(Duration d) const {
    auto l = lock(); 
    return cv.wait_for( l, d, [&]{ return !closed; } );
  }
  // Once you call this, nobody waits
  void open_gate() {
    auto l = lock();
    closed = false;
    cv.notify_all();
  }
private:
  mutable std::mutex m;
  std::condition_variable cv;
  bool closed = true;
};

现在，您会注意到我正在使用Lambda版本。

我们可以重构非lambda版本：

  void wait_on_gate() const {
    auto l = lock(); 
    while(closed)
      cv.wait( l );
  }
  template<class Time>
  void wait_on_gate_until(Time time) const {
    auto l = lock(); 
    while(closed) {
      if (cv.wait_until(l, time) == std::cv_status::timeout)
        return !closed;
    }
    return true;
  }

它更复杂，并且完全相同 相同。 （假设我没有错别字）。

唯一的区别是，您可以做可能不适合Lambda的事情。例如，您可以选择说：“好吧，这是虚假的，但是当我醒着时，我会去其他地方簿记，然后再回来”。