Professional Documents
Culture Documents
DEADLOCK
ABRAZO MORTAL
BLOQUEO MUTUO
RECURSOS
Un sistema se compone de un nmero finito de recursos
que se distribuyen entre varios procesos que compiten por
ellos: Ciclos de CPU, Espacio de Memoria, Archivos,
Dispositivos.
Un proceso debe solicitar un recurso antes de usarlo y
liberarlo al terminar su uso.
En el modo de operacin normal, un proceso slo
puede utilizar un recurso en la secuencia siguiente:
- Solicitud.
- Utilizacin.
- Liberacin.
DEADLOCK
(BLOQUEO MUTUO, ABRAZO MORTAL)
Un conjunto de procesos se encuentra en estado de bloqueo
mutuo, cuando cada uno de ellos espera un suceso que slo puede
originar otro proceso del mismo conjunto.
Los sucesos tienen que ver con la adquisicin y liberacin de los
recursos. Estos recursos pueden ser fsicos (Impresoras,unidades de
cinta, espacios en memoria, ciclos de CPU, etc.) o lgicos (archivos,
semforos, monitores, etc).
En los bloqueos mutuos, pueden involucrarse uno o varios tipos
de recursos.
GRAFICA DE ASIGNACIN Y
PETICIN DE RECURSOS
P1
R1
P1 pide un recurso de tipo R1.
(A)
R2
(B)
P2
GRAFICA DE ASIGNACION Y
PETICION DE RECURSOS
P3
R3
P4
(C)
El proceso P3 pide el recurso R3, el cual ha sido asignado
al proceso P4.
(D)
UN BLOQUEO MUTUO
El recurso 1 est
asignado al proceso
A.
Recurso 1
PROCESO
B
PROCESO
A
El proceso A
pide el recurso
2.
El proceso B
pide el recurso
1.
Recurso
2
El recurso 2
est
asignado al
proceso
B.
APROPIACIN: Un recurso slo puede ser liberado voluntariamente por el proceso que lo retiene, despus que haya cumplido su
tarea.
ORDENAMIENTO LINEAL DE
HAVENDER PARA PREVENIR EL
BLOQUEO MUTUO
R10
P2
R9
R8
P1
P2
R7
R6
P1
P1
P1
R5
R4
R3
R2
P2
R1
4
5
Prstamo
Actual
1
6
8
Necesidad
Mxima
4
Unidades disponibles:2
La clave para que un sistema sea seguro es que exista al menos una forma
adecuada de que terminen todos los procesos.
Necesidad
Mxima
10
Pi quiere k ejemplares del tipo de recurso Rj. Cuando el proceso Pi efecta una solicitud de
recursos, se emprenden las siguientes acciones:
1- Si solicitudi<=Necesidadi , continuar en el paso 2. De lo contrario, presentar una condicin
de error, ya que el proceso se ha excedido de su demanda mxima.
2- Si Solicitudi<=Disponiblei , continuar en el paso 3. De lo contrario, P i deber esperar, pues
los recursos no estn disponibles.
3- El sistema simula haber asignado todos los recursos solicitados al proceso p i modificando
el estado de la manera siguiente:
Disponible:Disponible-Solicitudi;
Asignacioni:=Asignacion+Solicitudi;
Necesidadi:=Necesidad-Solicitudi;
ALGORITMO DE DETECCIN
ALGORITMO DE DETECCIN
ACCIONES:
1.Sean Trabajo y fin vectores de longitud m y n respectivamente.
Asignar Trabajo:=disponible
Para i=1,2,...,n, si asignacin i <> 0, entonces Fin[i]=falso;
de lo contrario, Fin[i]=verdadero.
2.Encontrar un ndice i tal que se cumplan ambas proposiciones:
a) Fin[i]=falso
b) Solicitudi<=Trabajo.
Si no existe tal i, continuar en el paso 4.
3.Trabajo:=Trabajo+Asignacini
Fin[i]:=verdadero
continuar en el paso 2
4.Si Fin[i]=Falso, para una i, 1<=i<=n, entonces el sistema est en un
estado de bloqueo mutuo. Es ms, si Fin[i]=falso, entonces el proceso
pi est en bloqueo mutuo.
RECUPERACIN DESPUS DE
UN DEADLOCK
Permitir al sistema operativo recuperarse despus de la ocurrencia de un deadlock, sin
intervencin directa del operador.
Alternativas:
i) Abortar uno o ms procesos.
ii) Arrebatar recursos a uno o ms procesos que se encuentran en deadlock.
ABORTAR
MTODOS:
i) Abortar todos los procesos en deadlock:
* Costo alto.
* Prdida total del trabajo realizado.
ii) Abortar un proceso a la vez, hasta que el deadlock haya sido eliminado:
* Overhead (Sobretiempo).
* Algoritmo de deteccin.
RECUPERACIN DESPUS DE UN
DEADLOCK
FACTORES PARA LA ESCOGENCIA DEL PROCESO.
1- Prioridad de los procesos.
2-Cunto tiempo se ha ejecutado el proceso y cunto tiempo
necesita para culminar su actividad.
3-Cuntos y qu tipos de recursos ha usado el proceso.
4-Cuntos recursos ms necesita el proceso para culminar.
5-Cuntos procesos necesitan ser terminados.
6-Si el proceso es interactivo o en lotes.
ARREBATAR RECURSOS
Quitar recursos a los procesos en forma sucesiva y otorgar stos recursos a otros procesos.
Aspectos a considerar:
1- SELECCIN DE UN PROCESO VICTIMA".
Determinar a cules procesos y cules recursos les sern
arrebatados.
Parmetros:
* Nmero. de recursos que tiene asignado un procesos en
deadlock.
* Cantidad de tiempo consumida por el proceso en su
ejecucin.
ARREBATAR RECURSOS
2- ROLLBACK:
Una vez que un proceso le han sido quitados los recursos, se puede
regresar el proceso a algn estado seguro y restaurarlo desde ese momento.
Requiere que el sistema mantenga mayor cantidad de informacin
acerca del estado de todos los procesos en ejecucin.