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

11.1. REPLICAÇÃO 181
dade 3 . Esta técnica permite verificar a desigualdade entre duas réplicas e identificar aquela que pode ser
causalmente dependente da outra.
No entanto, esta técnica não permite verificar se os valores de duas réplicas foram modificados con-
correntemente. Para tal, uma aproximação possível consiste em manter duas estampilhas temporais: a
actual e a anterior. Esta aproximação é usada, por exemplo, no sistema Palm HotSync [117]. Esta técnica
apenas é exacta quando se usam apenas duas réplicas.
A utilização de vectores-versão [119] permite verificar de forma exacta se duas réplicas foram mo-
dificadas concorrentemente (quer se use a propagação do estado ou de operações). Esta técnica é usada
de forma generalizada nos sistemas de replicação com múltiplas réplicas (por exemplo, nos sistemas
Ficus [66], Coda [87], Bayou [161]).
Como a dimensão do vector-versão é proporcional ao número de réplicas existentes no sistema 4 , os
vectores-versão podem ter dimensões significativas nos sistema de muito larga-escala. Assim, o pro-
blema da gestão dos vectores-versão, i.e, como se pode introduzir e remover novos elementos de forma
eficiente e sem exigir coordenação global, foi estudada em vários sistemas [5, 140].
No sistema DOORS, cada sequência de operações é identificada no servidor com um relógio lógico
que permite definir uma ordem total que respeita a causalidade. A cada sequência de operações é ainda
adicionado, no cliente, um vector-versão que identifica o estado do objecto no qual foram produzidas
as modficações. Como este vector-versão apenas reflecte as operações recebidas nos servidores, apenas
permite traçar de forma exacta a dependência com as operações já executadas num servidor. Nas aplica-
ções desenvolvidas, esta aproximação básica revelou-se suficiente. No entanto, este problema e possíveis
soluções foram discutidos com maior detalhe na secção 4.1.1.
Quando se pretende reconciliar um conjunto de objectos, podem usar-se as técnicas anteriores, as-
sociadas ao conjunto de objectos (em vez de associadas a cada um dos objectos) para detectar mo-
dificações num nível de granularidade superior. Esta técnica é usada, por exemplo, em sistemas de
ficheiros [107, 86] e sistema de bases de dados [137].
11.1.8 Propagação das modificações: propagar como?
A propagação das modificações entre as várias réplicas de um sistema pode ser dividido em dois sub-
problemas: a propagação entre as réplicas principais e a propagação entre as réplicas principais e se-
cundárias. Dizemos que uma réplica principal está presente num servidor e uma réplica secundária está
3 No caso dos relógios físicos é necessários manter os relógios sincronizados.
4 Note que apenas é necessário manter uma entrada no vector para cada réplica em que são produzidas alterações. Assim,
se se assumir que em cada momento apenas existe um pequeno número de réplicas em que são produzidas alterações, mas
que a identidade das réplicas varia ao longo do tempo, o problema principal consiste em efectuar a reciclagem automática
(garbage-collection) das referências às réplicas que já não são necessárias.