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

Capítulo 10
Sistema de reconciliação SqlIceCube
Neste capítulo descreve-se o sistema SqlIceCube [133]. O SqlIceCube é um sistema genérico de reconci-
liação para transacções móveis. Este sistema explora a semântica das operações para criar uma sequência
de execução que permita maximizar o número (ou valor) de transacções móveis que podem ser execu-
tadas. A informação semântica necessária ao funcionamento do sistema é extraída automaticamente do
código das transacções móveis.
No sistema Mobisnap, o SqlIceCube é usado para executar um conjunto de transacções móveis nas
seguintes situações: (1) quando se executam as transacções móveis não garantidas recebidas de um
cliente; (2) quando se executa o conjunto de transacções que aguardam reexecução após o cancelamento
ou expiração de uma reserva.
O sistema SqlIceCube é um sistema genérico de reconciliação que estende o sistema IceCube apre-
sentado em [134]. Como um sistema genérico, inclui algumas funcionalidades que não são exploradas
no sistema Mobisnap. No entanto, de forma a apresentar o sistema de forma completa, descrevem-se
todas as características do sistema SqlIceCube neste capítulo.
10.1 Modelo geral
O sistema SqlIceCube é um sistema de reconciliação que aborda o processo de reconciliação como
um problema de optimização, aproximação da qual foi pioneiro o sistema IceCube [85]. Assim, este
sistema tenta criar a sequência de execução que permite optimizar o conjunto de transacções móveis
que podem ser executadas com sucesso combinando os conjuntos de transacções móveis executadas
concorrentemente.
Considere-se o exemplo da figura 10.1, no qual dois utilizadores modificaram concorrentemente uma
agenda partilhada. Um utilizador requisita a sala A às 9:00 e também a sala B ou C igualmente às 9:00.
Outro utilizador requisita a sala A ou B às 9:00. Se as operações do primeiro utilizador fossem executadas
149