c++ 11多线程总结(二):条件变量
多线程程序中当你不仅想要保护数据,还想对单独的线程进行同步。例如,在第一个线程完成前,可能需要等待另一个线程执行完成。
c++11标准库提供了一些工具可用于同步操作:条件变量(condition variables)和期望(futures)。
条件变量(condition variables)基本使用
条件变量使用包含在头文件 condition_variable 中,条件变量需要和unique_lock共同工作。
使用condition_variable:
基本成员函数:wait() , notify_one(),wait_for(),wait_until(),notify_all()。
成员函数wait():阻塞当前线程直到唤醒
wait() 的第一个参数是一个unique_lock,第二个参数是true/false或没有第二个参数。第二个参数是用来判断是否满足条件,所以经常使用lambda表达式。第二个参数作用如下:
wait()第二个参数:
(1) 如果第二个参数为true,则wait()返回,流程走下来(此时本线程互斥量已经加锁)
(2) 如果第二个参数为false,则wait()阻塞在这里,并解锁互斥量
(3)如果没有第二个参数,wait()会阻塞到这里,并解锁互斥量(与false一样)
当wait()阻塞到本行时,其他线程可以用同一个条件变量notify_one()唤醒当前阻塞的线程。当此线程被唤醒时:
wait()会尝试重新获取锁,如果没有获取到,则卡在这里继续尝试获取锁。
如果获取到了锁:
(1)判断wait()的第二个参数,如果为true,则返回,流程走下来
(2)判断wait()的第二个参数,如果为false,则解锁互斥量,继续阻塞
(3)没有第二个参数,流程走下来。
成员函数notify_one()/notify_all()唤醒线程
- std::condition_variable::notify_one()
唤醒某个等待(wait)线程。如果当前没有等待线程,则该函数什么也不做,如果同时存在多个等待线程,则唤醒某个线程是不确定的。 - std::condition_variable::notify_all()
唤醒所有的等待(wait)线程。如果当前没有等待线程,则该函数什么也不做。
如下所示:使用条件变量进行同步:
std::mutex mut;
std::queue<data_chunk> data_queue; // 1
std::condition_variable data_cond