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

188 CAPÍTULO 11. TRABALHO RELACIONADO
se impedir a execução da operação de modificação da estrutura.
O modelo de divisão (escrow) [111] permite dividir o valor de uma variável que represente um re-
curso divisível (por exemplo, a existência –stock– de um qualquer produto) sujeita a uma dada restrição
(por exemplo, o valor da existência do produto deve ser maior ou igual a zero) por um conjunto de en-
tidades (transacções, réplicas). Cada entidade pode garantir o sucesso das operações que apenas usam a
parte dos recursos que lhe foram atribuídos (garantindo assim que a restrição global permanece válida).
As operações executadas sem coordenação podem ser unificadas de forma simples porque apenas podem
ser executadas operações comutativas (adição e subtracção) sobre as variáveis partilhadas. Para manipu-
lar estas variáveis, foram introduzidas funções especiais. Este modelo pode ser utilizado para suportar
uma aplicação de suporte a uma força de vendas num ambiente de computação móvel [90].
O modelo de divisão pode ser generalizado explorando a semântica dos objectos [168]. A ideia con-
siste em dividir objectos grandes e complexos em fragmentos menores que obedecem a certas restrições.
Cada fragmento pode ser modificado independentemente, desde que as restrições associadas não sejam
violadas. A unificação dos fragmentos pode ser efectuada usando a informação semântica disponível.
Esta aproximação e a aproximação usada no sistema Prospero [42] apenas podem ser usadas de forma
adequada em alguns tipos de dados e são mais apropriadas para sistemas de bases de dados orientadas
para os objectos, nos quais as operações que podem ser executadas para modificar o tipo de dados são
complexas e estão pré-definidas.
O sistema Mobisnap define um modelo de prevenção de conflitos baseado na utilização de reservas.
Este modelo combina e implementa um conjunto de técnicas de prevenção de conflitos (entre as quais a
utilização de trincos de pequena granularidade e do modelo da divisão). Como se mostrou na secção 8.5,
a combinação de diferentes técnicas é fundamental para a sua utilidade num sistema genérico de bases
de dados relacionais. O sistema Mobisnap verifica, de forma transparente, se as reservas disponíveis são
suficientes para garantir uma transacção móvel. Esta aproximação permite aos programadores definirem
as transacções da forma habitual (i.e., sem usarem funções especiais para manipular elementos de dados
reservados) e utilizar todas as reservas disponíveis (e não apenas aquelas que tenham sido especificadas
no código da transacção).
Além de evitar os conflitos é possível diminuir a probabilidade da sua ocorrência usando técnicas de
controlo de divergência. Vários métodos de definir a divergência entre réplicas foram propostos, assim
como algoritmos para limitar esta divergência [6, 135, 89]. O sistema TACT [173] permite controlar
a divergência entre um conjunto de réplicas usando várias métricas de divergência. Esta aproximação
permite às aplicações definirem a divergência máxima aceitável.
Os mecanismos de controlo de divergência não podem ser usados para garantir o resultado de uma
operação, mas apenas para diminuir a probabilidade da ocorrência de um conflito que impeça a sua