Interbloqueo

TEMA: Interbloqueos
Ing. Carlos Pineda

Facultad de ciencias de la
ingeniera
Creciendo con Calidad!

12 Aos
SAMCI
Que es un recurso?
Un recurso puede ser un dispositivo de hardware (Por
ejemplo: Archivos, unidades de cinta, etc.).
Un recurso puede ser de software (Por ejemplo:
monitores, semforos, registros de base de datos, etc.)
Un computador tiene muchos recursos que se pueden
adquirir.
Un recurso es cualquier cosa que se puede adquirir,
utilizar y liberar con el transcurso del tiempo

12 Aos
SAMCI
Recursos apropiativos y no
apropiativos
Un recurso apropiativo es todo aquel que se puede
quitar al proceso que lo posee. Ejemplo: La memoria

12 Aos
SAMCI
Recursos no apropiativos
Un recurso no apropiativo: No se puede quitar a su
propietario activo ya que esto puede producir una falla.
Ejemplo: Unidad de CD-ROM.

12 Aos
SAMCI
Interbloqueo
Si un proceso intenta acceder a un recurso y este no
est disponible, el proceso solicitante se ve obligado a
esperar.
Al proceso al que se le ha negado la peticin por lo
general pasa a un estado inactivo y despus intenta de
nuevo.

12 Aos
SAMCI
Interbloqueo
Un conjunto de procesos se encuentra en un estado de
interbloqueo cuando todos sus procesos se encuentran
esperando un recurso que mantiene retenido otro
proceso del grupo.
Fuente:
http://inovasistems.blogspot.com.co/

12 Aos
SAMCI
Condiciones para un
Interbloqueo
Coffman, Elphick y Shoshani establecieron las cuatro condiciones que
deben aplicarse para un interbloqueo (de recursos):
Condicin de exclusin mutua. Cada recurso se asigna en un momento
dado a slo un proceso.
Condicin de contencin y espera. Un proceso que retiene uno o varios
recursos se encuentra esperando por recursos asignados a otros procesos.
Condicin no apropiativa. Los recursos otorgados previamente no se
pueden quitar a un proceso por la fuerza. Deben ser liberados de manera
explcita por el proceso que los contiene.
Condicin de espera circular. Debe haber una cadena circular de dos o
ms procesos, cada uno de los cuales espera un recurso contenido por el
siguiente miembro de la cadena.

12 Aos
SAMCI
Ejemplo Interbloqueo
Exclusin Mutua un solo vehculo ocupa
una seccin
Retener y esperar
No expulsin no puede quitar una
seccin de la calle
Espera circular

12 Aos
SAMCI
Ejemplo Interbloqueo
Los procesos P1, P2 y P3 estn en interbloqueo

12 Aos
SAMCI
Modelado de Interbloqueo
Representacin grfica de recursos

12 Aos
SAMCI
Un arco o lnea dirigido de un nodo de recurso a un nodo de
proceso significa que el recurso fue solicitado y que es contenido
por ese proceso. (Asignacin)

12 Aos
SAMCI
Un arco dirigido de un proceso a un recurso significa
que el proceso est actualmente bloqueado, en espera
de ese recurso. (Solicitud)

12 Aos
SAMCI
Ahora podemos ver un interbloqueo: el proceso C est
esperando al recurso T, que actualmente es contenido
por el proceso D. El proceso D no va a liberar al recurso
T debido a que est esperando el recurso U, contenido
por C. Ambos procesos esperarn para siempre. Un ciclo
en el grfico indica que hay un interbloqueo que
involucra a los procesos y recursos en el ciclo
(suponiendo que hay un recurso de cada tipo). En este
ejemplo, el ciclo es C-T-D-U-C.

12 Aos
SAMCI

12 Aos
SAMCI
Tratamiento de Interbloqueos
Ignorar el problema
Emplear un algoritmo o protocolo que asegure que
nunca se va a poder producir un interbloqueo.
Prevenir: consiste en conseguir que no puedan
simultneamente las 4 condiciones de Coffman
Evitar: Algoritmo banquero
darse
Utilizar un algoritmo que detecte una situacin de

interbloqueo y seguir alguna tcnica que permita
deshacer dicha situacin

12 Aos
SAMCI
Prevencin de Interbloqueo
Se trata de eliminar la aparicin de alguna de las cuatro
condiciones necesarias para el interbloqueo.
Exclusin mutua. Depende de la naturaleza del
recurso (Generalmente todos los recursos son no
compartibles), as que esta condicin no se puede
eliminar.

12 Aos
SAMCI
Retencin y espera. Hay que garantizar que un proceso
que posee un recurso no pueda pedir otro.
El proceso tiene que pedir todos sus recursos de una vez,
p.ej. antes de empezar a ejecutarse
efecto negativo: muchos recursos retenidos pero no usados.
Si el conjunto completo de recursos est disponible se le

