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

A.2. SINCRONIZAÇÃO EPIDÉMICA 213
mais detalhada foi apresentada anteriormente em [125]. Antes de apresentar os algoritmos, descreve-se
a informação utilizada para controlar o seu funcionamento.
A.2.1 Informação utilizada
Em cada cópia do coobjecto é mantido um sumário das operações conhecidas. Este sumário é repre-
sentado como um vector-versão l, em que, l[i] = ni significa que a cópia do coobjecto conhece todas as
operações identificadas no servidor i com um número de sequência igual ou inferior a ni (a cópia do coob-
jecto pode, ainda, conhecer operações com número de sequência superior a ni). Estes sumários mantêm
informação relativa, não só, aos servidores activos, mas também, aos servidores removidos ainda não
eliminados. Em cada servidor i, l[i] mantém o valor actual do relógio lógico usado para identificar as
novas operações nesse servidor — a nova operação será identificada com o número de sequência l[i] + 1
e o valor de l[i] será actualizado para reflectir a nova operação (l[i] ← l[i] + 1).
Cada cópia dum coobjecto mantém ainda informação sobre as operações conhecidas nos outros ser-
vidores. Como se referiu na secção 3.3.2, foram definidas duas estratégias que podem ser usadas pelos
coobjectos. Na primeira estratégia, cada réplica mantém uma matriz m, em que m[i, j] = mi j significa que
se sabe que o servidor i conhece todas as operações submetidas em j com número de sequência menor ou
igual a m i j . Na segunda estratégia, mantém-se um vector m, em que m[i] = mi significa que se sabe que
o servidor i conhece todas as operações submetidas em todos os servidores com número de sequência
igual ou inferior a mi. Esta segunda aproximação, proposta em [57], permite reduzir o espaço necessário
— em [125] discute-se a utilização desta ideia e a importância da actualização local do valor de l[i] para
que o valor de a possa evoluir rapidamente.
A informação sobre as operações conhecidas nos outros servidores é usada para remover as operações
não necessárias. Assim, uma operação que seja conhecida em todos os outros servidores e já tenha sido
executada definitivamente pode ser removida.
A.2.2 Protocolo de propagação epidémica bilateral
O protocolo de propagação epidémica bilateral é construído com base nas seguintes quatro operações
executadas relativamente a coobjectos do volume, com id o identificador do coobjecto a sincronizar e a
a informação sobre as operações que se sabe serem conhecidas noutros servidores (usando qualquer uma
das estratégias descritas anteriormente):
(asksync,id,l,a) Pede o envio das operações não conhecidas localmente, i.e., não reflectidas no sumário
l.
Ao receber esta operação, o servidor pode actualizar a informação sobre as operações conhecidas
nos outros servidores.