www.utel.edu.

mx
01.800.444.8835
(55) 3684.1404

Nombre de la materia
Sistemas operativos

Nombre de la Licenciatura
Ingeniera en Sistemas Computacionales

Nombre del alumno

Matrcula

Nombre de la Tarea
Bloqueos mutuos

Nombre del Profesor

Fecha

www.utel.edu.mx
01.800.444.8835
(55) 3684.1404

BLOQUEOS MUTUOS

El interbloqueo es un problema potencial en cualquier sistema operativo. Ocurre cuando

todos los miembros de un conjunto de procesos se bloquean en espera de un evento que
slo otros miembros del conjunto pueden ocasionar. Esta situacin hace que todos los
procesos esperen para siempre.Deben presentarse tres condiciones de gestin para que sea
posible un interbloqueo:
1. Exclusin mutua. Slo un proceso puede utilizar un recurso en cada momento ningn
proceso puede acceder a una unidad de un recurso que se ha asignado a otro
proceso.
2. Retencin y espera. Un proceso puede mantener los recursos asignados mientras
espera la asignacin de otros recursos.
3. Sin expropiacin. No se puede forzar la expropiacin de un recurso a un proceso que
lo posee.
4. Espera circular. Existe una lista cerrada de procesos, de tal manera que cada
proceso posee al menos un recurso necesitado por el siguiente proceso de la lista
Las tres primeras condiciones son necesarias pero no suficientes para que exista un
interbloqueo. La cuarta condicin es, realmente, una consecuencia potencial de las tres
primeras. Es decir, si se cumplen las tres primeras condiciones, se puede producir una
secuencia de eventos que conduzca a una espera circular irresoluble. La espera circular
irresoluble es de hecho la definicin del interbloqueo.

Cmo

los

bloqueos

ayudan

al

sistema

operativo

para

su

buen

funcionamiento?
No lo hacen.
Es el bloqueo permanente de un conjunto de procesos o hilos de ejecucin en un
sistema concurrente que compiten por recursos del sistema o bien se comunican
entre ellos. A diferencia de otros problemas de concurrencia de procesos, no existe
una solucin general para los interbloqueos.
La secuencia de eventos necesarios para utilizar un recurso es la siguiente:
1. Solicitar el recurso.
2. Utilizar el recurso.
3. Liberar el recurso.

www.utel.edu.mx
01.800.444.8835
Si el recurso no est disponible cuando se lo solicita:

(55) 3684.1404

El proceso solicitante debe esperar.

En algunos S.O. el proceso se bloquea automticamente y se despierta

cuando dicho recurso est disponible.

En otros S.O. la solicitud falla y el proceso debe esperar para luego intentar
nuevamente.

Enlista algunos ejemplos de interbloqueo, ajenos al mbito de la informtica.

Trfico de vehculos: Uno de los objetivos de las seales de trafico y de las normas
de circulacin es resolver los posibles interbloqueos entre los vehculos.
El arco y la flecha: Dos nios que intentan jugar al arco y flecha, uno toma el arco, el
otro la flecha. Ninguno puede jugar hasta que alguno libere lo que tom.
El problema de los filsofos comensales: Debido a su falta de habilidad manual, cada
filsofo necesita dos tenedores para comer los espaguetis.una mesa redonda en la
que est colocado un gran cuenco para servir espaguetis, cinco platos, uno para cada
filsofo, y cinco tenedores. Un filsofo que quiere comer se dirige a su sitio asignado
en la mesa y, utilizando los dos tenedores situados a cada lado del plato, toma y
come algunos espaguetis. El problema: disear un ritual (algoritmo) que permita a los
filsofos comer. El algoritmo debe satisfacer la exclusin mutua (no puede haber dos
filsofos que puedan utilizar el mismo tenedor a la vez) evitando el interbloqueo y la
inanicin.

Imagina un sistema con un nico tipo de recurso con N unidades disponibles,

donde se ejecutan P procesos que utilizan el mismo nmero de unidades del
recurso. Cul es el nmero mximo de unidades que puede solicitar cada
proceso de manera que se asegure que no puede haber interbloqueo?
Espera circular.
Dependencia: Si un proceso P1 est suspendido en espera de un recurso exclusivo
que est asignado a otro proceso P2, entonces decimos que P1 depende de P2
(P1 <= P2).
Existe una cadena circular de procesos en espera de un recurso, si existe una
cadena de dependencias entre procesos de la forma
P1 <= P2 <= P3 <= ... <= Pn <= P1.

www.utel.edu.mx
01.800.444.8835

Considera un sistema con dos tipos de recursos, con tres unidades disponibles
(55) 3684.1404
para cada uno de ellos. En este sistema se ejecutan procesos de forma tal que
cada uno de ellos necesita una unidad de cada tipo de recurso. Cul es el
mximo de procesos que puede existir de forma que se asegure que no puede
haber interbloqueo?
Se tienen 2 tipos de recursos, con 3 unidades de cada uno, es decir: R1 (X1, X2, X3)
R2 (Y1, Y2, Y3) Y cada proceso que se ejecuta necesita una 'X' y 'Y', es decir: P1 (X1
y Y1) P2 (X2 y Y2) P3 (X3 y Y3) Se concluye que: Seran posibles solo 3 procesos,
para que no haya interbloqueo en el sistema.

El interbloqueo es el bloqueo de un conjunto de procesos que o bien compiten por recursos

del sistema o se comunican entre s. El bloqueo es permanente a menos que el sistema
operativo tome acciones correctivas, como abortar uno o ms procesos, o forzar que la
ejecucin de uno o ms procesos retroceda. El interbloqueo puede involucrar a recursos
reutilizables o consumibles. Un recurso reutilizable es aqul que no se destruye cuando se
usa, como un canal de E/S o una regin de memoria. Un recurso consumible es aqul que
se destruye cuando lo adquiere un proceso; algunos ejemplos son los mensajes y la
informacin almacenada en buffers de E/S.
Hay tres estrategias generales para tratar con los interbloqueos: prevencin, deteccin y
prediccin. La prevencin del interbloqueo garantiza que no se produce el interbloqueo
asegurndose de que no se cumple una de las condiciones necesarias para el interbloqueo.
La deteccin del interbloqueo es necesaria si el sistema operativo est siempre dispuesto a
conceder peticiones de recursos; peridicamente, el sistema operativo debe comprobar si
hay interbloqueo y tomar las acciones pertinentes para romperlo. La prediccin del
interbloqueo implica el anlisis de cada nueva peticin de un recurso para determinar si
podra conducir a un interbloqueo, concedindola slo si no es posible el interbloqueo.

Referencias bibliogrficas

WILLIAM STALLINGS. (2005 respecto a la primera edicin en castellano).

Sistemas operativos Aspectos internos y principios de diseo. C/ Ribera del Loira,
28 28042 Madrid (Espaa): PEARSON EDUCACIN, S.A..

www.utel.edu.mx
01.800.444.8835
(55) 3684.1404
ANDREW S. TANENBAUM. (2009). SISTEMAS OPERATIVOS MODERNOS.

Col. Industrial Atoto 53519, Naucalpan de Jurez, Estado de Mxico: Pearson

Educacin de Mxico, S.A. de C.V..