Tesis:
Arquitectura y algoritmos para sistemas transaccionales distribuidos con grupos de procesos
- Autor: JIMENEZ PERIS, Ricardo
- Título: Arquitectura y algoritmos para sistemas transaccionales distribuidos con grupos de procesos
- Fecha: 1999
- Materia: Sin materia definida
- Escuela: FACULTAD DE INFORMATICA
- Departamentos: LENGUAJES Y SISTEMAS INFORMATICOS E INGENIERIA DE SOFTWARE
- Acceso electrónico:
- Director/a 1º: AREVALO VIÑUALES, Sergio
- Resumen: La popularización de Internet ha extendido el uso de los sistemas distribuidos. Por otro lado, cada día que pasa se depende más de los sistemas informáticos, por lo que cada vez se da más importancia a la fiabilidad de éstos. La tolerancia a fallos estudia como hacer los sistemas informáticos más fiables, disponibles y seguros. Dos de las principales corrientes para la construcción de sistemas distribuidos tolerantes a fallos son protagonizadas por las transacciones y la comunicación a grupo. Hace algo más de un lustro surgió un debate en la comunidad científica de los sistemas distribuidos sobre si la comunicación a grupo era suficiente para la programación de cualquier sistema distribuido tolerante a fallos. En este debate se llegó a la conclusión de que ambas técnicas, transacciones y comunicación a grupo, eran complementarias y que sería necesario integrarlas. El proyecto de investigación en el que se enmarca esta tesis se marcó como objetivo integrar ambas técnicas. Como fruto de este proyecto se ha propuesto un nuevo modelo transaccional que integra las transacciones y la comunicación a grupo, Group Transactions. En esta tesis se presentan los algoritmos para soportar Group Transactions, así como una arquitectura orientada a objetos reusable (o framework) que permita su implementación. Los algoritmos descritos tratan el control de concurrencia, la recuperación, el compromiso, así como detección y resolución de interbloqueo, en este nuevo modelo propuesto. Así mismo, la arquitectura orientada a objetos propuesta es adaptable permitiendo que los mecanismos de control de concurrencia y recuperación pueden cambiarse, sin afectar al resto del sistema. Otro aspecto novedoso de la arquitectura es que la comunicación cliente/servidor se basa en un nuevo paradigma, la cita multiflujo. Este framework se documenta con diversos patrones de diseño. Así mismo, se proporcionan numerosos detalles de como implementar la arquitectura en Ada 95 haciendo uso de características avanzadas de este lenguaje