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

8.2. CONCESSÃO E GARANTIA DE RESPEITO PELAS RESERVAS 119
uma transacção móvel actualiza o seu valor através de uma instrução update. No sistema Mobisnap, o
sistema infere automaticamente a quantidade usada do recurso reservado a partir da instrução de update.
Como esperado, os recursos usados são consumidos da reserva escrow. As próximas transacções apenas
podem ser garantidas usando o remanescente dos recursos reservados.
Como se descreveu, esta aproximação é completamente transparente para os programadores. Os
programadores escrevem as transacções móveis sem nenhuma referência às reservas. Se o cliente possui
alguma reserva, o sistema usa-a automaticamente para tentar garantir o resultado das transacções. O
sistema mantém igualmente registo das reservas usadas de forma automática.
O protótipo do sistema Mobisnap tem uma limitação: apenas é possível impor uma única restrição
sobre cada elemento de dados fungível (ou x ≥ min ou x ≤ max) — antecipa-se que este seja o cenário
mais comum. Para impor uma restrição min ≤ x ≤ max seria necessário usar diferentes valores para xi
dependendo do tipo de operação executada.
8.1.5 Reservas shared value-change e shared slot
Uma reserva shared value-change garante o direito partilhado de modificar o valor de um registo (ou
subconjunto de colunas de um registo). Por exemplo, esta reserva pode ser usada para garantir uma
operação de incremento sobre um contador partilhado. Esta reserva permite obter a garantia que uma
instrução update não será bloqueada por uma reserva value-change, slot ou value-lock.
Uma reserva shared slot garante o direito partilhado de inserir, remover e modificar registos com
valores pré-definidos. Por exemplo, esta reserva pode ser usada para garantir operações sobre tabelas a
que apenas é possível adicionar registos (append-only tables). Esta reserva garante que uma instrução de
insert, delete ou update não será bloqueada por uma reserva value-change, slot ou value-lock.
Estas reservas não fornecem qualquer garantia sobre o estado futuro da base de dados. No entanto,
ao garantirem que nenhum cliente obtém uma reserva exclusiva que impossibilite a execução de uma
operação, elas são importantes para garantir de forma completa uma transacção, como se exemplifica na
secção 8.5.
8.2 Concessão e garantia de respeito pelas reservas
Nesta secção descreve-se o modo como as reservas são concedidas e como se garante o respeito pelas
reservas concedidas, i.e., como se garante que nenhuma transacção viola as garantias fornecidas por
uma reserva (incluindo as transacções executadas directamente na base de dados central pelos clientes
legados). Nas próximas secções descreve-se o processamento das transacções móveis no cliente e no
servidor quando se usam reservas.