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

Capítulo 4
Descrição das funcionalidades principais
do sistema DOORS
No capítulo anterior apresentou-se o sistema DOORS, detalhando o framework de componente definido.
Neste capítulo detalham-se algumas das funcionalidade principais do sistema DOORS, incluindo uma
discussão sobre reconciliação no âmbito do sistema DOORS, o modelo de replicação parcial definido, o
mecanismo de invocação cega e o modelo de integração de sessões síncronas no âmbito de uma activi-
dade tipicamente assíncrona.
4.1 Reconciliação
O mecanismo de reconciliação é responsável por garantir que a evolução das várias réplicas respeita as
propriedades desejadas. O componente de reconciliação/controlo de concorrência desempenha um papel
fundamental neste processo, porque decide a ordem de execução das operações, a qual determina, em
grande parte, as propriedades da evolução do coobjecto.
No entanto, deve realçar-se que a ordem necessária para alcançar um dado conjunto de propriedades
depende das operações definidas no coobjecto. Adicionalmente, algumas estratégias de reconciliação são
implementadas por outros componentes do coobjecto e não estão directamente relacionadas com a ordem
de execução das operações. Por exemplo, o subobjecto com múltiplas versões descrito na secção 3.3.9
funciona correctamente desde que a ordem de execução das operações respeite a ordem causal.
Algumas das propriedades possíveis na evolução de um coobjecto são as seguintes:
Equivalência final A equivalência final consiste na igualdade 1 do estado das várias réplicas de um co-
1 A igualdade do estado de duas réplicas de um coobjecto é definida no contexto do tipo de dados que representam, i.e.,
duas réplicas são idênticas se representam exactamente o mesmo valor do tipo de dados, não sendo necessária a igualdade da
representação interna. Por exemplo, um conjunto representado através dos elementos contidos num vector é igual a outro se o
51