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

4.1. RECONCILIAÇÃO 57
4.1.4.2 Verificação de estabilidade
A ordenação total por verificação de estabilidade consiste na execução das operações assim que é possível
determinar que não existe nenhuma operação anterior na ordem total definida.
O componente de reconciliação por verificação de estabilidade define a ordem total das operações
usando o identificador atribuído no servidor: (s1,n1) ≺ (s2,n2) sse n1 < n2 (n1 = n2 s1 < s2). Para
verificar a estabilidade das operações, cada réplica usa o sumário das operações conhecidas. Este sumário
é actualizado durante as sessões de sincronização epidémicas e reflecte não só as operações recebidas,
mas também, os números de sequência que se sabe não terem sido usados em cada uma das réplicas.
Em cada servidor, o relógio lógico usado para atribuir o número de sequência a cada operação é ac-
tualizado após cada sessão de sincronização de forma a que seja superior ao maior número de sequência
de uma operação recebida. Em consequência, o valor relativo ao próprio servidor no sumário das opera-
ções recebidas é actualizado (este assunto é detalhado na secção 6.2.2). Este facto garante que, se todos
as réplicas participarem em sessões de sincronização (que incluam transitivamente todos os servidores),
todas as operações submetidas serão dadas como estáveis em todas as réplicas independentemente do
número de operações recebidas em cada servidor.
Para garantir que todas as operações são executadas quando um servidor é removido, a réplica do
coobjecto nesse servidor submete uma operação a indicar qual o último número de sequência utilizado.
No caso da remoção forçada de um servidor, a réplica do patrocinador executa essa operação quando
é informada da remoção do servidor (a sincronização do estado entre todas as réplicas garante que o
patrocinador conhece todas as operações do servidor removido conhecidas no sistema). Em todas as
réplicas, na ordenação das operações, consideram-se não só as réplicas activas, mas também todas as
réplicas removidas até serem ordenadas todas as operações com número de sequência menor ou igual ao
último número de sequência usado nessa réplica.
Para garantir que as operações são ordenadas correctamente quando um novo servidor se junta ao
grupo de replicadores de um volume, é apenas necessário ter especial cuidado com o número de sequên-
cia que se atribui à primeira operação submetida no novo servidor (deve ser maior ou igual a max + 2,
com max o valor do maior número de sequência que o novo servidor sabe ter sido usado em qualquer
réplica) e à utilização da informação obtida nesse servidor (por o identificador de um servidor ser inici-
almente provisório). A necessidade destas restrições, explicada no apêndice A.1.3.1, apenas ficará clara
após a apresentação do mecanismo que controla o conjunto de replicadores de um volume, descrito na
secção 6.2.1.
No protótipo do sistema DOORS, implementou-se um componente de reconciliação que usa técnicas
de verificação de estabilidade com uma aproximação pessimista. Foi igualmente implementado um
componente que usa uma aproximação optimista usando a técnica desfazer-refazer (de forma semelhante