Instituto Tecnolgico de Piedras Negras

Sistemas operativos

Prof: Ing. Miguel Vlez

Jos Ivn Huerta Ramrez

No. Ctrl: 13430174

Cuestionarios: Captulos 7

7.1.

Considere el interbloqueo entre vehculos mostrado en la figura 7.9.

a) Demuestre que las cuatro condiciones necesarias para que se produzca un
interbloqueo se cumplen en este ejemplo.
R.

Exclusin mutua. Todos los carros (procesos) esperan salir (ejecutarse)

Retener y esperar. Cada proceso mantiene los recursos que ya le han sido
asignados a la vez que espera a adquirir los dems

Sin desalojo. Significa que un recurso solo puede ser liberado de forma voluntaria
por el proceso al que se le ha concedido su uso.

Espera circular. Los procesos interbloqueados forman una cadena circular, de

modo que cada proceso mantiene uno o ms de los recursos que son solicitados
por el siguiente proceso de la cadena.

b) Enuncie una regla simple para evitar los interbloqueos en este sistema.
R. Estado seguro: Si todos los procesos que ya tienen concedidos los recursos tienen
la posibilidad de ser completados en algn orden determinado, incluso si cada uno de
esos procesos utilizara todos los recursos a los que est autorizado.

7.2.

7.3.

Considere la situacin de interbloqueo que podra producirse en el problema de la

cena de filsofos cuando cada uno de ellos toma un palillo cada vez. Explique cmo
se cumplen las cuatro condiciones necesarias de interbloqueo en esta situacin.
Explique cmo podran evitarse los interbloqueos impidiendo que se cumpla una
cualquiera de las cuatro condiciones.
R.
Exclusin mutua. Cada filsofo espera obtener un palillo

Retener y esperar. Cada filosofo tiene un palillo espera obtener otro

Sin desalojo. Un filsofo solamente puede deshacerse de un palillo

solamente si l quiere

Espera circular. Cada filsofo tiene el palillo que otros filsofos quieren.

Retener y esperar. Para asegurar que nunca se produzca, debemos

garantizar que, cuando un proceso solicite un recuro, el proceso no est
reteniendo ningn otro recurso.

Una posible solucin para evitar los interbloqueos es tener un nico recurso de
orden superior que debe solicitarse antes que cualquier otro recurso. Por ejemplo,
si varias hebras intentan acceder a los objetos de sincronizacin AE, puede
producirse un interbloqueo
(Tales objetos de sincronizacin pueden ser mtex, semforos, variables de
condicin, etc.) Podemos impedir el interbloqueo aadiendo un sexto objeto F.
Cuando una hebra quiera adquirir el bloqueo de sincronizacin de cualquier objeto
AE, primero deber adquirir el bloqueo para el objeto D. Esta solucin se conoce

con el nombre de contencin: Los bloqueos para los objetos AE estn contenidos
dentro del bloqueo del objeto F. Compare este esquema de espera circular de la
seccin.
R. Si se usan estos dos protocolos, entonces la condicin de espera circular no
puede llegar a cumplirse. Podremos demostrar este hecho suponiendo que existe
una espera circular. Sea el conjunto de los procesos implicados en la espera
circular A..E donde A espera acceder al recurso que est retenido por el proceso E.
Entonces dado que el proceso E esta reteniendo el recurso mientras solicita otro
recurso tiene que cumplir que E(recurso1) < E(recurso2). Esta condicin quiere
decir que es imposible por tanto no puede existir una espera circular.

7.4.

Compare el esquema de espera circular con los distintos esquemas de evasin de

interbloqueos en lo que respecta a las cuestiones siguientes:
a) Tiempo de ejecucin adicional necesario.
R. El tiempo de ejecucin varia debido a la complejidad del programa donde
se quiera aplicar este esquema.
b) Tasa de procesamiento del sistema.
R. Todo esquema asegura que al menos una de las condiciones necesarias
para que haya interbloqueo no se produzca y, por lo tanto que no puedan
aparecer interbloqueos. Sin embargo, esta tcnica de prevencin de
interbloqueos tiene algunos posibles efectos colaterales, como son una baja
tasa de utilizacin de los dispositivos y una menor rendimiento del sistema.

7.5.

Considere un sistema que tiene cuatro recursos del mismo tipo, compartidos entre
tres procesos, cada proceso necesita como mximo dos recursos. Demostrar que el
sistema est libre de interbloqueos.
R: / Como solo hay cuatro recursos y hay tres procesos, dos procesos estarn
usando los cuatro recursos el otro solamente esperara que el P1 termine con el
recurso R1 o R2 y que el P2 termine con el R3 o R4 para que el proceso P3
solamente tome cualquiera que sea liberado

7.6.

Considere un sistema que consta de m recursos del mismo tipo, compartidos por n
procesos. Los procesos solo pueden solicitar y liberar recursos de uno en uno.

Demostrar que el sistema est libre de interbloqueos si se cumplen las dos

condiciones siguientes:
a) La necesidad mxima de cada proceso est comprendida entre 1 y m
recursos.

b) La suma de todas las necesidades mxima es menor que m + n.

R: / Se conceden solamente aquellas peticiones de recursos que no lleven al
sistema a un estado de interbloqueo. No se producir una espera circular debido a
que Si tengo varias instancias de un mismo recurso, la existencia de un ciclo es
condicin necesaria pero no suficiente para qu haya interbloqueo.

7.7.

Considere el problema de los filsofos suponiendo que los palillos se colocan en el

centro de la mesa y que cualquier filsofo pueda usar dos cualesquiera de ellos.
Suponga que las solicitudes de palillos se hacen de una en una. Describa una regla
simple para determinar si una solicitud concreta podra ser satisfecha sin dar lugar
a interbloqueo, dada la asignacin actual de palillos a los filsofos.
R: / Estado seguro. Si todos los filsofos que ya tienen concedidos los palillos
tienen la posibilidad de ser entregados en algn orden determinado, incluso si
cada uno de esos filsofos utilizara todos los palillos a los que se le fueron
asignados.

7.8.

Considere la misma situacin que en el problema anterior y suponga ahora que

cada filsofo requiere tres palillos para comer y que cada solicitud de recurso se
sigue realizando todava por separado. Describa algunas reglas simples para
determinar si una solicitud concreta podra ser satisfecha sin dar lugar a un
interbloqueo, dada la asignacin actual de palillos a los filsofos.
R: / Los recursos se clasifican por categoras y los procesos solo pueden solicitar
los recursos en orden creciente, adems todos los recursos de una categora deben
ser solicitados a la vez. Una vez que un proceso ha solicitado un recurso de una
categora, no puede solicitar otro de una categora inferior.
El sistema puede expropiar la asignacin de un recurso a un proceso

7.9.

Podemos obtener un algoritmo simplificado del banquero para un nico tipo de

recurso a partir del algoritmo general del banquero, simplemente reduciendo la
dimensionalidad de las diversas matrices en 1. Demuestre mediante un ejemplo
que el algoritmo del banquero para mltiples tipos de recursos no se puede
implementar con solo aplicar individualmente a cada tipo de recurso del algoritmo
simplificado para un nico tipo de recurso.
R: / Un ejemplo del sistema del banquero podra ser El banco confa en que no
tendr que permitir a todos sus clientes la utilizacin de todo su crdito a la vez. El
banco tambin asume que si un cliente maximiza su crdito ser capaz de terminar
sus negocios y devolver el dinero a la entidad, permitiendo servir a otros clientes.