Bloqueos irreversibles

Bloqueos irreversibles
Recursos
Un recurso puede ser un dispositivo de hardware o información. Es cualquier cosa que sólo un proceso puede usar en un instante dado.
Recursos expropiables y no expropiables
Los Bloqueos ocurren cuando los procesos adquieren recursos en forma exclusiva.

Recursos expropiables
Pueden tomarse de otros procesos sin que se produzcan efectos indeseables.

Recursos Noexpropiables
No pueden quitársele a su actual dueño sin que el cómputo falle.
En los bloqueos irreversibles intervienen recursos no expropiables. Los bloqueos irreversibles potenciales en los que intervienen recursos expropiables pueden resolverse quitando recursos a un proceso y reasignándolos a otro.
Secuencia de eventos para utilizar un recurso
1. Solicitar el recurso
2. Usar el recurso
3.Liberar el recurso
Si el recurso es denegado el proceso debe esperar por él.
Un proceso cuya solicitud de un recurso acaba de ser rechazada realizará ciclos solicitando el recurso, desactivándose en intentándolo otra vez. Aunque este proceso no está bloqueado, en la práctica es como si lo estuviera, porque no puede hacer ningún trabajo útil.
Introducción a los Bloqueos Irreversibles
Un conjunto deprocesos se encuentra bloqueado si cada proceso del conjunto queda esperando por un evento que solo otro proceso del conjunto puede causar.
Usualmente el evento es la liberación de un recurso poseído.
Por lo tanto ninguno de los procesos puede:
Ejecutar
Liberar recursos
Los bloqueos irreversibles pueden presentarse con recursos de hardware o de software.
Damos por hecho que los procesos tienen unsolo subproceso y que no puede haber interrupciones que activen a un proceso bloqueado.
Condiciones para el bloqueo irreversible
El bloqueo irreversible se da si en el sistema se cumplen estas cuatro condiciones (todas):
Exclusión mutua. Los recursos no se pueden compartir. Cada recurso está asignado a exactamente un proceso o está disponible.
Retención y espera. Un proceso que retiene uno o variosrecursos se encuentra esperando por recursos asignados a otros procesos.
No expropiación. Un recurso sólo puede ser liberado por el proceso que lo retiene, voluntariamente.
Espera circular. Debe haber una cadena circular de dos o más procesos, cada uno de los cuales está esperando un recurso que está en manos del siguiente miembro de la cadena.
Modelado de bloqueos irreversibles
Procesos: círculos;Recursos: cuadrados.
Un arco que va de un cuadrado a un círculo implica que el recurso fue solicitado previamente por ese proceso, se le concedió y ahora está en sus manos.
Un arco que va de un círculo a un cuadrado implica que el proceso está bloqueado en espera de ese recurso.
Un ciclo en el grafo implica que hay un bloqueo irreversible en el que intervienen los procesos y recursos del ciclo.Estrategias para manejar bloqueos irreversibles:
No tratar el problema: si hay bloqueos irreversibles, el usuario tiene que intervenir.
Detección y recuperación. Dejar que se presenten bloqueos irreversibles, detectarlos y tomar medidas.
Evitación dinámica mediante una asignación cuidadosa de recursos.
Prevención, anulando en forma estructural una de las cuatro condiciones necesarias para quehaya un bloqueo irreversible.
Detección de bloqueos irreversibles y recuperación posterior
Detección de bloqueos irreversibles con un recurso de cada tipo
Sólo hay un recurso de cada tipo. Si el grafo contiene uno o más ciclos, quiere decir que hay un bloqueo irreversible. Si no hay ciclos, tampoco hay bloqueo irreversible.
El bloqueo irreversible se puede detectar comprobando si existe una secuenciade terminación de procesos (similar a la secuencia segura):
1. Para cada nodo N del grafo, realizar los cinco pasos siguientes con N como nodo inicial.
2. Asignar al principio una lista vacía a L, y designar a todos los aros como no marcados.
3. Añadir el nodo actual al final de L y ver si ahora el nodo aparece en L dos veces. En tal caso, el grafo contiene un ciclo (que está en L) y el...