Un algoritmo distribuido de detección y resolución del interbloqueo para un sistema de Base de Datos.

  1. González de Mendívil, José Ramón
  2. Garitagoitia Padrones, José Ramón
  3. Alastruey Merino, Carlos Francisco
Revista:
Informática y automática: revista de la Asociación Española de Informática y Automática

ISSN: 0214-932X

Año de publicación: 1994

Volumen: 27

Número: 4

Páginas: 26-37

Tipo: Artículo

Otras publicaciones en: Informática y automática: revista de la Asociación Española de Informática y Automática

Resumen

A distributed deadlock detection and resolution algorithm for a distributed database system with one-resource model is presented in this paper. The database model upon which the algorithm is based, is a model due to Menasce an Muntz [1]. The proposed algorithm is very simple. One of the main contributions of this work, is the application of the Automata Theory for modelling the formal specification for the algorithm. Based on this mathematical model a short and straightforward correctness proof of the algorithm is provided. The detection algorithm detects any true deadlock produced in the system and it gives a unique candidate for each deadlock in order to simplify the resolution process.