XI Workshop de Testes e Tolerância a Falhas (WTF) - SBRC 2010

XI Workshop de Testes e Tolerância a Falhas 3
Consenso com Recuperação no Modelo
Partitioned Synchronous
Sérgio Gorender e Raimundo Macêdo
1 Laboratório de Sistemas Distribuídos (LaSiD)
Departamento de Ciência da Computação
Universidade Federal da Bahia
Campus de Ondina - Salvador - BA - Brasil
{macedo,gorender}@ufba.br
Abstract. The partioned synchronous distributed system model has been introduced
to take advantage of synchronous partitions of hybrid distributed systems, as such
synchronous partitions are implementable in many real scenarios. In this paper we
present for the first time a consensus algorithm for proceses that can recover, and its
formal proofs, devoted to the partioned synchronous model. The main advantage of
the proposed algorithm is that it can tolerate up to n-k process failures in a system
with n processes and k synchronous partitions - not all processes need to belong to
synchronous partitions. In particular, such robustness is valid even if the majority of
processes does not belong to synchronous partitions, which is an advantage in terms
of robustness when compared with algorithms for conventional distributed system
models.
Resumo. O modelo síncrono particionado (partioned synchronous foi introduzido
para tirar proveito de partições síncronas em sistemas distribuídos híbridos, uma
vez que estas são implementáveis em muitos cenários reais. No presente artigo
apresentamos pela primeira vez um algoritmo para consenso com recuperação de
processos, e respectivas provas formais, adequado ao modelo síncrono particionado.
O algoritmo proposto tem como principal vantagem a capacidade de tolerar n-k
defeitos de processos, onde k é o número de partições síncronas e n o tonal de
processos no sistema - sendo que podem existir processos que não fazem parte de
partições síncronas. Em particular, a robustez do protocolo se aplica mesmo se a
maioria dos processos não estiver em partições síncronas, o que representa uma
vantagem em termos de robustez quando comparado com soluções para modelos
convencionais.
1. Introdução
Os sistemas distribuídos são compostos por um conjunto de processos residentes em diversos
computadores de uma rede de comunicação, onde os processos se comunicam por troca de
mensagens. Uma das principais vantagens dos sistemas distribuídos é a possibilidade de se
implementar aplicações tolerantes a falhas, por exemplo, através da replicação de processos,
garantindo a continuidade do serviço sendo executado mesmo que ocorram defeitos em
um determinado número de processos e canais de comunicação. A capacidade de resolver
problemas de tolerância a falhas em sistemas distribuídos está intimamente ligada à existência
de um modelo de sistema adequado onde se possa demonstrar a possibilidade de solução de