INTERBLOQUEOS
INTEGRANTES:
JUAN FELIPE MEDINA FUYAR
SANTIAGO MARAGUA TRUJILLO
JESUS RONALDO MANRIQUE
DANIEL FELIPE LEAL CLEVES
PROFESOR:
HUMBERTO CABRERA ZAMORA
UNIVERSIDAD SURCOLOMBIANA
NEIVA – HUILA
2019
CONTENIDO
Definición de un bloqueo mutuo (Interbloqueo)
Bloqueos mutuos en la asignación de recursos
El manejo de bloqueos mutuos
Detección y resolución de bloqueos mutuos
Prevención de bloqueos mutuos
¿Cómo evitar bloqueos mutuos?
Caracterización formal de bloqueos mutuos de recursos
Manejo del bloqueo mutuo en la práctica
DEFINICIÓN DE UN BLOQUEO MUTUO
Un bloqueo mutuo (Interbloqueo) es una situación en la que unos procesos esperan de
manera indefinida las acciones de otro.
P1 P2
RECURSO
• Los procesos involucrados en un bloqueo mutuo se mantienen en forma permanente.
• Si involucra procesos del SO puede tener consecuencias graves como su parálisis total.
• Los SO utilizan políticas de asignación de recursos para asegurar la ausencia de estos
interbloqueos.
BLOQUEOS MUTUOS EN LA ASIGNACIÓN DE
RECURSOS
En un sistema pueden ocurrir 3 eventos relacionados con la asignación de recursos:
Solicitud, Asignación y Liberación.
SOLICITUD: Un proceso solicita un recurso mediante una llamada al sistema.
ASIGNACIÓN: Se actualiza la información sobre el estado del recurso y el estado del
proceso cambia a listo.
LIBERACIÓN: Un proceso libera un recurso por medio de una llamada al sistema.
Pi
IMPRESORA TINTA
Pj
MODELACIÓN DEL ESTADO DE LOS
RECURSOS
Se usan dos tipos de modelos para representar el estado de asignación de un sistema.
MODELO GRÁFICO: Puede representar el estado de asignación de una clase restringida
de sistemas en el que un proceso puede solicitar y usar exactamente una unidad de recursos
de cada clase de ellos.
MODELO MATRIALCAL: Tiene la ventaja de la generalidad. Puede prefigurar el estado
de asignación en sistemas que permiten que un proceso solicite cualquier número de
unidades de una clase de recursos.
EL MANEJO DE BLOQUEOS MUTUOS
- DETECCIÓN Y RESOLUCIÓN DE BLOQUEOS
MUTUOS
- PREVENCIÓN DE BLOQUEOS MUTUOS
- EVASIÓN DE BLOQUEOS MUTUOS
DETENCIÓN DE BLOQUEOS MUTUOS
El kernel analiza el estado de los recursos para verificar si existe un bloqueo mutuo. de ser
así, cancela algún(os) proceso(s) y asigna los recursos que ellos poseen a otros procesos ,de
tal modo que el bloqueo mutuo deja de existir.
Sistema de contiene una cinta y una impresora :
Proceso Pi Proceso Pj
-Solicitar cinta -solicitar impresora
-Solicitar impresora -solicitar cinta
-Usar cinta e impresora -usar cinta e impresora
-Liberar impresora -liberar cinta
-Liberar cinta -liberar impresora
Las solicitudes por parte de los procesos Pi y Pj son en el
siguiente orden :
1. El proceso Pi solicita la cinta
2. El proceso Pj solicita la impresora
3. El proceso Pi solicita la impresora
4. El proceso Pj solicita la cinta
DETENCIÓN DE BLOQUEOS MUTUOS
Debe ejecutarse un algoritmo que determine si el estado actual del sistema Este libre de
bloqueo y que ,en caso de que no lo este identifique que procesos están implicados en el
interbloqueo.
ALGORITMO DE DETENCIÓN BASADO EN
GRAFOS
• Sea N= conjunto que contiene los nodos del grafo (formados por procesos y recursos )
• Sea A= conjunto de las aristas que conectan los nodos del grafo
ESTADO INICIAL
• S=∅ (conjunto de la secuencia de la reducción )
• D= conjunto de procesos desbloqueados que NO están en S
• Mientras D≠ ∅ ,se puede reducir cualquier proceso del conjunto D y añadirlo a S
• Si D= ∅ y S=P, donde P es el conjunto de todos los procesos
entonces No existe bloqueo
sino los procesos del conjunto resultante P-S están en bloqueo
RESOLUCIÓN DE BLOQUEOS MUTUOS
Eliminación: El sistema operativo selecciona a uno de los procesos que forma parte del
interbloqueo y elimina el ciclo acabando con la ejecución de dicho proceso, si no es
suficiente se eliminarán procesos hasta que se rompa el ciclo.
apropiación temporal: Se retira la asignación de un recurso a un proceso (durante el
tiempo necesario) para deshacer el interbloqueo (hemos de asegurarnos de que el
proceso no se desbloquea al romperse el interbloqueo).
Puntos de conformidad, sincronismo o checkpoints: Consiste en tomar una imagen
del estado del proceso, ya sea periódicamente o a instancia del propio proceso, de
manera que si se produce un interbloqueo se vuelve a un estado de la ejecución anterior.
PREVENCIÓN DE BLOQUEOS MUTUOS
Cuatro condiciones que tienen que ser validas para que pueda surgir un bloqueo mutuo:
LOS RECURSOS NO SON COMPARTIBLES
LOS PROCESOS RETIENEN ALGUNOS RECURSOS
NO ES FACTIBLE PRIORIZAR RECURSOS DE PROCESOS
EXISTEN EN EL SISTEMA ESPERAS CIRCULRES
LOS RECURSOS NO SON
COMPARTIBLES
LOS PROCESOS RETIENEN ALGUNOS
RECURSOS
NO ES FACTIBLE PRIORIZAR
RECURSOS DE PROCESOS
EXISTEN EN EL SISTEMA ESPERAS
CIRCULRES
TODAS LAS SOLICITUDES JUNTAS
JERARQUIA DE RECURSOS
PREVENCION DE BLOQUEOS MUTUOS
USANDO JERARQUIZACION
¿CÓMO EVITAR BLOQUEOS MUTUOS?
ALGORITMO DEL BANQUERO
ALGORITMO DEL AVESTRUZ
Es un concepto informático, acuñada por Andrew S. Tanenbaunm, el cual señala que los
sistemas operativos, en lugar de enfrentar los problemas de bloqueos mutuos asumen que
estos nunca ocurrirán.
EN QUÉ CONSISTE: ESCONDER LA CABEZA y fingir que no pasa nada. Estrategia
utilizada en el tratamiento de interbloqueos ya que estos pueden ser extremadamente raros,
ya que al analizar la probabilidad de haber bloqueos mutuos, es muy baja, por lo tanto no se
invertirán mayores recursos e implementar técnicas de detección y corrección de bloqueos.
ESTRATEGIA PARA EL MANEJO DE
BLOQUEOS
Algoritmo del Avestruz: Ignorar el problema
Detección: Permitir que los bloqueos ocurran, detectarlos e intentar recuperarse en
ellos.
Prevención: Hacer que los bloqueos sean imposibles en el punto de vista estructural.
Evitarlos: Evitar los bloqueos mediante la asignación de recursos.
CARACTERIZACIÓN FORMAL DE
BLOQUEOS MUTUOS DE RECURSOS
MUCHAS GRACIAS
