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

4.1. RECONCILIAÇÃO 55
4.1.3 Ordem causal
Uma operação é executada por ordem causal quando apenas é executada após terem sido executadas
todas as operações conhecidas no momento da sua submissão no cliente. A ordem causal não garante
que as operações sejam executadas pela mesma ordem em todas as réplicas. Assim, não é possível, no
caso geral, garantir que os coobjectos convergem para o mesmo estado.
O componente de reconciliação ordem causal pessimista executa imediatamente todas as operações
conhecidas com as dependências causais satisfeitas (e que podem ser executadas face às limitações apre-
sentadas anteriormente). Assim, cada réplica pode não reflectir todas as operações conhecidas. Para
conhecer imediatamente o resultado de uma operação é necessário propagar a operação para um servidor
que conheça todas as operações reflectidas na cópia do cliente. O servidor a partir do qual a cópia foi
obtida satisfaz esta propriedade.
Os blocos só-uma-vez são executados no servidor que recebeu a operação do cliente. No entanto,
como as operações podem não ser executadas imediatamente quando são recebidas, é necessário garantir
que quando um servidor é removido do grupo de replicadores do volume, os blocos só-uma-vez de todas
as operações recebidas nesse servidor são executadas.
No sistema DOORS, um servidor abandona voluntariamente o grupo de replicadores de um volume
através de um protocolo que estabelece com apenas outro replicador do volume, que assume o papel de
patrocinador. Durante este protocolo, apresentado na secção 6.2.1 e detalhado nos apêndices A.1.4 e
A.1.8, o servidor a remover delega na réplica do servidor patrocinador a responsabilidade de executar
os blocos só-uma-vez não executados localmente. Antes de ser removido, o servidor a remover executa
ainda os blocos só-uma-vez relativos às operações que o patrocinador já tenha executado.
Quando se processa a remoção forçada de um servidor que falhou definitivamente, é impossível
determinar as operações que esse servidor já executou. Assim, não se delega em nenhum servidor a
execução dos blocos só-uma-vez das operações recebidas no servidor avariado. É por esta razão que a
semântica exacta de execução destes blocos é no máximo uma vez.
4.1.4 Ordem total
As operações são executadas por ordem total quando, em todas as réplicas, são executadas pela mesma
ordem. Neste caso, se as operações forem deterministas, garante-se que as várias réplicas do coobjecto
convergem para o mesmo estado. De seguida, apresentam-se as várias estratégias utilizadas para garantir
a execução das operações por ordem total.