boost互斥锁_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()来释放