简介
条件变量作为一种典型的多线程同步方式,允许一个线程或者多个线程去等待另一个线程发出通知,保证业务处理的先后时序。C++ 中使用条件变量同步需要 std::condition_variable 以及std::mutex一起使用
线程等待函数
wait()
wait() 函数用于阻塞线程并等待唤醒。
在调用 wait() 之前,必须获取一个独占锁(std::unique_lock)并将它传递给 wait() 函数。
如果条件变量当前不满足,线程将被阻塞,同时释放锁,使得其他线程可以继续执行。
当另一个线程调用 notify_one() 或 notify_all() 来通知条件变量时,被阻塞的线程将被唤醒,并再次尝试获取锁。
wait() 函数返回时,锁会再次被持有。
wait() 函数有一个带谓词的版本,可以简化对条件的判断。仅仅有当 pred 条件为 false 时调用 wait() 才会阻塞当前线程,解决了的唤醒丢失问题。而且在收到其它线程的通知后仅仅有当 pred 为 true 时才会被解除堵塞,解决了虚假唤醒的问题。
wait_for()
wait_for() 函数用于阻塞线程并等待唤醒,但与 wait() 不同,它可以设置一个超时时间。
在调用 wait_for() 之前,必须获取一个独占锁(std::unique_lock)并将它传递给 wait_for() 函数。
如果条件变量在指定的超时时间内变为满足,线程将被唤醒,并且 wait_for() 返回 cv_status::no_timeout。
如果超时时间到期且仍未收到唤醒通知,wait_for() 返回 cv_status::timeout,线程继续执行。
wait_for() 函数同样有一个谓词版本,用法同 wait() 函数。
template <class Rep, class Period, class Predicate>
bool wait_for (unique_lock<mutex>& lck, const chrono::duration<Rep,Period>& rel_time, Predicate pred);
/** 相当于
while (!pred()) {
通过检查 pred 返回值,可以避免虚假唤醒
if (wait_until(lock, rel_time) == std::cv_status::timeout) {
return pred();
}
}
return true;
**/
wait_until()
wait_until 接受一个绝对时间点作为参数。
线程将等待直到指定的绝对时间点,如果在该时间点之前条件变量满足,它将返回并继续执行。
如果到达指定时间点仍未收到唤醒通知,wait_until 返回 cv_status::timeout,线程继续执行。
wait_until() 函数同样有一个谓词版本,用法同 wait() 函数。
————————————————
C++ 条件变量一些概念
虚假唤醒
唤醒丢失
参考链接:https://blog.csdn.net/luohaha66/article/details/134251052