Un algoritmo distribuido de detección de interbloqueo para el modelo unico-recurso
- Córdoba Izaguirre, Alberto
- González de Mendívil, José Ramón
- Garitagoitia Padrones, José Ramón
Publisher: Las Palmas de Gran Canarias : Universidad, 1992?
Year of publication: 1992
Pages: 311-318
Congress: Conferencia Latinoamericana de Informática (18. 1992. Las Palmas de Gran Canaria)
Type: Conference paper
Abstract
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.