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

202 APÊNDICE A. DOORS
Adicionalmente, para garantir que as operações são ordenadas correctamente, em cada um dos coob-
jectos, a primeira operação submetida no novo servidor deve ter número de sequência igual ou superior
a max + 2, com max o valor do maior número de sequência que o novo servidor sabe ter sido usado em
qualquer réplica.
Relativamente aos servidores conhecidos, a verificação da estabilidade garante que as operações
são executadas pela sua ordem correcta. Assim, apenas seria possível executar uma operação fora
de ordem, executando num qualquer servidor uma operação, op1, de um servidor conhecido que de-
vesse ser ordenada após uma operação, op2, submetida num novo servidor ainda não conhecido. Como
seq(op2) ≥ max+2, então necessariamente seq(op1) ≥ max+2. No entanto, para ordenar uma operação
com número de sequência max + 2, um servidor tem de receber informação de todos os servidores que
não existe mais nenhuma operação com número de sequência max + 1. Para tal, é necessário contactar
o patrocinador da junção ao grupo do novo servidor (porque no momento da junção ao grupo, no patro-
cinador, apenas se tinham usado números de sequência inferiores ou iguais a max). Como no contacto
com o patrocinador, o servidor vai ser informado da existência do novo servidor, ele tem de considerar
a informação recebida do novo servidor antes de ordenar a operação op1. Como a informação do novo
servidor não pode ser usada enquanto a posição do servidor na vista local não é estável, um servidor
não pode executar nenhuma operação op : seq(op) = max + 2 enquanto a posição do novo servidor não
é estável, porque necessita de usar a informação que não existe nenhuma operação nesse servidor com
número de sequência igual a max + 1. Assim, as operações com número de sequência max + 2 apenas
são executadas quando o número de sequência do novo servidor está estável, o que garante a correcção
da ordenação das operações.
A.1.4 Protocolo de saída voluntária do grupo de replicadores de um volume
O protocolo de saída voluntária do grupo de replicadores de um volume controla a saída voluntária de
um servidor do grupo de servidores que replicam um volume. Nesta situação, é necessário que não se
perca nenhuma informação que se encontre apenas nesse servidor (i.e., operações relativas a coobjectos
do volume, incluindo o coobjecto de filiação, que apenas sejam conhecidas nesse servidor). Adicional-
mente, a filiação do grupo de replicadores deve ser actualizada e os recursos usados para replicar esse
volume devem ser libertos.
Quando o servidor que pretende cessar a replicação de um volume é o único que replica o volume (de
acordo com o estado do coobjecto de filiação nesse servidor), o servidor limita-se a libertar os recursos
de filiação, i.e., sse existe pelo menos um servidor activo, srv2vol, do qual pode existir um operação ainda desconhecida com
número de sequência n_seq2, em que n_seq2 ≤ n_seq nos casos em que o identificador de srv2vol na vista actual é inferior ao
identificador de srvvol, ou n_seq2 < n_seq nos outros casos.