Raciocine sobre tempo e ordem
Diferencie timestamps do relógio de parede da ordem causal.
- Explicar a diferença entre relógios, a ordenação lógica e por que timestamps sozinhos não provam causalidade.
As máquinas têm relógios separados, e esses relógios se desajustam ou dão saltos. Dois eventos com timestamps de relógio de parede próximos podem não ter uma ordem confiável. Os relógios de Lamport oferecem uma regra de ordenação lógica: incremente um contador local a cada evento e, ao receber uma mensagem, coloque o contador em um a mais que o maior entre o valor local e o valor recebido. Isso preserva a ordem causal, mas não mede o tempo decorrido.
Um timestamp de Lamport pode dizer que um evento vem antes de outro no esquema do relógio lógico. Se você precisa saber se dois eventos são concorrentes, um relógio vetorial carrega mais informação. Nenhum dos dois substitui o tempo sincronizado para prazos.
Prática: rode um relógio de Lamport à mão
Duas regras cobrem tudo:
- Evento local ou envio: some 1 ao seu relógio.
- Recebimento: pegue o maior entre o seu relógio e o timestamp da mensagem e some 1.
Experimente
Até 15 XPCalcule cada timestamp
Todos os relógios começam em 0. Calcule cada novo valor antes que ele seja revelado.
No final, compare os últimos eventos de A e de C. Os números podem parecer ordenados mesmo quando nenhum dos dois eventos poderia ter afetado o outro.
- evento local?
Prática: encontre o desajuste
Experimente
Até 15 XPLeia logs mesclados de duas máquinas
Estes logs vêm de dois servidores, mesclados por timestamp. Tem algo impossível aqui.
Qual linha não pode ter acontecido de verdade no horário que mostra?
Principais conclusões
Relógios físicos podem discordar.
Relógios lógicos registram a ordem, não o tempo decorrido.
Use tempo monotônico para prazos e timeouts locais.
Quiz da aula
5 perguntas · aprovação com 4 acertos · até 50 XP
Ao passar, você conclui a aula e mantém sua sequência. As perguntas erradas voltarão em sessões de revisão.
Dúvidas sobre esta lição
Travou em algum ponto? Pergunte. Descobriu algo? Compartilhe. Explicar também é uma ótima forma de aprender.
Carregando publicações…