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

156 CAPÍTULO 10. SISTEMA DE RECONCILIAÇÃO SQLICECUBE
criaUmaSolução ( bd, sumário, trxs) = // pseudo-código
solução := []
valor := 0
REPEAT
sumário.reinicia( trxs)
WHILE sumário.algumaPossível() DO // Cria solução incrementalmente
próxTrx := seleccionaPorMérito ( sumário) // Selecciona acção a executar
dynOK := bd.executaInnerTrx( próxTrx)
IF dynOK = FALSE THEN // Resultado: rollback
sumário.excluiTmp( próxTrx)
ELSE // Resultado: commit
solução := [solução|próxTrx] // Actualiza solução
valor := valor + próxTrx.valor
sumário.executada( próxTrx)
aExcluir := incompatíveis( próxTrx, trxs) // Actualiza informação sobre transacções
sumário.exclui( aExcluir)
aExcluirTmp := tornaImp( próxTrx)
sumário.excluiTmp( aExcluirTmp)
aIncluirTmp := tornaPosAjuda( próxTrx)
sumário.incluiTmp( aIncluirTmp)
END IF
END WHILE
gtrxs = gruposIncompletos(trxs,solução) // Transacções pertencentes a grupos indivísiveis
trxs = trxs \ gtrxs // parcialmente executados
IF( NOT vazio(gtrxs)) THEN
bd.rollbackTrx()
bd.initTrx()
END IF
UNTIL vazio(gtrxs)
RETURN { solução, valor}
Figura 10.3: Algoritmo de criação de uma única solução.
Se a execução da transacção seleccionada aborta, a transacção passa a ser considerada temporaria-
mente impossível de executar. Se uma transacção é executada com sucesso, ela é adicionada à solução
parcialmente construída. A informação sobre as transacções a executar é actualizada. As transacções que
são incompatíveis com a execução dessa transacção (relações alternativas e predecessor/sucessor fraco)
são adicionadas ao conjunto das transacções impossíveis (assim como todas as transacções que perten-
çam a um grupo indivisível com uma das transacções impossíveis). As transacções que são impossibili-
tadas (relação impossibilita) são adicionadas ao conjunto das transacções temporariamente impossíveis.
As transacções que são beneficiadas (relações torna possível e favorece) são removidas do conjunto das
transacções temporariamente impossíveis. Em ambos os casos, o ciclo itera enquanto existem transac-
ções candidatas com mérito não nulo.
Quando se conclui a criação de uma solução é necessário verificar se a solução é válida face às
relações estabelecidas 3 . Para tal, é necessário verificar se existe algum grupo indivisível parcialmente
executado (todas as outras relações são necessariamente satisfeitas porque nunca se selecciona uma tran-
sacção cuja execução viole uma relação estática com uma transacção anteriormente executada). Em
3 Uma optimização implementada no protótipo do sistema consiste na verificação, sempre que uma transacção é declarada
impossível, da impossibilidade de executar completamente qualquer grupo indivisível com transacções já executadas. Neste
caso, a solução que se está a criar é declarada imediatamente inválida.