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

206 APÊNDICE A. DOORS
Optimizações Em relação a esta descrição existe algumas uma optimização simples: na matriz v ape-
nas é necessário manter as entradas relativas aos servidores contidos em S (e, no caso de um desses
servidores ter sido removido, dos servidores que foram os seus patrocinadores, como se explicou anteri-
ormente). Adicionalmente, seria possível usar apenas uma matriz v para todos os pedidos de dissemina-
ção pendentes, com as modificações apropriadas no comportamento das operações.
Existe um caso especial para esta operação — a situação em que se pretende a disseminação entre
todos os servidores do estado actual de todas as cópias do volume. Neste caso, o servidor que submete a
operação do pedido de disseminação pode não ter conhecimento de todos os servidores que actualmente
replicam o volume. Assim, é impossível, quando a operação é submetida, determinar exactamente o
valor de S. Por isso, usa-se o valor especial S = U. Neste caso, a operação op será executada no servidor
i no momento em que, de acordo com a vista actualmente definida localmente, se tiver informação que
o estado de todos os servidores activos ou removidos está reflectido na cópia actual do servidor, i.e: (1)
para todo o servidor j activo se tem v[i, j] = −1; (2) para todo o servidor j removido com patrocinador
k e número de sequência da operação nr j se tem v[i, j] = −1 ∨ v[i,k] ≥ nr j (e de forma semelhante ao
apresentado anteriormente no caso de o patrocinador ter sido igualmente removido).
A.1.6 Protocolo de eliminação do identificador de um servidor removido
O protocolo de eliminação do identificador de um servidor removido tem por objectivo garantir que o
identificador do servidor removido apenas é eliminado quando não é necessário ao bom funcionamento
de nenhum coobjecto, ou seja, quando as operações do servidor removido tiverem sido propagadas e
definitivamente processadas em todos os servidores. A eliminação de um identificador permite que o
mesmo seja utilizado por um novo replicador.
O protocolo de eliminação do identificador de um servidor removido, i, é iniciado pelo patrocinador
da remoção, j, e consiste nos seguintes passos:
• O patrocinador, j, da remoção do servidor i, após submeter a operação de remoção, submete a
operação disseminate(uid,{ j},askEliminate(i),null). Desta forma, garante-se que a operação
askEliminate apenas é executada num servidor após se conhecerem nesse servidor todas as opera-
ções conhecidas actualmente em j relativas a todos os coobjectos (e, em consequência do protocolo
de remoção, todas as operações que foram submetidas em i).
• O coobjecto de filiação mantém, para cada identificador i que se pretende eliminar, o par (i,R), em
que R contém o conjunto de servidores que deram a sua concordância à eliminação de i.
• A execução da operação askEliminate(i) num servidor l, leva à introdução do par (i,{}) na infor-
mação sobre os identificadores a eliminar.