Impara Avoiding Deadlocks | Synchronization and Communication

Deadlocks are a critical concern in concurrent programming, especially when multiple threads attempt to acquire multiple locks. A deadlock occurs when two or more threads are each waiting for the other to release a resource, causing all of them to become stuck indefinitely. This situation often arises from specific patterns, such as when two threads acquire locks in different orders or when locks are held while waiting for another lock. Understanding the root causes of deadlocks is essential for designing robust concurrent systems.

main.cpp


              123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051
            
#include <iostream>
#include <thread>
#include <mutex>
#include <chrono>

// Two shared resources, each protected by a mutex
std::mutex mutexA;
std::mutex mutexB;

void cause_deadlock()
{
    std::lock_guard<std::mutex> lock1(mutexA);
    // Simulate some work
    std::this_thread::sleep_for(std::chrono::milliseconds(100));
    std::lock_guard<std::mutex> lock2(mutexB);
    std::cout << "Thread 1 acquired both locks\n";
}

void cause_deadlock_opposite()
{
    std::lock_guard<std::mutex> lock1(mutexB);
    // Simulate some work
    std::this_thread::sleep_for(std::chrono::milliseconds(100));
    std::lock_guard<std::mutex> lock2(mutexA);
    std::cout << "Thread 2 acquired both locks\n";
}

void avoid_deadlock()
{
    // Lock both mutexes in a fixed order using std::lock
    std::lock(mutexA, mutexB);
    std::lock_guard<std::mutex> lock1(mutexA, std::adopt_lock);
    std::lock_guard<std::mutex> lock2(mutexB, std::adopt_lock);
    std::cout << "Thread 3 acquired both locks safely\n";
}

int main()
{
    std::thread t1(cause_deadlock);
    std::thread t2(cause_deadlock_opposite);

    t1.join();
    t2.join();

    // Now demonstrate deadlock avoidance
    std::thread t3(avoid_deadlock);
    std::thread t4(avoid_deadlock);

    t3.join();
    t4.join();
}

Deadlock prevention involves applying techniques that ensure your program cannot enter a deadlock state. Common strategies include:

Lock ordering: always acquire multiple locks in a consistent, predetermined order;
Using std::try_lock: attempt to acquire locks without blocking, and back off if unable to acquire all;
Avoiding nested locks: minimize the use of holding one lock while acquiring another.

Tutto è chiaro?

Grazie per i tuoi commenti!

Sezione 2. Capitolo 2

Chieda ad AI

Chieda pure quello che desidera o provi una delle domande suggerite per iniziare la nostra conversazione

Scorri per mostrare il menu

main.cpp


              123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051
            
#include <iostream>
#include <thread>
#include <mutex>
#include <chrono>

// Two shared resources, each protected by a mutex
std::mutex mutexA;
std::mutex mutexB;

void cause_deadlock()
{
    std::lock_guard<std::mutex> lock1(mutexA);
    // Simulate some work
    std::this_thread::sleep_for(std::chrono::milliseconds(100));
    std::lock_guard<std::mutex> lock2(mutexB);
    std::cout << "Thread 1 acquired both locks\n";
}

void cause_deadlock_opposite()
{
    std::lock_guard<std::mutex> lock1(mutexB);
    // Simulate some work
    std::this_thread::sleep_for(std::chrono::milliseconds(100));
    std::lock_guard<std::mutex> lock2(mutexA);
    std::cout << "Thread 2 acquired both locks\n";
}

void avoid_deadlock()
{
    // Lock both mutexes in a fixed order using std::lock
    std::lock(mutexA, mutexB);
    std::lock_guard<std::mutex> lock1(mutexA, std::adopt_lock);
    std::lock_guard<std::mutex> lock2(mutexB, std::adopt_lock);
    std::cout << "Thread 3 acquired both locks safely\n";
}

int main()
{
    std::thread t1(cause_deadlock);
    std::thread t2(cause_deadlock_opposite);

    t1.join();
    t2.join();

    // Now demonstrate deadlock avoidance
    std::thread t3(avoid_deadlock);
    std::thread t4(avoid_deadlock);

    t3.join();
    t4.join();
}

Deadlock prevention involves applying techniques that ensure your program cannot enter a deadlock state. Common strategies include:

Lock ordering: always acquire multiple locks in a consistent, predetermined order;
Using std::try_lock: attempt to acquire locks without blocking, and back off if unable to acquire all;
Avoiding nested locks: minimize the use of holding one lock while acquiring another.

Tutto è chiaro?

Grazie per i tuoi commenti!

Sezione 2. Capitolo 2