Deteccion Distribuida de Deadlock

Detección distribuida de Deadlock



Detección Distribuida de Bloqueos

Cuando se detecta un bloqueo en un S. O. convencional se resuelve eliminando
uno o más procesos.

Cuando se detecta un bloqueo en un sistema basado en transacciones atómicas
se resuelve abortando una o más transacciones:
• El sistema restaura el estado que tenía antes de iniciar la transacción.
• La transacciónpuede volver a comenzar.
Las consecuencias de la eliminación de un proceso son mucho menos severas si
se utilizan las transacciones que en caso de que no se utilicen

Detección Centralizada de Bloqueos
Cada máquina mantiene la gráfica de recursos de sus propios procesos y
recursos.
Un coordinador central mantiene la gráfica de recursos de todo el sistema, que es
la unión de todas lasgráficas individuales.
Cuando el coordinador detecta un ciclo elimina uno de los procesos para romper el
bloqueo.
La información de control se debe transmitir explícitamente, existiendo las
siguientes variantes:




Cada máquina informa cada actualización al coordinador.
Cada máquina informa periódicamente las modificaciones desde la última
actualización.
El coordinador requiere lainformación cuando la necesita.

La información de control incompleta o retrasada puede llevar a falsos bloqueos:



El coordinador interpreta erróneamente que existe un bloqueo y elimina un
proceso.
Una posible solución es utilizar el algoritmo de Lamport para disponer de un
tiempo global.

La modelación de bloqueos se puede mostrar mediante gráficas dirigidas (Holt).

Las gráficastienen dos tipos de nodos:







Procesos (aparecen como círculos).
Recursos (aparecen como cuadrados).
Un arco de un nodo de recurso a uno de proceso indica que el recurso fue
solicitado con anterioridad, fue otorgado y es poseído en ese momento por
dicho proceso.
Un arco de un proceso a un recurso indica que el proceso está bloqueado,
en espera de ese recurso.
Un ciclo en lagráfica indica la existencia de un bloqueo relacionado con los
procesos y recursos en el ciclo

Las estrategias utilizadas para enfrentar los bloqueos son:





Ignorar todo el problema.
Detección y recuperación.
Evitarlos dinámicamente mediante una cuidadosa asignación de recursos.
Prevención mediante la negación estructural de una de las cuatro
condiciones necesarias.Áreas Principales en la Investigación de Bloqueos
Los principales aspectos son los siguientes:


Prevención del bloqueo.





Evitación del bloqueo.
Detección del bloqueo.
Recuperación del bloqueo.

Prevención del bloqueo:



El interés se centra en condicionar un sistema para que elimine toda
posibilidad de que éstos se produzcan.
Los métodos pueden dar como resultado unapobre utilización de los
recursos, aún así son ampliamente utilizados.

Evitación del bloqueo:




La meta es imponer condiciones menos estrictas que en la prevención, para
intentar lograr una mejor utilización de los recursos.
No precondiciona al sistema para que evite todas las posibilidades de que
se produzca un bloqueo.
Permiten la aparición del bloqueo, pero siempre que seproduce una
posibilidad de bloqueo, éste se esquiva.

Detección del bloqueo:



Se utiliza en sistemas que permiten que éstos ocurran, ya sea voluntaria o
involuntariamente.
La meta es determinar si ha ocurrido un bloqueo:
o Se debe detectar con precisión los procesos y recursos implicados
en el bloqueo.
o Se puede eliminar el bloqueo detectado.

Recuperación del bloqueo:


Se utiliza para despejar bloqueos de un sistema para que:
o Continúe operando sin ellos.
o Terminen los procesos estancados.
o Se liberen los recursos correspondientes a ellos.
Generalmente se logra “extrayendo” (cancelando) a uno o varios de los
procesos bloqueados, que se reinician luego de forma normal.

Uso de jerarquías de bloqueo para evitar interbloqueos
Jerarquías de bloqueo y...