互斥元

std::mutex

std::lock_guard

实现互斥元的 RAII 惯用语法，它在构造时锁定所给的互斥元，在析构时将互斥元解锁，从而保证被锁定的互斥元始终被正确解锁

std::unique_lock

提供了lock()、try_lock()和unlock()三个成员函数，它们会调用底层互斥元上同名的成员函数去做实际的工作，并且只是更新在std::unique_lock实例内部的一个标识，来表示该实例当前实例是否拥有此互斥元(如果标识表示了该实例拥有互斥元，则析构函数必须调用unlock()；如果不拥有互斥元，则一定不能调用unlock())。因此std::unique_lock对象的大小通常大于std::lock_guard对象；使用std::unique_lock时，由于需要对标识进行相应的更新或判断在性能上会有些许损失

其灵活性还体现在可以在作用域之间转移锁的所有权

std::lock

待补充

加解锁的一些未定义行为

待补充

共享互斥元

boost::shared_mutex

boost::unique_lock<boost::shared_mutex>

写锁

boost::shared_lock<boost::shared_mutex>

读锁

递归互斥元

std::recursive_mutex

待补充

条件变量

从概念上说，条件变量与某些事件或其他条件相关，并且一个或多个线程可以等待该条件被满足。当某个线程已经确定条件得到满足，它就可以通知一个或多个正在条件变量上进行等待的线程，以便唤醒它们并让它们继续处理

std::condition_variable

等待操作

调用wait()函数需要传入锁对象，以及表示正在等待的条件的判断函数(判断函数可以使用lambda表达式)

调用wait()函数时，其内部首先会调用所提供的判断函数：

如果满足条件(lambda返回true)则返回，当前线程继续执行
如果不满足条件，则将当前线程置于等待状态(加入这个条件变量的等待队列)并解锁互斥元

当wait函数被唤醒时(其他线程调用通知或伪唤醒)：

重新获取互斥元(加锁)
执行上面的一系列判断及相应操作

伪唤醒

当等待线程重新获取互斥元并检查条件时，如果它并非直接响应另一个线程的通知，即伪唤醒

丢失通知

在wait操作的实现流程的分析中，判断不满足条件与之后的所有处理并非是个原子操作，因此当前线程进入等待状态前，有可能其他线程的通知已经发出，这样就丢失了通知。具体实例可参考：线程池学习

std::condition_variable_any

灵活性更大，所以可能会有大小、性能或者操作系统资源方面的额外代价