互斥对象有利于实现多线程中数据的线程安全。
线程调用锁函数来获得互斥对象的所有权,调用对应的解锁函数来放弃所有权。
互斥量可以是递归或非递归的,并且可以同时把所有权赋给多个线程。
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()来释放