Aprenda 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.

Tudo estava claro?

Obrigado pelo seu feedback!

Seção 2. Capítulo 2

Pergunte à IA

Pergunte o que quiser ou experimente uma das perguntas sugeridas para iniciar nosso bate-papo

Suggested prompts:

Can you explain more about how lock ordering prevents deadlocks?

What are some real-world examples of deadlocks in programming?

Can you provide code examples demonstrating deadlock prevention techniques?

Deslize para mostrar o 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.

Tudo estava claro?

Obrigado pelo seu feedback!

Seção 2. Capítulo 2