多线程05:unique_lock详解


📕unique_lock详解

一、unique_lock取代lock_guard

  • unique_lock是个类模板,实际应用中,一般lock_guard(推荐使用);lock_guard取代了mutex和的lock()和nulock(), 而unique_lock也取代mutex和的lock()和nulock();
  • unique_lock比lock_guard灵活很多(多出来很多用法),效率差一点,内存占用多一点;
  • 使用:unique_lock<mutex> myUniLock(myMutex)

二、unique_lock的第二个参数

2.1 std:: adopt_lock

  • lock_guard中也可以用这个参数

  • 表示这个互斥量已经被lock(),即不需要在构造函数中lock这个互斥量了,前提:必须提前lock;

  • adopt_lock就是起一种标记作用,标志效果:“假设调用方线程已经拥有了互斥的所有权(即已经lock()成功了的);

2.2 std::try_to_lock

  • 意思:我们会尝试用mutex的lock()去锁定这个mutex,但是不同的是,如果没有锁定成功,也会立即返回,不会阻塞继续尝试锁定;
  • 搭配owns_lock()方法判断是否拿到锁,如拿到返回true,没有拿到返回false;
  • 前提:当下线程再使用该参数前,不要使用lock,不然没有意义,因为肯定拿不到;
  • 使用try_to_lock的原因:是防止其他的线程锁定mutex太长时间,导致本线程一直阻塞在lock这个地方。

例子:

//写入数据函数; void inMsgPro() {      for (int i = 0; i < 100; ++i) {         cout << "inMsgPro()执行,插入元素" << i << endl;          unique_lock<mutex> myUniLock(mutex1, try_to_lock);         if (myUniLock.owns_lock() == true) {             msgRecvQueue.push(i);         }         else {             cout << "拿不到锁" << endl;             //其他操作代码         }      } } 

2.3 std::defer_lock

  • 意思:加上defer_lock是初始化了一个没有加锁的mutex
  • 前提:当下线程再使用该参数前,不要使用lock,不然没有意义,逻辑相悖;
  • 使用std::defer_lock的原因:是以后可以调用unique_lock的一些方法

三、unique_lock的成员函数(前三个要与defer_lock联合使用)

3.1 lock(): 加锁

unique_lock<mutex> myUniLock(myMutex, defer_lock); //加锁! myUniLock.lock(); //注意:可以不用自己解锁,myUniLock对象析构的时候会进行unlock()操作; 

3.2 unlock(): 解锁

unique_lock<mutex> myUniLock(myMutex, defer_lock); myUniLock.lock();//加锁! //处理共享数据的代码 myUniLock.unlock();//解锁! //处理非共享数据的代码(可能很多) //....... myUniLock.lock();//加锁! //处理共享数据的代码 myUniLock.unlock();//解锁! 

为什么有时候需要unlock():因为lock锁住的代码越多,锁的粒度越粗,执行效率就低;反而如果我们只锁住共享的代码,锁住代码少,锁的粒度细,执行效率高!

要选这合适的粒度:不能漏掉共享数据的保护,但是也不可以将其他不必要的代码加入!

3.3 try_lock(): 尝试给互斥量加锁

  • 如果拿到锁,则返回true,如果拿不到锁,函数不阻塞,返回false,继续往下执行;

这个操作和try_to_lock操作很像,个人感觉像是在defer_lock情况下加上这种不阻塞的功能;

3.4 release():

  • unique_lock<mutex>myUniLock(myMutex);相当于把myMutex和myUniLock绑定在了一起,而release()就是解除绑定,返回它所管理的mutex对象的指针,并释放所有权,不再指向mutex对象;
  • mutex* ptx = myUniLock.release();所有权由ptx接管,如果原来mutex对象进行了加锁,处于加锁状态,就需要ptx在后面进行解锁了;
  • 注意release()和unlock()的区别,一个是释放了所有权,一个只是释放锁,该对象还是和mutex绑定着;

四、unique_lock所有权的传递

unique_lock<mutex> myUniLock(myMutex);把myMutex和myUniLock绑定在了一起,也就是myUniLock拥有myMutex的所有权

所有权转移方式:

①使用move转移:

所有权可以转移,但是不能复制!

unique_lock<mutex> myUniLock(myMutex); //unique_lock<mutex> myUniLock2(myUniLock); //复制所有权是非法,一种拷贝构造; unique_lock<mutex> myUniLock2(std::move(myUniLock));//移动语言,传右值,调用带右值引用的拷贝构造,将myUniLock2和myMutex绑定一起,而myUniLock指向空! 

②在函数中return一个临时变量,即可以实现转移

unique_lock<mutex> rtn_unique_lock() {     unique_lock<mutex> myUniLock(myMutex);//位置1     //移动构造函数那里讲从函数返回一个局部的unique_lock对象是可以的     //返回这种局部对象会导致系统生成临时的unique_lock对象,并调用unique_lock的移动构造函数     return myUniLock; } // 然后就可以在外层调用,在myUniLock2具有对myMutex的所有权 std::unique_lock<std::mutex> myUniLock2 = rtn_unique_lock();//位置2  

其实这种方法的本质是:用在函数中创建临时变量(位置1),将局部临时变量拷贝一份给调用函数(位置2,这里又有一份临时变量),最后再由位置2的临时变量 赋值给myUniLock2!

可以看出,是非常消耗内存,浪费资源时间的,因为位置1、2的临时对象构造马上又析构了,后面也不会用它们。所以强烈推荐使用move转移语义调用移动构造函数!

发表评论

相关文章