Resumen de Design and implementation of database replication protocols in the madis architecture
El objetivo de esta Tesis ha sido el diseño y la implementación de los protocolos de replicación basados en O2PL para una nueva arquitectura middleware de replicación de bases de datos denominada MADIS, Esta arquitectura se caracteriza por ofrecer una interfaz JDBC a las aplicaciones de usuario y dar soporte, mediante la modificación del esquema de la base de datos, a un amplio rango de protocolos de replicación. Esto último permite aislar el control de concurrencia (gestionado por el, sistema gestor de bases de datos) del control de replicación (gestionado por el protocolo de replicación utilizado en MADIS).
Los dos protocolos desarrollados, BRP y ERP, se formalizan empleando un sistema de transición de estados que facilita la comprobación de su corrección (1-copy-Serizlizable). Adicionalmente, se formalizan un nuevo protocolo para MADIS, TORPE, basado en la entrega en orden total de las difusiones por parte de los sistemas de comunicación a grupo, con el objeto de comparar el comportamiento de este tipo de protocolos, ampliamente empleados en la literatura actual, con los dos protocolos anteriores.
La implementación de estos tres protocolos en MADIS verifica los supuestos teóricos planteados para el BRP y el ERP en sus pruebas de corrección y muestra que los proceloso de orden total son, en general, la mejor opción para la replicación de bases de datos. No obstante, se observa que el protocolo ERP es la mejor alternativa para entornos con cargas bajas dentro de nuestro entorno de pruebas.
Finalmente, se propone un protocolo de recuperación, diseñado también como un sistema de transición de estados, que es válido tanto para el BRP como el ERP. Este protocolo emplea la sincronía de vistas para gestionar la recuperación de nodos fallidos estableciendo las particiones de recuperación que se crean en el nodo recuperador y a recuperar, de manera que este último pueda comenzar a atender transacciones de usuario aunque no ha
