Clasificación de interbloqueos por recursos

Interbloqueo:

Situación donde un grupo de procesos están permanentemente bloqueados como consecuencia de que cada proceso ha adquirido un subconjunto de los recursos que necesita para su operación y esta esperando la liberación de los restantes recursos mantenidos por otros proceso del mismo grupo haciendo así imposible que ninguno de los procesos pueda continuar.

2. Clasificación de interbloqueos por recursos

Normalmente los interbloqueos se darán sobre dos tipos de recursos:

2.1. Recursos reutilizables.

Pueden ser utilizados solo por un proceso a la vez. Se le conceden al proceso que lo solicita y cuando son liberados voluntariamente por ese proceso se asignan a otro proceso solicitante. Ej. Impresora.

2.2. Recursos consumibles:

Son producidos y consumidos por procesos activos de tal manera que su numero variará con el tiempo. Ej. Mensajes.

3. Condiciones para que se de el interbloqueo.

Para hablar de interbloqueo se tienen que dar 4 condiciones:

- Exclusión mutua.

- Retener y esperar.

Cada proceso mantiene los recursos que ya le han sido asignados a la vez que espera a adquirir los demás. (tenemos un tenedor y si necesitamos otro, no soltamos el primero hasta que no obtenemos el 2º).

- No expropiación.

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 mas de los recursos que son solicitados por el siguiente proceso de la cadena.

Si solo hay una instancia de cada recurso, la existencia de un ciclo es condición necesaria y suficiente para que haya interbloqueo.

Si tengo varias instancias de un mismo recurso, la existencia de un ciclo es condición necesaria pero no suficiente. La otra condición necesaria es un nudo, que es un ciclo en el cual, de ninguno de los nodos que lo forman sale un camino que no sea ciclo.

4. Soluciones que se plantean para el problema del interbloqueo.

4.1. Primer tipo.

Pretende Que no se llegue nunca al interbloqueo.

4.1.1. Prevención del interbloqueo.

Busca garantizar que no se produce alguna de las 4 condiciones del interbloqueo.

- E. Mutua.

- Retención y espera.

- Antes de empezar, P solicita todo lo que necesita. Si se le puede dar, pues se ejecuta, sino, no. El problema es que hay procesos que a priori no saben lo que necesitan.

- Un proceso cuando solicita un nuevo recurso, libera los que ya tiene. Si el nuevo recurso se le puede dar, se le devuelven los que ya tenia, sino, no se le da ninguno. El problema es que hay recursos que no son fácilmente expropiables. (actualización de una base de datos)

- No expropiación. El sistema puede expropiar

...