Namespaces
Variants
Views
Actions

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

From cppreference.com
< cpp‎ | thread
Line 14: Line 14:
 
{{rrev|since=c++17|
 
{{rrev|since=c++17|
 
===Notes===
 
===Notes===
{{ltt|cpp/thread/scoped_lock|std::scoped_lock}} offers a drop-in replacement for {{tt|lock_guard}} that uses a deadlock avoidance algorithm to avoid deadlock.
+
{{ltt|cpp/thread/scoped_lock|std::scoped_lock}} offers a replacement for {{tt|lock_guard}} that provides the ability to lock multiple mutexes using a deadlock avoidance algorithm.
 
}}
 
}}
  

Revision as of 22:53, 24 February 2021

 
 
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)
lock_guard
(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
 
std::lock_guard
 
Defined in header <mutex>
template< class Mutex >
class lock_guard;
(since C++11)

The class lock_guard is a mutex wrapper that provides a convenient RAII-style mechanism for owning a mutex for the duration of a scoped block.

When a lock_guard object is created, it attempts to take ownership of the mutex it is given. When control leaves the scope in which the lock_guard object was created, the lock_guard is destructed and the mutex is released.

The lock_guard class is non-copyable.

Contents

Notes

std::scoped_lock offers a replacement for lock_guard that provides the ability to lock multiple mutexes using a deadlock avoidance algorithm.

(since C++17)

Template parameters

Mutex - the type of the mutex to lock. The type must meet the BasicLockable requirements

Member types

Member type Definition
mutex_type Mutex

Member functions

constructs a lock_guard, optionally locking the given mutex
(public member function) [edit]
destructs the lock_guard object, unlocks the underlying mutex
(public member function) [edit]
operator=
[deleted]
not copy-assignable
(public member function) [edit]

Example

#include <thread>
#include <mutex>
#include <iostream>
 
int g_i = 0;
std::mutex g_i_mutex;  // protects g_i
 
void safe_increment()
{
    const std::lock_guard<std::mutex> lock(g_i_mutex);
    ++g_i;
 
    std::cout << std::this_thread::get_id() << ": " << g_i << '\n';
 
    // g_i_mutex is automatically released when lock
    // goes out of scope
}
 
int main()
{
    std::cout << "main: " << g_i << '\n';
 
    std::thread t1(safe_increment);
    std::thread t2(safe_increment);
 
    t1.join();
    t2.join();
 
    std::cout << "main: " << g_i << '\n';
}

Possible output:

main: 0
140641306900224: 1
140641298507520: 2
main: 2

Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

DR Applied to Behavior as published Correct behavior
LWG 2981 C++17 redundant deduction guide from lock_guard<Mutex> was provided removed

See also

implements movable mutex ownership wrapper
(class template) [edit]
deadlock-avoiding RAII wrapper for multiple mutexes
(class template) [edit]