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

88 CAPÍTULO 6. NÚCLEO DO SISTEMA DOORS
Para garantir estas propriedades, adicionou-se ao coobjecto de filiação uma operação de dissemina-
ção e execução, detalhada no apêndice A.1.5. Esta operação permite executar uma acção dada como
parâmetro apenas após a réplica do volume num servidor reflectir todas as operações conhecidas num
dado conjunto de servidores no momento da submissão da operação de disseminação e execução.
O protocolo de eliminação de um identificador, detalhado no apêndice A.1.6, é iniciado pelo patro-
cinador da remoção e consiste nos seguintes passos. Primeiro, o patrocinador usa a operação de disse-
minação e execução para garantir que nos vários servidores, apenas se inicia o processo de eliminação
do servidor após terem sido propagadas todas as operações de todos os coobjectos recebidas do servidor
removido. Segundo, cada servidor notifica os outros quando verifica que nenhum coobjecto necessita
do identificador do servidor removido. Terceiro, quando num servidor se verifica que nenhum servidor
activo necessita do identificador de um servidor, é submetida a operação de eliminação do identificador.
Protocolo de saída forçada do grupo de replicadores Em geral, um servidor apenas cessa a repli-
cação de um volume por sua iniciativa. No entanto, existem circunstâncias em que pode ser necessário
forçar a remoção de um servidor do grupo de replicadores — por exemplo, porque o servidor ficou
danificado e a memória estável na qual estava armazenado o estado dos coobjectos é irrecuperável.
O protocolo de saída forçada do grupo de replicadores, detalhado no apêndice A.1.7, usa a seguinte
aproximação. Primeiro, qualquer servidor pode sugerir a remoção de um (ou mais) servidor(es), mas
o processo apenas prosseguirá se todos os outros servidores concordarem com a remoção. Segundo,
após eleger um servidor como patrocinador da remoção, é necessário garantir que esse servidor recebe
todas as operações conhecidas provenientes do servidor a remover. Terceiro, o servidor informa todos os
coobjectos do volume da remoção do servidor e, de seguida, executa a operação de remoção no coobjecto
de filiação no âmbito do protocolo local de mudança de vista.
Protocolo de sincronização de vistas No sistema DOORS, dois servidores apenas podem comunicar
para sincronizar o estado dos coobjectos se se encontrarem na mesma vista. Assim, dois servidores, i
e j, que se encontrem em vistas diferentes devem executar previamente um protocolo de sincronização
de vistas. Este protocolo consiste na sincronização das operações do coobjecto de filiação conhecidas
pelos dois servidores — quando cada um dos servidores recebe o conjunto de operações enviadas pelo
parceiro efectua o protocolo local de mudança de vista. No final do protocolo, conhecidas as mesmas
operações relativas ao coobjecto de filiação, os dois servidores encontram-se na mesma vista. Durante
a sincronização das operações conhecidas, cada servidor envia para o parceiro apenas as operações que
sabe que ele não conhece — usando o sumário das operações conhecidas no parceiro (ou à falta deste
sumário) o identificador da vista, que é igualmente um sumário das operações de inserção e remoção que
o parceiro conhece.