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

6.3. CLIENTES 99
seguinte informação (independentemente de, no momento, manter uma cópia desse coobjecto).
Primeiro, um vector versão, r, que reflecte as operações observadas nas versões lidas anteriormente.
Este vector é actualizado sempre que uma nova versão do coobjecto é lida pelo utilizador, fazendo r[i] =
max(r[i],o.v[i]), com o.v a versão do coobjecto lida. A primeira propriedade é garantida se a versão do
coobjecto a devolver, o.v, for superior ao vector r, i.e., o.v[i] ≥ r[i],∀i.
Segundo, o cliente mantém um vector temporal, w, que reflecte as operações escritas pelo utilizador.
Este vector é actualizado sempre que uma operação submetida pelo utilizador é propagada para o servi-
dor, fazendo w[id.srvview] = id.n_seq, com id o identificador da operação submetida (este identificador é
devolvido pelo servidor). A segunda propriedade é garantida se a versão do objecto a devolver, o.v, for
superior ao vector w, i.e., o.v[i] ≥ w[i],∀i.
Finalmente, o cliente mantém o identificador da vista em que os vectores temporais anteriores são
válidos. Quando o cliente detecta uma mudança de vista, os vectores temporais anteriores são convertidos
na nova vista usando a operação disponibilizada no coobjecto de filiação.
As propriedades referidas anteriormente apenas são garantidas para acessos executados a partir de
um mesmo cliente e pelo período de tempo indicado na configuração do cliente. Se um utilizador não
aceder a um coobjecto durante o período de tempo indicado, a informação do utilizador relativa a esse
coobjecto é removida.
Quando uma aplicação grava as modificações efectuadas a um coobjecto, o cliente extrai as operações
executadas e guarda-as em memória estável para posterior propagação para o servidor. Após as operações
estarem guardadas em memória estável, o coobjecto é informado do facto e a aplicação pode continuar a
manipular essa cópia do coobjecto (e executar novas gravações mais tarde).
Sempre que possível (i.e., desde que as primeiras sequências ainda não tenham sido propagadas),
o cliente combina as sequências de operações que resultam de modificações à mesma cópia privada
de um coobjecto numa única sequência, de forma a reflectir a causalidade existente na sua execução.
Quando isso não é possível, o cliente garante que envia as operações para o mesmo servidor por ordem
de gravação.
Além de extrair a sequência de operações executadas para propagação para um servidor, o cliente
grava o estado actual do coobjecto como uma versão provisória. Desta forma, em sucessivos acessos
a um coobjecto durante um período de desconexão, os utilizadores podem observar as modificações
efectuadas anteriormente. Se as limitações de espaço disponível para as cópias locais o permitirem, o
cliente mantém também a versão obtida directamente do servidor.
Quando uma aplicação grava um novo coobjecto, o cliente obtém uma cópia do estado actual do
coobjecto, que é propagada para o servidor para servir como estado inicial do coobjecto.