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

106 CAPÍTULO 7. APRESENTAÇÃO DO SISTEMA MOBISNAP
clientes e o servidor, além de permitir gerir a execução dessas operações no servidor de acordo com a
carga do sistema. O Mobisnap integra um sistema de reservas, detalhado no capítulo 8, que permite aos
clientes obter garantias sobre os valores da base de dados. Caso o cliente disponha de reservas suficiente,
o cliente pode garantir que não surgirá nenhum conflito quando a transacção móvel é executada no
servidor, permitindo garantir o resultado da transacção de forma independente.
Alguns dos tipos de reservas definidos no sistema Mobisnap já foram utilizados noutros siste-
mas [111]. No entanto, a sua integração num sistema unificado como o apresentado é fundamental
para a sua utilidade. Considere-se o exemplo da figura 7.1. Usando técnicas de divisão (escrow) 1 é pos-
sível garantir a existência de unidades suficientes de um produto para satisfazer o pedido. No entanto,
para que o sistema possa garantir o resultado da transacção é igualmente necessário que possa garantir
o valor do preço. Assim, seria necessário usar outro tipo de garantia. Neste caso, poder-se-ia usar um
trinco (lock) apesar de essa técnica ser desnecessariamente restritiva.
Uma propriedade importante do sistema de reservas é a verificação transparente das reservas que
podem ser utilizadas para garantir uma transacção móvel. Esta verificação é efectuada a partir do código
da transacção, sem que seja necessário especificar quaisquer instruções especiais. Assim, qualquer tran-
sacção pode usar todas as reservas existentes e não apenas aquelas que a transacção está preparada para
utilizar.
O sistema faz respeitar as garantias relativas às reservas concedidas, não ficando as propriedades as-
sociadas dependentes de convenções a cumprir pelas transacções. Assim, impede-se qualquer transacção
executada no sistema Mobisnap ou directamente na base de dados central de modificar a base de dados de
forma a violar as garantias relativas a qualquer reserva. Como as reservas são temporárias (leased) [58],
garante-se que as restrições impostas às outras transacções não duram indefinidamente, mesmo que o
cliente móvel, a quem a reserva foi concedida, seja destruído ou fique permanentemente desconectado.
No entanto, para que a garantia dada quanto ao resultado de uma transacção seja válida é necessário que
a transacção seja propagada para o servidor antes das reservas usadas expirarem.
Reconciliação de múltiplas transacções O sistema Mobisnap inclui ainda um mecanismo de recon-
ciliação que permite criar um plano de execução quase óptimo como resultado da reconciliação de um
conjunto de transacções móveis. A solução proposta é uma extensão do modelo do sistema IceCube [85],
e utiliza informação semântica extraída automaticamente das transacções móveis. Este mecanismo de
reconciliação é genérico e pode ser usado independentemente em qualquer sistema de bases de dados
para reconciliar conjuntos de transacções executadas concorrentemente. Assim, este mecanismo é apre-
1 As técnicas de divisão (escrow) permitem dividir um recurso fungível por várias réplicas — por exemplo, a existência
(stock) de um produto pode ser dividido por vários vendedores. Cada réplica pode decidir sobre a sua parte de forma indepen-
dente.