gestão de dados partilhados em ambientes de computação móvel

182 CAPÍTULO 11. TRABALHO RELACIONADO
presente num cliente.
Primeiro, abordamos o problema da propagação entre réplicas principais. Nos sistemas de replicação
síncrona [114], as modificações executadas numa réplica são propagadas imediatamente de forma sín-
crona para todas (ou para um quorum de) as outras réplicas. Esta solução tem dificuldade em lidar com
as falhas e apenas pode ser usada com um número reduzido de réplicas. Para que o sistema suporte um
elevado número de elementos é necessário que a propagação das modificações seja efectuada de forma
assíncrona (como acontece sempre nos sistema de replicação optimista).
Uma aproximação simples consiste na utilização dum esquema lazy master, no qual apenas um ser-
vidor recebe as modificações que propaga assincronamente para as outras réplicas. Outra aproximação
consiste na utilização de técnicas de propagação epidémica em que uma réplica propaga todas as modi-
ficações conhecidas independentemente da réplica em que tiveram origem. Vários algoritmos e sistemas
usam esta aproximação [38, 57, 84, 101, 66, 122], nos quais se podem encontrar várias soluções para
a escolha do parceiro e momento da sessão de propagação epidémica (topologias fixas – anel, árvore,
etc. – ou variáveis – o parceiro é escolhido aleatoriamente), para determinar quais as modificações que
devem ser propagadas e para o protocolo de propagação (unidireccional ou bidireccional). A solução
ideal para cada sistema depende da topologia da rede de comunicações e da estratégia de reconciliação
implementada.
No sistema DOORS, a propagação é epidémica uni ou bidireccional e usam-se vectores-versão para
determinar de forma exacta quais as operações que necessitam de ser propagadas. A topologia, momento
das sessões de propagação e coobjectos envolvidos, pode ser definida pelo administrador do sistema de
forma específica para cada volume.
Na propagação das modificações de uma réplica secundária para uma réplica primária existem, pelo
menos, três possibilidades. Primeiro, o cliente entrega a modificação a uma só réplica principal. Esta é a
aproximação usual (adoptada nos sistemas implementados nesta dissertação). Segundo, o cliente propaga
de forma coordenada a modificação para mais do que uma réplica. Por exemplo, no sistema Coda [87] um
cliente instala uma nova versão de um ficheiro em vários servidores simultaneamente. Esta aproximação
também pode ser usada para tolerar falhas bizantinas [28]. Terceiro, um cliente propaga de forma não
coordenada uma modificação para mais do que uma réplica. Neste caso, é, em geral, necessário detectar
a igualdade das modificações recorrendo a informação criada no cliente. Por exemplo, o sistema lazy
replication [93] mantém identificadores únicos para cada operação.
Quando as réplicas principais são modificadas, os clientes têm de invalidar a cópias locais e obter no-
vas cópias. Para tal, existem duas aproximações. Primeiro, o cliente verifica (periodicamente ou quando
acede aos dados) se a sua cópia permanece actual. Segundo, o servidor informa os clientes das modi-
ficações. Esta informação pode conter os novos dados ou apenas informação sobre a sua modificação