Namespaces
Variants
Views
Actions

Difference between revisions of "cpp/thread/unique lock"

From cppreference.com
< cpp‎ | thread
("timed locking" sounds too much like it can hold a lock for a given time)
(Changed template param from Mutex to mutex_type. See discussion.)
Line 2: Line 2:
 
{{cpp/thread/unique_lock/navbar}}
 
{{cpp/thread/unique_lock/navbar}}
 
{{ddcl | header=mutex | since=c++11 | 1=
 
{{ddcl | header=mutex | since=c++11 | 1=
template< class Mutex >
+
template< class mutex_type >
 
class unique_lock;
 
class unique_lock;
 
}}
 
}}
Line 14: Line 14:
 
===Template parameters===
 
===Template parameters===
 
{{par begin}}
 
{{par begin}}
{{par | Mutex | the type of the mutex to lock. The type must meet the {{concept|BasicLockable}} requirements}}
+
{{par | mutex_type | the type of the mutex that will be managed by this lock (e.g. mutex, timed_mutex, etc.) The type must meet the {{concept|BasicLockable}} requirements}}
 
{{par end}}
 
{{par end}}
  

Revision as of 16:05, 11 March 2014

 
 
Concurrency support library
Threads
(C++11)
(C++20)
this_thread namespace
(C++11)
(C++11)
(C++11)
Cooperative cancellation
Mutual exclusion
(C++11)
Generic lock management
(C++11)
(C++11)
unique_lock
(C++11)
(C++11)
(C++11)
(C++11)
Condition variables
(C++11)
Semaphores
Latches and Barriers
(C++20)
(C++20)
Futures
(C++11)
(C++11)
(C++11)
(C++11)
Safe Reclamation
(C++26)
Hazard Pointers
Atomic types
(C++11)
(C++20)
Initialization of atomic types
(C++11)(deprecated in C++20)
(C++11)(deprecated in C++20)
Memory ordering
Free functions for atomic operations
Free functions for atomic flags
 
 
Defined in header <mutex>
template< class mutex_type >
class unique_lock;
(since C++11)

The class unique_lock is a general-purpose mutex ownership wrapper allowing deferred locking, time-constrained attempts at locking, recursive locking, transfer of lock ownership, and use with condition variables.

The class unique_lock is movable, but not copyable -- it meets the requirements of Template:concept and Template:concept but not of Template:concept or Template:concept.

The class unique_lock meets the Template:concept requirements. If Mutex meets the Template:concept requirements, unique_lock also meets the Template:concept requirements (ex.: can be used in std::lock); if Mutex meets the Template:concept requirements, unique_lock also meets the Template:concept requirements.

Contents

Template parameters

mutex_type - the type of the mutex that will be managed by this lock (e.g. mutex, timed_mutex, etc.) The type must meet the Template:concept requirements

Member types

Type Definition
mutex_type Mutex

Member functions

constructs a unique_lock, optionally locking (i.e., taking ownership of) the supplied mutex
(public member function) [edit]
unlocks (i.e., releases ownership of) the associated mutex, if owned
(public member function) [edit]
unlocks (i.e., releases ownership of) the mutex, if owned, and acquires ownership of another
(public member function) [edit]
Locking
locks (i.e., takes ownership of) the associated mutex
(public member function) [edit]
tries to lock (i.e., takes ownership of) the associated mutex without blocking
(public member function) [edit]
attempts to lock (i.e., takes ownership of) the associated TimedLockable mutex, returns if the mutex has been unavailable for the specified time duration
(public member function) [edit]
tries to lock (i.e., takes ownership of) the associated TimedLockable mutex, returns if the mutex has been unavailable until specified time point has been reached
(public member function) [edit]
unlocks (i.e., releases ownership of) the associated mutex
(public member function) [edit]
Modifiers
swaps state with another std::unique_lock
(public member function) [edit]
disassociates the associated mutex without unlocking (i.e., releasing ownership of) it
(public member function) [edit]
Observers
returns a pointer to the associated mutex
(public member function) [edit]
tests whether the lock owns (i.e., has locked) its associated mutex
(public member function) [edit]
tests whether the lock owns (i.e., has locked) its associated mutex
(public member function) [edit]

Non-member functions

specializes the std::swap algorithm
(function template) [edit]

Example

#include <mutex>
#include <thread>
#include <chrono>
 
struct Box {
    explicit Box(int num) : num_things{num} {}
 
    int num_things;
    std::mutex m;
};
 
void transfer(Box &from, Box &to, int num)
{
    // don't actually take the locks yet
    std::unique_lock<std::mutex> lock1(from.m, std::defer_lock);
    std::unique_lock<std::mutex> lock2(to.m, std::defer_lock);
 
    // lock both unique_locks without deadlock
    std::lock(lock1, lock2);
 
    from.num_things -= num;
    to.num_things += num;
 
    // 'from.m' and 'to.m' mutexes unlocked in 'unique_lock' dtors
}
 
int main()
{
    Box acc1(100);
    Box acc2(50);
 
    std::thread t1(transfer, std::ref(acc1), std::ref(acc2), 10);
    std::thread t2(transfer, std::ref(acc2), std::ref(acc1), 5);
 
    t1.join();
    t2.join();
}