Tesis:
Modelo y lenguaje para sistemas transaccionales distribuidos cooperativos y altamente disponibles
- Autor: PATIÑO MARTINEZ, Marta
- Título: Modelo y lenguaje para sistemas transaccionales distribuidos cooperativos y altamente disponibles
- 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: Con el incremento del uso de los ordenadores como elementos de uso cotidiano ha aumentado la necesidad de sistemas altamente fiables. La tolerancia a fallos se encarga de aumentar la fiabilidad de los sistemas informáticos, generalmente, añadiendo redundancia para enmascarar los distintos tipos de fallos. Las transacciones y la comunicación con grupos de procesos son dos modelos que se han empleado en la construcción de aplicaciones distribuidas tolerantes a fallos. Las transacciones proporcionan coherencia en los datos frente a accesos concurrentes y caídas de nodos, mientras que los grupos de procesos proporcionan disponibilidad de proceso y datos frente a caídas de nodos, cuando los procesos de un grupo son réplicas, y servicios concurrentes cuando los procesos de un grupo cooperan para suministrar un servicio. En esta tesis se describe la integración de los modelos de transacciones y comunicación a grupo para la construcción de aplicaciones distribuidas tolerantes a fallos. El resultado de esta integración ha sido un nuevo modelo transaccional, transacciones con grupos. Las principales ventajas de esta integración son: la posibilidad de construir transacciones altamente disponibles mediante la replicación de clientes y servidores, la disminución de la latencia de los servicios transaccionales que son ejecutados por grupos de procesos y la ejecución de un conjunto de servicios ofrecidos por uno o varios grupos de manera atómica. Además, se ha definido un lenguaje (Drago Transaccional) para la construcción de aplicaciones distribuidas tolerantes a fallos que implementa el modelo de transacciones con grupos