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

José Ramón González de Mendívil , José Ramón Garitagoitia Padrones , Carlos Francisco Alastruey Merino

• español

  En este artículo presentamos un algoritmo distribuido de detección y resolución del interbloqueo para un sistema de Base de Datos distribuido con un modelo de ocupación Único Recurso. El modelo de la Base de Datos sobre el cual basamos el algoritmo es un modelo debido principalmente a Menasce y Muntz [1]. El algoritmo propuesto es fácil de comprender y es muy simple. Una de las principales contribuciones del trabajo es la utilización de la Teoría de Autómatas para modelar la especificación formal del algoritmo. A partir de este modelo matemático se realiza una prueba de corrección del algoritmo concisa y elegante. El algoritmo de detección, detecta todos los interbloqueos verdaderos que se producen en el sistema y genera un único candidato por cada interbloqueo para facilitar el correspondiente proceso de resolución.

• English

  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.