Cuándo usar mutex recursivo?

Question

Entiendo que el mutex recursivo permite que el mutex se bloquee más de una vez sin llegar a un punto muerto y debe desbloquearse la misma cantidad de veces. Pero, ¿en qué situaciones específicas necesitas usar un mutex recursivo? Estoy buscando situaciones de diseño/nivel de código. Acceso

Answer 1

Por ejemplo cuando se tiene función que llama de forma recursiva, y desea sincronizarse a ella:

void foo() { 
    ... mutex_acquire(); 
    ... foo(); 
    ... mutex_release(); 
} 

sin un mutex recursivo que tendría que crear una función de "punto de entrada" en primer lugar, y esto se vuelve engorroso cuando tienes un conjunto de funciones mutuamente recursivas. Sin mutex recursivo:

void foo_entry() { 
    mutex_acquire(); foo(); mutex_release(); } 

void foo() { ... foo(); ... } 

Answer 2

Sin duda, sería un problema si un hilo bloqueado tratar de adquirir (de nuevo) un mutex ya poseía ...

¿Hay una razón para no permitir un mutex para ser adquirido varias veces por el mismo hilo?

Answer 3

Los mutexes recursivos y no recursivos tienen casos de uso diferentes. Ningún tipo de mutex puede reemplazar fácilmente al otro. Los mutexes no recursivos tienen menos sobrecarga, y los mutex recursivos tienen en algunas situaciones semánticas útiles o incluso necesarias y en otras situaciones semánticas peligrosas o incluso rotas. En la mayoría de los casos, alguien puede reemplazar cualquier estrategia utilizando mutexes recursivos con una estrategia diferente más segura y más eficiente basada en el uso de mutexes no recursivos.

• Si sólo desea excluir otros temas la utilización de su recurso protegido mutex, entonces se podría usar cualquier mutex tipo, pero puede ser que desee utilizar el mutex no recursivo debido a su cabeza más pequeña.
• Si desea llamar a funciones de forma recursiva, que bloquee la misma exclusión mutua, a continuación, o bien
  • tienen que utilizar un mutex recursivo o
  • han bloquear y desbloquear el mismo mutex no recursiva de nuevo y otra vez (¡cuidado con los hilos concurrentes!) (suponiendo que esto sea semánticamente correcto, podría ser un problema de rendimiento), o
  • tienen que anotar de algún modo qué mutexes ya bloquearon (simulando propiedad recursiva/mutexes).
• Si desea bloquear varios objetos mutex-protegido de un conjunto de tales objetos, donde los conjuntos podrían haber sido construidos mediante la fusión, se puede elegir
  • de usar por objeto precisamente un mutex , lo que permite más hilos para trabajar en paralelo, o
  • a utilizar por objeto una referencia a cualquier posiblemente compartido mutex recursivo, para disminuir la probabilidad de no bloquear todos mutex it juntos, o
  • de usar por objeto una referencia comparable a cualquier posiblemente compartido mutex no recursivo, eludiendo la intención de bloquear varias veces.
• Si desea quitar un bloqueo en un hilo diferente de lo que se ha bloqueado, entonces usted tiene que utilizar bloqueos no recursivos (o bloqueos recursivos que permiten explícitamente esta vez de lanzar excepciones).
• Si desea utilizar las variables de sincronización , entonces usted necesita para ser capaz de desbloquear explícitamente la exclusión mutua mientras espera en cualquier variable de sincronización, de manera que se permite ser utilizado en otros hilos del recurso. Eso solo es posible de manera sensata con mutexes no recursivos, ya que los repetidores recursivos ya podrían haber sido bloqueados por la persona que llama de la función actual.

Answer 4

Si desea ver un ejemplo de código que usa mutex recursivas, consulte las fuentes de "Electric Fence" para Linux/Unix. 'Fue una de las herramientas comunes de Unix para encontrar "límites comprobando" los excesos y errores de lectura/escritura, así como el uso de la memoria que se ha liberado antes de que apareciera el Valgrind.

Simplemente compile y vincule la cerca eléctrica con las fuentes (opción -g con gcc/g ++), y luego vincule con su software con la opción de enlace -lefence, y comience a recorrer las llamadas a malloc/free. http://elinux.org/Electric_Fence

Answer 5

me encontré con la necesidad de un mutex recursivo hoy, y creo que es quizá el ejemplo más simple entre las respuestas publicadas hasta ahora: Esta es una clase que expone dos funciones de la API, el proceso (...) y RESET().

public void Process(...) 
{ 
    acquire_mutex(mMutex); 
    // Heavy processing 
    ... 
    reset(); 
    ... 
    release_mutex(mMutex); 
} 

public void reset() 
{ 
    acquire_mutex(mMutex); 
    // Reset 
    ... 
    release_mutex(mMutex); 
} 

Ambas funciones no deben ejecutarse simultáneamente porque modifican partes internas de la clase, así que quería utilizar un mutex. El problema es que Process() llama a reset() internamente, y crearía un interbloqueo porque mMutex ya está adquirido. Bloquearlos con un bloqueo recursivo soluciona el problema en su lugar.