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

122 CAPÍTULO 8. RESERVAS
Como foi dito anteriormente, uma reserva é temporária (leased) [58], i.e., apenas é válida durante um
período limitado de tempo. Esta propriedade garante que as restrições impostas às outras transacções,
para fazer cumprir a promessa associada a um reserva, não duram indefinidamente, mesmo que o cliente
móvel, a quem a reserva foi concedida, seja destruído ou fique permanentemente desconectado. Outra
consequência da duração limitada das reservas consiste no facto da garantia fornecida num cliente móvel
apenas ser válida se a transacção móvel for propagada para o servidor antes que as reservas usadas
expirem.
8.3 Processamento das transacções móveis no cliente
Um cliente executa uma transacção móvel localmente em um ou dois passos, como se explica de seguida.
No primeiro passo, o cliente executa o programa da transacção para verificar se é possível garantir o
seu resultado usando as reservas disponíveis. Este processo é descrito mais tarde. Se for possível garantir
a transacção móvel, são actualizadas ambas as versões da réplica local dos dados. O processamento
local da transacção termina, sendo a transacção móvel armazenada localmente até ser propagada para o
servidor. Caso contrário, o sistema desfaz qualquer modificação executada à base de dados (abortando a
transacção da base de dados na qual a transacção móvel foi executada) e prossegue para o segundo passo.
No segundo passo, o cliente executa o programa da transacção na versão provisória da réplica local
da base de dados. O resultado desta execução é considerado provisório. Se o programa executa até uma
instrução commit ou executa até ao fim do programa, o resultado é tentative commit. Neste caso, as
modificações produzidas reflectem-se na réplica provisório dos dados. Se o programa executa até uma
instrução rollback, o resultado é tentative abort e qualquer modificação produzida é desfeita.
Se, durante o processamento de uma transacção móvel (em ambos os passos), é necessário algum
elemento de dados não replicado localmente para prosseguir a avaliação da transacção (por exemplo,
a condição de uma instrução if usa o valor de uma coluna não replicada), a execução é abortada e o
resultado da execução local é unknown.
8.3.1 Verificação da possibilidade de garantir uma transacção móvel
Nesta subsecção descreve-se o modo como o interpretador do cliente verifica se uma transacção móvel
pode ser garantida. A ideia base consiste em executar o programa da transacção e verificar cada instrução
do caminho de execução.
Garantir instruções Durante a execução, o interpretador mantém, para cada variável, além do seu
valor actual, a informação sobre se esse valor é garantido e quais as reservas que o garantem (se alguma).