adopt_lock 和 defer_lock 的区别

c++ 中 lock_guard 通过 raii 机制实现了自动上锁和解锁互斥量,基本用法为

{   
    static std::mutex io_mutex;
    std::lock_guard<std::mutex> lk(io_mutex);
    std::cout << "ddd" << std::endl;
} 

如果一段代码同时需要锁住两个互斥量, 不正确使用可能会引起死锁,比如再下面的代码中,先创建了两个 unique_lockdefer_lock 表示创建的时候不申请锁,后面人为的进行上锁

❯ cat defer_lock.cpp
#include <bits/stdc++.h>
#include <thread>
#include <mutex>
using namespace std;
std::mutex mtx1, mtx2;
void f1(){
  {
	  // 因为后面要调用 lock 方法,所以使用 unique_lock 而不是 lock_guard
      std::unique_lock<std::mutex> lk1(mtx1, std::defer_lock); // 1 创建 lk1的时候不去上锁
      std::unique_lock<std::mutex> lk2(mtx2, std::defer_lock);// 2
      lk1.lock(); // 3 不能使用 lock(lk1), 它的参数至少要两个
      lk2.lock(); // 4 Risk of deadlock !
      std::cout << "ddd" << endl;
      // ...
  }
}

int main(){
  thread t1(f1);
  thread t2(f1);
  t1.join();
  t2.join();
}

如果两个 lock 分开执行,而且有两个线程,一个先执行了 lk1.lock() ,另一个线程先执行了 lk2.lock(),那么将会出现死锁

解决方法是对两个互斥量同时上锁

❯ cat defer_lock.cpp
#include <bits/stdc++.h>
#include <thread>
#include <mutex>
using namespace std;
std::mutex mtx1, mtx2;
void f1(){
  {
      std::unique_lock<std::mutex> lk1(mtx1, std::defer_lock); // 1
      std::unique_lock<std::mutex> lk2(mtx2, std::defer_lock); // 2
      lock(lk1, lk2); // 3 同时上锁
      std::cout << "ddd" << endl;
      // ...
  }
}

int main(){
  thread t1(f1);
  thread t2(f1);
  t1.join();
  t2.join();
}

或者先同时上锁,再创建 guard,adopt_lock 要求调用线程当前拥有锁

std::lock(mtx1, mtx2);
std::lock_guard<std::mutex> lock_a(mtx1, std::adopt_lock);
std::lock_guard<std::mutex> lock_b(mtx2, std::adopt_lock);

在 c++17 中引入了 scoped_lock, 它上面两种方法是等价的

下面的三种方法是等价的

{
	// use std::scoped_lock to acquire two locks without worrying about 
	// other calls to assign_lunch_partner deadlocking us
	// and it also provides a convenient RAII-style mechanism
	
	std::scoped_lock lock(e1.m, e2.m);
	
	// Equivalent code 1 (using std::lock and std::lock_guard)
	// std::lock(e1.m, e2.m);
	// std::lock_guard<std::mutex> lk1(e1.m, std::adopt_lock);
	// std::lock_guard<std::mutex> lk2(e2.m, std::adopt_lock);
	
	// Equivalent code 2 (if unique_locks are needed, e.g. for condition variables)
	// std::unique_lock<std::mutex> lk1(e1.m, std::defer_lock);
	// std::unique_lock<std::mutex> lk2(e2.m, std::defer_lock);
	// std::lock(lk1, lk2);
}

总结

下面三种方法在同时锁住多个互斥量时,是等价的

  1. 先同时 lock,再创建 guard
  2. 先创建 guard, 再同时 lock
  3. 使用 scoped_lock
TypeEffect(s)
defer_lock_tdo not acquire ownership of the mutex
try_to_lock_ttry to acquire ownership of the mutex without blocking
adopt_lock_tassume the calling thread already has ownership of the mutex

参考链接

  1. c++ - What’s the difference between first locking and creating a lock_guard(adopt_lock) and creating a unique_lock(defer_lock) and locking? - Stack Overflow
  2. std::scoped_lock - cppreference.com
  3. c++ 并发编程实战
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值