Why does the first code NOT cause a dead-lock

user_19631495 0
Viewed 75
#include <iostream>
#include <thread>
#include <chrono>
#include <mutex>
#include <thread>
std::mutex mtx;

void func2() {
    mtx.lock();
    std::cout << "here is 2" << std::endl;
    mtx.unlock();
}

void func1() {
    mtx.lock();
    std::cout << "here is 1" << std::endl;
    func2();
    mtx.unlock();
}

int main() {
    func1();
}

but if I modify the main func as follows, it cause dead lock

int main() {
    std::thread t1(func1);
    t1.join();
}

I complied both two by "g++ test.cpp -std=c++11 -lpthread"

mutex multithreading c++
1 Answers

Calling lock in the same thread twice (without unlocking the mutex) is undefined. From cppreference:

If lock is called by a thread that already owns the mutex, the behavior is undefined: for example, the program may deadlock.

It may deadlock. Or it may not. The behavior is undefined.

Note that std::recursive_mutex can be locked multiple times (though only up to some unspecified limit). However, code that needs a recursive mutex is more complicated. In your example it would be easier to remove the locking from func1, because it is only called when the mutex is already locked. In general it isn't that simple.

user_41177280
Related