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

6.3. CLIENTES 97
do coobjecto consiste nos componentes necessários (cápsula, atributos do sistema, etc.) à criação de
uma cópia do coobjecto. De forma semelhante ao servidor, para cada coobjecto/subobjecto replicado
localmente, o cliente mantém um conjunto de recursos no qual está armazenado o seu estado actual.
Os clientes obtém as cópias parciais a partir de um qualquer servidor. Com cada cópia de um coob-
jecto (e respectivos subobjectos), o cliente mantém o identificador da vista no servidor quando a cópia
foi obtida. Este identificador da vista é usado em todas as interacções com os servidores para que estes
possam interpretar correctamente os identificadores das operações (e vectores versão).
Actualização da cópia parcial de um coobjecto Uma cópia parcial de um coobjecto pode ser actuali-
zada a partir de qualquer servidor. Se o servidor tem instalada uma vista diferente da vista usada na cópia
do cliente, o cliente deve contactar um novo servidor ou obter uma cópia nova a partir deste servidor.
Para determinar se a cópia de um cliente necessita de ser actualizada, o servidor compara a versão
do coobjecto da sua cópia local, o.v, e a versão do coobjecto que o cliente possui, rv. Se os dois vectores
forem iguais (o.v[i] = rv[i],∀i), a cópia do cliente está actualizada. Se o vector do servidor for superior
ao do cliente, i.e., o.v[i] ≥ rv[i],∀i, o servidor tem uma versão mais recente e a versão do cliente pode ser
actualizada. Se o vector do servidor for inferior ao do cliente, i.e., o.v[i] ≤ rv[i],∀i, o servidor tem uma
versão mais antiga do que a versão do cliente (obtida a partir de outro servidor) — neste caso, o cliente
tem a opção de obter a cópia mais antiga (o comportamento desejado é especificado como parâmetro da
operação getCoOb ject). Se nenhuma das situações anteriores se verificar, o cliente e o servidor possuem
versões concorrentes do coobjecto (cada uma reflecte operações que a outra não reflecte) — neste caso,
a versão do cliente não pode ser actualizada, mas o cliente pode obter uma nova cópia.
Quando a cópia parcial de um cliente é actualizada, o servidor pode enviar para o cliente uma nova
cópia do estado do coobjecto (incluindo todos os subobjectos modificados nos quais o cliente está inte-
ressado) ou uma sequência de operações a executar no cliente para actualizar a cópia local. Quando se
usa esta segunda opção, o cliente executa a sequência de operações recebidas pela ordem indicada. Se
ocorrer algum erro durante a execução das operações no cliente (por exemplo, devido ao facto de não
existir uma cópia local de um subobjecto usado), o cliente obtém uma nova cópia do estado do coobjecto.
A actualização dum coobjecto deve incluir a actualização de todos os subobjectos contidos na cópia
parcial do cliente – caso contrário, a cópia local ficaria inconsistente. Quando a actualização da cópia de
um coobjecto no cliente é efectuada através da propagação do estado do coobjecto, o servidor verifica a
necessidade de enviar uma nova cópia de um subobjecto. Esta verificação é efectuada determinando se
alguma operação que ainda não está reflectida na cópia do cliente modificou o subobjecto considerado,
i.e, se ∃i : so.v[i] > rv[i], com so.v o sumário das operações que modificaram o subobjecto e rv a versão
do coobjecto no cliente (note-se que podem ter sido executadas novas operações no servidor que não
tenham modificado o subobjecto). Neste caso, o servidor envia uma nova cópia do subobjecto.