RAII Lock Wrappers: std::lock_guard, std::unique_lock, std::scoped_lock0%

Thread Signaling with std::condition_variable

RAII Lock Wrappers: std::lock_guard, std::unique_lock, std::scoped_lock

Advanced14 min read•Updated: 2026-10-22

🔐 RAII Lock Wrappers: std::lock_guard, std::unique_lock, and std::scoped_lock

Introduction

Manually invoking mutex.lock() and mutex.unlock() is dangerous: an early return or thrown exception skips unlock(), causing a permanent deadlock. Modern C++ mandates RAII lock guards.

🛡️ The 3 Lock Wrappers Compared

Lock Wrapper	Features	Best Use Case
`std::lock_guard`	Minimalist RAII lock; locks on construction, unlocks on destruction	Simple critical sections
`std::unique_lock`	Can be manually unlocked, relocked, deferred, or transferred	When used with `std::condition_variable`
`std::scoped_lock` (C++17)	Locks multiple mutexes simultaneously with deadlock-avoidance algorithms	Default choice for all modern code

🚫 Preventing Multi-Mutex Deadlocks with `std::scoped_lock`

When transferring funds between two accounts, locking Account A then Account B while another thread locks Account B then Account A causes a classic ABBA Deadlock. C++17's std::scoped_lock eliminates this:

1#include <iostream>
2#include <mutex>
3#include <thread>
4 
5struct Account {
6    int id;
7    double balance;
8    std::mutex mtx;
9    Account(int i, double b) : id(i), balance(b) {}
10};
11 
12void transferFunds(Account& from, Account& to, double amount) {
13    // Locks BOTH mutexes atomically without risk of deadlock!
14    std::scoped_lock lock(from.mtx, to.mtx);
15 
16    if (from.balance >= amount) {
17        from.balance -= amount;
18        to.balance += amount;
19        std::cout << "Transferred ₹" << amount << " from Acc " << from.id << " to Acc " << to.id << "\n";
20    }
21}
22 
23int main() {
24    Account acc1(101, 5000.0);
25    Account acc2(102, 3000.0);
26 
27    std::jthread t1(transferFunds, std::ref(acc1), std::ref(acc2), 1000.0);
28    std::jthread t2(transferFunds, std::ref(acc2), std::ref(acc1), 500.0);
29 
30    return 0;
31}

Next Lesson

Thread Signaling with std::condition_variable

Continue learning with hands-on practice, examples, and exercises in the upcoming topic.

Related Lessons

Previous Lesson	Next Lesson
Data Races and Thread Synchronization with std::mutex	Thread Signaling with std::condition_variable

Practice Quiz

Test your understanding of this lesson with 1 questions. Each question has one correct answer.

Previous Next

PreviousPrevNext

MSK Institute • Shikohabad

Loading Page Content...

Preparing courses, live labs, and learning resources.सामग्री लोड हो रही है, कृपया प्रतीक्षा करें...

Connecting serverPlease wait...

💻 Practical Labs🚀 Free Demo📜 Verified Certificates

Thread Signaling with std::condition_variable

RAII Lock Wrappers: std::lock_guard, std::unique_lock, std::scoped_lock

Advanced14 min read•Updated: 2026-10-22

Study Materials

🔐 RAII Lock Wrappers: std::lock_guard, std::unique_lock, and std::scoped_lock

Introduction

Manually invoking mutex.lock() and mutex.unlock() is dangerous: an early return or thrown exception skips unlock(), causing a permanent deadlock. Modern C++ mandates RAII lock guards.

🛡️ The 3 Lock Wrappers Compared

Lock Wrapper	Features	Best Use Case
`std::lock_guard`	Minimalist RAII lock; locks on construction, unlocks on destruction	Simple critical sections
`std::unique_lock`	Can be manually unlocked, relocked, deferred, or transferred	When used with `std::condition_variable`
`std::scoped_lock` (C++17)	Locks multiple mutexes simultaneously with deadlock-avoidance algorithms	Default choice for all modern code

🚫 Preventing Multi-Mutex Deadlocks with `std::scoped_lock`

1#include <iostream>
2#include <mutex>
3#include <thread>
4 
5struct Account {
6    int id;
7    double balance;
8    std::mutex mtx;
9    Account(int i, double b) : id(i), balance(b) {}
10};
11 
12void transferFunds(Account& from, Account& to, double amount) {
13    // Locks BOTH mutexes atomically without risk of deadlock!
14    std::scoped_lock lock(from.mtx, to.mtx);
15 
16    if (from.balance >= amount) {
17        from.balance -= amount;
18        to.balance += amount;
19        std::cout << "Transferred ₹" << amount << " from Acc " << from.id << " to Acc " << to.id << "\n";
20    }
21}
22 
23int main() {
24    Account acc1(101, 5000.0);
25    Account acc2(102, 3000.0);
26 
27    std::jthread t1(transferFunds, std::ref(acc1), std::ref(acc2), 1000.0);
28    std::jthread t2(transferFunds, std::ref(acc2), std::ref(acc1), 500.0);
29 
30    return 0;
31}

Next Lesson

Thread Signaling with std::condition_variable

Continue learning with hands-on practice, examples, and exercises in the upcoming topic.

Related Lessons

Previous Lesson	Next Lesson
Data Races and Thread Synchronization with std::mutex	Thread Signaling with std::condition_variable

Practice Quiz

Test your understanding of this lesson with 1 questions. Each question has one correct answer.

Previous Next

🔐 RAII Lock Wrappers: std::lock_guard, std::unique_lock, and std::scoped_lock

Introduction

🛡️ The 3 Lock Wrappers Compared

🚫 Preventing Multi-Mutex Deadlocks with std::scoped_lock

Thread Signaling with std::condition_variable

Related Lessons

Practice Quiz

Loading Page Content...

🔐 RAII Lock Wrappers: std::lock_guard, std::unique_lock, and std::scoped_lock

Introduction

🛡️ The 3 Lock Wrappers Compared

🚫 Preventing Multi-Mutex Deadlocks with std::scoped_lock

Thread Signaling with std::condition_variable

Related Lessons

Practice Quiz

🚫 Preventing Multi-Mutex Deadlocks with `std::scoped_lock`

🚫 Preventing Multi-Mutex Deadlocks with `std::scoped_lock`