Condiciones para el interbloqueo y estrategias de resolución

Condiciones

En la política del sistema operativo deben darse una serie de condiciones para que se produzca un interbloqueo.

• Exclusión mutua: cada recurso está asignado a un único proceso o está disponible.

• Retención y espera: los procesos que tienen, en un momento dado, recursos asignados con anterioridad, pueden solicitar nuevos recursos.

• No apropiación: los recursos otorgados con anterioridad no pueden ser forzados a dejar un proceso. El proceso que los posee debe liberarlos en forma explícita.

• Espera circular: debe existir una cadena circular de dos o más procesos, cada uno de los cuales espera un recurso poseído por el siguiente miembro de la cadena. Esta condición es una consecuencia potencial de las tres primeras, es decir, dado que se producen las tres primeras condiciones, puede ocurrir una secuencia de eventos que desemboque en un círculo vicioso de espera irresoluble.

Las tres primeras condiciones son necesarias, pero no suficientes para que exista interbloqueo. Sólo las cuatro condiciones en conjunto constituyen una condición necesaria y suficiente para el interbloqueo.

Estrategias

Omisión

Consiste en suponer que los programadores lo han hecho bien, y obviar las posibles situaciones de interbloqueo. Es la más usada.

Detección y Recuperación

• Detección
  • Grafo de relación recursos-procesos
  • Matrices de relación recursos-procesos

• Recuperación
  • Apropiación temporal: Se retira la asignación de un recurso a un proceso para deshacer el interbloqueo.
  • Checkpoints: Durante la ejecución de los procesos se toma una "foto" del estado de éstos, de manera que si se produce un interbloqueo se vuelve al estado anterior. Son muy poco usados ya que tienen un elevado coste en memoria y existe la posibilidad de que un proceso esté indefinidamente sin progresar.
  • Eliminación: El SO elimina un proceso en base a unos determinados criterios. Aunque parezca una medida drástica, es usada con frecuencia.

Prevención

• Supresión de exclusión mutua
• Supresión de retención y espera(1ª Estrategia de Haverder): El proceso debe tener asignado todos los recursos necesarios al inicio y no liberarlos hasta que éste finalice. Esto hace que si por ejemplo un recurso sólo se utiliza al final, esté ocupado durante toda la ejecución, no permitiendo ser usado por otros procesos.
• Supresión de no apropiación(2ª Estrategia de Haverder): Si un proceso esta ejecución y no puede obtener un recurso, dicho proceso libera todos los recursos que está usando y espera a que todos los que necesita estén disponibles.
• Supresión de espera circular(3ª Estrategia de Haverder): Si todos los recursos comunes a varios procesos se solicitan siempre en el mismo orden no se producen interbloqueos

Predicción

El sistema operativo observa la evolución que siguen los procesos, e intenta anticiparse a los futuros conflictos