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

Abstract

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.