interbloqueo




SECCION 1 INTERBLOQUEO (DEATLOCK)


PARTE I RECURSOS

Un recurso puede ser un dispositivo de hardware (una impresora) o un elemento de información (un registro con candado en una DB).

Recursos expropiables: es uno que se puede arrebatar al proceso que lo tiene sin que haya efectos adversos. E1

Recursos no expropiables: Es un recurso que no puede quitársele a su poseedor actualsin que el cómputo falle. E2

Secuencia de sucesos que se requieren para pedir un recurso

1. Solicitar el recurso
2. Usar el recurso.
3. Liberar el recurso.

Si el recurso no esta disponible cuando se le solicita, el proceso que realiza la solicitud tiene que esperar. En algunos SO, el proceso se bloquea automáticamente cuando una petición falla, y se le despierta cuando el recurso estadisponible. En otros SO la petición falla con un código de error, y le toca y le toca al proceso invocador esperar un poco e intentarlo de nuevo.


PARTE II DEFINICIÓN DE INTERBLOQUEO

El bloqueo mutuo (deatlock) puede definirse formalmente como sigue:
Un conjunto de procesos está en bloqueo mutuo si cada proceso del conjunto está esperando un evento que sólo otro proceso del conjuntopuede causar
Puesto que todos los procesos están esperando, ninguno de ellos puede causar ninguno de los eventos que podrían despertar a cualquiera de los demás miembros del conjunto, y todos los procesos continúan esperando indefinidamente.

En la mayor parte de los casos, el evento que cada proceso está esperando es la liberación de algún recurso que actualmente está en poder de otro miembrodel conjunto.

Ninguno de los procesos puede ejecutarse, ninguno puede liberar ningún recurso, y ninguno puede ser despertado.


SECCION 2 PRINCIPIOS DE INTERBLOQUEO


PARTE III CONDICIONES PARA EL BLOQUEO MUTUO

Coffman et aL (1971) demostraron que deben cumplirse cuatro condiciones para que haya un bloqueo mutuo:
1 . Condición de exclusión mutua. Cada recurso está asignadoúnicamente a un solo proceso o está disponible.
2. Condición de retener y esperar. Los procesos que actualmente tienen recursos que les fueron otorgados previamente pueden solicitar nuevos recursos.
3 . Condición de no expropiación. No es posible quitarle por la fuerza a un proceso los recursos que le fueron otorgados previamente. El proceso que los tiene debe liberarlos explícitamente.
4. Condiciónde espera circular. Debe haber una cadena circular de dos 0 más proce- sos, cada uno de los cuales está esperando un recurso retenido por el siguiente miembro de la cadena.
Deben estar presentes estas cuatro condiciones para que ocurra un bloqueo mutuo.

PARTE IV MODELADO DEL BLOQUEO MUTUO


Holt (1972) mostró cómo pueden moderarse estas cuatro condiciones usando grafos dirigidos.

Losgrafos tienen dos clases de nodos: procesos, que se indican con círculos, y recursos, que se indican con cuadrados. Un arco que va de un nodo de recurso (cuadrado) a uno de proceso (círculo) indica que el recurso fue solicitado previamente por el proceso, le fue concedido, y actualmente está en su poder. En n la Fig1. (a) el recurso R esta asignado actualmente al proceso A. FIGURA #1Un arco de un proceso a un recurso indica que el proceso está bloqueado esperando ese recurso. En la Fig1. (b) el proceso B está esperando el recurso S. En la Fig1. (c) vemos un bloqueo mutuo: el proceso C está esperando el recurso T, que actualmente está en poder del proceso D. El proceso D no va a liberar el recurso T porque está esperando el recurso U, que está en poder deC.


Ahora otro ejemplo

























FIGURA #2


Examinemos ahora un ejemplo de cómo pueden usarse los grafos de recursos. Imagine que tenemos tres procesos, A, B y C, y tres recursos, R, S y T. Las peticiones y liberaciones de los tres procesos se muestran en la Fig2, (a)-(c). El sistema operativo está en libertad de ejecutar cualquier proceso...