concede, si no se suspende en espera de que todos lo
estn.
Efecto negativo: Es difcil que un conjunto de recursos est
disponible a la vez, lo que puede producir una espera indefinida
del proceso solicitante.

12 Aos
SAMCI
No expropiacin. Permitir que el S.O. desasigne
recursos a un proceso bloqueado.
Si un proceso se bloquea por un recurso, los recursos
retenidos quedan a disposicin de los procesos activos
El proceso bloqueado tiene ahora que esperar por todos
los recursos
Penaliza a los procesos que necesitan muchos recursos
Generalmente no puede aplicarse a recursos tales como
impresoras y unidades de cinta

12 Aos
SAMCI
Espera circular: Esta condicin se puede romper si
imponemos un orden total a los recursos, y se obliga a
que los procesos soliciten siempre los recursos
siguiendo dicho orden.

12 Aos
SAMCI
Evitacin del interbloqueoAlgoritmo del banquero

Se trata de conceder los recursos slo cuando no representen un riesgo
futuro de interbloqueo.
Lo procesos han de declarar por anticipado la cantidad mxima de
recursos que van a utilizar a lo largo de su vida
Estado seguro: un estado en el cual no hay riesgo inminente de
interbloqueo. Un estado es seguro si todos los procesos que ya tienen
recursos tienen la posibilidad de ser completados en algn orden
determinado.
{P1, P2, ...,PN} es una secuencia segura si los recursos que Pi puede
pedir en el peor caso se pueden atender con lo que hay disponible ms los
recursos posedos por todos los procesos Pj,j<i
Slo concedemos recursos si el estado resultante tras la peticin es seguro

12 Aos
SAMCI
Algoritmo del banquero

Fue inventado por Dijkstra en 1965. Su nombre se debe
a que simula el comportamiento de un banquero que
realiza prestamos y recibe pagos de sus clientes,
satisfaciendo las necesidades de todos sus ellos.
El nmero de recursos asignados a todos los procesos
nunca debe exceder el numero de recursos del sistema.
Nunca se debe hacer una asignacin peligrosa, es decir,
asignar recursos de modo que no queden suficientes
para satisfacer las necesidades de todos los procesos.

12 Aos
SAMCI

Considere un sistema con tres procesos P1, P2 y P3 y un
conjunto de 10 recursos.

12 Aos
SAMCI

Estado seguro

12 Aos
SAMCI

Estado no seguro

12 Aos
SAMCI

Cuando un proceso realiza una peticin, el SO calcula si
tras conceder los recursos el sistema pasa a un estado
seguro
Si el nuevo estado es seguro, se concede la peticin
Si el nuevo estado no es seguro, el proceso queda
bloqueado (aunque existan recursos suficientes para
atender la peticin). La peticin se concede cuando se
observa que no hay riesgo de interbloqueo

12 Aos
SAMCI
Caractersticas Algoritmo del

banquero
Se permiten las condiciones de exclusin mutua,
retencin y espera y de no expropiacin
Los procesos solicitan el uso exclusivo de los recursos
que necesitan y se les permite mantener los recursos
que tiene asignados
Los procesos piden los recursos al sistema operativo de
uno en uno.
El sistema puede conceder (Si la solicitud lleva a un
estado seguro) o rechazar cada peticin (Solicitud que
lleva a un estado no seguro).

12 Aos
SAMCI

Interbloqueo

Cargado por

Interbloqueo

Cargado por

TEMA: Interbloqueos

Ing. Carlos Pineda

Creciendo con Calidad!

Creciendo con Calidad!

Creciendo con Calidad!

Creciendo con Calidad!

Creciendo con Calidad!

Creciendo con Calidad!

Creciendo con Calidad!

Creciendo con Calidad!

Creciendo con Calidad!

Creciendo con Calidad!

Creciendo con Calidad!

Creciendo con Calidad!

Creciendo con Calidad!

Creciendo con Calidad!

Utilizar un algoritmo que detecte una situacin de

Creciendo con Calidad!

Creciendo con Calidad!

Si el conjunto completo de recursos est disponible se le

Creciendo con Calidad!

Creciendo con Calidad!

Creciendo con Calidad!

Evitacin del interbloqueoAlgoritmo del banquero

Creciendo con Calidad!

Algoritmo del banquero

Creciendo con Calidad!

Algoritmo del banquero

Creciendo con Calidad!

Algoritmo del banquero

Creciendo con Calidad!

Algoritmo del banquero

Creciendo con Calidad!

Algoritmo del banquero

Creciendo con Calidad!

Caractersticas Algoritmo del

Creciendo con Calidad!

También podría gustarte