Может ли std::recursive_mutex когда-либо вызвать тупик?

Замена std::mutex на std::recursive_mutex помогает избежать взаимоблокировок из-за блокировки потока. Это не гарантированное решение. Взаимоблокировки по-прежнему могут возникать из-за неправильного порядка блокировки или зависимостей от внешних ресурсов. Используйте std::recursive_mutex только тогда, когда это действительно необходимо для рекурсивной блокировки. В противном случае рассмотрите альтернативы.

recursive_mutex решает проблему только тогда, когда потенциальный тупик вызван 1 потоком, которому требуется доступ к 1 защищенному ресурсу.

Вы все равно можете столкнуться с тупиком, используя recursive_mutex, если задействовано более одного ресурса.

Рассмотрим следующий сценарий, включающий два потока, которым требуется монопольный доступ к двум ресурсам (каждый из которых защищен мьютексом):

1. ThreadA блокирует RecursiveMutexA, чтобы получить доступ к ResourceA.
2. ThreadB блокирует RecursiveMutexB, чтобы получить доступ к ResourceB.
3. ThreadA пытается заблокировать RecursiveMutexB, чтобы получить доступ к ResourceB, и происходит взаимоблокировка.
4. ThreadB пытается заблокировать RecursiveMutexA, чтобы получить доступ к ResourceA, и происходит взаимоблокировка.

Классическое решение этого сценария состоит в том, что все потоки должны блокировать мьютексы в одном и том же порядке.
В качестве альтернативы, если это применимо в вашем случае, вы можете использовать std::lock для одновременной блокировки нескольких блокировок.
Более поздний подход может быть намного быстрее, как показано в статье Говарда Хиннанта: Обеденные философы: перезагрузка .

Различные приказы или условия могут быть вашими врагами. Рассмотрим следующее (я использовал namespace std, чтобы навести порядок, хотя, как правило, это не лучшая практика):

#include <iostream>
#include <thread>
#include <mutex>

using namespace std;
recursive_mutex firstOne, secondOne;

void threadingOne() {
    lock_guard<recursive_mutex> lock1(firstOne);

    //pretend stuff happens
    this_thread::sleep_for(chrono::milliseconds(100));

    lock_guard<recursive_mutex> lock2(secondOne);
}

void threadingTwo() {
    lock_guard<recursive_mutex> lock2(secondOne);

    //this is stuff happening
    this_thread::sleep_for(chrono::milliseconds(100));

    lock_guard<recursive_mutex> lock1(firstOne);
}

int main() {
    thread threadOne(threadingOne);
    thread threadTwo(threadingTwo);
    threadOne.join();
    threadTwo.join();

    cout << "This is not something you will see ever\n";
    return 0;
}