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
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.