《C++标准库》学习笔记 — STL — 并发 — 线程同步与并发 — 条件变量与原子操作
一、条件变量
1、意图
我们前面介绍的 future 主要用于传递线程的返回值和异常。但是,有时我们需要确保不同线程之间的工作流。我们可以使用一个简单的变量和锁来控制,其带来的结果就是我们需要在线程中轮询该变量的值:
bool ready = false;
mutex readyMutex;
void thread1()
{
unique_lock lg(readyMutex);
ready = true;
}
void thread2()
{
unique_lock lg(readyMutex);
while (!ready)
{
lg.unlock();
this_thread::yield();
this_thread::sleep_for(chrono::milliseconds(200));
lg.lock();
}
}
这种轮询的处理方式并不是一个好的选择。一方面,等待中的线程需要不断的检验标志位;另一方面,sleep 函数的周期也很难设定。
一个较好的做法是使用条件变量。借由它,一个线程可以唤醒其他等待中的线程。这是一种类似中断的处理方式。
2、条件变量的基本使用
在使用条件变量时,等待条件满足的线程使用 wait 函数等待指定的条件变量被置位。类似锁,该类还提供了 wait_for 和 wait_until 方法用于设置等待的时间。需要注意,等待中的线程被唤醒不保证指定的条件变量已经被置位(假醒)。因此,wait 函数还支持设置一个判定式用以判定是否为假醒(通常为对标志位的判断)。置位条件变量的线程在相应条件满足后,使用 notify_one 和 notify_all 函数激活一个或所有等待此条件变量的线程。如果只激活一个线程,该激活不会被继续传递;也就是说,其余未被激活的线程需要等待这两个函数再次被调用:
#include <iostream>
#include <future>
#include <mutex>
#include <chrono>
#include <condition_variable>
using namespace std;
bool ready = false;
mutex readyMutex;
condition_variable readyCond;
void thread1()
{
cout << "input something" << endl;
cin.get();
{
unique_lock ul(readyMutex);
ready = true;
}
readyCond.notify_one();
}
void thread2()
{
{
unique_lock