上一节,我们了解了如何对线程之间的共享资源进行保护的方法。但是,有些时候,我们需要在线程之间进行同步操作。一个线程等待另一个线程完成某项工作后,再继续自己的工作。比如,某个线程需要等待一个消息,或者某个条件变成true。接下来几节,我们会看到如何使用C++标准库来做到线程间同步。
等待另一个线程完成的方法有如下几种:
- 一个线程不停地查询某个被mutex保护的贡献数据区中的标志的状态。另一个线程在完成工作后,设置这个标志。这种方法十分浪费资源,因为第一个线程需要不停的运行而占用CPU。并且,当第一个线程锁定mutex后,第二个线程即使完成了工作,也无法立即设置这个标志,因为mutex被第一个线程锁定了。
- 第二种方法是在每次检查表之后,执行一定时间的休眠。
bool flag;
std::mutex m;
void wait_for_flag()
{
std::unique_lock<std::mutex> lk(m);
while(!flag)
{
lk.unlock(); // 1 解锁互斥量
std::this_thread::sleep_for(std::chrono::milliseconds(100)); // 2 休眠100ms
lk.lock(); // 3 再锁互斥量
}
}
比如,上面得了例子,解锁mutex后,先睡眠100ms,在再次锁定mutex。这样做,比第一种方法要好一点,但是睡眠时间长短很难确定。短了,就跟没有休眠一样,很浪费CPU资源。长了,可能这个线程等待的另一个线