C++怎么使用std::lock()或std::scoped_lock獲取多個mutex

本篇內容主要講解“C++怎么使用std::lock()或std::scoped_lock獲取多個mutex”，感興趣的朋友不妨來看看。本文介紹的方法操作簡單快捷，實用性強。下面就讓小編來帶大家學習“C++怎么使用std::lock()或std::scoped_lock獲取多個mutex”吧!

CP.21:使用std::lock()或者std::scoped_lock獲取多個mutex

Reason（原因）

To avoid deadlocks on multiple mutexes.

避免在多個mutex上發生死鎖。

Example（實例）

This is asking for deadlock:

下面的代碼會引發死鎖：

// thread 1
lock_guard<mutex> lck1(m1);
lock_guard<mutex> lck2(m2);

// thread 2
lock_guard<mutex> lck2(m2);
lock_guard<mutex> lck1(m1);

Instead, use lock():

使用lock代替：

// thread 1
lock(m1, m2);
lock_guard<mutex> lck1(m1, adopt_lock);
lock_guard<mutex> lck2(m2, adopt_lock);

// thread 2
lock(m2, m1);
lock_guard<mutex> lck2(m2, adopt_lock);
lock_guard<mutex> lck1(m1, adopt_lock);

or (better, but C++17 only):

或者（可以更好，但僅限于C++17）

// thread 1
scoped_lock<mutex, mutex> lck1(m1, m2);

// thread 2
scoped_lock<mutex, mutex> lck2(m2, m1);

Here, the writers of thread1 and thread2 are still not agreeing on the order of the mutexes, but order no longer matters.

這里，thread1和thread2的作者仍然沒有在獲取mutex的順序上取得一致，但是順序已經不再重要。

Note（注意）

在實際的代碼中，mutex的命名很少能向程序員提示希望的關系和希望的請求次序。在實際的代碼中，mute不會總是在相鄰代碼中執行獲取，那樣的話問題可能更容易被發現。

In C++17 it's possible to write plain

在C++17可以簡單地這樣寫：

lock_guard lck1(m1, adopt_lock);

and have the mutex type deduced.

這樣就可以實現mutex類型推斷。

Enforcement（實施建議）

Detect the acquisition of multiple mutexes. This is undecidable in general, but catching common simple examples (like the one above) is easy.

檢查多重mutex獲取操作。這一點通常是不可判定的，但是捕捉一般的簡單例子（例如上面的例子）是容易做到的。

到此，相信大家對“C++怎么使用std::lock()或std::scoped_lock獲取多個mutex”有了更深的了解，不妨來實際操作一番吧！這里是億速云網站，更多相關內容可以進入相關頻道進行查詢，關注我們，繼續學習！