std:: defer_lock, std:: try_to_lock, std:: adopt_lock, std:: defer_lock_t, std:: try_to_lock_t, std:: adopt_lock_t
From cppreference.net
C++
Concurrency support library
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Определено в заголовочном файле
<mutex>
|
||
|
struct
defer_lock_t
{
explicit
defer_lock_t
(
)
=
default
;
}
;
|
(1) | (начиная с C++11) |
|
constexpr
std::
defer_lock_t
defer_lock
{
}
;
|
(2) |
(начиная с C++11)
(inline начиная с C++17) |
|
struct
try_to_lock_t
{
explicit
try_to_lock_t
(
)
=
default
;
}
;
|
(3) | (начиная с C++11) |
|
constexpr
std::
try_to_lock_t
try_to_lock
{
}
;
|
(4) |
(начиная с C++11)
(inline начиная с C++17) |
|
struct
adopt_lock_t
{
explicit
adopt_lock_t
(
)
=
default
;
}
;
|
(5) | (начиная с C++11) |
|
constexpr
std::
adopt_lock_t
adopt_lock
{
}
;
|
(6) |
(начиная с C++11)
(inline начиная с C++17) |
1,3,5)
Пустые классы-теги
std::defer_lock_t
,
std::try_to_lock_t
и
std::adopt_lock_t
могут использоваться в списках параметров конструкторов для
std::unique_lock
и
std::shared_lock
для указания стратегии блокировки.
2,4,6)
Соответствующие экземпляры
std::defer_lock
,
std::try_to_lock
и
std::adopt_lock
из
(1,3,5)
могут быть переданы в конструкторы для указания типа стратегии блокировки.
Один из конструкторов шаблона класса
std::lock_guard
принимает только тег
std::adopt_lock
.
| Тип | Эффект(ы) |
defer_lock_t
|
не приобретать владение мьютексом |
try_to_lock_t
|
попытаться приобрести владение мьютексом без блокировки |
adopt_lock_t
|
предполагать, что вызывающий поток уже имеет владение мьютексом |
Пример
Запустить этот код
#include <iostream> #include <mutex> #include <thread> struct bank_account { explicit bank_account(int balance) : balance{balance} {} int balance; std::mutex m; }; void transfer(bank_account& from, bank_account& to, int amount) { if (&from == &to) // избежать взаимной блокировки при самопереводе return; // заблокировать оба мьютекса без взаимной блокировки std::lock(from.m, to.m); // гарантировать разблокировку обоих уже заблокированных мьютексов в конце области видимости std::lock_guard lock1{from.m, std::adopt_lock}; std::lock_guard lock2{to.m, std::adopt_lock}; // эквивалентный подход: // std::unique_lock<std::mutex> lock1{from.m, std::defer_lock}; // std::unique_lock<std::mutex> lock2{to.m, std::defer_lock}; // std::lock(lock1, lock2); from.balance -= amount; to.balance += amount; } int main() { bank_account my_account{100}; bank_account your_account{50}; std::thread t1{transfer, std::ref(my_account), std::ref(your_account), 10}; std::thread t2{transfer, std::ref(your_account), std::ref(my_account), 5}; t1.join(); t2.join(); std::cout << "my_account.balance = " << my_account.balance << "\n" "your_account.balance = " << your_account.balance << '\n'; }
Вывод:
my_account.balance = 95 your_account.balance = 55
Смотрите также
создаёт объект
lock_guard
, опционально блокируя указанный мьютекс
(публичная функция-член
std::lock_guard<Mutex>
)
|
|
создаёт объект
unique_lock
, опционально блокируя (т.е. получая владение) указанный мьютекс
(публичная функция-член
std::unique_lock<Mutex>
)
|