c++(三）条件变量和互斥变量

Mutex和Condition_variable

c++ 11中多线程之互斥变量mutex和条件变量condition_variable

参考链接1、

参考链接2、

Mutex 互斥变量

多线程间同时访问某一个共享变量时，保证变量可以被安全访问的手段。

锁住的代码少，这个粒度叫细，执行效率高。

锁住的代码多，这个粒度叫粗，执行效率低。

使用方法：

1：直接操作 mutex，即直接调用 mutex 的 lock/unlock 函数

try_lock() 函数是有返回值的，它表示用来尝试获取锁，如果获取成功，则返回true，如果获取失败（即锁已被其他线程获取），则返回false，这个方法无论如何都会立即返回。在拿不到锁时不会一直在那等待。

2：使用 lock_guard 自动加锁、解锁。

lock_guard是一个互斥量包装程序，它提供了一种方便的RAII（Resource acquisition is initialization ）风格的机制来在作用域块的持续时间内拥有一个互斥量。

创建lock_guard对象时，它将尝试获取提供给它的互斥锁的所有权。当控制流离开lock_guard对象的作用域时，lock_guard析构并释放互斥量。

特点如下：

• 创建即加锁，作用域结束自动析构并解锁，无需手工解锁
• 不能中途解锁，必须等作用域结束才解锁
• 不能复制

3：使用 unique_lock 自动加锁、解锁。

unique_lock是一个通用的互斥量锁定包装器，它允许延迟锁定，限时深度锁定，递归锁定，锁定所有权的转移以及与条件变量一起使用。

简单地讲，unique_lock 是 lock_guard 的升级加强版，它具有 lock_guard 的所有功能，同时又具有其他很多方法，使用起来更强灵活方便，能够应对更复杂的锁定需要。

特点如下：

创建时可以不锁定（通过指定第二个参数为std::defer_lock），而在需要时再锁定
可以随时加锁解锁
作用域规则同 lock_grard，析构时自动释放锁
不可复制，可移动
条件变量需要该类型的锁作为参数（此时必须使用unique_lock）
注意：mutex::scoped_lock 其实就是 unique_lock 的 typedef

condition_variable条件变量

保证线程之间的同步操作

condition_variable

条件变量提供了两类操作：wait和notify ，这两类操作构成了多线程同步的基础。

（1） wait(lock): 调用时即阻塞线程，并且调用lock.unlock()

（2） wait(lock, conditions): 调用时检查conditions，如果为false,则阻塞线程，并且调用lock.unlock(), 否则，继续执行

（3） wait_for(lock, time_duration, conditions): 调用时，检查条件是否满足:(1) conditions返回true;

(2) 时间超时，如果不满足(1)(2)中的一个条件，则阻塞线程，并调用lock.unlock(), 否则，到达一定等待时间或满足条件被唤醒 ，注意，等待超过时间段后自动唤醒，判断条件一般需要使用者自己在合适的时候判断，并通过notify_one()或notify_all()唤醒，所以，使用的时候注意判断返回值，即状态是否为std::cv_status::timeout

（4） wait_until(lock, time_point, conditions): 实际wait_for是通过wait_until实现，实际上也是一样的，到达指定时间点或满足条件conditions时被唤醒，注意，到达时间点是自动唤醒，判断条件一般需要使用者自己在合适的时候判断，并通过notify_one()或notify_all()唤醒，所以，使用的时候注意判断返回值，即状态是否为std::cv_status::timeout

最后，总结一下条件变量的几个关键点：

1. wait()函数的内部实现是：先释放了互斥量的锁，然后阻塞以等待条件为真；
2. notify系列函数需在unlock之后再被调用；
3. 套路是：
   a. A线程拿住锁，然后wait,此时已经释放锁，只是阻塞了在等待条件为真；
   b. B线程拿住锁，做一些业务处理，然后令条件为真，释放锁，再调用notify函数；
   c. A线程被唤醒，接着运行。