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

A.1. FILIAÇÃO 199
A operação de remoção de um servidor apenas altera o estado no trio que representa esse servidor
em M . A operação de eliminação das referências de um servidor remove o trio respectivo do conjunto
M .
A garantia da igualdade entre o estado de duas réplicas de um coobjecto de filiação que conheçam
o mesmo conjunto de operações (propriedade de segurança) é resultado de: (1) serem executadas todas
as operações conhecidas; (2) as operações serem executadas pela mesma ordem total; e (3) as operações
serem deterministas.
A propagação das operações de modificação entre as várias réplicas garante que todas as réplicas do
coobjecto de filiação evoluem para o mesmo estado comum (propriedade de evolução contínua).
O sumário das operações que modificam a filiação é usado como identificador da vista. O algoritmo
optimista usado para executar as operações pode levar a que o mesmo identificador seja (temporari-
amente) usado em cópias diferentes para identificar servidores diferentes (por exemplo, quando dois
servidores entram concorrentemente no grupo de replicadores usando patrocinadores diferentes). No
entanto, como se explica de seguida, o identificador da vista identifica univocamente uma vista.
Sejam si e s j as sequências de operações que modificam a filiação executadas nas cópias i e j do coob-
jecto de filiação (a partir do mesmo estado inicial). Se si = s j, a igualdade das cópias i e j garante a igual-
dade dos identificados da vista. Se si = si, é possível decompor si ≡ scomum,opi,s fi e s j ≡ scomum,op j,s f j
em que scomum é o maior prefixo (eventualmente nulo) de operações comuns (s fi e s f j podem ser sequên-
cias nulas e op j pode representar a ausência de uma operação se s f j for a sequência nula).
Vamos supor, sem perda de generalidade, que opi é anterior a op j na ordem total pela qual as opera-
ções são executadas, e ident(opi) = (srvk,n). Após executar scomum, tem-se (srvk,m,_) ∈ M em ambos
as cópias do coobjecto de filiação.
O trio associado a srvk existe necessariamente em M pelas seguinte razões. Primeiro, é impossível
ser conhecida uma operação submetida num servidor antes da operação de inserção porque: a cópia do
coobjecto de filiação no novo servidor é iniciada a partir da cópia do patrocinador que já reflecte o novo
servidor; as operações submetidas no novo servidor são identificadas com um n_seq superior ao n_seq da
operação que o inseriu no grupo de replicadores; e as operações são propagadas entre servidores usando
um mecanismo de propagação epidémica (que propaga as operações por ordem de n_seq). Segundo, é
impossível a entrada do servidor ter sido eliminada porque uma entrada apenas é eliminada quando todas
as operações relativas a esse servidor foram executadas em todos os servidores.
Assim, após a execução da sequência de operações si, tem-se necessariamente v[m] ≥ n 2 . Por outro
2 Note que, se o servidor associado a m, srvm, tiver sido removido, se tem: v[m] = ⊤ > n se a posição não tiver sido reutilizada
por outro servidor, ou v[m] > n se a posição tiver sido reutilizada — porque a operação de inserção do novo elemento no grupo
terá de ter sempre um n_seq superior ou igual ao n_seq da operação de remoção do servidor (ou ser-lhe-ia atribuído um diferente
identificador na vista), a qual por sua vez terá de ter sempre um n_seq superior a n (pelo modo como as operações de remoção