Bloqueos en Sistemas Distribuidos

Son peores que los bloqueos en sistemas monoprocesador [25, Tanenbaum]:

Son ms difciles de evitar, prevenir, detectar y solucionar. Toda la informacin relevante est dispersa en muchas mquinas. Son especialmente crticos en sistemas de bases de datos distribuidos. Las estrategias usuales para el manejo de los bloqueos son:

Algoritmo del avestruz: Ignorar el problema. Deteccin: Permitir que ocurran los bloqueos, detectarlos e intentar recuperarse de ellos. Prevencin: Hacer que los bloqueos sean imposibles desde el punto de vista estructural. Evitarlos: Evitar los bloqueos mediante la asignacin cuidadosa de los recursos. El algoritmo del avestruz merece las mismas consideraciones que en el caso de monoprocesador. En los sistemas distribuidos resulta muy difcil implantar algoritmos para evitar los bloqueos:

Se requiere saber de antemano la proporcin de cada recurso que necesitar cada proceso. Es muy difcil disponer de esta informacin en forma prctica. Las tcnicas ms aplicables para el anlisis de los bloqueos en sistemas distribuidos son: Deteccin. Prevencin.

Inicio: Fin:

Deteccin Distribuida de Bloqueos

Cuando se detecta un bloqueo en un S. O. convencional se resuelve eliminando uno o ms procesos [25, Tanenbaum].

Cuando se detecta un bloqueo en un sistema basado en transacciones atmicas se resuelve abortando una o ms transacciones:

El sistema restaura el estado que tena antes de iniciar la transaccin. La transaccin puede volver a comenzar. Las consecuencias de la eliminacin de un proceso son mucho menos severas si se utilizan las transacciones que en caso de que no se utilicen. Inicio: Fin:

Deteccin Centralizada de Bloqueos

Cada mquina mantiene la grfica de recursos de sus propios procesos y recursos.

Un coordinador central mantiene la grfica de recursos de todo el sistema, que es la unin de todas las grficas individuales.

Cuando el coordinador detecta un ciclo elimina uno de los procesos para romper el bloqueo.

La informacin de control se debe transmitir explcitamente, existiendo las siguientes variantes:

Cada mquina informa cada actualizacin al coordinador. Cada mquina informa peridicamente las modificaciones desde la ltima actualizacin.

El coordinador requiere la informacin cuando la necesita. La informacin de control incompleta o retrasada puede llevar a falsos bloqueos: El coordinador interpreta errneamente que existe un bloqueo y elimina un proceso. Una posible solucin es utilizar el algoritmo de Lamport para disponer de un tiempo global.

Inicio: Fin:

Deteccin Distribuida de Bloqueos

Un algoritmo tpico es el de Chandy-Misra-Haas.

Los procesos pueden solicitar varios recursos (por ejemplo cerraduras) al mismo tiempo, en vez de uno cada vez.

Se permiten las solicitudes simultneas de varios procesos:

Un proceso puede esperar a uno o ms recursos simultneamente. Los recursos que espera un proceso pueden ser locales o remotos (de otra mquina). Si el proceso 0 se bloquea debido al proceso 1: Se genera un mensaje de exploracin que se enva al proceso (o procesos) que detienen los recursos necesarios. El mensaje consta de tres nmeros: El proceso recin bloqueado, el proceso que enva el mensaje y el proceso al cual se enva. Al llegar el mensaje el receptor verifica si l mismo espera a algunos procesos, en cuyo caso: El mensaje se actualiza: Se conserva el primer campo. Se reemplaza el segundo por su propio nmero de proceso y el tercero por el nmero del proceso al cual espera. El mensaje se enva al proceso debido al cual se bloquea:

Si se bloquea debido a varios procesos les enva mensajes (diferentes) a todos ellos. Si un mensaje recorre todo el camino y regresa a su emisor original (el proceso enlistado en el primer campo), entonces: Existe un ciclo y el sistema est bloqueado. Una forma de romper el bloqueo es que el proceso que inici la exploracin se comprometa a suicidarse y, si varios procesos se bloquean al mismo tiempo e inician exploraciones, todos ellos se suicidarn. Una variante es eliminar solo al proceso del ciclo que tiene el nmero ms alto.

Inicio: Fin:

Prevencin Distribuida de Bloqueos

La prevencin consiste en el diseo cuidadoso del sistema para que los bloqueos sean imposibles estructuralmente [25, Tanenbaum].

Entre las distintas tcnicas se incluye:

Permitir a los procesos que solo conserven un recurso a la vez. Exigir a los procesos que soliciten todos sus recursos desde un principio. Hacer que todos los procesos liberen todos sus recursos cuando soliciten uno nuevo. En un sistema distribuido con tiempo global y transacciones atmicas: Se puede asociar a cada transaccin una marca de tiempo global al momento de su inicio. No pueden haber parejas de transacciones con igual marca de tiempo asociada. La idea es que cuando un proceso est a punto de bloquearse en espera de un recurso que est utilizando otro proceso: Se verifica cul de ellos tiene la marca de tiempo mayor (es ms joven). Se puede permitir la espera solo si el proceso en estado de espera tiene una marca inferior (ms viejo) que el otro. Al seguir cualquier cadena de procesos en espera:

Las marcas aparecen en forma creciente. Los ciclos son imposibles. Otra posibilidad es permitir la espera de procesos solo si el proceso que espera tiene una marca mayor (es ms joven) que el otro proceso; las marcas aparecen en la cadena en forma descendente. Es ms sabio dar prioridad a los procesos ms viejos:

Se ha invertido tiempo de proceso en ellos. Probablemente conservan ms recursos.

Por ejemplo, Unix pude sufrir interbloqueos que ni siquiera se detectan, y que, por supuesto, no se eliminan automticamente. El nmero total de procesos en el sistema viene determinado por el nmero de posiciones de la tabla de procesos, que, en definitiva, constituye un recurso limitado. Supongamos ahora que un sistema Unix con 100 posiciones en la tabla de procesos tiene ejecutndose diez programas, cada uno de los cuales ha de crear 12 subprocesos. Despus de que cada proceso haya creado otros 9, los 10 procesos originales y los 90 nuevos llenarn por completo la tabla. Los 10 procesos originales se encontrarn ahora en un bucle infinito intentando crear un nuevo proceso sin poder : se ha producido un interbloqueo. Otros ejemplos de recursos que suelen ser limitados son : el nmero mximo de ficheros que pueden estar abiertos est limitado, el rea en el disco para intercambio con memoria principal. En realidad, casi todas las tablas del sistema operativo representan recursos limitados, deberamos, por tanto, limitar estos recursos para no producir un interbloqueo? La estrategia UNIX es simplemente desentenderse del problema, suponiendo que la mayora de los usuarios preferirn un interbloqueo ocasional antes que la imposicin de que cada usuario pueda crear un solo proceso, abrir un solo fichero y usar slo una unidad de lo que sea. Veremos a continuacin que se puede adoptar alguna estrategia adecuada que nos permitir prevenir, evitar o detectar y recuperar situaciones de interbloqueo.