Capitulo 4. Inter-bloqueo e inanición

Sistemas Operativos
Capítulo IV. INTERBLOQUEO E INANICIÓN
Interbloqueo: [MAEKAMA]
Se define como el bloqueo permanente de un conjunto de procesos que compiten por los recursos del sistema o bien se comunican unos con otros.
Resumen de los enfoques de detección, prevención y predicción del interbloqueo en los s.o.
Principio Política de reparto Esquemas
Ventajas principales
Desventajas de recursos
principales
Prevención
Conservadora; los Solicitud de • Funciona bien con • Ineficiencia.
recursos están poco todos los procesos que • Retrasos en el ocupados
recursos a la realizan una sola inicio de los vez.
ráfaga de procesos.
actividad.
• No es necesaria la apropiación.
• Conveniente • Apropia más cuando se aplica a habitualmente recursos cuyo de lo Apropiación
estado se puede necesario.
salvar y restaurar • Sujeto a fácilmente.
reinicios • Aplicación cíclicos.
Ordenación de factible por medio • No permite recursos
de chequeos las solicitudes durante la incrementales compilación.
de recursos.
• No hace falta • Poco uso de la procesamiento apropiación.
durante la ejecución, pues el problema se resuelve durante el diseño del sistema.
Comprobación • Nunca retrasa el • Pérdidas Detección Muy liberal; los recursos periódica del inicio de un inherentes a solicitados se interbloqueo.
proceso.
la conceden cuando • Facilita el manejo apropiación.
es posible.
en línea.
1
Sistemas Operativos
Predicción
A medio del camino entre la detección y la pevención.
Manipulación para encontrar al menos un camino seguro.
•
No es necesaria la apropiación.
•
•
Deben conocerse las demandas futuras de recursos.
Los procesos pueden bloquearse durante largos periodos.
Inanición, aplazamiento indefinido, bloqueo indefinifo.
Cuando un proceso, aún cuando no esté bloqueado, esta esperando un evento que quizá nunca ocurra debido a ciertas tendencias en las políticas de asignación de recursos del sistema.
En cualquier sistema que mantenga los procesos en espera mientras se les asigna un recurso o se toman decisiones de planificación, la programación de un proceso puede postergarse indefinidamente mientras otro recibe la atención del sistema.
El recurso 1 esta asignado al proceso A.
Recurs
o Proceso A
El proceso A pide
el recurso 2.
El proceso B pide el recurso 1.
Proceso B
Recurs
o El recurso 2 está asignado
al proceso B.
Figura 4.1. Espera circular.
2
Sistemas Operativos
Cuatro condiciones necesarias para que se produzca un bloqueo mutuo (interbloqueo)
Exclusión mutua. Sólo un proceso puede usar un recurso simultáneamente.
2. Retención y espera. Un proceso puede retener unos recursos asignados mientras espera que se le asignen otros.
3. No apropiación. Ningún proceso puede ser forzado a abandonar un recurso que retenga.
4. Espera circular. Existe una cadena cerrada de procesos, cada uno de los cuales retiene, al menos, un recurso que necesita el siguiente proceso de la cadena. (figura 4.1)
1.
Las cuatro condiciones en conjunto constituyen una condición necesaria y suficiente para el interbloqueo.
Prevención del bloqueo mutuo
Definitivamente la técnica empleada con más frecuencia por los diseñadores para tratar el problema del bloqueo mutuo es la prevención. Havender, J. W. llegó a la conclusión de que si falta una de las cuatro condiciones necesarias no puede haber bloqueo mutuo, él sugiere las siguientes estrategias para negar varias de estas condiciones:
•
Cada proceso deberá pedir todos sus recursos al mismo tiempo y no podrá seguir la ejecución hasta haberlos recibido todos.
•
Si a un proceso que tiene ciertos recursos se le niegan los demás, ese proceso deberá liberar sus recursos y, en caso necesario, pedirlos de nuevo junto con los recursos adicionales.
•
Se impondrá un ordenamiento lineal de los tipos de recursos en todos los procesos; es decir, si a un proceso le han sido asignados recursos de un tipo específico, en lo sucesivo sólo podrá pedir aquellos recursos que siguen en el ordenamiento.
3
Sistemas Operativos
4
Sistemas Operativos
Algoritmo del banquero
El algoritmo más famoso para evitar un bloqueo mutuo es el algoritmo del banquero de Dijkstra, cuyo interesante nombre se debe a que atañe de un banquero que otorga préstamos y recibe pagos a partir de una determinada fuente de capital.
Ejemplo de estado seguro.
Supóngase que un sistema tiene doce unidades de cinta y tres usuarios que las comparten, como en el Estado I.
Estado I
Préstamo actual
Usuario (1)
Usuario (2)
Usuario (3)
Necesidad máxima
1
4
5
Disponibles
4
6
8
2
Este es un estado “seguro” porque aún es posible que terminen los tres usuarios. De esta forma, la clave para que un estado sea seguro es que exista al menos una forma de que terminen todos los usuarios.
Ejemplo de estado inseguro.
Supóngase que las doce unidades de cinta de un sistema están asignadas como en el Estado II.
Estado II
Préstamo actual
Usuario (1)
Usuario (2)
Usuario (3)
Disponibles
Necesidad máxima
8
2
1
10
5
3
1
5
Sistemas Operativos
Aquí, once de las doce unidades de cinta del sistema se encuentran en uso y solamente una está disponible para asignación. En este momento, sin importar cuál de los usuarios pida la unidad disponible, no se puede garantizar que terminen los tres usuarios.
Es importante señalar que un estado inseguro no implica la existencia, ni siquiera eventual, de un bloqueo mutuo. Lo que sí implica un estado inseguro es simplemente que alguna secuencia desafortunada de eventos podría llevar al bloqueo mutuo.
Ejemplo de transición de estado seguro a estado inseguro
Saber que un estado es seguro no implica que serán seguros todos los estados futuros. La política de asignación de recursos debe considerar cuidadosamente todas las peticiones antes de satisfacerlas. Por ejemplo, supóngase que el estado actual de un sistema como se muestra en el Estado III.
Estado III
Préstamo actual
Usuario (1)
Usuario (2)
Usuario (3)
Necesidad máxima
1
4
5
Disponibles
4
6
8
2
Ahora supóngase que el Usuario (3) pide un recurso más. Si el sistema satisface esta petición, el nuevo estado será el Estado IV.
Estado IV
Préstamo actual
Usuario (1)
Usuario (2)
Usuario (3)
Disponibles
Necesidad máxima
1
4
6
4
6
8
1
Ciertamente, el Estado IV no está necesariamente bloqueado, pero ha pasado de un estado seguro a uno inseguro. El estado IV caracteriza a un sistema en el cual no puede garantizarse la 6
Sistemas Operativos
terminación de todos los procesos. Solamente hay un recurso disponible, pero deben estar disponibles al menos dos recursos para asegurar que Usuario(2) o Usuario(3) puedan terminar, devolver sus recursos al sistema y permitir que los otros usuarios terminen.
Nota en el algoritmo del banquero se presenta los siguientes términos:
•
•
•
•
•
•
•
Están permitidas las condiciones de “espera circular”, “espera”, y “no apropiación”, pero los procesos sí exigen el uso exclusivo de los recursos que requieren.
Los procesos pueden conservar recursos mientras piden y esperan recursos adicionales.
Los recursos no pueden arrebatarse a los procesos que los tienen.
Los usuarios facilitan el trabajo al sistema pidiendo un solo recurso a la vez.
El sistema puede satisfacer o rechazar una petición.
Si una petición es rechazada, el usuario conserva los recursos que ya tenga asignados y espera un tiempo finito a que se satisfaga la petición.
El sistema sólo satisface peticiones que llevan a estados seguros.
Defectos del algoritmos del banquero.
•
•
•
•
•
El algoritmo requiere un número fijo de recursos asignables.
El algoritmo requiere una población de usuarios constante.
El algoritmo requiere que el banquero satisfaga todas las peticiones en un tiempo finito.
El algoritmo requiere que los clientes salden todos sus préstamos en un tiempo finito.
El algoritmo requiere que los usuarios declaren por anticipado sus necesidades máximas.
Detección del boqueo mutuo
La detección del bloqueo mutuo es el proceso de determinar si realmente existe un bloqueo mutuo e identificar los procesos y recursos implicados en él. Los algoritmos de detección de bloqueos mutuos determinan por lo general si existe una espera circular.
En control del interbloqueo puede llevarse a cabo tan frecuentemente como las solicitudes de recursos o con una frecuencia menor, dependiendo de la probabilidad de que se produzca el interbloqueo. La comprobación en cada solicitud de recurso tiene dos ventajas:
1. Conduce a una pronta detección, y
2. El algoritmos es relativamente simple, puesto que está basado en cambios incrementales del estado del sistema.
Por otra parte, las frecuentes comprobaciones consume un tiempo de procesador considerable.
7
Sistemas Operativos
Una vez detectado el interbloqueo, hace falta alguna estrategia de recuperación.
1. Abandonar todos los procesos bloqueados. Es la más común en los sistemas operativos.
2. Retroceder cada proceso interbloqueado hasta algún punto de control definido previamente y volver a ejecutar todos los procesos. El riesgo de esta solución radica en que puede repetirse el interbloqueo original. Sin embargo, el no determinismo del procesamiento concurrente asegura, en general, que esto no va a pasar.
3. Abandonar sucesivamente los procesos bloqueados hasta que deje de haber interbloqueo. El orden en el que se seleccionan los procesos a abandonar seguirá un criterio de mínimo coste. Después de abandonar cada proceso, se debe ejecutar de nuevo el algoritmo de detección para ver si todavía existe bloqueo.
4. Apropiarse de recursos sucesivamente hasta que deje de haber interbloqueo. Un proceso que pierde un recurso por apropiación debe retroceder hasta el momento anterior a la adquisición de ese recurso.
Para los puntos 3 y 4, el criterio de selección del proceso podría ser uno de los siguientes:
•
•
•
•
•
Escoger el proceso con la menor cantidad de tiempo de procesador consumido.
Escoger el proceso con el menor número de líneas de salida producidas.
Escoger el proceso con el mayor tiempo restante.
Escoger el proceso con el menor número total de recursos asignados.
Escoger el proceso con la prioridad más baja.
Predicción del interbloqueo
La predicción del interbloqueo necesita conocer las peticiones futuras de los recursos. Para realizar la predicción del interbloqueo se deben tener en cuenta los siguientes dos enfoques:
•
•
No iniciar un proceso si sus demandas pueden llevar a interbloqueo.
No conceder una solicitud de incrementar los recursos de un proceso si esta asignación puede llevar a interbloqueo.
8