boost-同步-互斥量的概念
互斥对象有利于实现多线程中数据的线程安全。
线程调用锁函数来获得互斥对象的所有权，调用对应的解锁函数来放弃所有权。
互斥量可以是递归或非递归的，并且可以同时把所有权赋给多个线程。
Boost.Thread提供独占的递归、非递归互斥量，以及共享(多读单一写）互斥量。
BasicLockable概念
BasicLockable是独占模型。
满足这个模型的对象需要实现两个接口
- m.lock()
- m.unlock()
调用lock()来获取锁的所有权，同时必须调用unlock()来释放所有权。
当前线程调用lock()时，会阻塞，直到获得锁的所有权。
Lockabe概念
一个类型要满足Lockable要求，它需要满足BasicLockable，同时满足1个接口
- m.try_lock()
try_lock()获取的锁的所有权，必须通过unlock()来释放
当前线程调用try_lock()来尝试获得锁的所有权，并不会阻塞，如果获得所有锁，try_lock()会返回true。
Recursive Lockable概念
没有接口要求，只有3个特性
用户可以要求传入算法的互斥量是递归的。
无法通过模板的元编程来检查一个lockable是否可递归，因此才引入3个特性
TimedLockable概念
一个类型要满足TimedLockable要求，它需要满足Lockable，同时满足4个接口
- m.try_lock_until(abs_time)
- m.try_lock_for(rel_time)
- m.timed_lock(abs_time)
- m.timed_lock(rel_time)
线程将被阻塞，直到获得所有权或指定的时间结束。如果时间结束还未获得所有权，那么按try_lock()处理。
如果获得所有权，会返回true。
SharedLockable概念
一个类型要满足SharedLockable要求，它需要满足TimedLockable，同时满足6个接口
- m.lock_shared()
- m.try_lock_shared()
- m.try_lock_shared_for(rel_time)
- m.try_lock_shared_until(abs_time)
- m.unlock_shared()
- m.timed_lock_shared(abs_time)
共享锁必须调用unlock_shared()来释放
