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

• Autores: Alberto Córdoba Izaguirre , José Ramón González de Mendívil , José Ramón Garitagoitia Padrones
• Localización: Panel '92: actas, XVIII Conferencia Latinoamericana de Informática, 1992, págs. 311-318
• Idioma: español
• Texto completo no disponible (Saber más ...)
• Resumen

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