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

198 APÊNDICE A. DOORS
com um par (srvvol,n_seq), em que n_seq é um número inteiro maior do que o n_seq atribuído a qualquer
outra operação conhecida localmente.
O estado do coobjecto de filiação é constituído por um conjunto, M , de triplos (srvvol,srvview,estado),
em que srvvol é o identificador único do servidor (como explicado anteriormente), srvview é o identifica-
dor do servidor na vista definida pelo estado actual do coobjecto de filiação do volume (é um número
inteiro maior do que zero) e estado tem o valor activo, caso o servidor pertença ao grupo de replicadores,
ou removido, caso o servidor tenha sido removido do grupo de replicadores (usa-se M i para designar o
valor de M na réplica do coobjecto de filiação do servidor i). O estado inicial do coobjecto de filiação
contém apenas a informação relativa ao servidor no qual o volume foi criado (M = {(idsrv,1,activo)}).
Seja O o conjunto de operações reflectidas no estado do coobjecto de filiação. Um sumário destas
operações é definido através de um vector-versão v, em que v[i] = nmax, tal que, dado (id,i,_) ∈ M
(com _ a designar qualquer valor possível)), se tem nmax = max({n : o ∈ O ∧ ident(o) = (id,n)} ∪
n : o ∈ O ∧ ident(o) = (_,n) ∧ o = insert(id)), com ident(o) o par com que a operação o foi identificada
(ou seja, cada posição, i, reflecte o maior n_seq das operações executadas que foram identificadas pelo
servidor com identificador i na vista actual ou o n_seq da operação que o inseriu no grupo de replicado-
res). Se o identificador local i não estiver atribuído a nenhum servidor v[i] = ⊤ (com ⊤ > n,∀n ∈ N). De
forma idêntica define-se o vector versão das operações que modificam a filiação, considerando apenas o
conjunto das operações que têm influência directa na filiação — inserção, remoção e eliminação.
O estado do coobjecto de filiação num servidor é obtido considerando todas as operações conhe-
cidas localmente para as quais não existam operações anteriores submetidas no mesmo servidor que
não sejam conhecidas (ou seja, é considerado o seguinte conjunto de operações: {op : ident(op) =
(idi,n_seq) ∧ ¬∃op1 : ident(op1) = (id j,n_seq1) ∧ idi = id j ∧ n_seq > n_seq1}, com ident(o) o identifi-
cador atribuído à operação o). O mecanismo de propagação epidémico de operações (o único usado para
propagar operações do coobjecto de filiação) garante esta propriedade para todas as operações conhecidas
localmente.
A ordem total pela qual estas operações são executadas em todas as cópias do coobjecto é a seguinte.
A partir do estado inicial, as operações são executadas sequencialmente escolhendo em cada iteração a
operação com menor n_seq. Entre as operações com igual n_seq, escolhe-se aquela que tenha associado
o identificador de servidor com menor identificador local na vista definida actualmente.
A execução da operação de inserção de um servidor no grupo de replicadores do volume insere o
trio (idnew, posnew,activo) em M , sendo idnew o identificador gerado para identificar o novo servidor
no grupo de replicadores e posnew o menor número inteiro maior do que zero que não é usado como
identificador de outro servidor na vista actual. A cópia inicial do coobjecto de filiação no novo servidor
reflecte sempre a execução da operação que o inseriu no grupo de replicadores.