Modelos Centrados nos Clientes

Ideia básica

Evitar sincronização global focando-se no que os clientes vêem do sistema. Se para os clientes parecer consistente, tudo bem.

• Consistência Eventual

  • Se nenhuma escrita ocorrer em período considerável de tempo, os clientes gradualmente se sincronizarão e ficarão consistentes.
  • Se clientes sempre acessarem as mesmas réplicas, terão impressão de consistência.

• Garantias são do ponto de vista de um cliente.

  • Leituras monotônicas
  • Escrita monotônicas
  • Leia suas escritas
  • Escritas seguem leituras.

Modelo de Sistema

Cliente pode se mover antes de sua última operação ter replicado do servidor onde estava para o novo servidor.

Leituras Monotônicas

Garantia

Se um processo lê o valor de um item \(x\), qualquer leitura sucessiva de \(x\) retornará o mesmo valor ou um mais recente.

• Toda vez que se conecta a um servidor de email, seu cliente lê novas mensagens, caso haja.
• O cliente nunca esquece uma mensagem, mesmo que ainda não esteja no servidor conectado por último.
• WS(\(x_i\)) -- operações de escrita (write set) que levaram a variável \(x\) a ter o valor \(x_i\).
• WS(\(x_i;x_j\)) -- operações de escrita relativas a \(x_j\) incluem operações de escrita relativas a \(x_i\)

Escritas Monotônicas

Garantia:

Se um processo escreve em item \(x\), então esta operação deve terminar antes que qualquer escrita sucessiva em \(x\) possa ser executada pelo mesmo processo.

• Em um sistema de arquivos na rede, a escrita do conteúdo de um arquivo, em certa posição, só pode ser feita se escritas anteriores já estão registradas no arquivo, independentemente de o cliente contactar novo servidor de arquivos.

Leia suas Escritas

Garantia:

Se um processo escreve em item \(x\), então leituras sucessivas no mesmo item pelo mesmo processo devem refletir tal escrita.

• Atualizar código fonte de uma página e exigir que o navegador carrega a nova versão.

Escritas seguem Leituras

Garantia:

Se um processo lê um item \(x\), então escritas sucessivas no mesmo item só podem ser completadas se o mesmo reflete o valor lido anteriormente.

• Só é permitido enviar uma resposta a uma mensagem se a mensagem em si é vista, independentemente do cliente ter se movimentado.