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

112 CAPÍTULO 7. APRESENTAÇÃO DO SISTEMA MOBISNAP
o servidor. Em ambientes fracamente conectados, a propagação das transacções pode ser efectuada de
forma assíncrona e incremental com uma semântica exactamente uma vez (exactly-once).
Quando um servidor recebe uma transacção móvel de um cliente, o servidor executa o programa da
transacção móvel na réplica principal dos dados para obter o seu resultado definitivo. Se a transacção foi
garantida no cliente, o modelo das reservas garante que não surgirá nenhum conflito inesperado durante
a execução da transacção no servidor, como se detalha na secção 8.4.
Por vezes, a existência de reservas concedidas a outros utilizadores pode levar a que uma transacção
móvel falhe desnecessariamente. Por exemplo, caso um cliente tenha reservado um lugar num comboio
(para garantir transacções de forma independente), o servidor garante que, pelo menos, um lugar perma-
nece disponível. Assim, qualquer transacção de outro cliente que tente reservar o último lugar disponível
é abortada. Caso o cliente não utilize o lugar reservado, pode ter existido uma transacção móvel que foi
abortada sem necessidade.
Para lidar com estas situações, o Mobisnap inclui um mecanismo de reexecução. As transacções
móveis abortadas no servidor podem ser reexecutadas após as reservas relevantes expirarem ou serem
canceladas. Neste sentido, uma reserva pode ser vista como uma opção para modificar a base de da-
dos em primeiro lugar. As aplicações devem indicar, quando submetem uma transacção móvel, se este
mecanismo deve ser usado e qual o prazo para a sua reexecução final.
Existem duas situações em que é necessário executar um conjunto de transacções no servidor. Pri-
meiro, quando o cliente propaga um conjunto de transacções para o servidor. Segundo, quando um
conjunto de transacções aguarda a sua reexecução no servidor. Nestas situações, o servidor utiliza o
mecanismo de reconciliação descrito no capítulo 10 para optimizar o conjunto de transacções não garan-
tidas no cliente que pode ser executado com sucesso (as transacções garantidas no cliente são executadas
imediatamente).
O sistema mantém informação sobre as transacções móveis que foram submetidas recentemente
para o servidor numa tabela do sistema (periodicamente, os registos mais antigos são removidos). Esta
informação consiste no resultado definitivo da transacção, no caso de este já ter sido determinado, ou
na indicação que aguarda reexecução (nas situações explicadas anteriormente). Esta informação permite
aos clientes obter o resultado das transacções submetidas em interacções anteriores.
7.3.2 Processamento alternativo
O modo de processamento típico de uma transacção móvel, descrito anteriormente, pode ser alterado
através das seguintes opções especificadas aquando da submissão da transacção móvel:
Propaga sempre Uma transacção móvel é sempre propagada para o servidor, independentemente do seu
resultado no cliente (por omissão as transacções que abortaram – i.e., tiveram o resultado tentative