Condiciones para el interbloqueo y estrategias de resolución

En la política del sistema operativo, deben darse tres condiciones para que se produzca un interbloqueo.

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

• Detenció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.

La cuarta 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. Sólo las cuatro condiciones en conjunto constituyen una condición necesaria y suficiente para el interbloqueo.