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

186 CAPÍTULO 11. TRABALHO RELACIONADO
de uma nova operação ou de nenhuma operação. O sistema usa estas regras para tratar as ope-
rações executadas concorrentemente (e definir a sequência final de operações a executar). Uma
característica interessante deste sistema é a possibilidade de as regras de resolução de conflitos de
um objecto poderem ser definidas como a composição das regras de resolução dos objectos que
o compõem. Uma aproximação semelhante foi usada para um sistema de ficheiros [138]. Neste
caso, um sistema de prova, baseado num conjunto de regras algébricas que definem o resultado
da combinação de duas operações executadas concorrentemente, é usado para produzir uma or-
dem canónica. As operações com conflitos que não podem ser resolvidos não são incluídas na
sequência de operações a executar (os utilizadores podem posteriormente resolver estes conflitos
manualmente).
• Optimizar a sequência de operações que podem ser executadas, ordenando as operações de acordo
com as suas propriedades/efeitos. Em [123], os autores propõem que as transacções executadas
provisoriamente num cliente móvel sejam integradas numa qualquer posição da história da réplica
principal (implementando uma forma mais fraca de snapshot isolation). O algoritmo mantém uma
sequência de versões da base de dados e integra uma transacção nesta sequência (criando uma
nova versão da base de dados) de forma óptima. Para tal, cada transacção inclui uma função de
resolução de conflitos (que especifica o resultado da execução da transacção numa dada versão da
base de dados) e uma função de custo (que especifica o custo de executar a transacção numa dada
versão da base de dados).
No sistema IceCube [85], a ordenação das operações é vista como um problema de optimização, no
qual se procura maximizar as operações que podem ser executadas com sucesso usando informação
semântica associada às operações. O sistema SqlIceCube, apresentado nesta dissertação, estende
esta aproximação através da extracção automática de informação semântica a partir do código das
transacções (usando técnicas de análise estática de programas [49]).
• Transformar as operações de forma a preservar as intenções dos utilizadores. As operações sub-
metidas concorrentemente têm de ser executadas sequencialmente, pelo que, quando se executa
uma operação, o estado do objecto pode ser diferente do estado observado aquando da submissão
da operação. A transformação de operações [46, 159, 118] é usada para modificar as operações de
forma a que o resultado da sua execução seja o esperado aquando da sua submissão. Esta técnica
é usada geralmente na edição síncrona de documentos e folhas de cálculo (e parece especialmente
indicada para lidar com a modificação de parâmetros que indicam a posição de um elemento que
pode ser modificada através de operações de inserção e remoção). Convém realçar que, como se
referiu anteriormente, a transformação de operações pode ser usada igualmente para permitir a