在g++ 11.2.1下可以看到以下行为。如果超时变量太大,std::condition_variable
wait_for
方法将立即返回。特别是在下面的程序中,如果是num_years==1
,那么程序按预期挂起(大概要等待一年),但是如果变量num_years==1000
则立即返回。
这一切为什么要发生?这是g++中的一个bug吗?还有一个相关的问题,如何让cv.wait_for()
无限期地等待,而不是猜测一个大的超时值?
// This is 'cv_wait.cc' compile with:
//
// g++ -o cv_wait -std=c++2a cv_wait.cc
//
// An example showing that wait_for() returns immediately with a timeout
// return value if the duration variable is "too large".
//
#include <iostream>
#include <condition_variable>
#include <chrono>
int main(int argc, char **argv)
{
std::condition_variable cv;
std::mutex cv_m;
// If num_years is "too large", e.g. 1000, then cv.wait_for()
// returns immediately with a timeout condition!
int num_years = 1; // If 1000 then cv.wait_for() returns immediately!
std::chrono::seconds timeout((uint64_t)3600 * 24 * 365 * num_years);
std::unique_lock<std::mutex> lock(cv_m);
if (cv.wait_for(lock, timeout, [] { return false; }))
std::cerr << "No timeout!\n";
else
std::cerr << "Timeout!\n";
}
发布于 2022-02-10 16:08:20
这是condition_variable::wait_for
遮罩下的溢出错误。在内部,它正在使用计算steady_clock
的nanoseconds
等待。这个时钟在+/-292年溢出。因此,当1000年被转换为nanoseconds
时,它就会溢出。
这看起来像是标准错误,而不是实现错误:http://eel.is/c++draft/thread.condition#condvar-24。
实现应该检查这种类型的溢出,如果找到,只需等待它能够等待的最大时间。
https://stackoverflow.com/questions/71068221
复制相似问题