<< Volver atrás

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