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

A.1. FILIAÇÃO 201
anterior à de início de protocolo. A detecção de falhas durante a execução do passo 3 é efectuada de
forma idêntica para cada coobjecto.
A.1.3 Protocolo de entrada no grupo de replicadores de um volume
O protocolo de entrada no grupo de replicadores de um volume controla a entrada de um novo servidor
no grupo de servidores que replicam um volume. Nesta situação, é necessário actualizar o coobjecto de
filiação e propagar um cópia do volume para o novo servidor.
O protocolo de entrada no grupo de replicadores de um volume v do servidor i, tendo como patroci-
nador o servidor j pertencente ao grupo de replicadores de v, tem os seguintes passos:
1. i comunica a j o desejo de entrar no grupo e indica-lhe o identificador único que usará idi. Até
à conclusão do protocolo, o servidor j fica impedido de participar em protocolos de remoção
voluntária do grupo de replicadores.
2. O servidor j executa o protocolo local de mudança de vista no volume v usando a operação de
inserção no grupo do servidor i com identificador único idi.
3. O servidor j envia para o servidor i o estado actual da sua cópia do volume durante uma sessão de
sincronização epidémica, incluindo uma cópia de todos os coobjectos existentes — quando uma
cópia de um coobjecto é instanciada pela primeira vez num servidor, é executada uma operação
na interface do coobjecto a informar o coobjecto dessa situação. Após a recepção do coobjecto de
filiação, o servidor i pode iniciar imediatamente a sua operação (embora se espere pela recepção
de todo o estado do volume, a menos que exista alguma falha).
Se durante a execução do protocolo existir alguma falha, o protocolo é reiniciado, reexecutando o
passo em que falhou — as falhas no passo 2 são resolvidas como explicado anteriormente. As falhas
durante a propagação do estado do volume são resolvidas através da execução de uma nova sessão de
sincronização epidémica.
A.1.3.1 Condições suficientes para a ordenação correcta de operações usando técnicas de verifi-
cação da estabilidade da ordem
Quando um novo servidor se junta ao grupo de replicadores de um volume, o seu identificador é provi-
sório até se garantir que a operação de inserção executada no coobjecto de filiação não será desfeita no
futuro. Assim, quando se usam as técnicas de estabilidade descritas na secção 4.1, não se deve usar a
informação relativa aos servidores que têm identificadores provisórios 3 .
3 O identificador de um servidor adicionado ao grupo de replicadores de um volume pela operação de adição com identifica-
dor (srvvol,n_seq) é provisório sse essa operação de adição ainda não foi ordenada de forma definitiva na réplica do coobjecto