Resumen de Un algoritmo distribuido de detección de interbloqueo para el modelo unico-recurso

Alberto Córdoba Izaguirre , José Ramón González de Mendívil , José Ramón Garitagoitia Padrones

• En este artículo se presenta un algoritmo distribuido de detección del interbloqueo para un Sistema Distribuido de Bases de Datos con modelo de ocupación único-recurso. El algoritmo de detección propuesto sigue la filosofía de los algoritmos arco a cazar y presenta las siguientes ventajas: (a) Solo utiliza información local del Grafo de Esperas; (b) todos los mensajes utilizados en el proceso de detección tienen la longitud constante y mínima información; (c) el algoritmo se demuestra formalmente correcto y no genera falsos interbloqueos; (d) por cada interbloqueo sólo un único agente de transacción es responsable de la resolución; (e) el número de mensajes intercambiados para detectar el interbloqueo es menor que el de otros algoritmos de características similares.