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

218 APÊNDICE A. DOORS
processo de sincronização numa operação (asksync,...) ou (sync,...) ou é obtido a partir da informa-
ção sobre as operações conhecidas noutros servidores; (3) a informação sobre as operações conhecidas
noutros servidores é igual — quando a informação do parceiro não foi obtida no decurso do processo de
sincronização, considera-se que a informação nos dois servidores é igual, se pela informação conhecida
localmente se souber que todos os servidores conhecem todas as operações conhecidas localmente. Um
servidor a efectuar uma sincronização completa omite igualmente as operações (asksync,...), se as duas
últimas condições enunciadas anteriormente se verificarem (caso o parceiro conheça novas operações,
ele enviará a operação (asksync,...) relativa a esse coobjecto). Esta optimização permite que durante as
sessões de sincronização não se troque informação relativa aos coobjectos estáveis, i.e., aos coobjectos
cujas últimas modificações já se encontram disseminadas.
A terceira diferença consiste na omissão dos pormenores relativos ao mecanismo de dissemina-
ção apresentado anteriormente. Assim, quando se conclui um processo de disseminação completo
(i.e, f ull é verdadeiro), o servidor j, submete para cada pedido de disseminação pendente a operação
disseminated(uid, j,vi), como se tinha referido. Os valores de vi a serem usados são enviados por i a j
no início do protocolo de sincronização e mantidos por i até ao fim do protocolo.
Finalmente, omitiram-se os detalhes relativos ao restauro de coobjectos.
A.2.3 Protocolo de propagação epidémica unilateral
No protocolo de propagação epidémica unilateral, um servidor, i, envia para outro servidor, j, a infor-
mação que permite a j sincronizar o estado de j com o estado de i (i.e., o servidor j deve ficar a conhecer
todas as operações conhecidas em i). Na figura A.4 apresentam-se as funções usadas no protocolo. O
servidor i executa a função uniE pidemic para enviar as operações que pensa serem desconhecidas em
j. O servidor j executa a função stepBiE pidemic usada no protocolo bilateral, mas não responde ao
servidor i. Um aspecto merece atenção neste protocolo: a função unknownOb j é usada para estimar se o
servidor a que se destina a comunicação conhece o coobjecto que se está a considerar (caso não conheça
é necessário enviar o estado do coobjecto em vez das operações para sincronizar o estado). A função
apresentada na figura A.4 é muito simples e poderia ser melhorada com o conhecimento sobre o envio
do estado dos novos coobjectos em anteriores sessões de sincronização unilateral.
A.2.4 Sincronização epidémica durante as mudanças na filiação
O mecanismo de entrada e saída do grupo de replicadores exige que o servidor que entra ou sai do grupo
de replicadores comunique apenas com outro servidor. Enquanto as operações de inserção/remoção de
elementos no grupo de replicadores não são propagadas para todos os replicadores do volume (durante as
sessões de propagação epidémica), os servidores vão ter uma visão incompleta ou incorrecta dos actuais