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

124 CAPÍTULO 8. RESERVAS
mesmo caminho de execução, mesmo que a alternativa preferida pelo utilizador seja possível.
Uma aplicação pode modificar o processamento descrito usando as opções descritas na secção 7.3.2.
Primeiro, é possível abortar a execução da transacção se uma condição não puder ser garantida. Segundo,
é possível solicitar a execução do melhor caminho possível no servidor, independentemente do caminho
garantido no cliente.
A aproximação usada para garantir as instruções if pode ser igualmente usada para garantir o valor
de outras condições, como por exemplo as condições especificadas nas instruções de ciclo.
Resultado da execução Se um programa executa até uma instrução commit, o seu resultado é reserva-
tion commit. Neste caso, diz-se que o resultado da transacção é garantido independentemente no cliente.
No entanto, dependendo das instruções que foi possível garantir, é atribuído um dos seguintes níveis de
garantias:
• Full (completo), se todas as instruções no caminho de execução são garantidas por reservas. Note-
-se que, mesmo neste caso, é incorrecto aplicar, no servidor, o conjunto de escrita (write set) obtido
aquando da execução da transacção no cliente, porque os elementos de dados fungíveis devem ser
actualizados usando instruções de adição e remoção.
• Read (leitura), se for possível garantir todas as instruções com excepção das instruções de escrita.
Neste caso (e nos seguintes), quando a transacção móvel é executada no servidor, a execução das
escritas não garantidas pode ser bloqueada por uma reserva value-change, value-lock ou slot.
• Pre-condition (pré-condição), se é possível garantir todas as condições que determinam o caminho
de execução. Neste caso, o sistema penas garante que a execução do programa de uma transacção
seguirá o mesmo caminho de execução no servidor.
• Alternative pre-condition (pré-condição alternativa), se, pelo menos, uma condição que determina
o caminho de execução não foi garantida. Neste caso, a aplicação pode forçar a execução do
mesmo caminho de execução ou não no servidor (como se explicou anteriormente).
Como se exemplifica na secção 8.5, uma aplicação deve utilizar informação adicional (do domínio
da semântica da aplicação) para interpretar o significado dos diferentes níveis de garantias. Por exemplo,
os níveis de garantia completo e leitura são equivalentes se se souber que é impossível obter uma reserva
que impeça a execução das instruções de escrita. Os resultados obtidos devem ser apresentados aos
utilizadores utilizando esta informação adicional conhecida.
Se um programa executa até uma instrução rollback, o sistema aborta a execução, desfazendo todas
as modificações efectuadas. O processamento da transacção móvel prossegue no segundo passo descrito
no início desta secção.