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

212 APÊNDICE A. DOORS
2. Quando a réplica de um coobjecto num servidor é informada que esse servidor vai servir de patro-
cinador à remoção de outro servidor (passo 5 do protocolo de remoção), executa uma operação que
indica quais as operações executadas até esse momento. Até à conclusão da sessão sincronização
executada no âmbito do protocolo de remoção, mais nenhuma operação é executada nessa réplica
do coobjecto. Esta operação delega no servidor a remover a responsabilidade de executar os blocos
só-uma-vez das operações que já foram executadas no patrocinador.
3. Após a sessão de sincronização do protocolo de remoção (passo 6), a réplica do coobjecto no
servidor a remover executa todas as operações que já tenham sido executadas no patrocinador e
pelas quais é responsável por executar os blocos só-uma-vez (para tal, pode ter de executar outras
operações). A sessão de sincronização executada garante que no servidor a remover é possível
executar essas operações.
4. Após a sessão de sincronização do protocolo de remoção, a réplica do coobjecto presente no pa-
trocinador retoma a sua execução normal, i.e., executa todas as operações possíveis. No entanto,
fica responsável por executar os blocos só-uma-vez de todas as operações pelas quais o servidor
removido era responsável e que ainda não tinham sido executadas quer no servidor removido quer
no patrocinador no início do protocolo (i.e., as operações cujo número de sequência seja superior
ao máximo dos números de sequência indicados como executados pelas operações submetidas nos
passos 4 e 5 deste protocolo).
Quando se processa a remoção forçada de um servidor, os blocos só-uma-vez das operações recebidas
nesse servidor não são executadas em nenhum outro servidor. Assim, neste caso, não se garante que todos
os blocos só-uma-vez sejam executados.
A.2 Sincronização epidémica
Os protocolos de sincronização epidémica são estabelecidos entre pares de servidores para sincronizar
o estado de um conjunto de coobjectos pertencentes a um volume. Durante estas sessões epidémicas os
servidores propagam entre si as operações que conhecem (independentemente do servidor no qual foram
recebidas). Desta forma, cada servidor recebe, para cada coobjecto, todas as operações submetidas em
todos os servidores, directa ou indirectamente.
No sistema DOORS foram implementados dois algoritmos de sincronização. Primeiro, um algoritmo
de sincronização bilateral, em que dois servidores trocam entre si as novas operações que conhecem.
Segundo, um algoritmo de sincronização unilateral que permite a um servidor enviar para outro servidor
as operações que conhece. Estes algoritmos são apresentados brevemente de seguida — uma discussão