Hybrid Logical Clock (HLC)
Une horloge qui combine le temps physique (horloge murale) avec un compteur logique, pour obtenir des horodatages à la fois proches du temps réel ET garantis de respecter l'ordre causal. Utilisée dans CockroachDB, MongoDB et YugabyteDB pour ordonner les événements sans horloges atomiques.
Problème : les horloges purement physiques dérivent entre elles (clock skew) → peuvent donner un ordre erroné ; les horloges purement logiques (Lamport) n'ont aucun lien avec le temps réel. La HLC prend le meilleur des deux : l'horodatage vaut max(temps physique, dernier horodatage observé) plus un compteur logique qui départage les égalités. Résultat : des horodatages monotones, qui capturent la causalité (si A a causé B, B a un horodatage supérieur), et restent à une distance connue du temps réel. Avantage sur TrueTime de Spanner : aucun matériel spécial requis (GPS/horloges atomiques). La base des snapshots cohérents et du MVCC dans les bases SQL distribuées. À rapprocher de l'horloge de Lamport et de Spanner TrueTime.