Especificação de serviço e suposições sobre o ambiente para um protocolo de alta disponibilidade

• Ano de defesa: 2010
• Autor(a) principal: Pereira Júnior, João Eurípedes
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Uberlândia; BR; Programa de Pós-graduação em Ciência da Computação; Ciências Exatas e da Terra; UFU
• Palavras-chave em Português: Especificação de serviço; Projeto de protocolo; Acéfalo; Cérebro partido; Alta disponibilidade; Redes de computadores - Protocolos; Service specification; Protocol design; Brainless; split-brain; High availability; CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
• Link de acesso: https://repositorio.ufu.br/handle/123456789/12506

This dissertation describes a high availability architecture based on the VRRP protocol and the conditions brainless and split-brain, explaining why they are considered problem. This document cites proposals for improvements in high availability protocols that aim to solve these problems and presents a comparative study between protocols VRRP, CARP and Paxos, showing that the shortest path to a solution is a new protocol for high availability. This dissertation has among its objectives to serve as a starting point for creating a knowledge base for the design of new protocols in the area of high availability, and presents assumptions about the environment where a high availability service should operate and how high availability protocols can solve the challenges that arise in these environments. These assumptions lead to the main objective of this dissertation, a high availability service specification at a high level of abstraction, which is presented as a model, primitives, parameters, values, and access points. This service specification should be combined with an automaton, vocabulary and format of the messages, which will culminate in the new protocol for high availability.