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
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Definido en el encabezado
<mutex>
|
||
|
struct
defer_lock_t
{
explicit
defer_lock_t
(
)
=
default
;
}
;
|
(1) | (desde C++11) |
|
constexpr
std::
defer_lock_t
defer_lock
{
}
;
|
(2) |
(desde C++11)
(inline desde C++17) |
|
struct
try_to_lock_t
{
explicit
try_to_lock_t
(
)
=
default
;
}
;
|
(3) | (desde C++11) |
|
constexpr
std::
try_to_lock_t
try_to_lock
{
}
;
|
(4) |
(desde C++11)
(inline desde C++17) |
|
struct
adopt_lock_t
{
explicit
adopt_lock_t
(
)
=
default
;
}
;
|
(5) | (desde C++11) |
|
constexpr
std::
adopt_lock_t
adopt_lock
{
}
;
|
(6) |
(desde C++11)
(inline desde C++17) |
1,3,5)
Los tipos de etiqueta de clase vacía
std::defer_lock_t
,
std::try_to_lock_t
y
std::adopt_lock_t
pueden utilizarse en la lista de parámetros del constructor para
std::unique_lock
y
std::shared_lock
para especificar la estrategia de bloqueo.
2,4,6)
Las instancias correspondientes
std::defer_lock
,
std::try_to_lock
y
std::adopt_lock
de
(1,3,5)
pueden pasarse a los constructores para indicar el tipo de estrategia de bloqueo.
Uno de los constructores de la plantilla de clase
std::lock_guard
solo acepta la etiqueta
std::adopt_lock
.
| Tipo | Efecto(s) |
defer_lock_t
|
no adquirir la propiedad del mutex |
try_to_lock_t
|
intentar adquirir la propiedad del mutex sin bloquear |
adopt_lock_t
|
asumir que el hilo llamante ya tiene la propiedad del mutex |
Ejemplo
Ejecutar este código
#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) // evitar interbloqueo en caso de autotransferencia return; // bloquear ambos mutexes sin interbloqueo std::lock(from.m, to.m); // asegurar que ambos mutexes ya bloqueados se liberen al final del ámbito std::lock_guard lock1{from.m, std::adopt_lock}; std::lock_guard lock2{to.m, std::adopt_lock}; // enfoque equivalente: // 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'; }
Salida:
my_account.balance = 95 your_account.balance = 55
Véase también
construye un
lock_guard
, opcionalmente bloqueando el mutex dado
(función miembro pública de
std::lock_guard<Mutex>
)
|
|
construye un
unique_lock
, opcionalmente bloqueando (es decir, tomando posesión de) el mutex proporcionado
(función miembro pública de
std::unique_lock<Mutex>
)
|