Un algoritmo distribuido de detección y resolución del interbloqueo para un sistema de Base de Datos.
- González de Mendívil, José Ramón
- Garitagoitia Padrones, José Ramón
- Alastruey Merino, Carlos Francisco
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.