首页 > 解决方案 > `std::condition_variable::wait_for` 经常调用谓词

问题描述

考虑以下代码片段:

#include <iostream>
#include <condition_variable>
#include <chrono>
#include <mutex>

int main () {
  std::mutex y;
  std::condition_variable x;
  std::unique_lock<std::mutex>lock{y};
  int i = 0;
  auto increment = [&] {++i; return false;};
  using namespace std::chrono_literals;

  //lock 5s if increment returns false
  //let's see how often was increment called?
  x.wait_for(lock, 5s, increment);
  std::cout << i << std::endl;

  //compare this with a simple loop:
  //how often can my system call increment in 5s?
  auto const end = std::chrono::system_clock::now() + 5s;
  i = 0;
  while (std::chrono::system_clock::now() < end) {
    increment();
  }
  std::cout << i;
}

据我了解wait_for,i应该是O(1)之后wait_for(假设虚假解锁很少见)。

但是,我得到
i ~= 3e8kernel 4.17.14, Intel(R) Core(TM) i7-6700 CPU @ 3.40GHz
i ~= 8e6因为kernel 3.10.0, Intel(R) Xeon(R) CPU E5-2630 v4 @ 2.20GHz

这听起来很有趣,所以我通过与一个运行 5 秒的简单循环进行比较来检查。的结果大致相同i,只有 5-10% 的差异。

问题:
wait_for做什么?它是否按预期工作,我只是理解 cppreference 错误,还是我搞砸了?

第二,(可选)问题:这种巨大的差异i从何而来?

附加信息:( gcc7.3, gcc8.2, clang6.0),标志:-O3 --std=c++17都产生可比较的结果。

标签: c++lockingmutexchronocondition-variable

解决方案


libstdc++ 有一种不幸的编译能力,并且似乎在没有 pthread 的情况下也能正常工作,但它不能正常工作。

请参阅此 libstdc++ 错误:https ://gcc.gnu.org/bugzilla/show_bug.cgi?id=58929

您需要添加"-pthread"到您的编译命令。


推荐阅读