C++多线程-Conditon Variable 与Wait等待

简介

条件变量作为一种典型的多线程同步方式，允许一个线程或者多个线程去等待另一个线程发出通知，保证业务处理的先后时序。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