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

4.1. RECONCILIAÇÃO 59
No decurso do trabalho que conduziu a esta dissertação explorou-se a possibilidade de desenvolver e
implementar um componente de reconciliação baseado na utilização de um algoritmo de consenso 6 . Este
componente teria como objectivo ultrapassar as limitações na tolerância a falhas expostas anteriormente.
No entanto, um estudo desenvolvido num ambiente de larga escala (a Internet) [9] mostra que as
falhas de comunicação limitam a disponibilidade dos sistemas de quorum. Nos ambientes de larga escala,
o melhor sistema de quorum parece ser obtido limitando os servidores utilizados a uma única rede local.
No âmbito de uma rede local, a forte correlação nas falhas dos servidores (as quais são explicadas pela
dependência de um serviço de DNS comum, de uma fonte de energia comum, de um sistema distribuído
de ficheiros comum, etc.) limita a melhoria de disponibilidade obtida pela utilização de um sistema
de quorum face ao recurso a um servidor único. Assim, como os algoritmos de consenso requerem que
exista um quorum de servidores activos, parece não ser clara a vantagem na utilização de um componente
de reconciliação usando técnicas de consenso para ultrapassar as limitações na tolerância a falhas, face
à utilização do componente de reconciliação que usa um sequenciador. Este facto, conjugado com o
elevado número de mensagens envolvidas num algoritmo de consenso (i.e., mensagens necessárias para
ordenar cada operação ou conjunto de operações), levou a que não se tivesse implementado nenhum
componente de reconciliação utilizando técnicas de consenso.
4.1.5 Transformação de operações
A execução pela mesma ordem em todas as réplicas de um conjunto de operações executadas concor-
rentemente garante a equivalência final das várias réplicas. No entanto, como cada operação vai ser
executada num estado do coobjecto diferente do observado aquando da execução (submissão) original
da operação, os seus efeitos podem ser diferentes dos esperados pelo utilizador.
Para solucionar este problema foi proposto que, antes de executar uma operação numa réplica, a
operação fosse transformada para incluir os efeitos das operações não conhecidas aquando da execução
inicial da operação. Desta forma, as intenções do utilizador são respeitadas. Vários algoritmos foram
propostos utilizando esta ideia [46, 159, 118, 158].
Esta aproximação tem o inconveniente de requerer a definição de uma ou várias funções capazes de
transformar as operações. No caso geral, definir uma função de transformação de operações pode ser
bastante complexo, pelo que esta técnica tem sido utilizada quase exclusivamente no âmbito dos editores
cooperativos síncronos. No entanto, os exemplos apresentados na literatura e a experiência obtida com
o sistema DOORS, parecem sugerir que esta técnica pode ser usada facilmente nas seguintes situações:
anular a execução de operações idênticas; e ajustar parâmetros que contêm posições absolutas.
No protótipo do sistema DOORS estendeu-se o componente de reconciliação ordem total optimista
6 No âmbito deste trabalho, chegaram a ser produzidos alguns resultado relativos à teoria de sistemas de quorum [127].