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

184 CAPÍTULO 11. TRABALHO RELACIONADO
O terceiro tipo de aproximação consiste em permitir a definição de funções que unificam as modifi-
cações concorrentes com base no estado dos objectos. Essas funções podem usar apenas o estado actual
do objecto nas réplicas a sincronizar [87, 66, 115] ou podem usar versões anteriores [24]. A utilização de
versões anteriores permite (tentar) inferir as modificações executadas em cada uma das réplicas (e usar
essa informação no processo de reconciliação), mas requer a manutenção da história das modificações.
A remoção de um objecto é tratada de forma especial nestas aproximações. Assim, para cada objecto
removido, mantém-se informação sobre a remoção (death certificate [38]) 5 .
11.1.9.2 Utilização das operações executadas
Nesta subsecção abordam-se as técnicas de reconciliação baseadas na utilização das operações executa-
das. Estas técnicas de reconciliação determinam, em cada réplica, o modo como se executam as opera-
ções recebidas directamente dos utilizadores e das outras réplicas.
Neste tipo de soluções, a aproximação base consiste em executar todas as operações por uma deter-
minada ordem nas várias réplicas (por exemplo, ordem total, ordem causal ou sem ordem). Para tal, cada
operação é, geralmente, identificada por um relógio escalar ou por um vector-versão. Na sua versão mais
simples, o algoritmo de reconciliação executa em cada réplica e determina quais as operações que, em
cada momento, podem ser executadas respeitando a ordem definida.
Na secção 4.1 já se discutiram as técnicas de implementação dos diferentes tipos de ordenação usando
informação sintáctica (relógios escalares ou vectores-versão) e as suas propriedades. Relativamente à or-
dem total, existem várias aproximações possíveis: utilizar uma réplica primária responsável por ordenar
as operações [161, 143]; usar o relógio associado a cada operação para ordenar a operação e informa-
ção sobre o estado das outras réplicas para garantir a estabilidade da ordem [57]; utilizar protocolos de
eleição para determinar, em passos sucessivos, quais as operações a executar em cada momento [82].
Relativamente às outras ordens, cada réplica pode decidir independentemente quais as operações que
pode executar usando apenas a informação associada a cada operação.
A execução simples de todas as operações por uma determinada ordem tem várias limitações.
Primeiro, podem existir situações em que ainda não é possível determinar a ordem final de uma
operação. Neste caso, pode adoptar-se uma aproximação pessimista em que a operação não é executada
enquanto não for possível determinar a sua ordem. Assim, o estado do objecto pode não reflectir todas
as operações conhecidas.
Uma segunda alternativa consiste em adoptar uma aproximação optimista e executar a operação.
Neste caso, o estado do objecto é provisório porque a ordem de execução pode ser incorrecta. Se a
5 Note-se que remover apenas o objecto na réplica a leva a ambiguidade aquando da sincronização com uma réplica b, sendo
impossível determinar se o objecto foi criado em b ou removido em a.