Detectar y actuar

Se implementa un proceso adicional que vigila si los demás forman una cadena circular.

Más preciso, se define el grafo de alocación de recursos:

• Los procesos y los recursos representan los nodos de un grafo.
• Se añade cada vez una arista entre un nodo tipo recurso y un nodo tipo proceso cuando el proceso ha obtenido acceso exclusivo al recurso.
• Se añade cada vez una arista entre un nodo tipo recurso y un nodo tipo proceso cuando el proceso está pediendo acceso exclusivo al recurso.
• Se elimina las aristas entre proceso y recurso y al revés cuando el proceso ya no usa el recurso.

Cuando se detecta en el grafo resultante un círculo, es decir, cuando ya no forma un grafo acíclico, se ha producido una posible situación de un bloqueo.

Se puede reaccionar en dos maneras si se ha encontrado un ciclo:

• No se da permiso al último proceso de alocar el recurso.
• Sí se da permiso, pero una vez detectado el ciclo se aborta todos/algunos de los procesos involucrados.

Sin embargo, la técnica puede dar como resultado que el programa no avance, es decir, el programa se queda atrapado haciendo trabajo inútil: crear situaciones de bloqueo y abortar procesos continuamente.