C++ Mutex & Conditional variable

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()的含义之后，再看前问的代码会理解更深。