Sistemas operativos

Sistemas Operativos I

Tema 5

Interbloqueos
Equipo de Sistemas Operativos DISCA / DSIC UPV

Tema 5: Interbloqueos
Contenido 1.- Concepto de interbloqueo. 2.- Caracterización formal.
Modelo de sistema. Representación gráfica. Condiciones de Coffman.

Bibliografía A. Silberschatz, P. Galvin. “Sistemas Operativos. Conceptos Fundamentales” (3ª / 5ª Ed.). Addison-Wesley

3.-Técnicas detratamiento de interbloqueos
Prevención. Evitación: el algoritmo del banquero. Detección y recuperación.

Sistemas Operativos I (00-01)

Tema5: Interbloqueos

2

1

Tema 5: Interbloqueos
1.- Concepto de interbloqueo.
2.- Caracterización formal. Modelo de sistema. Representación gráfica. Condiciones de Coffman. 3.-Técnicas de tratamiento de interbloqueos Prevención. Evitación: elalgoritmo del banquero. Detección y recuperación.

Sistemas Operativos I (00-01)

Tema5: Interbloqueos

3

1.- Concepto de interbloqueo.
Concepto
Dados: un conjunto de procesos ejecutándose en un sistema (computador), un conjunto de recursos que son utilizados por dichos procesos, se dice que el conjunto de procesos se encuentra en un estado de interbloqueo cuando todos sus procesos seencuentran esperando un recurso que mantiene retenido otro proceso del grupo. En esa situación: Ningún proceso eternamente). del grupo puede evolucionar (suspendido

Ningún otro proceso podrá obtener los recursos retenidos, puesto que no pueden ser liberados. Los interbloqueos constituyen un grave problema para el que la mayoría de sistemas operativos (como UNIX, por ejemplo) no contemplan ningúntratamiento en absoluto.
Sistemas Operativos I (00-01) Tema5: Interbloqueos 4

2

1.- Concepto de interbloqueo.
Ejemplos
El sistema tiene dos unidades de cinta, P1 y P2 tienen cada uno una unidad y necesitan la otra. Semáforos SemA y SemB, inicializados a 1 Situación de tráfico en interbloqueo Proceso1 P(SemA) P(SemB) Proceso2 P(SemB) P(SemA)

...

...

...
...
Sistemas Operativos I(00-01)

Tema5: Interbloqueos

5

Tema 5: Interbloqueos
1.- Concepto de interbloqueo. 2.- Caracterización formal. Modelo de sistema. Representación gráfica. Condiciones de Coffman. 3.-Técnicas de tratamiento de interbloqueos Prevención. Evitación: el algoritmo del banquero. Detección y recuperación.

Sistemas Operativos I (00-01)

Tema5: Interbloqueos

6

3

2.- Caracterizaciónformal
Modelo de sistema
Conjunto de procesos, identificados por P1, P2,

..., Pi, ... Pn.

Conjunto de recursos, identificados por R1, R2, ..., Rj, ... Rm. Estos recursos pueden ser físicos (discos, cintas, impresoras, etc.), o lógicos (monitores, semáforos, etc.). De cada recurso puede haber una o más instancias. Dos recursos se consideran en realidad instancias del mismo recurso si unproceso que solicita dicho recurso considera que puede obtener cualquiera de ellas indistintamente. El uso que un proceso hace de un recurso sigue este protocolo: Petición del recurso: Si no está disponible, el proceso queda suspendido hasta que lo esté. Uso del recurso. Liberación del recurso.
Sistemas Operativos I (00-01) Tema5: Interbloqueos 7

2.- Caracterización formal
Condiciones de Coffman:Se ha demostrado que las siguientes cuatro condiciones son necesarias (aunque no suficientes) para que se produzca un interbloqueo: 1) Exclusión mutua: Al menos un recurso debe ser utilizado en exclusión mutua, es decir, de modo no compartido. 2) Retener y esperar: Debe haber al menos un proceso que retenga un recurso y que haya pedido algún otro recurso que posea otro proceso, por lo que estaráesperando. 3) No expulsión: El sistema no puede arrebatar los recursos que ha asignado previamente a los procesos. En otras palabras, un proceso mantiene retenido un recurso hasta que deja de utilizarlo y lo libera voluntariamente. 4) Espera circular: Debe existir un conjunto de procesos {P1, P2, ... Pn} tal que P1 se encuentra esperando un recurso que retiene P2, P2 espera un recurso que retiene...