Bloqueo

Un bloqueo se produce cuando un proceso está esperando a algo que nunca se cumple.

Ejemplo:

Cuando dos procesos P₀ y P₁ quieren tener acceso simultaneamente a dos recursos r₀ y r₁, es posible que se produzca un bloqueo de ambos procesos. Si P₀ aloca con exito r₁ y P₁ aloca con exito r₀, ambos se quedan atrapados intendando tener acceso al otro recurso.

Cuatro condiciones se tienen que cumplir para que sea posible que se produce un bloqueo entre procesos:

1. los procesos tienen que compartir recursos con exclusión mutua
2. los procesos quieren acceder a un recurso más mientras ya tienen acceso exclusivo a otro
3. los recursos no permiten ser usados por más de un proceso al mismo tiempo
4. existe una cadena circular entre peticiones de procesos y alocación de recursos

Un problema adicional con los bloqueos es que es posible que el programa siga funcionando correcto según la definición, es decir, el resultado obtenido es el resultado deseado, aún unos de sus procesos están bloqueados durante la ejecución.

Existen algunas técnicas que se puede usar para que no se produzcan bloqueos: