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

78 CAPÍTULO 5. AVALIAÇÃO DO MODELO DO SISTEMA DOORS
marcação que o utilizador indicou e não outra marcação escalada para a mesma hora), cada marcação
tem um identificador único.
Segundo, um subobjecto agenda global, que mantém referências para os subobjectos anteriores, um
por cada semana que contém marcações. Este subobjecto inclui duas operações de modificação para
inserir e remover uma marcação num dado horário 5 . A execução destas operações consiste em invocar
a operação correspondente no subobjecto agenda semanal relativo à semana indicada. Em consequência
da execução de uma operação de inserção pode ser criado um novo subobjecto agenda semanal. Em
consequência da execução duma operação de remoção pode ser removida a referência para um subobjecto
agenda semanal.
Terceiro, um subobjecto central de marcações, sem estado interno e que define as operações para
inserir e remover uma marcação com múltiplos horários alternativos. A execução destas operações con-
siste em invocar, sucessivamente, para cada um dos horários alternativos indicados até que um possa ser
executado com sucesso, a operação correspondente no subobjecto agenda global. Adicionalmente, estas
operações produzem as mensagens de notificação correspondentes ao seu resultado.
O estado inicial de uma agenda inclui dois subobjectos raiz: um subobjecto agenda global sem
nenhuma referência e um subobjecto central de marcações. O único gestor de subobjectos implementado
é usado para cada uma das versões 6 .
O coobjecto agenda mantém duas versões do seu estado — para tal, é baseado na cápsula dupla. A
versão definitiva reflecte a execução de todos os pedidos de marcação cujo resultado se encontra garan-
tido. A versão provisória reflecte, adicionalmente, a execução de todas as outras marcações conhecidas.
A utilização de duas versões permite utilizar subobjectos que representem uma agenda normal, i.e., sem
que cada marcação tenha associado o estado definitivo ou provisório.
No servidor, usam-se os seguintes componentes. Para garantir a consistência final das várias réplicas,
as versões definitiva e provisória são actualizadas, respectivamente, pela versão pessimista e optimista
do componente de reconciliação que executa as operações por uma ordem total definida por uma réplica
sequenciadora. Esta aproximação, permite estabelecer a ordem de execução definitiva de uma operação
(e consequentemente o seu resultado final) desde que a réplica principal esteja acessível.
Para propagar o resultado definitivo das operações, associa-se à versão definitiva a composição do
componente de awareness que propaga as mensagens produzidas para os utilizadores com o componente
5 Este subobjecto contém uma operação adicional que remove todas as marcações de uma semana. Esta operação é usada
para remover marcações antigas.
6 Como é de supor que a maior parte dos subobjectos tenham o mesmo estado em ambas as versões, uma optimização
possível consiste em manter em disco, para os subobjecto iguais, apenas uma versão. Uma nova implementação do gestor de
subobjectos pode fazer esta verificação de forma simples. A manutenção de apenas uma cópia em memória parece possível
através da modificação do funcionamento dos representantes dos subobjectos, embora ainda seja necessário investigar todas as
implicações de uma aproximação desse tipo.