casass

Prevención de Bloqueos
Si se puede garantizar que al menos una de las cuatro condiciones de Coffman para el bloqueo nunca se satisface, entonces los bloqueos serán imposibles por razones estructurales (enunciado de Havender) [23, Tanenbaum].
Havender sugirió las siguientes estrategias para evitar varias de las condiciones de bloqueo:
Cada proceso [7, Deitel]:
Deberá pedir todos sus recursosrequeridos de una sola vez.
No podrá proceder hasta que le hayan sido asignados.
Si a un proceso que mantiene ciertos recursos se le niega una nueva petición, este proceso deberá:
Liberar sus recursos originales.
En caso necesario, pedirlos de nuevo junto con los recursos adicionales.
Se impondrá la ordenación lineal de los tipos de recursos en todos los procesos:
Si a un proceso le han sidoasignados recursos de un tipo dado, en lo sucesivo solo podrá pedir aquellos recursos de los tipos que siguen en el ordenamiento.
Havender no presenta una estrategia contra el uso exclusivo de recursos por parte de los procesos, pues se desea permitir el uso de recursos dedicados.
Inicio:   Fin:
Prevención de la Condición de Exclusión Mutua
Si ningún recurso se asignara de manera exclusiva aun solo proceso, nunca tendríamos bloqueos, pero esto es imposible de aplicar, en especial en relación a ciertos tipos de recursos, que en un momento dado no pueden ser compartidos (ej.: impresoras).
Se debe:
Evitar la asignación de un recurso cuando no sea absolutamente necesario.
Intentar asegurarse de que los menos procesos posibles puedan pedir el recurso.

Inicio:   Fin:
Prevención dela Condición “detenerse y esperar” o “espera por”
Si se puede evitar que los procesos que conservan recursos esperen más recursos, se pueden eliminar los bloqueos.
Una forma es exigir a todos los procesos que soliciten todos los recursos antes de iniciar su ejecución; si un proceso no puede disponer de todos los recursos, deberá esperar, pero sin retener recursos afectados.
Un problema es quemuchos procesos no saben el número de recursos necesarios hasta iniciar su ejecución.
Otro problema es que puede significar desperdicio de recursos, dado que todos los recursos necesarios para un proceso están afectados al mismo desde su inicio hasta su finalización.
Otro criterio aplicable consiste en:
Exigir a un proceso que solicita un recurso que libere en forma temporal los demás recursosque mantiene en ese momento.
Hacer que el proceso intente luego recuperar todo al mismo tiempo.

Inicio:   Fin:
Prevención de la Condición de “no apropiación”
Una de las estrategias de Havender requiere que cuando a un proceso que mantiene recursos le es negada una petición de recursos adicionales; deberá liberar sus recursos y si es necesario pedirlos de nuevo junto con los recursosadicionales.
La implementación de esta estrategia niega la condición de “no apropiación” y los recursos pueden ser retirados de los procesos que los retienen antes de la terminación de los procesos.
El problema consiste en que el retiro de ciertos recursos de un proceso puede significar:
La pérdida del trabajo efectuado hasta ese punto.
La necesidad de repetirlo luego.
Una consecuencia seria esla posible postergación indefinida de un proceso.
Inicio:   Fin:
Prevención de la Condición de “espera circular”
Una forma es que un proceso solo está autorizado a utilizar un recurso en cada momento:
Si necesita otro recursos, debe liberar el primero.
Esto resulta inaceptable para muchos procesos.
Otra forma es la siguiente:
Todos los recursos se numeran globalmente.
Los procesos pueden solicitarlos recursos en cualquier momento:
Las solicitudes se deben hacer según un cierto orden numérico (creciente) de recurso; debido a lo cual la gráfica de asignación de recursos no tendrá ciclos.
En cada instante uno de los recursos asignados tendrá el número más grande:
El proceso que lo posea no pedirá un recurso ya asignado.
El proceso terminará o solicitará recursos con números mayores ,...