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

126 CAPÍTULO 8. RESERVAS
Quando o nível de garantia de uma transacção no cliente foi alternative pre-condition, o interpretador
deve garantir que o caminho de execução respeita a opção especificada pela aplicação. Por omissão, o
interpretador executa o mesmo caminho independentemente do resultado das condições especificadas
nas instruções if. Como se referiu anteriormente, a aplicação pode forçar a execução do melhor caminho
possível.
A execução de uma transacção móvel consome parcialmente as reservas escrow usadas. Por exemplo,
se o cliente tinha uma reserva que lhe permitia subtrair três unidades ao valor de uma variável fungível
e a transacção subtrai uma unidade, o cliente fica apenas com o direito de subtrair duas unidades a essa
variável. Todas as outras reservas permanecem válidas (até expirarem ou serem devolvidas).
Após executar a transacção, o servidor refaz as acções necessárias ao respeito das reservas que per-
manecem válidas.
8.5 Exemplos
Nesta secção apresentam-se exemplos da utilização de reservas para garantir o resultado de transacções
móveis.
Recursos fungíveis anónimos A figura 8.1 representa uma operação típica executada num sistema de
suporte a uma força de vendas móvel: um pedido de encomenda. O pedido de encomenda é satisfeito se
a existência disponível permite satisfazer o pedido e o preço do produto não é superior ao preço máximo
que o comprador está disposto a pagar.
Na tabela 8.2 apresentam-se as reservas obtidas pelo vendedor móvel. Para cada reserva, mantém-se
a seguinte informação: o identificador único da reserva, id; o tipo da reserva; as colunas reservadas
nos registos seleccionados na tabela pela condição; o valor do(s) elemento(s) reservado(s); informação
adicional específica para cada tipo de reserva (por exemplo, o tipo de restrição das reservas escrow);
informação de ligação com outra reserva; e data de expiração da reserva. A data de expiração permite
ao sistema não usar reservas que expirem antes do próximo contacto esperado com o servidor. A ligação
permite associar uma reserva a outra, de modo a que apenas seja possível usar a primeira se se usar
também a segunda. Neste exemplo, a reserva value-use está ligada à reserva escrow, de modo a que o
vendedor móvel apenas possa garantir o preço reservado (com a reserva value-use) para as unidades de
produto reservadas (com a reserva escrow).
Quando a transacção é executada no cliente, é óbvio que as duas reservas são necessárias para garantir
o resultado da condição expressa na instrução if (linha 4). A reserva escrow garante que prd_stock ≥ 10
é verdadeiro quando a transacção é executada no servidor. Na verdade, a reserva é mais geral e permite
garantir a subtracção de até quinze unidades ao valor de prd_stock com a restrição global prd_stockclt ≥