SincronizacaoSD

Sincronização em
Sistemas Distribuídos
Universidade Federal do ABC
Turma:
Ciência da Computação
Prof. Dr. Francisco Isidro Massetto

Sincronização z z z z

z

Como as regiões críticas são implementadas em um
SD?
Como os recursos são alocados aos processos?
Em SO, os problemas de exclusão mútua e região crítica são solucionados através de semáforos ou monitores. Tais métodos utilizam memória compartilhada para implementar a solução, portanto, impossível de ser feito em um SD.
Pergunta: como promover a sincronização em um ambiente distribuído?

Sincronização através do
CLOCK
z

z z 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: z z z z As informações relevantes são espalhadas pelas múltiplas máquinas; 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 z z

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: z z

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 z z

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
z

z

Lamport definiu a seguinte relação: