Mutex和Lock
在多线程编程的时候,为了防止线程之间的干扰。我们需要用到锁。C++中,没有semaphor,我们可以用标准库提供的Mutex来完成。 考虑一下代码。两个线程1和2都先用mut.lock()来取得mutex,再对其上锁,进行操作,最后解锁。这样防止了两个线程互相干扰。
#include <mutex>
Mutex mut;
void func1() {
mut.lock();
//dosomething
mut.unlock();
}
void func2() {
mut.lock();
//dosomething
mut.unlock();
}
为了方便管理,C++用lock_guard()和unique_lock()两个模板类来管理mutex。lock_guard()在创建时,自动将传入的mutex上锁,并在析构时解锁。
unique_lock()更加灵活,可以人工手动上锁,去锁。这个就是mutex以及lock的基本操作。
Conditional Variable
在前文中说过,conditional variable是在mutex上更加高级的管理模式。可以令多个threads 等在同一变量,并在适当的条件下唤醒。
conditions variable 主要提供了两个函数,wait(lock, predicate )和notify_all()。
1. wait第一个参数传入相应的lock对象,predicate传入唤醒条件,因为有可能是虚假唤醒,直到predicate 返回true的时候,才是真的唤醒thread。这个的执行过程中,包含了block直到取锁的过程。所以更加方便,不用认为的控制lck.unlock或者unlock.
当线程调用wait的时候会释放传入的锁,并同时进入等待. 当被唤醒时会重新获得锁
2. notify_all()和notify_one()分别对应了,叫醒所有的waiting thread,和叫醒其中的一个。这个过程包含了luck相应的unlock,所以这里也不用人为的再unlock。在具体使用的时候,应该与lock配合使用,即遵从先上锁,调用cv.wait()来查看是否虚假还行。如果不是,则执行语句。执行完了之后,进行notify(),wake其他线程,再释放锁
在知道mutex,unique_lock<mutex> lk(mut),以及cv.wait(),cv.notify_all()的含义之后,再看前问的代码会理解更深。