- unique_lock 取代lock_quard
- unique_lock 的第二个参数
- std::adopt_lock
- std::try_to_lock
- std::defer_lock
- unique_lock的成员函数
- lock()
- unlock()
- try_to_lock()
- release()
- unique_lock所有权的传递
unique_lock 取代lock_guard
应用场景:两个线程A、B,其中A对队列添加元素,B移除元素。
unique_lock是个类模板,工作中,一般使用lock_gard(推荐使用),取代mutex的lock()和unlock()。unique_lock比lock_gard灵活许多,但是unique_lock效率差一点,并且内存占用多一点。
std::unique_lock<std::mutex> sbgard(mu_mutex);
unique_lock 的第二个参数
unique_lock比较灵活,主要是因为这个第二个参数。 lock_guard可以带第二个参数。
std::unique_lock<std::mutex> sbguard(my_mutex, std::adopt_lock);
std::adopt_lock这个参数表示标记作用,unique_lock支持更多参数,表示互斥量已经被lock了
std::adopt_lock:表示这个互斥量已经被Lock了,必须把互斥量提前lock,否则会报异常。这个标记的效果:假设调用方线程已经拥有了互斥的所有权,也就是说已经lock成功了,通知lock_guard不需要在构造函数中Lock这个互斥量了。unique_lock也是同样的功能,就是不希望在unique_lock()的构造函数中再次lock了。
std::adopt_lock
用adopt_lock的前提条件是要先给互斥量加锁,然后在后面的语句中不会再次lock(),即后续的std::lock_guard中才能使用std::adopt_lock这个参数,然后unique_lock自动unlock。
std::unique_lock<std::mutex> sbguard(my_mutex, std::adopt_lock);
如果另外一个线程A拿了锁之后,执行20s,然后这个线程B等待A释放锁。此时,A一直占用资源,B一直得不到资源,unique_lock如果一直拿不到锁,让它去先做别的事情,所以引入了try_to_lock。
std::try_to_lock
std::try_to_lcok会尝试用 mutex的lock()去锁定mutex,但是没有锁定成功,也会立即返回,并不会阻塞。用try_to_lock的前提是不能使用lock:
std::unique_lock<std::mutex> sbguard(my_mutex, std::try_to_lock);
a)注意,不能先去try_to_lock,尝试加锁。此时就有成功或者失败,尝试拿锁成功或者尝试拿锁失败。
b)如果拿到了锁,才能去操作共享数据(临界区),sbguard.owns_lock拿到锁,就不能操作共享数据,可以做一些别的事情。
c)A拿到锁,sleep 20s,此时B拿不到锁,一直在等待。线程不需要一直等资源,通过sbguard.owns_lock的值进行判断。
std::defer_lock
前提:不能自己先lock,否者会出现异常。defer_lock的意思不需要给mutex加锁:初始化了没有加锁的mutex,没加锁的mutex,可以灵活地调用unique_lock的一些重要的成员函数。
std::unique_lock<std::mutex> sbguard(my_mutex, std::defer_lock);
之后需要手动 lock,unlock在析构函数中自动执行了。
unique_lock的成员函数
a)lock(),加锁
b)unlock(),解锁
有lock就可以有unlock,不过在unique_lock中使用了锁,类的析构函数执行了解锁的操作。有的时候会出问题,但是实际上不稳定。有的时候可能临时需要处理一些其他事情。
lock() //处理一些共享数据 unlock()
也可以用unqiue_lock,编码变得更加灵活:
std::unique_lock<std::mutex> sbguard(mutex); lock(); //处理一些共享数据 unlock(); //处理一些非共享数据 lock(); //// ////
此时unlock不必手工unlock,此时的unlock在unique_lock的析构函数中执行。
try_lock()
尝试给互斥量加锁,如果拿不到锁,则返回false,如果拿到了锁,返回true,函数不阻塞。
if(sbguard.try_lock()==true)
{
//拿到锁了
访问共享数据
}else
{
//没拿到锁 }
release()
返回它所管理的mutex对象指针,并释放所有权,也就是说这个unique_lock和mutex不再有关系,严格区分unlock()和release()的区别。release()把绑在一起的东西解开了(解开关系),unlock()是解开锁头。
如果原来mutex对象处于加锁状态,需要接管过来并负责解锁。
std::unique_lock<std::mutex> sbguard(my_mutex);
std::mutex *ptx = sbguard.release();
//此时sbguard和my_mutex的关系解除了,现在就有责任自己解锁my_mutex
//如果自己不解锁,那么就卡住了
解锁语法:自己负责my_mutex的解锁。
ptx->nulock();
release()返回的是原始的mutex指针。
锁头锁住的代码的多少成为粒度,粒度一般用粗细来描述;
a)锁住代码少,粒度细,执行效率高。
b)锁住代码多,粒度粗,执行效率低。
要学会尽量选择合适粒度的代码进行保护。
unique_lock所有权的传递
unique_lock需要和mutex绑定到一起才是一个完整的unique_lock,应该是unique_lock需要管理一个mutex指针才能起作用。
所有权:指定unique_lock拥有mutex的所有权,unique_lock可以把所有用的所有权,可以转移给其他的unique_lock对象,所有权转移,mutex可以转移,但是不能复制
可以使用std::move(mutex)
std::unique_lock<std::mutex> sbguard1(mutex);
std::unique_lock<std::mutex> sbguard2(std::move(mutex));
此时sbguard1为空,sbguard2接管了原来sbguard1和mutex的关系,其实就是新的unique_lock()指向了原来的mutex。
参考文献