Deep Dive - Relógios Lógicos: de Lamport a Bloom Clocks

Em sistemas distribuídos não existe um relógio global confiável. Como então saber a ordem em que as coisas aconteceram, detectar conflitos e concorrência, ou decidir qual versão de um dado é a mais recente?

Neste deep dive, vamos navegar pelo mundo dos relógios lógicos, partindo dos fundamentos e chegando até as estruturas que rodam dentro de bancos de dados distribuídos reais:

• Lamport Clocks: a ideia que começou tudo, e por que ela não é suficiente
• Vector Clocks: como detectar que duas coisas aconteceram “ao mesmo tempo”
• Hybrid Logical Clocks: o compromisso que bancos distribuídos modernos adotaram
• Version Vectors e Dotted Version Vectors: o que realmente roda dentro de um KV store leaderless
• Matrix Clocks e Bloom Clocks: o que acontece quando você tem milhares de nós e o vetor não cabe mais

Ao longo do caminho, vamos falar sobre exemplos de uso em sistemas do mundo real e os trade-offs entre cada abordagem.

Esse é o primeiro de dois encontros sobre o tema. No segundo, aprofundamos em CRDTs e OT/Operational Transformation.

O link da sala do Zoom será compartilhado no dia do evento na comunidade.