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

  1. Córdoba Izaguirre, Alberto
  2. González de Mendívil, José Ramón
  3. Garitagoitia Padrones, José Ramón
Book:
Panel '92: actas, XVIII Conferencia Latinoamericana de Informática

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.