SICRONIZAÇÃO SD

A pergunta é,como promover a sincronização em um ambiente distribuído?
Os Sistemas Distribuídos utilizam algoritmos distribuídos na implementação de serviços e aplicações. Geralmente não é desejável ter todas as informações sobre o sistema em um único lugar. Os algoritmos distribuídos apresentam as seguintes propriedades:
As informações relevantes são espalhadas pelas múltiplas;
Os processos tomam as decisões baseadas somente em informações locais;
Um ponto de falha que paralise todo o sistema deve ser evitado;
Não existe relógio comum ou um tempo global.
Clock Lógico
Em Lamport (1978) - “Time, Clocks, and the Ordering of Events in a Distributed System” é provada que a sincronização dos relógios é possível e apresenta o algoritmo para se conseguir isto. Posteriormente, em outro artigo ele defende que a sincronização dos clocks não precisa ser absoluta, pelos seguintes motivos:
Se dois processos não interagem, não é necessário que seus clocks sejam sincronizados;
Usualmente o que importa não é que todos os processos concordem com o exato tempo em que os eventos aconteceram, mas que concordem na ordem em que os eventos ocorreram.
Clock Lógico: consistência interna é o que importa e não quanto eles estão próximos do tempo real.
Clock Físico: os clocks não podem diferir do tempo real mais que um determinado valor.

Clock Lógico: Algoritmo de Lamport
Lamport definiu a seguinte relação: “acontece-antes”: ab ( a acontece antes de b)
Significa que todos os processos concordam que primeiro o evento a ocorreu e depois disto, o evento b ocorreu. Esta relação pode ser observada em duas situações:
Se a e b são eventos no mesmo processo, e a ocorre antes de b, então a  b é verdadeiro.
Se a é o evento de uma mensagem sendo enviada por um processo, e b é o evento da mensagem sendo recebida por outro processo, então a b é também verdadeiro.