Question

请考虑以下代码段：

#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之后的wait_for应该是O（1）（假设虚假解锁很少见）。

但是我知道了
i ~= 3e8代表kernel 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都产生可比的结果。

Answer 1

libstdc ++具有不幸的编译能力，并且似乎没有pthread就可以工作，但是它无法正常运行。

查看此libstdc ++错误：https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58929

您需要在编译命令中添加"-pthread"。

Answer 2

例如，在RE的gcc 5.1.0上，您需要在编译时在gcc上添加-pthread标志：

without pthread: 49752692
with pthread: 2

Answer 3

您需要使用-pthread标志链接到g ++的pthread库：

g++ cond_test.cpp -pthread

大多数linux系统要求您链接到pthread库以使用线程功能。但是，使用标准C ++线程的程序似乎可以成功链接，而无需显式链接到pthread，而是在运行时产生未定义的行为（它经常崩溃，但是使用此代码，它似乎没有崩溃，而是产生了意外的行为）。

此代码示例：

$ g++ t.cpp  && ./a.out
5817437
18860410
$ g++ t.cpp  -pthread && ./a.out
2
19718764

`std :: condition_variable :: wait_for`经常调用谓词

3 个答案: