¿Puedes enumerar los tipos existentes de exclusiones mutuas (mutex)?

Existen diferentes tipos de exclusiones mutuas (mutex) en C/C++, que difieren en implementación y capacidades:

• Mutex simple (normal) — mecanismo básico de bloqueo que garantiza acceso exclusivo a un recurso.
• Mutex recursivo — permite que el mismo hilo adquiera el mutex varias veces sin bloquearse a sí mismo.
• Mutex con temporizador — mutex que permite intentar adquirirlo con un tiempo límite.
• Mutex con comprobación de errores — mutex que verifica errores, por ejemplo, intentar adquirirlo varias veces desde el mismo hilo genera un error.

En la biblioteca estándar de C++11 se presentan los siguientes tipos:

• std::mutex
• std::recursive_mutex
• std::timed_mutex
• std::recursive_timed_mutex

Ejemplo de uso de std::recursive_mutex:

#include <mutex>

std::recursive_mutex mtx;

void recursive_function(int count) {
    mtx.lock();
    if (count > 0) {
        recursive_function(count - 1);
    }
    mtx.unlock();
}

La elección del tipo de mutex depende de la tarea y los requisitos de bloqueo.